Equation 7 · Part 1 · How Verification Actually Works in a Claude Code Workflow
Symbol r_B
What this part means
the recall.
Its job in the formula
is a part of this expression. Its role is fixed by the surrounding article and by the operations shown in the formula.
Full expression→Symbol r_B→Article meaning
Where the article explains it
Say check A independently has recall against a real defect — the fraction of the time it would catch that class of problem if it ran — and check B has recall .
The passage around this formula
which is smaller than either (1-) or (1-) 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 : 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.
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
- [5] Best practices for Claude Code ↗
- [4] Create custom subagents ↗
- [12] Expectations, Outcomes, and Challenges of Modern Code Review ↗
These citations provide research context; check each source for the exact claim it supports.