EncodedTTHessianLichnerowiczRawOriginColumnFormulaData5
plain-language theorem explainer
Packages a raw typed-column certificate for the Regge Hessian minus lattice Lichnerowicz residual on the N=5 periodic Freudenthal torus. It stores the two edge kernels, an origin-column residual table, and seven residual-generator coefficient rows, with equalities tying residual entries to kernel differences, translation from the origin column, and the TT normal-equation generator map. Downstream Track 1.D handoff endpoints and residual-table certificates cite it to avoid carrying a full residual matrix.
Claim. A raw origin-column residual certificate on the canonical $5\times5\times5$ periodic Freudenthal torus consists of two encoded edge-operator kernels $H$ (Regge Hessian) and $L$ (lattice Lichnerowicz), a residual origin-column table $R:\mathrm{Fin}\,7\times V\times\mathrm{Fin}\,7\to\mathbb{R}$, and residual displacement coefficients $c$, such that (i) $R(r,b,d)=H(e_r,e_{b,d})-L(e_r,e_{b,d})$ on origin-row edges, (ii) the full encoded residual kernel is the translate of $R$ under the periodic edge equivalence, and (iii) each origin-column entry equals the TT normal-equation generator map applied to $c(r)$ at the typed edge $(b,d)$.
background
Track 1.D opens the tensor/shear sector of weak-field gravity on the Recognition lattice. Track 1.B's conformal ansatz assigns one scalar potential per vertex and induces edge strains by averaging endpoints; that slice cannot represent pure shear, so it misses transverse-traceless gravitational-wave modes. This module separates independent edge perturbations from vertex-conformal ones and records the elementary rectangle obstruction for the conformal ansatz.
The ambient geometry is the canonical encoded $5\times5\times5$ periodic Freudenthal torus. Edges and vertices are typed as periodic objects with displacement indices in $\mathrm{Fin},7$ (seven edge directions in the triangulation). An encoded edge-operator kernel is simply a real matrix indexed by the finite edge set $\mathrm{Fin},K.nE$. The combined TT normal-equation index mixes conformal vertex-delta generators with longitudinal vertex-vector gauge generators.
The residual of interest is the difference between the discrete Regge Hessian and the lattice Lichnerowicz operator on those edges. The certificate surface here deliberately drops the full residual matrix from the generator-facing input, keeping only an origin-column table plus a translation law.
proof idea
This is a structure definition, not a proved theorem: the body is a bundle of data fields and propositional fields that any instance must supply.
The data are the two encoded kernels, the origin-column residual table, and the seven residual-generator coefficient rows. Three equalities close the package: residualOriginColumn_eq_sub forces each origin-column entry to equal the pointwise kernel difference on the corresponding origin-row and typed-column edges; encodedResidual_row_translation identifies the full encoded residual kernel with the origin-column table pulled back through the periodic edge equivalence (base and displacement components); residualOriginColumn_entry_formula equates each origin-column scalar to the TT normal-equation generator map applied to the corresponding residual coefficient row at that typed edge.
No tactics fire at definition time; downstream constructors (e.g. from coefficient-only origin-column data) discharge these fields.
why it matters
In the Track 1.D handoff chain this is the raw typed-column residual surface that lets finite generators avoid shipping an explicit residual matrix. Master-theorem integration consumes it as the hypothesis of the raw origin-column reduction endpoint, which then produces nonempty residual origin-column/row tables, residual kernel data, and periodic TT residual entry data. Coefficient-only origin-column and full-chain translated endpoints reduce through this structure via ofCoeffOriginColumnData, so Track 7 audits can start from generator coefficients alone.
Within the module it feeds the residual-entry, residual-kernel, and residual origin-column-table formula packages. That sits inside the broader program of matching discrete Regge second variation to a lattice Lichnerowicz operator on shear/TT modes, the sector missing from the conformal Track 1.B ansatz. Spatial dimension $D=3$ and the eight-tick octave enter only indirectly through the ambient Recognition lattice; this declaration itself is a finite $N=5$ certificate interface, not a continuum GR theorem.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.