09/28/2026
A Valid Tool Call Can Still Be an Invalid Effect
Why consequential agent actions need a semantic read set
Agent tool protocols make functions discoverable through names, descriptions, and argument schemas. That is enough to form a request but not enough for a consequential system to decide whether the resulting effect is still acceptable. Traditional software usually fixes a transaction pattern in code: which state is read, which authority is consulted, which conditions are checked, and which target is updated. An agent can assemble that pattern at runtime and emit only the final write, allowing the material read set to disappear into model context, tool transcripts, or logs.
This article calls this interface failure read-set erasure, defines the missing information as the effect’s semantic read set, and proposes a dependency-carrying effect: a canonical effect, target-required dependencies, bounded authority, replay semantics, and an explicit commit topology. The agent may propose dependencies, but the protected effect type and target must define the checks that cannot be omitted. A detached pre-dispatch verifier is not atomic; systems must state whether they provide target-native conditional commit, reservation-bound ex*****on, or saga-bound dispatch. The mechanisms are familiar: conditional writes, optimistic validation, reservations, idempotency, and sagas. The contribution is an interface discipline that preserves the justification for an agent-generated effect until the system of record can accept, hold, or refuse it.
Why consequential agent actions need a semantic read set Agent tool protocols make functions discoverable through names, descriptions, and argument schemas. That is enough to form a request but not enough for a consequential system to decide whether the resulting effect is still acceptable. Traditio...