2 docs tagged with "invariants"

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.

What ACTP protects against and what it doesn't. Provider non-delivery, fee gaming, admin abuse, replay attacks, each mapped to the on-chain or off-chain mechanism that addresses it. Plus what falls outside the protocol's scope.