feat: decoder-coverage gate + model Check 6 (a live false accept); MATCH 86→87 - #20

Merged

Ch4s3 merged 7 commits into

claude/unconsumed-auditfrom

claude/coverage-and-check6

Aug 9, 2026

Commits on Aug 8, 2026

feat(check): decoder-coverage gate — diff emitted AST kinds against decoded ones
claude
committed
9ccbaf5
fix(capcheck): model Check 6 (proof-cap production) — a live false accept
Ch4s3
committed
d12b770
ci: run the decoder-coverage gate before the conformance harness
claude
committed
ec186e2
docs(capcheck): record the decl-form coverage matrix and the invariant behind it
Ch4s3
committed
6eca057
Merge cap-decl-coverage: Check 6 modelling + decl-form matrix
Ch4s3
committed
86192d2
docs(coverage): vis IS read — correct the allowlist and record a gate blind spot
Ch4s3
committed
b769a1c
test(ledger): t57 is now judged, not skipped — Check 6 gained corpus coverage
Ch4s3
committed
89c6848