Static navigation and verification context only.
Diligence handoff · separate runtime
Inspect, run, and verify governed code.
This proof-registry route is a Diligence handoff, not a top-level nav peer. The governed code surface runs on the separate A11oy product domain. Execution claims stay attached to that runtime.
Truth boundary: this page does not execute code and does not claim that the separate engine, signer, approval gate, or sandbox is available. Those properties must be observed on the product runtime for the exact session.
Separately deployed governed run-loop.
Read the runtime health and capabilities endpoints.
Inspect implementation, checks, and release history.
Follow the evidence chain.
Each link answers a different question; none substitutes for the others.
Capabilities
Inspect the runtime's declared governed-code interfaces and current labels.
Read capabilitiesRun-loop health
Observe whether the execution engine is currently available.
Read healthImplementation
Review public source and protected checks before relying on behavior.
Inspect repositoryReceipt verification
Verify emitted chains and signatures through the product verifier.
Open verifier