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

Lean Formalization

Module:

Symbol: