CAIN-42 · Authority Notary v3 · evidence

Six layers, two outcomes, one signed bundle

Committed run at 2026-11-10T12:00:00Z. Reproduce with python3 -m cain.notary.run.

scenario	L0.root	L1.delegation	L2.admission	L3.state	L4.intent-effect	composed
A-compliant-treasury-transfer	AUTHORIZED	NARROWED	AUTHORIZED	AUTHORIZED	NARROWED	NARROWED
B-effect-widens-past-mandate	AUTHORIZED	NARROWED	AUTHORIZED	AUTHORIZED	OUTSIDE_AUTHORITY	OUTSIDE_AUTHORITY

Exact refusals recorded

B-effect-widens-past-mandate · L4.intent-effect: effect parameters widen beyond the proposal (scope widening refused); effect spent 90000 > proposed 25000 (value widening refused); cumulative spend 90000 exceeds the mandate budget 50000; settled amount differs from the authorized effect amount

Verify

pip install cryptography
python3 verify_notary.py bundle.zip --pinned-pub <the key you pinned>

bundle.zip · verify_notary.py · layers.json · run.json · SHA256SUMS · verify in your browser

bundle sha256 58def3bbd6a3a5caa339f7cae553cec41b3edc539111ed14aff216f31b241b9c
L2 proof 452dc53074bccfd356826b162a2debe6 · all_proved=True

Honest limits. Same-operator evidence. No third-party audit, no SOC 2, no customer run. The Lean 4 equivalence theorem for L2 is pending and not claimed. L0 is a local quorum with the production arithmetic. Nothing here grants authority.