Every claim. Every artifact. One page.
Every claim on this site is backed by a verifiable artifact. This page collects them.
Runtime health
Governance health endpoint
Live status of the enforcement plane, signer chain, and evidence ledger.
Hash-chained evidence ledger
Append-only, SHA-256 hash-chained record of enforcement decisions. Each record links to its predecessor. Independent verification tooling is included in the evidence pack.
Formal verification
TLA+ model of the release-token protocol
1.94B states checked. Safety and liveness properties proven under the documented fault model. Source available in the public verification repository.
Six-Layer Formal Verification: 71 proofs across TLA+, Lean 4, runtime assertions, property tests, spec conformance, and hash-chain verification
The complete verification manifest (version 2.0, six independent layers, 71 total proofs, zero failures) is published alongside the model sources. Paper: Six-Layer Formal Verification of a Safety-Critical AI Governance Kernel.
Patents
Patent docket: three applications
Cosign primitive, release token lifecycle, and permission-before-power architecture. USPTO docket pending.
Compliance posture
CMMC Level 2 self-assessment SSP (sanitized)
110/110 controls, self-assessed. The parenthetical is load-bearing. No certifying body is named or implied.
Federal compliance documentation
Available on request.