Research
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 guarantee.
Protocol 427 Internet-Draft
Individual Internet-Draft for an HTTP budget-required status code and post-quantum-signed budget attestations. Public Datatracker status is authoritative.
Boundary
Public research does not replace controlled review.
Public material
Papers, summaries, public repository references, and public standards submissions.
Controlled material
Deployment evidence, gateway field details, SSP material, patent claim language, and customer-specific review packets.
Standards status
The Protocol 427 draft is an individual submission. This page does not claim adoption by any IETF working group.