Equation 8 · Part 1 · How Verification Actually Works in a Claude Code Workflow

Symbol r_A

\max(1-r_A,\ 1-r_B)

r_A

What this part means

$r_A$ is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.

Its job in the formula

$r_A$ is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.

Full expressionSymbol r_AArticle meaning

The passage around this formula

which is smaller than either (1- $r_A$ ) or (1- $r_B$ ) alone: real, additive protection. But if the two checks share a failure mode — most obviously, if the “second check” is the same model re-reading its own output inside the same context, primed by the same reasoning that produced the mistake — their misses stop being independent, and the joint miss probability climbs back toward $\max(1-r_A,\ 1-r_B)$ : no better than the stronger of the two checks alone, and often worse in practice, because the second pass inherits the first pass’s blind spot along with its confidence.

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.