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: 169-336
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.

000169 |         ]
000170 |       ],
000171 |       "common_frame_residual": "1.0482822952570790004202029848997901457839116771937615658402972173e-65"
000172 |     },
000173 |     {
000174 |       "mu": [
000175 |         1,
000176 |         0
000177 |       ],
000178 |       "support_parity": [
000179 |         [
000180 |           0,
000181 |           0,
000182 |           "added"
000183 |         ],
000184 |         [
000185 |           0,
000186 |           1,
000187 |           "disjoint"
000188 |         ],
000189 |         [
000190 |           0,
000191 |           2,
000192 |           "eta_zero"
000193 |         ],
000194 |         [
000195 |           1,
000196 |           0,
000197 |           "eta_zero"
000198 |         ],
000199 |         [
000200 |           1,
000201 |           1,
000202 |           "added"
000203 |         ],
000204 |         [
000205 |           1,
000206 |           2,
000207 |           "disjoint"
000208 |         ],
000209 |         [
000210 |           2,
000211 |           0,
000212 |           "disjoint"
000213 |         ],
000214 |         [
000215 |           2,
000216 |           1,
000217 |           "eta_zero"
000218 |         ],
000219 |         [
000220 |           2,
000221 |           2,
000222 |           "eta_zero"
000223 |         ]
000224 |       ],
000225 |       "common_frame_residual": "8.6257985793172986138432361029503279647083050278234996799222512211e-66"
000226 |     },
000227 |     {
000228 |       "mu": [
000229 |         2,
000230 |         1
000231 |       ],
000232 |       "support_parity": [
000233 |         [
000234 |           0,
000235 |           0,
000236 |           "eta_zero"
000237 |         ],
000238 |         [
000239 |           0,
000240 |           1,
000241 |           "disjoint"
000242 |         ],
000243 |         [
000244 |           0,
000245 |           2,
000246 |           "eta_zero"
000247 |         ],
000248 |         [
000249 |           1,
000250 |           0,
000251 |           "eta_zero"
000252 |         ],
000253 |         [
000254 |           1,
000255 |           1,
000256 |           "added"
000257 |         ],
000258 |         [
000259 |           1,
000260 |           2,
000261 |           "disjoint"
000262 |         ],
000263 |         [
000264 |           2,
000265 |           0,
000266 |           "disjoint"
000267 |         ],
000268 |         [
000269 |           2,
000270 |           1,
000271 |           "eta_zero"
000272 |         ],
000273 |         [
000274 |           2,
000275 |           2,
000276 |           "added"
000277 |         ]
000278 |       ],
000279 |       "common_frame_residual": "1.4943267913631679402522548654688614547469390480296228859631178554e-65"
000280 |     },
000281 |     {
000282 |       "mu": [
000283 |         0,
000284 |         2
000285 |       ],
000286 |       "support_parity": [
000287 |         [
000288 |           0,
000289 |           0,
000290 |           "added"
000291 |         ],
000292 |         [
000293 |           0,
000294 |           1,
000295 |           "disjoint"
000296 |         ],
000297 |         [
000298 |           0,
000299 |           2,
000300 |           "eta_zero"
000301 |         ],
000302 |         [
000303 |           1,
000304 |           0,
000305 |           "eta_zero"
000306 |         ],
000307 |         [
000308 |           1,
000309 |           1,
000310 |           "eta_zero"
000311 |         ],
000312 |         [
000313 |           1,
000314 |           2,
000315 |           "disjoint"
000316 |         ],
000317 |         [
000318 |           2,
000319 |           0,
000320 |           "disjoint"
000321 |         ],
000322 |         [
000323 |           2,
000324 |           1,
000325 |           "eta_zero"
000326 |         ],
000327 |         [
000328 |           2,
000329 |           2,
000330 |           "added"
000331 |         ]
000332 |       ],
000333 |       "common_frame_residual": "1.463365269452556526375566695435970234222751809940987032437315344e-65"
000334 |     }
000335 |   ]
000336 | }