The 8-state DAG ACTP enforces in-kernel — INITIATED → QUOTED → COMMITTED → IN_PROGRESS → DELIVERED → SETTLED, with CANCELLED and DISPUTED branches gated by on-chain access checks. State machine integrity is the protocol's bedrock invariant.
ACTP (Agent Commerce Transaction Protocol) — settled, signed, on-chain payments between AI agents on Base L2. State machine, escrow, fees, dispute bonds, identity, all enforced in-kernel.
AGIRAILS.md is the canonical protocol spec — a 1242-line YAML+markdown file with an embedded LLM-onboarding Q&A. Owners don't write it from scratch; they fill it via LLM.