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 verification stack: TLA+, Kani, Verus, runtime assertions, golden vectors, and Lean 4. Public summaries describe the assurance approach without turning proof counts into marketing claims.
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
Delegation HTTP authentication draft
Active individual Internet-Draft work on request-bound delegation for software systems. No IETF working-group adoption or standards approval is claimed.
Patents
Patent docket: three applications
Subject-matter summary covers the cosign mechanism, release token lifecycle, and verified-release 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 evidence mapping extends beyond the NIST SP 800-171 assessment set; recorded SPRS score context is available through qualified review. No C3PAO or third-party certification is implied by public wording.
Government compliance documentation
Sanitized documentation can be provided to qualified reviewers through the appropriate channel.