# Corpus crosswalk: what this programme inherits and what it changes

**Date:** 24 October 2026  
**Purpose:** connect the lattice-subroutine question to existing results without making older documents depend on this programme.

## The Jordan--Lie middle

The relevant local spine begins with positive two-channel data, not with a spacetime group. The pair-Gram map in [claim 1217](../../claims/1200-1299/1217_leech_pair_gram_geometry_reaches_spin23_but_needs_an_orientation_twist_and_affine_theta_shift.md) places Leech pairs in \(H_2(\mathbb R)_+\). The Jordan triple/TKK construction then gives the real symplectic completion \(Sp(4,\mathbb R)\cong Spin_0(2,3)\).

This programme preserves the corpus's reading:

- **Jordan:** what positive states or responses can coexist;
- **Lie:** how those possibilities can be transported;
- **typed middle:** which states, relations, histories and records remain jointly realizable.

The lattice contribution sits on the Jordan side first: it supplies integral positive Gram data and exact multiplicities. It reaches the Lie side through genus-two symplectic covariance. It has not supplied dynamics across the middle.

## Existing seam results

| Corpus result | What survives here | What remains open |
|---|---|---|
| [Leech pair-Gram bridge, claim 1217](../../claims/1200-1299/1217_leech_pair_gram_geometry_reaches_spin23_but_needs_an_orientation_twist_and_affine_theta_shift.md) | canonical positive \(2\times2\) Gram carrier; determinant strata; \(Sp(4,\mathbb Z)\) degree-two theta data | physical channel meaning and seam realization |
| [finite genus-two machine seam, claim 1738](../../claims/1700-1799/1738_the_2_state_3_symbol_universal_machine_selects_a_finite_genus_two_theta_seam_but_not_spin23_dynamics.md) | exact finite characteristic/Lagrangian/direction data and a candidate orientation line | microscopic control provenance and continuous physical evolution |
| [affine orientation intertwiner, claim 1790](../../claims/1700-1799/1790_the_leech_seam_needs_one_affine_orientation_bit_to_intertwine_sign_and_theta_shift.md) | one extra orientation bit can carry both sign reversal and affine shift on the augmented carrier | insertion into a physical partition function/action |
| [Rule-60/Golay seam torsor, claim 1793](../../claims/1700-1799/1793_the_rule60_golay_kernel_supplies_the_unique_tm23_leech_affine_seam_torsor.md) | finite provenance for the two-sheeted seam datum | why nature uses that seam and how it affects an observable |

The new genus-two calculation proposed here is therefore not a search for another numerical match. It asks whether these already-derived seam data survive factorization, modular covariance and an operational observable.

## Existing dynamics boundary

[The finite Spin(2,3) gravity checkpoint](../closure/spin23-gravity-route/README.md) established that:

- a finite adjoint zero-form is not the spin-2 Weyl module;
- a pure \(g^{-1}dg\) connection is flat;
- simple two-vector potentials do not select the required healthy vacuum;
- one constrained compensator can be pure gauge;
- a propagating route needs an independent adjoint one-form and a complete action.

[Global path selection v32](../closure/spin23-gravity-route/global-path-selection-v32.md) then exhausted the remaining finite escape graph. Its reopen rule is exact: supply a new complete action or microscopic vacuum.

The lattice subroutine is admissible new input only if it satisfies that rule. A shared \(Sp(4)\) label, a theta characteristic or a modular plot is not a complete action or vacuum.

## Existing quantum and source boundary

The [critical quantization packet](../closure/spin23-gravity-route/quantization-packet-v1.md) shows how much data a serious gravitational theory needs: fields, background split, gauge transformations, gauge fermion, ghosts, constraints, measure and counterterms. The lattice programme must eventually produce or consistently couple to this level of specification.

[Claim 1587](../../claims/1500-1599/1587_sakharov_t_yang_mills_and_vacuum_energy_form_a_joint_cosmological_qft_closure_gate.md) fixes a second non-negotiable boundary: nongravitational spectra and stable vacua do not determine the absolute gravitating vacuum energy. Any induced-action route must compute the renormalized stress tensor and explain the cosmological term rather than choosing its zero.

[Claim 209](../../claims/0200-0299/209_free_conformal_field_stress_spectrum_is_one_jordan_ray.md) provides a useful response warning. A free conformal stress spectrum occupies one ray of the positive Jordan cone. The whole \(H_2(\mathbb R)_+\) cone is an ambient possibility space, not automatically a dynamically explored family. A lattice/CFT construction must show which rays or planes its physical stress responses actually occupy.

## Existing lattice and continuum lessons

[Claim 1595](../../claims/1500-1599/1595_exact_su2_heat_kernel_transfer_system_is_reflection_positive_but_does_not_scale_to_the_4d_mass_gap.md) gives the correct template for a lattice “subroutine”:

1. define a Hilbert space and positive transfer operator;
2. calculate its exact spectrum and sewing law;
3. state the continuum scaling variable;
4. expose the precise point at which the toy fails to reach four dimensions.

[Claim 1608](../../claims/1600-1699/1608_numerical_lattice_glueball_convergence_is_strong_gap_evidence_not_a_constructive_r4_theorem.md) adds the empirical lesson: finite-volume and cutoff convergence can be extremely strong evidence while still not proving the continuum measure or a uniform spectral lower bound.

These results prevent the phrase “lattice subroutine” from doing hidden work. A physical lattice model needs a transfer law, locality, scaling and controlled limits; an internal even unimodular lattice does not already provide them.

## Existing Monster-computation lesson

[Frontier wave 7.28](../frontier/wave-7/frontier_wave7_28_monster_lean_fold_as_a_finite_admissibility_machine.md) constructed an exact Monster-order divisor-lattice virtual machine. It is a genuine finite admissibility carrier, but it has no Monster action, VOA, McKay--Thompson trace, Hecke relation or physical dynamics.

That result is directly analogous to the present boundary: an exact finite address/state space does not imply a physical update law, semantic completeness or spacetime dynamics.

Its positive lesson also transfers. Even when an ontological promotion fails, the structure can remain valuable as a classifier, detector design or executable laboratory for quotient loss.

## What this programme newly contributes

This bundle adds five things not previously held together in one place:

1. the exact Golay--Leech--lattice-CFT--Monster--\(J\) state-counting chain;
2. an explicit separation of modular visualization, probability, Bloch energy and spacetime dynamics;
3. six exhaustive gravity routes with route-specific blockers and reopen conditions;
4. a lightning path from discrete carrier to detector record;
5. near-term calculations capable of closing branches.

It does not revise the status of any older claim. It places a newly proposed interpretation behind the corpus's existing admission gates.

## Overall corpus implication

The lattice material is closest to being a **state-space and relation compiler**. The Jordan--Lie spine is closest to being a **space-of-possibilities and transport interface**. The gravity programme is closest to being a **partially specified dynamical completion with a globally exhausted finite search**. Joining the three is possible in form but not yet in construction:

1. discrete admissible states;
2. positive relational carrier;
3. selected dynamical law;
4. conserved source;
5. healthy spacetime response;
6. detector record.

The first two transitions have exact pieces. The remaining transitions are the frontier.