← All parts of this equation

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

Symbol pi

at=π(ct).a_t = \pi(c_t).
π\pi

What this part means

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

Its job in the formula

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

The passage around this formula

Let ctc_t be the context available to the model at step t : system instructions, conversation so far, file contents, tool outputs. The model is a policy π\pi that, given ctc_t , emits either a final answer or a tool call ata_t : at=π(ct)a_t = \pi(c_t). 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:

Read this part in the article →

Learn the underlying idea

A function assigns an output to each allowed input. The expression f(x) means “apply f to x”.

Open the illustrated functions: inputs become outputs 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.