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.