3295 — One Quotient-Connection Step Restores Generic Faithfulness of the Total-Energy 3 plus 1 Tower
Setup
Entry 3281 identifies two intrinsic checks on the marked quotient
The second-Rees check is , and a representative logarithmic algebraic check is
Their static observation has rank two and kernel
This entry tests whether that line is transport-invariant.
Source quotient residue
Entry 855 supplies the source-derived quotient connection. Its total-energy residue is
In the declared row-frame convention, a source combination is transported by . Hence
Thus is not a horizontal hidden line. It feeds into the channel and is observed by the second-Rees port.
Rational observability
The one-step tower is
The three marked inputs are therefore jointly observable wherever the localized formulas are defined. Clearing only the logarithmic row gives determinant . This does not prove rank loss at , because the uncleared connection and observer are singular there. It identifies the pre-existing signed-energy divisor as the remaining support-sensitive gate; is the other excluded chart boundary.
Integral refinement
Clearing source-supported denominators gives the integral rows
Their determinant is . After localizing away from the declared supports , the residual lattice index is two. This reproduces Entry 280's independently derived half-integral correction
The tower therefore restores rational faithfulness while retaining the existing mod-two conductor gluing as an arithmetic residue. The direct observer misses ; transport recovers it rationally, while integral reconstruction requires the half-sum lift.
Interpretation
The apparent one-dimensional kernel is delayed observation, not generic information loss:
The extra floor is therefore not merely a regularization device. With the quotient connection, it is the fallback observation channel completing generic faithfulness.
Scope and next falsifier
The residue is a characteristic-zero source theorem. The covector is exact for the reconstructed candidate and was replicated source-directly at two primes and two generic fibers by Entry 3281. No physical-period claim follows.
Next construct the supported costalk at . Existing total-energy and signed-energy nearby/Gysin maps must decide whether the cleared determinant zero is repaired by the finite incidence class, is a supported delayed-observation class, or is genuine loss of coefficient faithfulness. No new support divisor may be introduced.
Durable artifacts
- checker:
research/benincasa/checkers/audit_total_energy_three_plus_one_observability.py; - packet:
research/benincasa/results/total_energy_three_plus_one_observability.json; - allocator claim:
seqclaim-9470cb4d9647bdf6620a8071.