TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/HARDY-BMU-FULL-MU01-READER.json
Original file SHA-256: 8d95dfb8fbe78b8ea92c99db7fcc5794773f184d27e67f4ad3551436a069017a
Inclusive original lines: 1-142
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 |   "scope": "Whole existing induced mu01 NS/Phi0 Hardy response; E=VhE0,B=GqJ*,original normal Clifford and signed G/R calibration unchanged. Not the whole physical Yukawa matrix.",
000003 |   "normalization": "M=(4 Xstar/pi) C [[0,0,L],[0,0,0],[0,-J,0]] tensor P_gamma,+; Xstar=(2cosh(ell_NS/2))^-1, C=2*3^-3/4 exp(-5pi i/12).",
000004 |   "q_h0_at_z_plus1": [
000005 |     "-omega",
000006 |     "+omega",
000007 |     "-omega"
000008 |   ],
000009 |   "p_h1_at_z_plus1": [
000010 |     "-omega",
000011 |     "-omega",
000012 |     "+omega"
000013 |   ],
000014 |   "q_eta_signs": [
000015 |     -1,
000016 |     -1,
000017 |     1
000018 |   ],
000019 |   "p_eta_signs": [
000020 |     1,
000021 |     -1,
000022 |     -1
000023 |   ],
000024 |   "all_nine_entries": [
000025 |     {
000026 |       "row": 0,
000027 |       "column": 0,
000028 |       "q_disk": 0,
000029 |       "J_p_disk": 1,
000030 |       "shared_arcs": true,
000031 |       "eta_product": 1,
000032 |       "response": "0",
000033 |       "zero_reason": "opposite eta branches cancel"
000034 |     },
000035 |     {
000036 |       "row": 0,
000037 |       "column": 1,
000038 |       "q_disk": 1,
000039 |       "J_p_disk": 1,
000040 |       "shared_arcs": false,
000041 |       "eta_product": null,
000042 |       "response": "0",
000043 |       "zero_reason": "disjoint supports"
000044 |     },
000045 |     {
000046 |       "row": 0,
000047 |       "column": 2,
000048 |       "q_disk": 2,
000049 |       "J_p_disk": 1,
000050 |       "shared_arcs": true,
000051 |       "eta_product": -1,
000052 |       "response": "I02",
000053 |       "zero_reason": null
000054 |     },
000055 |     {
000056 |       "row": 1,
000057 |       "column": 0,
000058 |       "q_disk": 0,
000059 |       "J_p_disk": 2,
000060 |       "shared_arcs": true,
000061 |       "eta_product": 1,
000062 |       "response": "0",
000063 |       "zero_reason": "opposite eta branches cancel"
000064 |     },
000065 |     {
000066 |       "row": 1,
000067 |       "column": 1,
000068 |       "q_disk": 1,
000069 |       "J_p_disk": 2,
000070 |       "shared_arcs": true,
000071 |       "eta_product": 1,
000072 |       "response": "0",
000073 |       "zero_reason": "opposite eta branches cancel"
000074 |     },
000075 |     {
000076 |       "row": 1,
000077 |       "column": 2,
000078 |       "q_disk": 2,
000079 |       "J_p_disk": 2,
000080 |       "shared_arcs": false,
000081 |       "eta_product": null,
000082 |       "response": "0",
000083 |       "zero_reason": "disjoint supports"
000084 |     },
000085 |     {
000086 |       "row": 2,
000087 |       "column": 0,
000088 |       "q_disk": 0,
000089 |       "J_p_disk": 0,
000090 |       "shared_arcs": false,
000091 |       "eta_product": null,
000092 |       "response": "0",
000093 |       "zero_reason": "disjoint supports"
000094 |     },
000095 |     {
000096 |       "row": 2,
000097 |       "column": 1,
000098 |       "q_disk": 1,
000099 |       "J_p_disk": 0,
000100 |       "shared_arcs": true,
000101 |       "eta_product": -1,
000102 |       "response": "I21",
000103 |       "zero_reason": null
000104 |     },
000105 |     {
000106 |       "row": 2,
000107 |       "column": 2,
000108 |       "q_disk": 2,
000109 |       "J_p_disk": 0,
000110 |       "shared_arcs": true,
000111 |       "eta_product": 1,
000112 |       "response": "0",
000113 |       "zero_reason": "opposite eta branches cancel"
000114 |     }
000115 |   ],
000116 |   "periods": {
000117 |     "I02": {
000118 |       "real": "0.1258739334853158906973132600522979652656063408319981261382676946057896804",
000119 |       "imag": "-0.46976791511574431513361204976753432167159221779362931576735655692339026"
000120 |     },
000121 |     "I21": {
000122 |       "real": "-0.4213752856971043792014444689166786680971744633140320009706122250659868367",
000123 |       "imag": "1.572593975275444788048708055806669722450561285370357539024954606266495617"
000124 |     },
000125 |     "L": "0.5543071985927037739525736095646181817278592759285647173596432306396237886",
000126 |     "J": "1.855597483161276782505811216345808996145311565929149119470094245288242175",
000127 |     "I21_over_I02": "-3.347597664025180155360831848819267811936281725626257538270170000302129743",
000128 |     "closed_identity": "I21=-I02+pi*(1-sqrt(2))*C",
000129 |     "max_quad_closed_error": "3.089769592693970543634445944854820564356383590967430117010730397923730978e-76"
000130 |   },
000131 |   "branches": "Both graph faces and both eta arcs included. Holomorphic normal symbol annihilates gamma-minus; ordinary adjoint and finite-JF image carry Mdagger Pplus and barM Pminus. No physical other-branch zero is selected.",
000132 |   "checks": {
000133 |     "all_nine_supports_consistent": true,
000134 |     "original_squared_differential": true,
000135 |     "I21_cut_imaginary_part": true,
000136 |     "I21_cut_location": true,
000137 |     "I02_quad_closed": true,
000138 |     "I21_quad_closed": true,
000139 |     "period_identity": true,
000140 |     "both_real_amplitudes_positive": true
000141 |   }
000142 | }