Equation 3 · Part 1 · Typed Tools: Protocols as an Agent's Action Alphabet
Symbol R_t
What this part means
the result type : what the caller is told.
Its job in the formula
is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.
Full expression→Symbol R_t→Article meaning
Where the article explains it
is the result type : what the caller is told.
The passage around this formula
is the result type : what the caller is told. The second is the side effect : what changed. These two are separate, and conflating them is the origin of most agent unreliability. A tool that returns {"status": "ok"} has a result type carrying roughly one bit while its effect on may be arbitrarily large. The caller — model and harness alike — has no way to verify that the bit is true.
Learn the underlying idea
A subscript is a label attached below a symbol. It often selects a time step, component, category, or member of a sequence.
Open the illustrated subscripts: which member of a family? guide →
See this notation across published equations →
Sources cited in the article section
These citations provide research context; check each source for the exact claim it supports.