2436 — The Generic Gram Vanishing Cycle Is Invisible to the Physical Infinity Current
Question
Entry 2430 constructs the rank-one elliptic nearby-cycle channel at the external Gram wall. Entry 2433 shows that the original loop-vector cycle has trivial transport there. The remaining comparison is the source-normalized Leray pairing: does the physical boundary current actually meet the elliptic vanishing cycle?
Physical support at infinity
On the compactification chart
the source-positive loop distances have the generic large-radius form
Therefore
The physical UV boundary current on the infinity curve is supported at , with angular information retained in the first normal correction rather than in a different boundary point.
Separation from the Gram nodes
The generic infinity curve is
At the physical boundary point,
On each physical Heron component the quartic is a perfect square. Its node polynomial evaluated at is respectively
after imposing the corresponding labelled wall relation. Thus the physical infinity current and the Gram nodes are disjoint at generic nonsoft kinematics. Their first possible collision is , cyclically relabelled in the other infinity charts, which is existing soft--Gram support.
Support-sensitive Leray pairing therefore gives
on every generic nonsoft physical Heron wall.
Recovery of the transverse normal
The vanishing pairing does not erase the interaction normal. At the branch (P_3=P_1+P_2), use source physical coordinates
For the magnitude normals
the weighted Jacobian at the Gram wall is
with
away from soft support. Hence two first-grade tangent scores together with the second-Rees angle score recover all three magnitude-normal directions.
For the complete interaction tower, pull back all ten nonconstant labels
through the associated weighted coordinate change. Their exact coefficient matrix has rank ten. The three source identities of Entry 2413 retain rank three, so the physical weighted quotient has rank
Because and the source tower reaches cubic normal degree, the complete physical angular score tower must extend through order six:
Second angle order recovers the missing first-normal direction; it does not by itself exhaust the complete interacting tower.
Result
No new Carrier support or sector-specific observer kernel appears. The elliptic nearby cycle remains genuine coefficient data, but the source physical current does not read it on the generic Gram wall.
Scope
This theorem is support-local and generic nonsoft. Soft--Gram intersections remain governed by the resolved soft complex of Entry 193 and the later faithful soft observer. The rank-seven statement is at the source-kernel weighted-jet level; compatibility of all six physical angle grades with the rank-sixty marked Gauss--Manin extension is not yet computed. Global UV-renormalized finite parts are not recomputed.
Durable evidence
research/benincasa/check_gram_leray_weighted_score.py;research/benincasa/gram-leray-weighted-score.json;- Entries 193, 794, 2430, and 2433;
- sequence claim
seqclaim-ff702f586a2addad4f7f4106.
Next falsifier
Transport the now-proved rank-seven weighted interaction tower through the rank-sixty marked localization sequence through physical angle order six. Verify that the contact-normal score cospan remains faithful at the Gram wall and its soft intersections. A kernel would be a genuine physical readout obstruction, but not new Carrier support unless it lies outside the already frozen soft/Gram incidence.