Registry · Remark V.R07 tau-effective not_applicable

V.R07 — No scope inflation

Book V explicitly avoids scope inflation by marking conjectural results as conjectural, noting where identifications depend on CODATA uncertainties, and treating the four-tier scope labels as a binding contract between text and reader.

Book V Part 0 Ch. 1

Dependency Graph

Depends on (1)

Lean Formalization

Module: