Mathematical registry
Source-bound theorem records with hypotheses, dependencies, exports, and status.
Coherent certified continuation determines the admissibility pseudofunctor and hence the associated Grothendieck fibration. The formal construction does not manufacture the physical continuation arrows.
Open archive record →Placeholder registry entry for the no-leakage result; theorem numbering and canonical source must be verified before deployment.
A frame-dependent height exclusion propagates around each symmetry orbit, producing an invariant lower threshold for the orbit-floor spectral shadow.
Open archive record →The two unitary groups, and therefore their Stone generators including maximal domains, are equal.
Open archive record →The ground-state transform generates a conservative symmetric Markov semigroup.
Open archive record →The electric–magnetic form is a closed symmetric Dirichlet form, with gauge-invariant restriction also Dirichlet.
Open archive record →The same configured floor yields a functional-analytic Poincaré estimate and exponential L² relaxation rate.
Open archive record →The selected raw physical comparisons form a bicategory projecting normally to the selected transport base.
Open archive record →The electric–magnetic plus seam form is again a symmetric Dirichlet form; positivity alone is not enough.
Open archive record →