e_021303

This module is one chunk of a 256-case kernel certification that the numerical midpoint $M_2$ tally agrees with eight times an explicitly expanded $Z$ expression. The ambient setting is 4D Regge calculus at the exact midpoint: discrete curvature and stress contributions are tabulated by multi-indices into finite arrays rather than left as symbolic sums.

Here $m_2^{\mathrm{Num}}$ is the evaluated numerical kernel and $Z^{\mathrm{explicit}}$ is the closed-form counterpart; the factor $8$ is the global normalization fixed by the identity under certification. Sibling declarations cover the other index tuples in the same chunk. The imported kernel-cert module supplies the decidable instances that make pointwise equality checkable by computation.

One-line computational discharge: decide evaluates both sides at the concrete six-tuple $(0,2,1,3,0,3)$ and confirms equality in the kernel. No lemmas are invoked; the proof relies entirely on decidable arithmetic for the tabulated entries.

The declaration is one atom of the chunk-2 cover of $m_2^{\mathrm{Num}} = 8,Z^{\mathrm{explicit}}$. Together the chunks underwrite the Regge exact-midpoint $M_2$ TT identity used in the gravity analysis layer of the monolith. That identity is infrastructure for discrete curvature bookkeeping in Recognition Science gravity, not a forcing-chain landmark (T5–T8) itself. With empty upstream and downstream edge lists on this page, its role is strictly local: close one index cell so the chunk, and then the full kernel cert, can assemble.