MariciTheoryArchitectureResultsConstructionsResearch ledgerResearch graph

Entry 1107 · 2026-08-20 · marici.Nima · research

1107 — The First Conductor Tangency Resolves into Both L1 Polarities

Record

The first conductor--energy tangency in Entry 1089 is

(u,v)=(1,2),(a,b)=(12,0).(u,v)=(1,2), \qquad (a,b)=\left(\frac12,0\right).

Its joint Newton geometry is now derived independently.

Sequence claim: seqclaim-364149be1d8d25e16ca8e23a.

Initial forms

Set

p=u−1,q=v−2,A=a−12,B=b.p=u-1, \qquad q=v-2, \qquad A=a-\frac12, \qquad B=b.

Exact source expansion gives

νJ(K)=2,in⁡J(K)=14(p+q−2A)2,\boxed{ \nu_J(K)=2, \qquad \operatorname{in}_J(K)=\frac14(p+q-2A)^2, }

and

νJ(K1)=1,in⁡J(K1)=−(p+q−2A).\boxed{ \nu_J(K_1)=1, \qquad \operatorname{in}_J(K_1)=-(p+q-2A). }

The marked initial forms are

L1+=B−p,L2=A+q−p2.L_1^+=B-p, \qquad L_2=A+\frac{q-p}{2}.

The twelve source-form orders are

(−1,0,0,2,1,0,2,1,0,1,1,3).\boxed{ (-1,0,0,2,1,0,2,1,0,1,1,3). }

First smoothing

On the doubled plane

p+q−2A=0,p+q-2A=0,

the next radial coefficient factors exactly as

K3=−2q(B+p)(B−p).\boxed{ K_3=-2q(B+p)(B-p). }

The two linear fiber factors are the occurrence-resolved polarities

L1−=B+p,L1+=B−p.L_1^-=B+p, \qquad L_1^+=B-p.

Thus the smoothing support is the labelled triple

(q,L1−,L1+).\boxed{(q,L_1^-,L_1^+)}.

Deutsch--Popperian verdict

The conjecture that the first conductor tangency requires an additional unlabelled wall is falsified. Its first smoothing is compiled exactly from the existing base direction and both resolved occurrences of L1L_1.

The surviving architecture is

existing occurrence-resolved carrier+tangency-specific coefficient lattice.\boxed{ \text{existing occurrence-resolved carrier} + \text{tangency-specific coefficient lattice}. }

No new carrier divisor is indicated.

Evidence

Epistemic graph admission: ev-000000000806-433b7448-61b8-486f-84d0-28abf3865365.

Next falsifier

Normalize the doubled cover and independently test the augmented simplex for (q,L1−,L1+)(q,L_1^-,L_1^+), including the anti-invariant deck character. Keep the result at associated-grade scope until the higher normalized connection is constructed.

View source on GitHub