TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/c4-triangle-results.json
Original file SHA-256: 612c2c4096eb153173a2d608d973abdf0e04749a1363843190299e164e1241be
Inclusive original lines: 1-42
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 |   "B0": "[[0, 0, 0], [-sqrt(2)/6, -1/4, -sqrt(5)/12], [0, 0, 1/4]]",
000003 |   "B1": "[[1/2, sqrt(2)/6, 0], [sqrt(2)/6, 1/4, sqrt(5)/12], [0, sqrt(5)/12, 1/4]]",
000004 |   "Binf": "[[-1/2, -sqrt(2)/6, 0], [0, 0, 0], [0, -sqrt(5)/12, -1/2]]",
000005 |   "actual_source_map": "1 - z**(-4)",
000006 |   "analytic_scope": "The report proves regular-singular reduction, triangle-group faithfulness, and exact marked conjugacy.",
000007 |   "checks": [
000008 |     "exact four-residue sum",
000009 |     "exact C4 covariance",
000010 |     "exact C4 quotient gauge",
000011 |     "Fuchs residue sum",
000012 |     "residue characteristic polynomials",
000013 |     "infinity is semisimple in the short gauge",
000014 |     "recovered September source gauge",
000015 |     "old and short quotient gauges agree",
000016 |     "marked local orders 4 3 2",
000017 |     "marked oriented product",
000018 |     "local zero class is inverse deck fibre",
000019 |     "extended marked image has order 24",
000020 |     "ordinary four-puncture image has order 12",
000021 |     "four peripheral product",
000022 |     "unique marked 4 3 2 Nielsen orbit",
000023 |     "actual map is C4 invariant",
000024 |     "actual map is not D4 invariant",
000025 |     "actual map labels",
000026 |     "old rational inversion obstruction has rank nine"
000027 |   ],
000028 |   "exact_checks": 19,
000029 |   "extended_orbifold_group_order": 24,
000030 |   "ordinary_four_puncture_group_order": 12,
000031 |   "recovered_source": {
000032 |     "id": "paper-source:10bdafe2930b29584f91db06",
000033 |     "lines": "203-327",
000034 |     "sha256": "574058876ebe23d693a9fce061f68da6fdec63419af78243ac9d457d7858f74b"
000035 |   },
000036 |   "residue_characteristic_polynomials": [
000037 |     "lam*(4*lam - 1)*(4*lam + 1)/16",
000038 |     "lam*(3*lam - 2)*(3*lam - 1)/9",
000039 |     "lam*(2*lam + 1)**2/4"
000040 |   ],
000041 |   "verdict": "PASS_EXACT_REUSED_SOURCE"
000042 | }