Certified Comparison Groupoid
source-verifiedprofunctorgroupoidtransport
For an admitted base passage f, the groupoid of source-certified full-package physical comparisons from X to candidate destination Y over f.
Open archive record →Mathematical registry
Mathematical Objects
Typed mathematical objects with carriers, coefficient systems, and admissible transformations.
13public records
Admissible Yang–Mills Fibration
source-verifiedgrothendieck-fibrationcontinuation
A cloven Grothendieck fibration obtained only after certified continuation data and coherent reindexing have been established.
Open archive record →Mechanism Reconstruction
conceptualproof-architecturediscovery-history
A later structural explanation of an originally compressed or insight-driven step, without implying that the original argument was invalid.
Open archive record →Coefficient-Band Associator Class
source-verifiedgat
The internal degree-three coefficient-band class b_D recording associator twisting.
Open archive record →Relative Refinement–Admissibility Lift
source-verifiedgat
A native relative degree-two class in the mapping-fiber complex, distinct from both the filling obstruction and the transgressed selector class.
Open archive record →Selected Tensor-Selector Class
source-verifiedgat
A selected degree-two class produced from the band class by controlled transgression.
Open archive record →Admissible Section Module Object
source-verifiedgat
The module-valued pseudosection underlying represented physical sections.
Open archive record →Transport–Migration–Escape Decomposition
source-verifiedgat
The decomposition of comparison zero modes into retained transport and migration, with positive residual comparison escape.
Open archive record →Finite Physical Yang-Mills Cargo Object
source-verifiedgat
The full transport-ready physical package rather than its observable-algebra coordinate alone.
Open archive record →Indexed Admissible Distributor
source-verifiedgat
The comparison-valued transport object prior to coherent representability.
Open archive record →Markov Coarse-Graining Shadow Object
source-verifiedgat
Finite-rank gauge-compatible Markov coarse-graining, explicitly distinct from the sharp physical detector.
Open archive record →Orbit Floor
source-verifiedspectral-theoryinvariant-transfer
The infimum of the height function along a symmetry orbit; its spectral functional calculus supplies the invariant shadow used in threshold transfer.
Open archive record →Vacuum Gerbe
objectvacuum-gerbecohomologydescent
A central higher-gluing object in the Yang–Mills program; exact public definition and source location remain to be attached.
Canonical source pending
Open archive record →