← All parts of this equation

Equation 20 · Part 1 · OpenAI Codex as a Software-Engineering System: Models, Harnesses, and Evidence

Symbol h_k+1

hk+1=f(hk,ok,ak)h_{k+1}=f(h_k,o_k,a_k)
hk+1h_{k+1}

What this part means

hkh_k+1 is part of the quantity the equation computes from the expression on the right.

Its job in the formula

hkh_k+1 is part of the quantity the equation computes from the expression on the right.

The passage around this formula

Long sessions pose a lossy-state problem. When a transcript exceeds context capacity, a harness may compact earlier interaction into a summary. If hk+1h_{k+1}=f(hkh_k,oko_k,aka_k) compresses state, reliability depends on whether f preserves commitments, failed hypotheses, file identities, and unresolved constraints. More context tokens do not remove this requirement; they postpone it.

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.