IndisputableMonolith.Gravity.Analysis.ReggeExactMidpointM2TTIdentity4DM2NumChunk01
Chunk 01 of the generated midpoint m² TT numerator tables for 4D Regge calculus. It holds a block of explicit integer certificate entries (e_010000–e_010023) used when assembling m2Num = 8·explicitZ over the full 4096 index tuples. Gravity analysts cite it only as a data slice feeding the assemble module. Content is script-generated fold/scale-32 tables discharged by kernel decide.
claimA finite block of explicit integer certificates $e_{010000},\ldots,e_{010023}$ for the midpoint $m^2$ transverse-traceless numerator identity in 4D Regge calculus, at scale 32, to be folded into $m_2^{\mathrm{Num}} = 8\cdot Z_{\mathrm{explicit}}$ over all $4096$ index tuples.
background
Recognition Science gravity analysis here works in discrete 4D Regge calculus. The midpoint $m^2$ transverse-traceless (TT) identity is an algebraic numerator identity on edge/hinge data; its exact form is certified by integer tables rather than symbolic expansion.
Upstream, ReggeExactMidpointM2TTIdentity4DKernelCert supplies the kernel certificates: script-generated (regge_4d_m2_kernel_certs_20260721.py) Int tables built by List.foldl at scale 32, proved only with kernel decide (no native_decide). This module is one numbered chunk of those tables.
The sibling names $e_{0100**}$ are the concrete certificate cells in this slice. Downstream assembly sums them into the global numerator $m_2^{\mathrm{Num}}$.
proof idea
Definition/data module, not a prose proof. Each $e_{0100ij}$ is an explicit integer (or small certified expression) produced by the generator script. Discharge is by kernel decide on the fold/scale-32 tables imported from the kernel-cert module. No tactic narrative beyond table lookup and decidable equality.
why it matters in Recognition Science
Feeds ReggeExactMidpointM2TTIdentity4DM2NumAssemble, whose doc-comment states the goal: assemble $m_2^{\mathrm{Num}} = 8\cdot Z_{\mathrm{explicit}}$ over all 4096 index tuples. Without the chunked tables, the assemble step has nothing to fold. The split into chunks keeps individual files small while preserving a fully kernel-checkable path for the 4D midpoint $m^2$ TT identity in the gravity analysis stack.
scope and limits
- Does not state or prove the full midpoint m² TT identity alone.
- Does not cover index tuples outside this chunk’s e_0100** block.
- Does not use native_decide; only kernel decide on generated tables.
- Does not define the assemble map m2Num = 8·explicitZ (that is downstream).
- Does not address continuum GR limits or physical units.
used by (1)
depends on (1)
declarations in this module (256)
-
theorem
e_010000 -
theorem
e_010001 -
theorem
e_010002 -
theorem
e_010003 -
theorem
e_010010 -
theorem
e_010011 -
theorem
e_010012 -
theorem
e_010013 -
theorem
e_010020 -
theorem
e_010021 -
theorem
e_010022 -
theorem
e_010023 -
theorem
e_010030 -
theorem
e_010031 -
theorem
e_010032 -
theorem
e_010033 -
theorem
e_010100 -
theorem
e_010101 -
theorem
e_010102 -
theorem
e_010103 -
theorem
e_010110 -
theorem
e_010111 -
theorem
e_010112 -
theorem
e_010113 -
theorem
e_010120 -
theorem
e_010121 -
theorem
e_010122 -
theorem
e_010123 -
theorem
e_010130 -
theorem
e_010131 -
theorem
e_010132 -
theorem
e_010133 -
theorem
e_010200 -
theorem
e_010201 -
theorem
e_010202 -
theorem
e_010203 -
theorem
e_010210 -
theorem
e_010211 -
theorem
e_010212 -
theorem
e_010213 -
theorem
e_010220 -
theorem
e_010221 -
theorem
e_010222 -
theorem
e_010223 -
theorem
e_010230 -
theorem
e_010231 -
theorem
e_010232 -
theorem
e_010233 -
theorem
e_010300 -
theorem
e_010301 -
theorem
e_010302 -
theorem
e_010303 -
theorem
e_010310 -
theorem
e_010311 -
theorem
e_010312 -
theorem
e_010313 -
theorem
e_010320 -
theorem
e_010321 -
theorem
e_010322 -
theorem
e_010323 -
theorem
e_010330 -
theorem
e_010331 -
theorem
e_010332 -
theorem
e_010333 -
theorem
e_011000 -
theorem
e_011001 -
theorem
e_011002 -
theorem
e_011003 -
theorem
e_011010 -
theorem
e_011011 -
theorem
e_011012 -
theorem
e_011013 -
theorem
e_011020 -
theorem
e_011021 -
theorem
e_011022 -
theorem
e_011023 -
theorem
e_011030 -
theorem
e_011031 -
theorem
e_011032 -
theorem
e_011033