Every theorem above rests on the Math Guide’s probability section:
the definition of probability, its extension beyond finite spaces, and the
continuity theorem used in the catch-up proof. This volume supplies the
best-chain model and the quantitative bounds in
Tables 1, 2, and 3.
Policies that decide which chain view to trust or when to treat a transaction
as final lie above that boundary.