universal-outcome/v021/src/trusted-microkernel.mjs
4 lines · sha256:817bb69a3e233e79178af99a1e3b7b06938c11cd922b81e5d6aa9d14a05d629f
Evidence ceiling E3Proof boundary
TRUSTED COMPUTING BASE
Make the critical code small enough to audit separately.
The broader Finality application is not automatically trusted. Site 65 identifies and hashes the files whose semantics directly govern capsule verification, consequence capabilities, Reality VM decisions and authority attenuation.
Declared TCB
6 files · 206 nonblank/noncomment lines.
Each file is independently SHA-256 addressed. The long-run target is machine-checked refinement into an even smaller verified kernel.
universal-outcome/v021/src/reality-capsule.mjs
27 lines · sha256:68fe88e73e75cfa0893814d099348cc31e43dfa3ed4e16abd974d26ad134eb7f
universal-outcome/v022/src/consequence-capability.mjs
57 lines · sha256:f4ddab2b53c854d44c1bdc87009397aa3f2233372f5ffadae654d3047606c407
universal-outcome/v022/src/reality-vm.mjs
30 lines · sha256:99792148d892ff7729174ab3a93b8587cccaf7b0919592fe1862071d11807248
universal-outcome/v023/src/non-amplifying-capability.mjs
68 lines · sha256:3cd22bb9e65ea3e5b48368f60cd1acf7aa340d70484522084a68190266ec2053
universal-outcome/v023/src/reality-kernel-model.mjs
20 lines · sha256:5123d784873b0374376e748f2e2feca808d8969e5de67bc54fcffda46d3f9d6e