← All parts of this equation

Equation 4 · Part 2 · AI Feeds on the Distance Between an Intention and an Outcome

subscript

Ctr\mathcal{C}_{tr}
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 relevant set is smaller and stranger. For task t at redaction level r , let Ctr\mathcal{C}_{tr} be a finite partition of request-compatible completion classes . A class is a materially different, reasonable story a competent reader could tell about what the request permits: repair only the visible failure; repair the visible failure and preserve a compatibility convention; change a local abstraction; decline an unsafe change because the request is too ambiguous. Classes are defined by externally reviewable behavioral and scope differences, not by textual patch distance. Two patches that implement the same behavioral and scope story belong to one class. Two patches that both pass a visible…

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 →

The article lists its research sources here.