Aspasia — Independent Neurosymbolic Statistical Auditor — 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. This system is named for her because it corrects the corrector. StatistEase — 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.