CAIN-42 Evolution 13 proof bundle (e13-decision-integrity-2026-09-28) ========================================================== Built 2026-09-28T23:09:16+00:00 at commit 3106ea9e1626871a44d15b879d1a864ca6846e6e. WHAT THIS PROVES - E13 invariants (D1-D24) all hold: 24/24 - Decision bench contained: 36/36 - 33 tests passed, 0 failed: ============================== 33 passed in 0.61s ============================== REPRODUCE python3 -m pytest tests/test_cain42_e13_decision.py tests/test_cain42_e13_adversarial.py \ tests/test_cain42_e13_end_to_end.py -q bin/cain-agent decision audit bin/cain-agent decision bench python3 scripts/cain45/build_evolution13_bundle.py VERIFY (imports NO CAIN-42 code; Python + `cryptography` only) python3 verify_e13.py . LIMITS TESTED library: the decision fabric is part of the L5 kernel library on the operator host; it is not a hosted service and it runs no models. | It governs decision CONSTRUCTION from recorded, verifiable inputs. It does not read or validate a model's private reasoning; no chain-of-thought is stored. | Model opinion, confidence and narrative are kept separate from the audit record and are never authority. | Policy conflict resolution is deterministic and documented; it is not a general theorem prover. | Counterfactual evaluation is bounded deterministic simulation, not exhaustive search. | Attestation is over software/configuration digests, NOT hardware attestation. | No third party has reviewed this bundle; the clean-room verifier shares no CAIN imports but was written by the same operator. | Performance numbers are a single in-process run on the build host with the stated workload. REASONING IS NOT AUTHORITY. NO VALID DECISION -> NO AUTHORIZATION.