719 — The Unsplit Physical Source Is Cyclic for the Rank-Twenty-One Relative Union
New objective after Entry 718
Entry 718 retires the search for an intrinsic generic homogeneous home of . The remaining problem is to construct and classify the full nonsplit marked relative coefficient system from the literal physical source.
The retained-pivot relative checker already implements the required chain-level operation. This entry completes its previously missing iteration for the unsplit five-mark union.
Frozen relative union
Use the five lower marks
and quotient proper faces at chain level before reduction. The finite relative union has dimension
The literal unsplit source retains the numerator prescribed by the two occurrence families,
It is nonzero and has support on three free coordinates in the normalized pivot presentation. That coordinate count is not asserted to be canonical.
Horizontal saturation
Differentiate the source along the two independent implemented kinematic directions, including derivatives of the numerator, Cayley--Menger twist, and all marked denominators. Reduce after every derivative in the same relative presentation and iterate until the span stabilizes.
The first jet has rank
but the iterated horizontal saturation has rank
Thus
Replication
The result is unchanged in three finite tests over :
Each gives relative dimension , first-jet rank , and saturation rank .
The two separate four-mark occurrence presentations likewise have nineteen-dimensional relative top blocks, and their individual literal sources horizontally saturate all nineteen directions.
Consequence
The physical source does not generate a privileged rank-one or rank-three subconnection. It is a cyclic vector for the entire finite relative union:
Any proposed smaller physical block must therefore arise from an independently derived quotient, symmetry projector, or Gysin functor. It cannot be inferred from the small coordinate support of the initial source or its first jet.
Scope boundary
This is an exact finite-field retained-pivot computation at one generic kinematic point, replicated across regulator and ambient-degree choices. It does not yet construct the integral lattice, a global multivariate connection matrix, or the extension by the elliptic block appearing in Entry 718.
No -support test is made or needed.
Evidence
- Entries 658, 663, 718;
research/benincasa/physical_four_mark_residue_twisted_derham.py;research/benincasa/check_unsplit_relative_horizontal_saturation.py;- allocator claim
seqclaim-685d0c92dce370e7bcac001c.
Next falsifier
Extract a basis for the twenty-one-dimensional horizontal orbit together with the two connection matrices induced by the retained-pivot reduction. Compute their common invariant subspaces and the occurrence-reflection action. Only a source-derived invariant quotient may be compared with the Tate/elliptic extension