TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/real-boundary-modular-results.json
Original file SHA-256: d17c4687ad401f2d8b83629235c4b2750f96cd25cb0bd29f8a9353ed42a7ff93
Inclusive original lines: 1-40
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 |   "verdict": "PASS_SCOPED",
000003 |   "exact_checks": 25,
000004 |   "checks": [
000005 |     "finite modular target and marked generators",
000006 |     "actual second cusp conjugate word",
000007 |     "quotient four puncture Hurwitz product",
000008 |     "degree two source map branch values",
000009 |     "degree two source map complete critical law",
000010 |     "composed degree eight critical law",
000011 |     "source map is the original D4 invariant",
000012 |     "actual marked equator image",
000013 |     "degree eight full ramification sum",
000014 |     "all four Schreier peripheral matrices",
000015 |     "full modular cusp remains nontrivial",
000016 |     "four determinant one half meridian branches",
000017 |     "nonzero trace branches are impossible or reducible",
000018 |     "forced irreducible branch representative",
000019 |     "forced representative has exact original marked v117 pair",
000020 |     "Tate critical substitution",
000021 |     "triple critical point parameter",
000022 |     "unique smooth branch and distinct elliptic invariant",
000023 |     "actual triple branch point and value",
000024 |     "unique ordered S4 Nielsen class",
000025 |     "elliptic source and normal closure genus",
000026 |     "nonorthogonality Fourier coefficient by beta recurrence",
000027 |     "reflection formula gives exact nonzero overlap",
000028 |     "intrinsic edge and full face lengths",
000029 |     "intrinsic speed fails fixed base winding Ward"
000030 |   ],
000031 |   "theta_fourier_error": "7.6067704e-70",
000032 |   "neutral_reflection_point_diagnostic": "-0.4204364777748316",
000033 |   "actual_inside_face_abs_x": [
000034 |     "0.465666549623",
000035 |     "0.465666549623"
000036 |   ],
000037 |   "j_of_degree_four_source": "207646/6561",
000038 |   "compact_bump_and_outer_proofs": "analytical reports; not finite grid extrapolation",
000039 |   "complete_TFPT_solution": false
000040 | }