EXPLAINME.adoc

Conative Gating — 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.

Jonathan D.A. Jewell <jonathan@hyperpolymath.org>

— README

Technology Choices

Technology	Learn More
Rust	https://www.rust-lang.org
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

Questions?

Open an issue or reach out directly — happy to explain anything in more detail.