You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
Doc-truthing: keep AffineScript status docs from re-drifting (DOC-01..09) #176
Authoritative status now lives in docs/CAPABILITY-MATRIX.adoc with banners on the over-claiming docs. This issue tracks MONITOR enforcement: any PR that reintroduces backend-breadth / production-ready / stdlib-percent over-claims must be rejected (Hypatia/gitbot DOC rules). DONE items DOC-08/09. Ledger: docs/TECH-DEBT.adoc section A.
Closing — the doc-truthing MONITOR is now fully mechanical and self-enforcing
Authoritative status remains docs/CAPABILITY-MATRIX.adoc; this issue tracked keeping the status docs from re-drifting (DOC-01..09, extended to DOC-17). All items are done, and — the reason this closes — the MONITOR is no longer a human-tracked posture; it is an in-repo CI gate that runs on every PR. With enforcement automated, the standing tracker is obsolete.
Over-claim ratchet — DONE (#475), then folded into DOC-16 (#479)
How it's enforced now
A single toolchain-free guard, tools/check-doc-truthing.sh, wired into just check (the guard recipe) and the CI build job, fails any PR that:
Presence (DOC-04/05) — drops a CAPABILITY-MATRIX.adoc banner from any of the four over-claiming docs, removes the matrix's "single authoritative source" self-declaration or its "What AffineScript is NOT" section, or strips STATE.a2ml's mirror keys.
Over-claim ratchet (DOC-08/09) — introduces a new backend-breadth / "production-ready" / stdlib-% phrase beyond the frozen tools/doc-overclaims.allow baseline (13 signatures, all legitimate today). Presence-checking covers the banners where "production-ready" legitimately appears; the frozen baseline adds phrase detection without false positives. Re-baseline deliberately via just doc-truth-bless — the .allow diff is the audit trail.
The DOC-05 policy is intact: the live dune runtest --force gate count is never hard-coded. The external Hypatia/gitbot DOC rules remain the estate-level backstop.
Landed via #476 (DOC-16) → #475 (DOC-17) → #479 (consolidation into one guard). Ledger: docs/TECH-DEBT.adoc §A.
Closing as completed per the maintainer's wrap-up instruction. If you'd rather keep this open as a standing tracker despite the mechanical enforcement, just reopen — nothing else depends on its state.
Activity
docs: truth CORE-01 part 1 (PR #240) in the ledger (Refs #175 #176 #177)
docs: truth CORE-03 / ADR-014 grammar landed (PR #241) (Refs #175 #176 …
docs: authoritative ledger — CAPABILITY-MATRIX/ECOSYSTEM/TECH-DEBT (R…
docs: Stage B properly CLOSED — truth the #215 ADR-012 won't-fix (Refs …
docs: README internal-drift fix + DOC-04/05/06 done-in-tree (Refs #176,…
feat(doc-truth): mechanical MONITOR gate for status-doc over-claims (…
feat(doc-truthing): in-repo DOC-04/05 guard + ADR-019 record (#476)
feat(doc-truth): over-claim ratchet (DOC-17) complementing #476's ban…
feat(doc-truth): over-claim ratchet (DOC-17) complementing #476's ban…
feat(doc-truth): over-claim ratchet (DOC-17) complementing #476's ban…
refactor(doc-truth): consolidate the two #176 guards into one unified…
chore(config): read-only Claude Code settings allowlist + STATE.a2ml …
hyperpolymath commentedon May 30, 2026
Closing — the doc-truthing MONITOR is now fully mechanical and self-enforcing
Authoritative status remains
docs/CAPABILITY-MATRIX.adoc; this issue tracked keeping the status docs from re-drifting (DOC-01..09, extended to DOC-17). All items are done, and — the reason this closes — the MONITOR is no longer a human-tracked posture; it is an in-repo CI gate that runs on every PR. With enforcement automated, the standing tracker is obsolete.Final state
How it's enforced now
A single toolchain-free guard,
tools/check-doc-truthing.sh, wired intojust check(theguardrecipe) and the CIbuildjob, fails any PR that:CAPABILITY-MATRIX.adocbanner from any of the four over-claiming docs, removes the matrix's "single authoritative source" self-declaration or its "What AffineScript is NOT" section, or strips STATE.a2ml's mirror keys.tools/doc-overclaims.allowbaseline (13 signatures, all legitimate today). Presence-checking covers the banners where "production-ready" legitimately appears; the frozen baseline adds phrase detection without false positives. Re-baseline deliberately viajust doc-truth-bless— the.allowdiff is the audit trail.The DOC-05 policy is intact: the live
dune runtest --forcegate count is never hard-coded. The external Hypatia/gitbot DOC rules remain the estate-level backstop.Landed via #476 (DOC-16) → #475 (DOC-17) → #479 (consolidation into one guard). Ledger:
docs/TECH-DEBT.adoc§A.Closing as completed per the maintainer's wrap-up instruction. If you'd rather keep this open as a standing tracker despite the mechanical enforcement, just reopen — nothing else depends on its state.
Generated by Claude Code
docs(history): session handoff for bindings/stdlib closeout + #478 (PR …
docs(history): session handoff for bindings/stdlib closeout + #478 (PR …