← Mathematical compendium

Published equation contexts

(1−rA)(1-r_A)

Why this formula appears here

which is smaller than either (1-rAr_A) or (1-rBr_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−rA, 1−rB)\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 the full article-specific guide →

Read the representative guide

rAr_A

Symbol r_A

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

Read this term in its guide →

How to interpret it

Read this expression with the definitions, units, and assumptions supplied by the article.

Research cited beside this formula

Published contexts (1)

A symbol can carry a different meaning in another article. Each occurrence keeps its own guide and term definitions.

(1−rA)(1-r_A)

Equation 6 · AI Agents & Systems

How Verification Actually Works in a Claude Code Workflow

This mathematical expression combines the displayed quantities; its precise role follows from the surrounding article text.

which is smaller than either (1-rAr_A) or (1-rBr_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−rA, 1−rB)\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.

Equation guide → · Article →