Skip to content

refactor(doc-truth): consolidate the two #176 guards into one unified check-doc-truthing.sh#479

Merged
hyperpolymath merged 1 commit into
mainfrom
claude/wonderful-gauss-SbT8o
May 30, 2026
Merged

refactor(doc-truth): consolidate the two #176 guards into one unified check-doc-truthing.sh#479
hyperpolymath merged 1 commit into
mainfrom
claude/wonderful-gauss-SbT8o

Conversation

@hyperpolymath
Copy link
Copy Markdown
Owner

What

Consolidates the two doc-truthing guards that briefly co-existed on main after #476 (DOC-16) and #475 (DOC-17) landed in parallel, into a single unified guard — so neither lingers as a near-duplicate.

Before: tools/check-doc-truthing.sh (banner/primacy/mirror presence) and tools/check-doc-overclaims.sh (over-claim ratchet) — two near-identically-named scripts, two CI steps, two ledger rows.

After: one toolchain-free gate doing both, "best of both":

Changes

File Change
tools/check-doc-truthing.sh Now the single unified guard: presence invariants (DOC-04/05) + over-claim ratchet (DOC-08/09) + --update.
tools/check-doc-overclaims.sh Deleted (folded in).
tools/doc-overclaims.allow Kept (13 sigs unchanged); now owned by the unified script.
.github/workflows/ci.yml Two Issue #176 build steps → one.
justfile guard runs the single script; doc-overclaims-blessdoc-truth-bless.
docs/TECH-DEBT.adoc DOC-16 rewritten to describe the unified guard; DOC-17 marked "folded into DOC-16"; MONITOR note updated.
docs/CAPABILITY-MATRIX.adoc Change-control points at the single guard.
.machine_readable/6a2/STATE.a2ml Mirror note records the consolidation.

Verification

$ ./tools/check-doc-truthing.sh
OK: doc-truthing intact — presence invariants + over-claim ratchet (DOC-04/05/08/09).
$ ./tools/check-doc-truthing.sh --update      # baseline regenerates: 13 signatures
  • bash -n clean. Both negative directions bite: a new over-claim phrase fails; a dropped banner fails.
  • Pure consolidation — no behavioural change to either check, no compiler code touched.
  • No active references to the deleted script remain (only intentional historical mentions in the ledger / STATE note / a code comment explaining the merge).

Refs #176
Refs #175

https://claude.ai/code/session_01HR1GHjBfNdfcFZm1XiLXK4


Generated by Claude Code

…OC-17 into DOC-16)

PRs #476 (DOC-16, banner/primacy/mirror PRESENCE guard) and #475 (DOC-17,
over-claim RATCHET) landed in parallel and left two near-identically-named
scripts on main — tools/check-doc-truthing.sh and tools/check-doc-overclaims.sh
— with overlapping intent. This folds them into a single guard so neither
lingers, taking the best of both:

* tools/check-doc-truthing.sh is now the one unified, toolchain-free gate. It
  keeps #476's fail-accumulator + note() structure (reports ALL problems in
  one run) for the presence invariants (DOC-04/05: matrix primacy + anti-
  over-claim section + banner pointers + STATE.a2ml mirror keys), and absorbs
  #475's over-claim ratchet (DOC-08/09) as a fourth check feeding the same
  accumulator, plus the `--update` re-baseline mode. Presence-checking covers
  the banners (where "production-ready" legitimately appears); the frozen
  tools/doc-overclaims.allow baseline adds phrase detection without false
  positives.
* tools/check-doc-overclaims.sh deleted; tools/doc-overclaims.allow kept
  (13 signatures unchanged), now owned by the unified script.
* CI: the two "Issue #176" build steps collapse into one.
* justfile: `guard` runs the single script; `doc-overclaims-bless` →
  `doc-truth-bless` (calls `check-doc-truthing.sh --update`).
* Ledger: DOC-16 rewritten to describe the unified guard; DOC-17 marked
  "folded into DOC-16"; matrix change-control + STATE.a2ml mirror updated.

Pure consolidation — no behavioural change to either check, no compiler code
touched. Verified: unified guard green; `--update` green; both negative
directions (new over-claim phrase / dropped banner) bite.

Refs #176
Refs #175

https://claude.ai/code/session_01HR1GHjBfNdfcFZm1XiLXK4
@hyperpolymath hyperpolymath marked this pull request as ready for review May 30, 2026 22:43
@hyperpolymath hyperpolymath merged commit 4f3f8e2 into main May 30, 2026
0 of 26 checks passed
@hyperpolymath hyperpolymath deleted the claude/wonderful-gauss-SbT8o branch May 30, 2026 22:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants