Commit a700af5
ci: classify EchoEphapaxBridge in echo-kernel-note (kernel-guard fix)
Pre-existing CI invariant (`scripts/kernel-guard.sh` step B): every
`Echo*.agda` module must be classified somewhere in
`docs/echo-types/echo-kernel-note.adoc`. The initial #126 stub commit
landed the module but missed the classification, failing the kernel-
guard step before Agda's typecheck started.
Adds `EchoEphapaxBridge` to the Tier-2 list adjacent to
`EchoCNOBridge` (both are cross-repo bridges depending on Tier-2
`EchoLinear` / `EchoResidue`). No semantic change.
Local: `sh scripts/kernel-guard.sh` PASS.
Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>1 parent 6847b6f commit a700af5
1 file changed
Lines changed: 1 addition & 0 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
79 | 79 | | |
80 | 80 | | |
81 | 81 | | |
| 82 | + | |
82 | 83 | | |
83 | 84 | | |
84 | 85 | | |
| |||
0 commit comments