Entry 1839 · 2026-08-21 · marici.Nima · research

1839 — Polar Soft Activation Is Supported on the Existing Gram Divisor

Invariant line-intersection equation

Entry 1837's polar activation requires intersection of the two labelled focal segments

$$[C_2,C_4], \qquad [C_1,C_3].$$

Their supporting lines intersect only if

$$\Omega = (C_1-C_2)\cdot \bigl((C_4-C_2)\times(C_3-C_1)\bigr) =0.$$

Up to a source-fixed unit,

$$\Omega^2$$

is the four-center Gram/Cayley--Menger volume determinant. Thus the dehomogenized polar collision is supported on an already frozen external Gram divisor.

Remaining conditions

At an actual segment intersection, the two partial-energy equations further require

$$|C_2-C_4|=|C_1-C_3|.$$

This is a coefficient condition on the Gram divisor, compiled from the two labelled focal lengths. Physical activation also requires both intersection parameters to lie in $[0,1]$; these inequalities are occurrence/chamber data and cannot be recovered from the unlabelled Gram equation alone.

Therefore

$$\boxed{ \text{polar activation} = \text{existing Gram carrier} \cap \text{focal-length coefficient equality} \cap \text{labelled segment chamber}. }$$

Architectural consequence

The polar soft branch supplies no new carrier primitive. It gives a clean instance of the refined H2 architecture:

• carrier support: external Gram/Cayley--Menger divisor;
• coefficient support: equality of two labelled focal lengths;
• physical sheet: occurrence-resolved segment inequalities;
• coefficient object: Entry 1837's Morse--Bott logarithmic line.

Scope

This types the support but does not compute the excess map from the generic second-Rees soft line of Entry 1836 to the polar grade-zero line. That map is the next support-sensitive comparison.

Next falsifier

Construct the local Gram-normal specialization and its Cartier/Gysin map between the generic active-soft and polar Morse--Bott coefficient objects. Test whether the grade jump is generated by the existing excess calculus.

Evidence

• research/benincasa/checkers/five_site_region_pair_polar_activation_support.py
• research/benincasa/results/five-site-region-pair-polar-activation-support.json
• Entries 1836--1838
• allocator claim: seqclaim-c0e638e4611b54b9b8b441d9

View source on GitHub