Entry 3883 · 2026-08-28 · marici.Benincasa · research

3883 — Two Predeclared Rank-Twenty-Six Classes Already Distinguish the Conductor Sheets

Repeated Deutsch move

If the labelled root-cover explanation is real, it should predict a finite fact not used to construct it. The smallest prediction is:

A predeclared pair of absolute classes should already distinguish the two conductor sheets. Sheet resolution must not appear only after fitting the full rank-26 map.

Use the physical half-twist over (\mathbf F_{32009}) and the five-wall quotient at the stabilized ambient and cutoff degrees. The constant and linear simple-pole numerator classes

$$[1],\qquad[a]$$

both survive, and their quotient span has rank two.

Sheetwise jet residue

On the (G_{12}:g_1) wall, let the two roots be (a=r) and (a=-r). If (w_+) and (w_-) are the nonzero wall/conductor Jacobian weights including all spectator denominators, the (k=0) jet-residue matrix on ([1],[a]) is

$$J_{\{1,a\}}= \begin{pmatrix} w_+&rw_+\\ w_-&-rw_- \end{pmatrix}.$$

Its determinant is

$$-2r w_+w_-.$$

At the frozen asymmetric point this is nonzero. The finite-field quotient calculation independently verifies that the two domain classes are not identified by exact relations.

Result

The sheet-resolved specialization has generic rank two already on the predeclared two-class subspace. Consequently:

• the deck-odd line is not decorative bookkeeping;
• aggregate projection destroys information visible to the absolute module;
• no full (26\times2) reconstruction is needed to establish the necessity of the labelled target;
• any physical readout selecting only one sheet requires source authority.

This passes the first new prediction generated by repeating the Deutsch move. It does not yet prove the full intertwining identity.

Next prediction

The full jet-residue map must preserve this rank-two minor under admissible presentation changes and satisfy

$$dJ+A_{\rm root}J-JA_{26}=0.$$

At the branch (C_1=0), its degeneration must be carried by the complete rank-two root algebra, not merely its determinant line.

Verification

• checker: research/benincasa/checkers/check_rank26_conductor_two_class_sheet_faithfulness.py;
• packet: research/benincasa/results/rank26-conductor-two-class-sheet-faithfulness.json;
• allocator claim: seqclaim-a5d63f6150dc247f3c63a7f7.

View source on GitHub