TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ROOT-ALL-SIX-ACTUAL-READER-CHECK.json
Original file SHA-256: 4b7d12faf3df1a1f31db9409e0c2b01211cc53271500f6bc9d3244bf5c2fdd2a
Inclusive original lines: 1-168
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 |   "precision_digits": 65,
000003 |   "checked_entries": 54,
000004 |   "exact_support_or_eta_zeros": 42,
000005 |   "continuous_root_periods": 12,
000006 |   "passed": true,
000007 |   "alpha": "(0.12587393348531589069731326005229796526560634083199812613826769461 - 0.46976791511574431513361204976753432167159221779362931576735655692j)",
000008 |   "beta": "(-0.42137528569710437920144446891667866809717446331403200097061222506 + 1.5725939752754447880487080558066697224505612853703575390249546063j)",
000009 |   "beta_formula_residual": "9.6610402369584170171861218630114490625614495929480838644558311099e-66",
000010 |   "results": [
000011 |     {
000012 |       "mu": [
000013 |         0,
000014 |         1
000015 |       ],
000016 |       "support_parity": [
000017 |         [
000018 |           0,
000019 |           0,
000020 |           "eta_zero"
000021 |         ],
000022 |         [
000023 |           0,
000024 |           1,
000025 |           "disjoint"
000026 |         ],
000027 |         [
000028 |           0,
000029 |           2,
000030 |           "added"
000031 |         ],
000032 |         [
000033 |           1,
000034 |           0,
000035 |           "eta_zero"
000036 |         ],
000037 |         [
000038 |           1,
000039 |           1,
000040 |           "eta_zero"
000041 |         ],
000042 |         [
000043 |           1,
000044 |           2,
000045 |           "disjoint"
000046 |         ],
000047 |         [
000048 |           2,
000049 |           0,
000050 |           "disjoint"
000051 |         ],
000052 |         [
000053 |           2,
000054 |           1,
000055 |           "added"
000056 |         ],
000057 |         [
000058 |           2,
000059 |           2,
000060 |           "eta_zero"
000061 |         ]
000062 |       ],
000063 |       "common_frame_residual": "0.0"
000064 |     },
000065 |     {
000066 |       "mu": [
000067 |         1,
000068 |         2
000069 |       ],
000070 |       "support_parity": [
000071 |         [
000072 |           0,
000073 |           0,
000074 |           "eta_zero"
000075 |         ],
000076 |         [
000077 |           0,
000078 |           1,
000079 |           "disjoint"
000080 |         ],
000081 |         [
000082 |           0,
000083 |           2,
000084 |           "added"
000085 |         ],
000086 |         [
000087 |           1,
000088 |           0,
000089 |           "added"
000090 |         ],
000091 |         [
000092 |           1,
000093 |           1,
000094 |           "eta_zero"
000095 |         ],
000096 |         [
000097 |           1,
000098 |           2,
000099 |           "disjoint"
000100 |         ],
000101 |         [
000102 |           2,
000103 |           0,
000104 |           "disjoint"
000105 |         ],
000106 |         [
000107 |           2,
000108 |           1,
000109 |           "eta_zero"
000110 |         ],
000111 |         [
000112 |           2,
000113 |           2,
000114 |           "eta_zero"
000115 |         ]
000116 |       ],
000117 |       "common_frame_residual": "9.7517562200083536205580228254470794684067820627858501825548400269e-66"
000118 |     },
000119 |     {
000120 |       "mu": [
000121 |         2,
000122 |         0
000123 |       ],
000124 |       "support_parity": [
000125 |         [
000126 |           0,
000127 |           0,
000128 |           "eta_zero"
000129 |         ],
000130 |         [
000131 |           0,
000132 |           1,
000133 |           "disjoint"
000134 |         ],
000135 |         [
000136 |           0,
000137 |           2,
000138 |           "eta_zero"
000139 |         ],
000140 |         [
000141 |           1,
000142 |           0,
000143 |           "added"
000144 |         ],
000145 |         [
000146 |           1,
000147 |           1,
000148 |           "eta_zero"
000149 |         ],
000150 |         [
000151 |           1,
000152 |           2,
000153 |           "disjoint"
000154 |         ],
000155 |         [
000156 |           2,
000157 |           0,
000158 |           "disjoint"
000159 |         ],
000160 |         [
000161 |           2,
000162 |           1,
000163 |           "added"
000164 |         ],
000165 |         [
000166 |           2,
000167 |           2,
000168 |           "eta_zero"