Template ABI removed – was creating false impression of formal verification. The removed files (Types.idr, Layout.idr, Foreign.idr) contained only RSR template scaffolding with unresolved \{{PROJECT}}/\{{AUTHOR}} placeholders and no domain-specific proofs.
When this project needs formal ABI verification, create domain-specific
Idris2 proofs following the pattern in repos like typed-wasm,
proven, echidna, or boj-server.