Explicit Trust Plane — Show Me The Receipts Table of Contents Technology Choices Dogfooded Across The Account File Map Questions? The README makes claims. This file backs them up. Important These are different cryptographic objects, not one key encoded multiple ways. — README Technology Choices Technology Learn More Zig https://ziglang.org Idris2 ABI https://www.idris-lang.org Dogfooded Across The Account Uses the hyperpolymath ABI/FFI standard (Idris2 + Zig). Same pattern used across proven, burble, and gossamer. File Map Path What’s There src/ Source code ffi/ Foreign function interface test(s)/ Test suite Questions? Open an issue or reach out directly — happy to explain anything in more detail.