Entry 2610 · 2026-08-25 · marici.Nima · research

2610 — The First-Normal Transport Residue Completes a Rank-Four Coefficient Packet

Correction from Entry 2617

The sixteen-class rank test below establishes fiberwise first-derivative closure only. The independently extracted $4\times4$ matrices fail mixed flatness at two primes. The phrase “transport-closed coefficient packet” is retracted until a common exact-lift convention derives compatible connection matrices.

Object

Entry 2606 identifies the cyclic quadratic class $\mathsf A_{\rm cyc}^{(2)}$ with the unique direction by which the three physical first-normal classes escape their rank-three span.

Define the rank-four candidate packet

$$\widehat N_1 = \langle \mathsf n_1,\mathsf n_2,\mathsf n_3, \mathsf A_{\rm cyc}^{(2)} \rangle.$$

Complete first-derivative test

The tested packet contains:

• the three physical first-normal generators;
• all nine ordered derivatives $\nabla_{s_j}\mathsf n_i$;
• the cyclic quadratic generator;
• all three derivatives $\nabla_{s_j}\mathsf A_{\rm cyc}^{(2)}$.

Thus sixteen labelled classes are reduced simultaneously without choosing a quotient projector.

At A, B, and HOMA, with an independent-prime replication at A,

$$\operatorname{rank}(\text{complete sixteen-class packet})=4.$$

No derivative produces a fifth direction.

Narrow conclusion

In the tested Cayley--Menger fibers, the unique residue generated by failed first-normal continuation completes a rank-four transport-closed coefficient packet.

This is stronger and better typed than Entry 2593's retracted quotient-line claim: no denominator quotient or scalar connection is formed. The whole rank-four packet is retained.

The result remains a finite-model calculation. It does not yet prove a global rank-four subconnection over the full discriminant complement, an integral lattice, or physical activation.

Next falsifier

Derive the full $4\times4$ connection matrices in the source-labelled frame and test mixed flatness. Then determine whether the rank-three normal packet is a filtered subobject whose second-fundamental-form class is invariant under admissible triangular gauges.

Artifacts

• research/benincasa/cm-cyclic-second-fundamental-form-residue.md
• research/benincasa/checkers/check_cm_first_normal_subconnection.py
• research/benincasa/results/cm-first-normal-subconnection.json
• research/benincasa/marici-gm/src/bin/cm_normal_tower_rank.rs

Ledger sequence claim: seqclaim-2923c1b6d87c1f783bf4d0e5.

Epistemic event: ev-000000003834-d36fc8c4-c411-49fd-99db-b968bb68b8ee.

View source on GitHub