arXiv (Jesus Salas; Sep 25) β Enterprise agents may compute for secondsβhours from a snapshot of policy/facts/tools/verifiers that drift before effects hit the world β so completion β authority. Agents are proposal producers; a logically authoritative service is the sole admitter of governed effects. At admission: compare declared dependencies + component manifest to current state, run current verifier, then either reserve an idempotent effect for transactional-outbox dispatch or reject stale work for resync/rerun. Unaffected work continues; lost responses resolve via canonical verdicts/receipts. Composes OCC + semantic verification + outbox; distinctive read set includes normative authority and the model components that produced the proposal. Local composition: complete mediation 18 authority commands β 18 external effects; direct-credential arms produced 8 extra effects β all detected via independent journal reconciliation, none falsely detected in the mediated control. Explicit non-claims: no prevention/reversal of bypass effects, no production throughput/WA availability proof, no verifier-correctness claim.
Why you care: Strongest DistSys-literacy primary on a Tier-1-empty Tuesday (Go/DistSys/HQ/OCR EMPTY after NATS 2.15 + Stratum HARD SKIP). Hits DistSys literacy via idempotency, OCC, outbox, reject-and-rerun β not agent-product fluff; not a production SLA claim.