Registry · Remark IV.R195 tau-effective not_applicable

IV.R195 — No arbitrary choices

Uniqueness of the generator-to-sector assignment is essential to the zero-free-parameters claim. If even one mapping admitted an undetermined choice, that choice would be a free parameter. The mathematics determines the physics completely.

Book IV Part 1 Ch. 2

Lean Formalization

Module: