← All parts of this equation

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

addition

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

What this part means

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

Its job in the formula

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

The passage around this formula

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 this part in the article →

Learn the underlying idea

Addition combines quantities; subtraction measures the signed difference between them. Parentheses show what is combined before the rest of the expression is evaluated.

Open the illustrated addition and subtraction in an equation guide →

Sources cited in the article section

These citations provide research context; check each source for the exact claim it supports.