Twenty one white papers, one per typed receipt instrument

These are the working papers for twenty one receipt instruments. Each one was written from the running implementation rather than from a design document. The gate lists come from the verification code, the field tables come from the JSON Schema that the service actually validates against, the adversarial cases come from the test files, and where a benchmark row exists the latency and artifact size figures come from that measured file.

Every paper follows the same shape: what the instrument binds, what is deliberately left out of the signed body, the gates in the order they run, the boundary text that sits inside the signed bytes, the adversarial cases, the measured cost, how to run it, and where it sits in the canon. Each one ends with a link to its canon entry, its JSON Schema and its verify route, so you can check the paper against the artifact.

Verification is open on the deployed types and needs no credentials. Patent pending.