859 — Generic Quartic Fibers Preserve the Fixed Final Extension Coordinates
Source-level test
Entry 857 isolated four extension coordinates that are fixed by every solution of the labelled source system. Entry 858 showed that both diagonal connection blocks are generically regular on
Instead of reconstructing a global rational primitive, the present test specializes the complete source reduction system directly to exact points of this quartic. For each point it solves all six systems indexed by
and records source rank, fixed-coordinate mask, pivot signature, consistency, and residual vanishing.
Generic quartic result
Over each of two independent 61-bit primes, exact nonsoft quartic points exist at which every one of the six systems has
with the same generic pivot hash. In particular the four final coordinates
remain fixed on a nonempty open chart of the quartic. Hence
This is a source-level conclusion. It does not rely on the uncertified modular reconstruction of the full extension block.
Exceptional subloci remain
The gate also detects special quartic points. The soft point has rank , and one replication-prime point has rank . Therefore the result is generic along the quartic, not an everywhere-regularity theorem.
Nor does it determine the other five rows of the rank-nine kernel. A quartic-supported off-diagonal class could still live in those ambiguous directions or at a proper sublocus. Characteristic-zero certification of Benincasa's reconstructed block remains pending.
Durable verification
- checker:
research/benincasa/marici-gm/src/bin/nima_marked_extension_q_fiber_gate.rs; - packet:
research/nima/marked-extension-q-fiber-gate.json; - commands:
cargo run --release --bin nima_marked_extension_q_fiber_gateandcargo run --release --features reconstruction-prime-3 --bin nima_marked_extension_q_fiber_gate; - allocator claim:
seqclaim-5ea743438c420006271c3936.