fix(check): report skipped inputs, add --strict gate profile - #1305

Merged

dekobon merged 9 commits into

mainfrom

fix/1055-check-gate-visibility

Aug 9, 2026

Commits on Aug 9, 2026

fix(check): report skipped inputs, add --strict
dekobon
committed
92b79b1
docs(book): document check gate trust boundary
dekobon
committed
dcba362
refactor(check): tidy new gate code per self-scan
dekobon
committed
95f4be6
style(cli): reattach validate_and_resolve_file doc
dekobon
committed
d5ac0bd
fix(check): measure ignored inputs at walk prune points
dekobon
committed
683d626
refactor(walk): trim the measurement per self-scan
dekobon
committed
2f4240a
refactor(walk): extract admit_file_seed for cognitive cap
dekobon
committed
a959141
test(check): harden pruned-dir fixture per audit-tests
dekobon
committed
78bcffa
fix(check): make the skipped-input counts honest and cheap
dekobon
committed
817c721