Registry · Remark
III.R03
established
not_applicable
III.R03 — Four-Tier Scope Discipline
Every claim in Book III carries one of four labels: established (proved in orthodox mathematics), τ-effective (proved with explicit finite cutoffs in Category τ), conjectural (motivated bridge not yet built), metaphorical (narrative framing, not theorem).
Book III
Part 0
Ch. 3