TCB
canonical hash function
Evidence ceiling E3Proof boundary
SITE 63 · TRUSTED REALITY MICROKERNEL
Make the trusted surface smaller than the product.
The reference microkernel excludes portfolio UI, AI planning, CAFIN learning and seller-authored economic claims from the trusted path. It verifies a portable Reality Capsule and its monotonic lineage before any downstream consequence can be considered.
Trusted surface
Four small responsibilities.
The rest of Finality can evolve without becoming part of the minimal consequence-verification boundary.
TCB
Reality Capsule structural verifier
TCB
capsule chain verifier
TCB
consequence guard
Reference state
REFERENCE CAPSULE VERIFIES
This is executable seller-controlled reference logic, not a formally verified binary.
- CAPSULE
- PASS
- GUARD
- ALLOW_EFFECT
- WASI VERIFIER
- REFERENCE ARTIFACT
- PROOF-ASSISTANT THEOREM
- NOT PERFORMED
- EXTERNAL EFFECT EXECUTOR
- 0