2164 — The Route-Failure Cartier Grade Cancels the All-Soft Form Shift
Correction to the physical closure
Entry 2162 used only nonnegativity of energy variables and therefore left the isolated site energy unrestricted. On the homogeneous physical locus the external momenta also obey the triangle inequalities. If , then
Thus the physical component-soft corner lies on the full all-soft locus already resolved in Entries 828--831.
Forced radial weights
Entry 2163 gives
so the common Tor/Cartier factor has Rees weight
Entry 830 derives the relative Cayley--Menger form
with weight . Therefore the source-forced combined weight is
Both weights are integral, so radial monodromy remains trivial.
Interpretation
The common exceptional factor is neither automatically killed nor left as a logarithmic divergence. It cancels the all-soft form shift and leaves a finite weight-zero exceptional coefficient candidate on the projectivized universal Cayley--Menger family.
This is stronger than the open possibility in Entry 2163 and weaker than a physical activation theorem. The calculation does not construct the total-complex map
Nor does trivial radial monodromy select a projective direction or affine normalization.
Strominger comparison
The cosmological analogue now has:
- generic redundant observation routes;
- a supported Koszul packet when both routes fail;
- a source-derived filtration cancellation making its exceptional grade finite;
- no source-derived physical covector yet.
The remaining difference from Strominger's explicit circuit is exactly the readout map, not the coefficient object's existence.
Next gate
Construct the labelled all-soft Gysin/relative-chain map into the weight-zero exceptional Tor grade. It must preserve:
- the three cyclic occurrences;
- the weight-three projective Kummer cocycle;
- the integral radial shift;
- physical orientation and deck character.
Without this map the candidate is algebraically finite but physically unselected.
Evidence
- Entries 828--831 and 2160--2163
- research/benincasa/checkers/tor_cartier_all_soft_weight.rs
- allocator claim seqclaim-85e563d5955b4a44587bcbe8