Registry · Remark V.R259 tau-effective not_applicable

V.R259 — Non-surjectivity is a feature

The non-surjectivity of Phi is the precise statement that structural artifacts (UV divergences, singularities, dark sectors) have no ontic source. They are elements of the orthodox observable category that do not lie in the image of the correspondence functor. Non-surjectivity is a feature, not a limitation.

Book V Part 7 Ch. 59

Lean Formalization

Module: