Research and standards material for review.
Public papers and individual standards work are separated from controlled deployment evidence. This index points reviewers to the open material without exposing customer, implementation, or claim-language details that belong in qualified review channels.
Public research index.
Six-layer formal verification
Public paper and summary for the Kevros Enforcement Kernel verification stack: TLA+, Kani, Verus, runtime assertions, golden vectors, and Lean 4.
Bounded Confidence Envelopes
Supporting research on inference-time confidence envelopes and abstention behavior. This is separate from the Kevros Enforcement Kernel assurance boundary.
The Budget HTTP Authentication Scheme and 427 Budget Required Status Code
Individual Internet-Draft defining the 427 (Budget Required) status code, the Budget HTTP authentication scheme, the Budget-Attestation field, and a CBOR/COSE Budget-Attestation envelope. Public Datatracker status is authoritative.