Entry 1232 — Total-Energy Specialization Adds Only the Canonical Conormal Layer
Input from Entry 1231
The 80 labelled triple overlaps split into:
- 30 whose three energy walls already have rank two;
- 50 whose three energy walls have rank three and span .
The root-normal Čech map is the constant row
with rank-two kernel.
Derived specialization
For the 50 rank-three triples, quotienting by lowers the energy-wall rank from three to two. Hence it creates exactly one relation among the three generators. The resulting conormal/Koszul factor has ranks
For the other 30 triples, the rank-one relation already exists before total-energy specialization; no new nearby relation is created.
After , all 80 triples therefore have energy-relation nullity one, but only 50 carry the new nearby-cycle conormal class.
Compatibility with the marked complex
The row is constant over the energy base, so specialization commutes strictly with the Čech differential:
Tensoring the rank-two kernel with the new conormal factor gives ranks
per newly resonant labelled overlap. Across all 50 overlaps, the new nearby ranks are
Since the 50 labels form ten free -orbits, each nearby degree is
Rees order
All source energy walls in this subsystem are linear. Therefore their deformation has no second ordinary/Rees grade:
for the marked-incidence subsystem considered here. This does not constrain separate integrated coefficient periods, whose first nontrivial deformation may begin at higher order.
Verdict
There is no specialization commutator, coefficient excess, or new carrier datum.
Artifacts
research/benincasa/marici-gm/src/bin/five_site_triple_total_energy_nearby.rsresearch/benincasa/results/five-site-triple-total-energy-nearby.json
Next falsifier
The marked-incidence branch is now closed through triple overlaps. Return to the coefficient layer: determine whether the physical five-site period system has any non-Kummer discriminant or higher-normal deformation not generated by the rank-32 Kummer connection, Gram density, and the supported incidence objects above. Freeze an actual source period block before computing.