Platform
A narrow enforcement layer before controlled action.
The platform is organized around a simple sequence: receive a proposed action, evaluate it against policy, issue a signed decision when permitted, and record the result in an evidence chain that can be reviewed later.
Architecture
Policy boundary
Autonomous AI, software services, and operational systems submit the action context before execution. Missing or ambiguous verification closes to denial.
Signer
The signer emits a release token only when the request clears policy and the verification path is intact.
Evidence ledger
Decision records are linked into a hash chain so sequence integrity can be checked by a reviewer.
Specification and verification
| Protocol specification | Included in controlled review material available to qualified reviewers |
|---|---|
| Golden vectors | Reference chains included in controlled review material |
| Verification stack | Six-layer formal verification summary |
| Public repository | taskhawk-systems/kevros-formal-verification |
| Verification report | Six-Layer Formal Verification paper |
| Evidence verifier | Included in controlled review material |
Full source access, controlled review material, and sensitive deployment material are handled through qualified review channels.