# Verifying the CAIN-42 E24 bundle

Save `verify_e24.py.txt` as `verify_e24.py` (Python 3 + `cryptography`, no CAIN imports) and run `python3 verify_e24.py .`.

With its own copies of the rules it re-derives: every identity digest and organization signature; every capability-evidence signature against the registered attestors of the agent's own domain and its identity binding; every federation bridge (both domain signatures, scope inside both domain ceilings); every negotiation offer chain and result digest; every contract digest and both party signatures; every delegation signature and child-within-parent; every execution-decision digest and that each authorization has a matching E19 AUTHORIZED decision; the evidence hash chain; the revocation record and that unrelated contracts stay active; the quarantine history against its own transition table; the escrow settlement signature; the protocol mapping table; the trust translation table; and, for every agent pair and capability in the soundness table, that an AUTHORIZED decision is derivable from the published identities, domains, bridges and evidence. It also checks the invariant, bench, demonstration, simulation and mutation records for consistency. It proves the bundle is intact and self-consistent; it does not run the fabric and does not show that any real agent network is governed.