TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/common-cover-compositum-results.json
Original file SHA-256: 83862510fea40be29d64d9f8beb5bdc8b03472b25f00b3dc208828394bd359c0
Inclusive original lines: 1-25
Line numbers below refer to the original source.
This bounded excerpt is source evidence; it is not a new proof/checker run.
Conversation metadata and personal execution details are omitted where indicated.

000001 | {
000002 |   "checks": [
000003 |     "A4 and its V4 kernel",
000004 |     "A4 quotient is the marked C3",
000005 |     "fiber product has degree 48",
000006 |     "fiber product is bijective with A4 times C4",
000007 |     "CRT dictionary preserves multiplication",
000008 |     "relative linear-disjoint degree",
000009 |     "absolute degree",
000010 |     "genus 41 by Riemann Hurwitz",
000011 |     "g and w recover H",
000012 |     "recovered H has fourth power w and third power g",
000013 |     "actual quarter inverts the D deck",
000014 |     "geometric quarter times cubic deck remains order four",
000015 |     "commuting compiler combination has order twelve",
000016 |     "q packet quarter remains one order-four lift"
000017 |   ],
000018 |   "deck_group_over_z": "A4 x C4",
000019 |   "degree_over_C": 16,
000020 |   "degree_over_z": 48,
000021 |   "exact_checks": 14,
000022 |   "genus": 41,
000023 |   "quarter_scope": "diagonal geometric Q has order 4; it inverts the D deck and is not the commuting order-12 compiler clock",
000024 |   "verdict": "PASS_EXACT_MINIMAL_COMPOSITUM"
000025 | }