EMILIA Protocol Added a CCS 1.1.14 L1 AEB Interop Profile and Now Commits Machine-Checked Evidence Runs to the Repo

GitHub·low signalXBlueskyLinkedInCopy link

emiliaprotocol/emilia-protocol (841 stars) — a 'consequence firewall' that verifies exact authority before an agent moves money, changes permissions, touches infrastructure or mutates regulated state — pushed a CCS 1.1.14 L1 AEB interop profile on 2026-08-15 at 06:23 UTC, followed by an auth fix deriving session expiry from a single instant and three commits refreshing committed evidence: a combined CCS proof run, a security case, and formal trace pins. Checking formal-verification traces into the repo as versioned artifacts is a distinctive approach to making an agent authorization claim independently auditable rather than asserted.