← Back to article

Equation 5 · Typed Tools: Protocols as an Agent's Action Alphabet

What does this equation mean?

Σ\Sigma

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.

This mathematical expression combines the displayed quantities; its precise role follows from the surrounding article text. 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

Σ\Sigma

Symbol Sigma

Sigma is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.

Understand this part →

How to interpret it

Read this expression with the definitions, units, and assumptions supplied by the article.

What the article says around this equation

Rt\mathcal{R}_t is the result type : what the caller is told. The second Σ\Sigma 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 Σ\Sigma may be arbitrarily large. The caller — model and harness alike — has no way to verify that the bit is true.

Read the equation in its article →

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

Browse the mathematical compendium →