Typed mathematical infrastructure
Research Graph
Definitions, objects, theorems, conjectures, claim boundaries, and open problems share one source-governed graph. Papers are views into that graph, not isolated silos.
Structural emphasis
Load-bearing is curated, not counted.
The archive marks a small set of load-bearing nodes, bridges, and firewalls from the source audit. Raw graph degree is shown only as a navigation-density metric: a highly connected node is not automatically a deeper theorem or a more important idea.
load bearingAdmissible TransportTransport language
Mature comparison-valued root for admissible transport.
7navigation links
5 in · 2 out
5 in · 2 out
load bearingCertified Comparison GroupoidPrimitive comparison object
Retains source-certified comparison groupoids before representability.
3navigation links
3 in · 0 out
3 in · 0 out
load bearingIndexed Admissible DistributorPre-representable transport
Carries admissible continuation before ordinary functorial representation is earned.
10navigation links
5 in · 5 out
5 in · 5 out
load bearingExact Complete-Ground ProjectionExact-ground anchor
Keeps complete-ground identity separate from Gauss and Klauder projections.
5navigation links
5 in · 0 out
5 in · 0 out
bridgeCertified Admissible ContinuationContinuation bridge
Carries full physical cargo across admitted refinement with typed status accounting.
4navigation links
2 in · 2 out
2 in · 2 out
bridgeAdmissible Yang–Mills FibrationFibration bridge
Turns coherent certified continuation into the Grothendieck fibration.
4navigation links
1 in · 3 out
1 in · 3 out
load bearingVacuum LineageVacuum identity
Tracks the complete ground across carrier changes without asserting global operator equality.
2navigation links
1 in · 1 out
1 in · 1 out
bridgeOrbit FloorInvariant spectral bridge
Encodes the orbit-floor mechanism connecting observer energy to invariant spectral data.
4navigation links
2 in · 2 out
2 in · 2 out
bridgeOrbit-Threshold TransferInvariant transfer theorem
Transfers the height floor to an invariant orbit threshold under the stated covariance hypotheses.
5navigation links
2 in · 3 out
2 in · 3 out
firewallCoercivity Is Not Invariant MassMass-gap firewall
Prevents finite coercivity from being silently promoted to invariant mass.
4navigation links
1 in · 3 out
1 in · 3 out
firewallContinuation Is Not RepresentabilityRepresentability firewall
Prevents coherent continuation from being silently rendered as an ordinary functor.
2navigation links
1 in · 1 out
1 in · 1 out
firewallVacuum Lineage Is Not Global Operator EqualityVacuum-equality firewall
Prevents lineage from being confused with literal global projection equality.
2navigation links
2 in · 0 out
2 in · 0 out