Registry · Remark IV.R106 tau-effective not_applicable

IV.R106 — Book III template vs Book IV instantiation

Book III established the sector decomposition as a mathematical template on L with coupling ledger and No Knobs Theorem (III.T42); the 13-row sector atlas table in ch45 is the physical E1 instantiation of that abstract template, filling every entry with derived (not postulated) physical content across all five sectors.

Book IV Part 6 Ch. 45

Lean Formalization

Module:

Symbol: