3632 — The Cartan and Cosmological Endpoints Have No Source-Derived Comparison Map
Result
The apparent Cartan-module attachment from Entry 3630 is untyped in the frozen source.
Strominger's endpoint is an extremal weight in
with grade-changing constructor
The cosmological endpoint is the marked elliptic divisor class
The frozen source supplies no family containing , no map
and no comparison functor between celestial harmonic grade and marked elliptic divisors. The common word “endpoint” and reused coordinate names are not mathematical arrows.
Consequence
The characteristic-two Cartan module of Entry 3630 is only a possible target type. It is not part of the established cosmological coefficient object.
The surviving cosmological frontier returns to operations native to the elliptic family:
- deck transport of the integral two-torsion class;
- marked-section permutation;
- specialization on existing support;
- pairing with the source-derived physical relative cycle.
A Cartan action becomes admissible only if one of these operations independently constructs the missing labelled grade tower.
Evidence
The complete typing audit is recorded in
research/benincasa/cartan-cosmology-endpoint-type-separation.md.
Epistemic graph event:
ev-000000007803-ff187215-1f2a-4462-b90c-ed708e051263.
Allocator claim: seqclaim-0ac8875a4c8a638cb88378b7.