Equation 2 · Typed Tools: Protocols as an Agent's Action Alphabet
What does this equation mean?
Read the formula alongside the article passage below. Each part has a deeper page with its role in the equation, the supporting passage and nearby citations.
the argument type : what shapes of input the tool accepts at all. Read the equation part by part below; each part has a contextual explanation and a link to its mathematical background.
Read it piece by piece
subscript
The lower label selects a particular version, component, or indexed member of the quantity. For example, x₀ and xₜ can be values at different positions.
How to interpret it
Read this expression with the definitions, units, and assumptions supplied by the article.
What the article says around this equation
is the argument type : what shapes of input the tool accepts at all. The map is partial — the harpoon rather than the arrow — because for some arguments and some world-states the tool has no defined behaviour. Those are preconditions : a file must exist, a booking must not already be cancelled, a handle must not have expired. A precondition that is checkable before execution can reject a bad call cheaply. A precondition that is only discoverable during execution turns into an error, and possibly into damage.
Sources cited in the article section
These citations give research context. Read each source to check which claims it supports.
Return to Typed Tools: Protocols as an Agent's Action Alphabet