Repository navigation
Commit ba03017
chore(trusted-base): exempt vendored echidnabot proof fixtures
bots/echidnabot/proofs/ carries deliberate Admitted/sorry stubs that
echidnabot's protocol-contract tests must flag. They are test fixtures,
not trusted base. Without this file check-trusted-base.sh fails with
2 undocumented escape hatches; with it, both are exempted.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>1 parent 011d24c commit ba03017
1 file changed
Lines changed: 13 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 | + | |
0 commit comments