Public claims are kept narrow and tied to reviewable artifacts.
This page is a public index. It separates what can be checked publicly from material provided through qualified buyer or controlled-distribution channels.
Runtime evidence
Governance health endpoint
Operational health for the enforcement plane and public gateway surfaces.
Hash-chained evidence ledger
Append-only record of enforcement decisions. Each record links to its predecessor. Verification tooling is included in controlled review material.
Formal verification
Six-layer formal verification summary
Reviewer-facing summary of the Kevros Enforcement Kernel verification stack: TLA+, Kani, Verus, runtime assertions, golden vectors, and Lean 4. The public corpus records 71 proof artifacts across the six-layer stack.
TLA+ model of the release-token protocol
State-space model and verifier output are maintained for the release-token protocol under a documented fault model.
Verification manifest
The public manifest covers TLA+, Kani, Verus, runtime assertions, golden vectors, and Lean 4.
Research
Bounded Confidence Envelopes
Supporting research on inference-time enforcement using calibrated confidence signals. This is separate from the Kevros Enforcement Kernel verification artifact.
Standards contributions
Protocol 427 individual Internet-Draft
The draft proposes a budget-required HTTP status code and post-quantum-signed budget attestations for autonomous payment and spending controls. Public Datatracker status is authoritative.
Patents
Patent docket: three applications
Subject-matter summary covers the cosign primitive, release token lifecycle, and permission-before-power architecture. Claim language is controlled.
Compliance posture
CMMC Level 2 self-assessment SSP
TaskHawk maintains self-assessment material for CMMC Level 2 and NIST SP 800-171 review. Internal self-assessment material maps 110 controls. No third-party certification is implied by public wording.
Government compliance documentation
Sanitized documentation can be provided to qualified reviewers through the appropriate channel.