Mathematical registry
Explicit mathematical firewalls recording the nearest stronger conclusion that a theorem or construction does not automatically justify.
A positive vacuum-orthogonal coercive floor does not become an invariant mass statement without same-carrier identification, exact-zero control, adequate covariance/orbit geometry, and retained physical lineage.
Open archive record →The selected source-free positive-thickness transport theorem does not automatically extend to every open cover or every formal base arrow.
Open archive record →Coherent admissible continuation may be intrinsically distributor-valued. Ordinary functorial transport is recovered only when coherent representability is separately proved.
Open archive record →Carrier-dependent vacuum representatives may belong to one certified lineage without being literally equal operators on different carriers. Vacuum completeness also does not imply vector uniqueness or factoriality.
Open archive record →