CAIN-42 CAIN StudioCAIN-42 invariant · E27
I-PACKET-FIELD-expires_at: packet field expires_at
Held · CAIN-42 Evolution 27 -- Agentic Internet Control Plane
Last reviewed 2026-10-01
held niche Evidence, receipts & proofs · family packet
What this rule means
CAIN-42 must always satisfy: packet field expires_at. It is one of 757 invariants checked for CAIN-42 Evolution 27 -- Agentic Internet Control Plane. An invariant is a rule the system may never break, whatever an agent or attacker does; the test suite tries to break it across many scenarios and records the result.
Verify it in your browser
Your browser downloads the bundle's SHA256SUMS manifest and the file(s) behind this page, hashes them with SHA-256 locally (WebCrypto), and compares. A match shows the record you are reading is the published one; it does not by itself prove who published it (see the signed claims registry and the bundle verifier for that).
Check it yourself
Browse the raw bundle · How to reproduce it · SHA-256 manifest
Scope: {"limitation": "An in-process control-plane library. It coordinates E25/E26; enforcement remains in the E8 boundary. No hosted service, no external peer.", "status": "SCOPE"}
Related rules
- I-PACKET-configure-sign: packet configure signs
- I-PACKET-configure-tx: packet configure wrong transaction refused
- I-PACKET-configure-policy: packet configure stale policy refused
- I-PACKET-configure-epoch: packet configure stale epoch refused
- I-PACKET-create-sign: packet create signs
- I-PACKET-create-tx: packet create wrong transaction refused
- I-PACKET-create-policy: packet create stale policy refused
- I-PACKET-create-epoch: packet create stale epoch refused
← I-PACKET-FIELD-constraints · all 757 · I-PACKET-FIELD-revocation_epoch →
Try CAIN-42 on your own agents
Create a free account and every new account starts with a 7-day trial of the full platform. Or try the sandbox first, with no account at all.
Create a free account → · Try the sandbox · See the whole ecosystem