Commit d0fd695
feat(proof-debt): add .trusted-base-ignore for scanner fixtures + worktree shadows (#355)
[standards#223](hyperpolymath/standards#223)
merged 2026-05-27 09:16Z, adding path-fragment exemption support to
`check-trusted-base.sh`.
## What
Adds `.trusted-base-ignore` with two entries:
| Pattern | Reason |
|---|---|
| `test/soundness/fixtures/` | 5 scanner test fixtures (admitted.v /
sorry.lean / agda_postulate.agda / believe_me.idr / unsafe_coerce.hs)
that exist solely to verify the detector fires |
| `.claude/worktrees/` | local agent worktree shadows that double-count
the canonical tree (cf. hypatia#343 §(d) refresh noting 10 such shadows)
|
## Why no pin bump needed
`governance-reusable.yml` (current main) fetches scripts from
`standards/main` at run-time (`ref: main` on the inner self-checkout,
per standards#219). Since standards#223 is now on main, the next CI run
on this repo will pick up the new exemption behaviour without bumping
any SHA pin in hypatia's wrapper.
## Cleanup of redundant artifacts (deferred)
The 5 inline `TRUSTED:` comments added by #352 and the 5/10 §(d)
enumeration entries added by #343 become **redundant** after this lands
but are kept for now to avoid stomping on those in-flight PRs. Follow-up
PR will remove them once #352 and #343 settle.
## Closes
hypatia#354.
🤖 Generated with [Claude Code](https://claude.com/claude-code)
Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>1 parent aa26644 commit d0fd695
1 file changed
Lines changed: 27 additions & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
| 27 | + | |
0 commit comments