← All parts of this equation

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

subscript

oto_t
subscript

What this part means

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.

Its job in the formula

A subscript distinguishes a version, component, step, or member of a quantity. It does not automatically mean multiplication.

The passage around this formula

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 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 →

Sources cited in the article section

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