Canonical Technical Papers
The Ordinis Library
Proof: a rejected action can never run, and no decision is skipped
A Formal Model of Fail-Closed Decision Ordering v2.4
A computer-checked proof across 19 rules and 150,000+ explored states. Result: no deadlocks, no bypass of the rules.
How privacy deletion and tamper-proof records can both hold
CAS-001 Storage Standard
How the record of each decision stays chained and intact while the business data behind it can be deleted on request.
From one-step content filtering to whole-case sequence governance
Causal Decision Chaining: Why a Single Precedent Is Not EnoughIn preparation
Why judging one decision alone cannot stop coordinated manipulation — and how linking the whole sequence closes that gap.
How replay, reconstruction, and independent model checking are exercised
Verification & Audit Methodology BriefIn preparation
The checks every shipped kernel goes through, including the computer-checked model and the limits of what it proves.
Where the boundary standard maps across six major regimes
Regulatory Alignment MapIn preparation
A plain-language view of how the capability is meant to line up with the EU AI Act, DORA, Solvency II, Basel III, NIS2, and GDPR.
Book an evaluation. Bring a real deployment. Leave with a record you can verify.
In-person talks for risk officers, security researchers, and audit teams. No account. No browser scripts.