source -> proof-carrying Reality IR
Cryptographic or attestation binding in the reference contract.
Evidence ceiling E3Proof boundary
ATTESTED REALITY COMMIT
The right code must evaluate the right obligation against the right evidence.
The v0.18 runtime consumes normalized attestation results and refuses a commit when execution or runtime trust is not bound to the exact semantic hash, graph hash and evidence root. This creates a path to AWS Nitro, Intel TDX, AMD SEV-SNP and EAT/RATS without pretending those integrations are already live.
Binding chain
No cross-obligation receipt replay.
An attested execution from obligation A cannot satisfy obligation B merely because the action succeeded.
execution receipt -> semantic hash
Cryptographic or attestation binding in the reference contract.
execution receipt -> graph hash
Cryptographic or attestation binding in the reference contract.
signed evidence -> source key
Cryptographic or attestation binding in the reference contract.
signed evidence -> semantic hash
Cryptographic or attestation binding in the reference contract.
signed evidence -> graph hash
Cryptographic or attestation binding in the reference contract.
runtime attestation -> semantic hash
Cryptographic or attestation binding in the reference contract.
runtime attestation -> graph hash
Cryptographic or attestation binding in the reference contract.
runtime attestation -> evidence root
Cryptographic or attestation binding in the reference contract.
Reference hardware inputs
Consume attestation; do not invent another hardware root of trust.
Production deployments can normalize external verifier results into the Reality Commit policy.
IETF EAT/RATS-normalized verifier result
Reference input profile; no live integration claimed.
AWS Nitro Enclaves normalized attestation result
Reference input profile; no live integration claimed.
Intel TDX normalized attestation result
Reference input profile; no live integration claimed.
AMD SEV-SNP normalized attestation result
Reference input profile; no live integration claimed.