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.
Delegation HTTP authentication draft
Active individual Internet-Draft work on request-bound delegation for software systems. The public Datatracker record is the source of record; no working-group adoption or standards approval is claimed.