← All parts of this equation

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

Symbol o_t

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

What this part means

the producing an observation.

Its job in the formula

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

Where the article explains it

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.

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.…

Read this part in the article →

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.