Registry · Proposition
IV.P119
tau-effective
formalized
IV.P119 — No uncountable factorization
No uncountable factorization: any physical quantity satisfying boundary-first normalization involves only finite sums at each stage, the profinite omega-germ limit, and evaluation in tau-Idx; no uncountable sum, continuum integral, or UV-divergent operation appears.
Book IV
Part 5
Ch. 44