Daily Engineering Intelligence

Technology Newspaper

← Back to Home

Engineering Intelligence β€” Tuesday

September 29, 2026

πŸ“š Worth Your Time

Authority at Commit Time: Reject-and-Rerun Semantics for Governed Agentic Systems

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.
Read on arXiv β†’