Bug-hunt round 9: verbs agree with the gates they mint for, and two dead detector legs come alive - #519

Merged

REPPL merged 21 commits into

mainfrom

bughunt-b/round-9

Aug 26, 2026

Commits on Aug 26, 2026

chore: capture round-9 bug-hunt findings
REPPL
committed
ce5982e
docs: RS001 requires entering a terminal folder, at every site that states it
REPPL
committed
15e7d91
docs: the plugin surface adds three commands, not one
REPPL
committed
6428a25
docs: the derived changelog signals a pre-1.0 break by the bump, not a Breaking section
REPPL
committed
a7e602f
docs: no page sets data-theme yet, and the build README says so
REPPL
committed
371c1f4
docs: itd-24 cites the glossary's spec term, not its banned synonym
REPPL
committed
30b965b
chore: pin lf line endings on the served install script template
REPPL
committed
66c06e1
docs: sweep the live disciplines bucket onto the intent-auditor rename
REPPL
committed
eff3168
docs: itd-5 points task_classes at the naming registry, with intent_audit
REPPL
committed
c961ce6
docs: itd-43 reconciles onto the delivered glossary rename
REPPL
committed
cefa277
fix: intent verbs resolve spec_id by number, the way lint already matches
REPPL
committed
c3a46c5
fix: ScanSpecLinks propagates intent-tree read errors
REPPL
committed
5d964a9
fix: lesson prose routes through the canonical CleanProse primitive
REPPL
committed
2d00855
fix: bound the lifeboat probe's root-sha read
REPPL
committed
4fe662d
fix: RD002 sees renames and deletions, and a git failure refuses
REPPL
committed
15b849d
docs: the CI account names the site-render and issue-resolution gates
REPPL
committed
2e22ac0
fix: capture refuses a --blocked-by target the ledger does not hold
REPPL
committed
a2aa778
fix: a ledger record the reader would skip is now a record_schema blocker
REPPL
committed
9a24c32
chore: capture the unknown-property half of the ledger-visibility gap
REPPL
committed
40132da
chore: resolve round-9 bug-hunt records
REPPL
committed
84d00cb
Merge origin/main into bughunt-b/round-9
REPPL
committed
f5cbae3

Navigation Menu

Uh oh!

Bug-hunt round 9: verbs agree with the gates they mint for, and two dead detector legs come alive - #519

Bug-hunt round 9: verbs agree with the gates they mint for, and two dead detector legs come alive#519
REPPL merged 21 commits into
mainfrom
bughunt-b/round-9

Commits on Aug 26, 2026

chore: capture round-9 bug-hunt findings

docs: RS001 requires entering a terminal folder, at every site that states it

docs: the plugin surface adds three commands, not one

docs: the derived changelog signals a pre-1.0 break by the bump, not a Breaking section

docs: no page sets data-theme yet, and the build README says so

docs: itd-24 cites the glossary's spec term, not its banned synonym

chore: pin lf line endings on the served install script template

docs: sweep the live disciplines bucket onto the intent-auditor rename

docs: itd-5 points task_classes at the naming registry, with intent_audit

docs: itd-43 reconciles onto the delivered glossary rename

fix: intent verbs resolve spec_id by number, the way lint already matches

fix: ScanSpecLinks propagates intent-tree read errors

fix: lesson prose routes through the canonical CleanProse primitive

fix: bound the lifeboat probe's root-sha read

fix: RD002 sees renames and deletions, and a git failure refuses

docs: the CI account names the site-render and issue-resolution gates

fix: capture refuses a --blocked-by target the ledger does not hold

fix: a ledger record the reader would skip is now a record_schema blocker

chore: capture the unknown-property half of the ledger-visibility gap

chore: resolve round-9 bug-hunt records

Merge origin/main into bughunt-b/round-9