The Fintech Builder · actual integrated kernels

Inspect the evidence behind every conclusion.

Keep all eleven checks, the complete source slice and all 27 earlier control IDs. A known failure remains visible when another layer is missing.

Synthetic original Cedar correction · public demo keys · independently supplied trust/expected evidence. Required model anchoring never proves live external assurance.

Policy comparison is enabled only on the two clean-source cases. Altered evidence is never silently replaced to repair a failure. Native-refusal mode blocks only SHA256; actual Ed25519 remains active.

Current layer

Every actual layer stays in the reportEleven numbered positions show the computed statuses. The selected layer has a purple outline; the complete names and exact diagnostics remain in the table below.
Full sourceValidate complete groups; select projection at E/K.
Independent evidenceCompare retained payload, replay, key and proof facts at V.
Explicit policyKnown fail → fail; required unknown → indeterminate.

The report executes five controls (four with anchor excluded), rechecks two historical invariants and leaves twenty earlier controls not evaluated. It does not execute every earlier algorithm.

Declared policy conclusion

Calculated Ada raw minor
Calculated normal minor

Exact E/K/V clocks and calculated commitments


All eleven layer results
Focus changes inspection only. Every applicable kernel and all required evidence are evaluated before the report is displayed.
LayerStatusExact diagnostic
Mismatch fields and every requested proof result


Complete supplied groups and ordered journal legs
Group / availabilityJournal / sequenceEffective / recordedOrdered legs · USD minor
The inverse and replacement retain their own recordings inside one correction group. Supplied source display is not a certificate that accounting passed.


Every earlier control ID appears once
Inspect complete computed JSON
Inspect exact model inputs and source identities