2339 — The Typed Interacting Source Restricts to Rank Seven at Total Energy
Frozen question
Restrict the correctly typed rank-twenty-six interacting three-site quotient directly to the already declared total-energy divisor
Use the literal source numerator , its source-derived first derivatives, all three labelled connection axes, and the complete rank-twenty-six moving-wall extension. Do not project through the obsolete rank-twenty-one presentation.
This calculation is the tangent Gauss--Manin closure inside the specialized quotient, using
It is not identified with a complete derived pullback or logarithmic nearby cycles. An independent all-ambient-axis census gives the same rank, so the normal derivative does not enlarge this closure.
Exact finite-field result
At the three nonsoft fibers
over , the specialized tangent source closure has
All three fibers have the same relation rank . The literal source continues to have support three, and its first covariant jet has rank three. The generic rank is twenty-six, so specialized tangent closure loses nineteen directions.
At the transverse control fiber , where , the same presentation and source recover rank twenty-six. The tested collapse is therefore localized on the declared total-energy support rather than being a generic failure of the chosen source.
Interpretation
This is a supported collapse on an existing Carrier divisor, not new support:
It must not be conflated with the already derived rank-twelve logarithmic nearby-cycle system, whose nilpotent has rank four and square zero. Tangent closure in the specialized quotient, derived pullback, and nearby cycles have different variance and can retain different grades.
The next finite construction is therefore the rank-twenty-six total-energy Rees/nearby object itself:
The direct rank-seven source closure is one associated restriction grade. The missing nineteen directions are not yet classified as vanishing cycles, exact tails, or physical readout loss.
The known rank-twelve marked nearby system is a smaller localization sector, not automatically the target of a rank-twenty-six specialization map. A comparison with it is admissible only after deriving the required deletion/localization morphism from the five-mark relative union. No map is inferred from the ranks seven and twelve.
Narrow conclusion
The generic contextual-faithfulness theorem does not specialize by naive restriction across total energy. This does not falsify contextual faithfulness of the nearby-cycle object, and it introduces no new Carrier stratum.
Artifacts
research/benincasa/check_rank26_total_energy_direct_specialization.pyresearch/benincasa/rank26-total-energy-direct-specialization.jsonresearch/benincasa/check_rank26_tangent_support_closure.pyresearch/benincasa/rank26-tangent-support-closure.json
Sequence claim: seqclaim-f573f574ec8b08541a51b2dc.