825 — The Deeper Soft–Triangle Locus Has Two Labelled Local Types
Support equations
The degeneration left open by Entries 813 and 824 lies on
The marked-coordinate equations split its eight collision orbits into two different local types.
Movable one-scale branches
For
neither marked coordinate forces (E=0). After reduction, the deeper branches are
There are four branches per occurrence. The original choice of whether the signed condition was written with (P_1) or (P_2) does not double this count once (P_1^2=P_2^2) is imposed. Thus
labelled one-scale strata.
Forced all-soft points
Each of the other five collision orbits contains a marked coordinate (-E). Its double boundary forces (E=0). Combining this with the signed and triangle conditions gives
All sign branches coalesce into one reduced all-soft point per occurrence:
labelled points.
Aggregate support representation
The reduced labelled support therefore contains
strata, arranged as seventeen free (C_3)-families. Its permutation character is
Consequence
The two types must not be assigned a common vanishing rank. The one-scale branch retains a nonzero momentum scale; the all-soft point has all kinematic scales collapsed and may carry additional grading or nonisolated directions.
The local workload is therefore finite: compute one logarithmic transverse complex for the movable one-scale type and one for the forced all-soft type. Only afterward may their ranks be transported through the seventeen cyclic families.
Scope
This is a reduced labelled-support census. It does not infer Milnor ranks, Tor lengths, coefficient multiplicities, or physical-chain activation.
Verification
- checker:
research/nima/audit_deeper_soft_triangle_occurrences.py; - packet:
research/nima/deeper-soft-triangle-occurrences.json; - allocator claim:
seqclaim-6ee5d702fe835f4da6047a9d.