← Back to article

Equation 9 · Claude Code, From First Principles: The Agentic Loop, Permissions, and What Actually Executes

What does this equation mean?

ct+1=ct⊕(at, ot).c_{t+1} = c_t \oplus (a_t,\ o_t).

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.

Inputs and operationsc_t oplus (a_t, o_t)
Result or conditionc_t+1
How to read the two sides of this formula. Follow the article passage for the meaning of each quantity.

This equation states an equality: the expressions on both sides have the same value under the article’s assumptions. 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

ct+1c_{t+1}

Symbol c_t+1

ctc_t+1 is the next indexed value computed from the current indexed quantity and the update terms shown on the right.

Understand this part →

ctc_t

Symbol c_t

ctc_t is an input to the expression that computes the quantity on the left.

Understand this part →

ata_t

Symbol a_t

ata_t is an input to the expression that computes the quantity on the left.

Understand this part →

oto_t

Symbol o_t

the producing an observation.

Understand this part →

=

=

The expressions on both sides represent the same quantity under the stated assumptions.

Understand this part →

See an illustrated explanation →
addition

addition

Add the term after the plus sign to the term or group before it.

Understand this part →

subscript

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.

Understand this part →

How to interpret it

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

What the article says around this equation

Claude Code executes ata_t — subject to a permission check described in the next section — against the real filesystem, shell, or network, producing an observation oto_t : a diff applied, a command’s stdout and exit code, a search result. That observation is appended to the context for the next step: ct+1=ct⊕(at, ot)c_{t+1} = c_t \oplus (a_t,\ o_t). The loop repeats until π\pi emits a stop rather than a tool call. Nothing in this is exotic; it is the standard shape of a tool-using agent. What matters for this article is what each symbol is standing in for in a real, shipped product: ata_t is not a hypothetical action but a call to a real interpreter with real side effects on a real machine, oto_t is not simulated feedback but…
Read the full surrounding passage
Claude Code executes ata_t — subject to a permission check described in the next section — against the real filesystem, shell, or network, producing an observation oto_t : a diff applied, a command’s stdout and exit code, a search result. That observation is appended to the context for the next step: ct+1=ct⊕(at, ot)c_{t+1} = c_t \oplus (a_t,\ o_t). The loop repeats until π\pi emits a stop rather than a tool call. Nothing in this is exotic; it is the standard shape of a tool-using agent. What matters for this article is what each symbol is standing in for in a real, shipped product: ata_t is not a hypothetical action but a call to a real interpreter with real side effects on a real machine, oto_t is not simulated feedback but the actual return value of that call, and the boundary between “the model decided” and “the harness allowed” is enforced by software, not by the model’s own restraint.

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 Claude Code, From First Principles: The Agentic Loop, Permissions, and What Actually Executes

See this formula across 1 published context →

Browse the mathematical compendium →