TFPT scientific source excerpt Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/HIGGS-COLOR-MODULAR-SOURCE.json Original file SHA-256: bb78deb1154ff8b7ebc03dbb7423c49ae9c710f80f5e96723413dc84eb311b5d Inclusive original lines: 401-452 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. 000401 | } 000402 | ], 000403 | "quadrature_witness_diagnostics": [ 000404 | { 000405 | "label": "actual_H0_H2", 000406 | "nodes": [ 000407 | 0.5274295819497744, 000408 | 0.6224593312018628 000409 | ], 000410 | "weights": [ 000411 | 0.6666666666667272, 000412 | 0.33333333333327153 000413 | ], 000414 | "finite_radial_u": [ 000415 | 3.999999999998752, 000416 | 0.0 000417 | ], 000418 | "physical_law_selected": false 000419 | }, 000420 | { 000421 | "label": "interior_four_node", 000422 | "nodes": [ 000423 | 0.5565596934906815, 000424 | 0.5774403065086896 000425 | ], 000426 | "weights": [ 000427 | 0.35632605720305804, 000428 | 0.6436739427969426 000429 | ], 000430 | "finite_radial_u": [ 000431 | 0.8821725624620117, 000432 | 0.3908082678912274 000433 | ], 000434 | "physical_law_selected": false 000435 | } 000436 | ], 000437 | "two_four_same_six_different": { 000438 | "moment_law_plus": [ 000439 | "1", 000440 | "113/200", 000441 | "6387/20000", 000442 | "722297/4000000" 000443 | ], 000444 | "moment_law_minus": [ 000445 | "1", 000446 | "113/200", 000447 | "6387/20000", 000448 | "144459/800000" 000449 | ] 000450 | }, 000451 | "scope": "Actual rightup fixed-family triplet restriction of original96 conditional source;whole positive normalized nonconstant radial H mixture class. Modular law is for this marginal,not restriction of fullsource flow orphysicaltime. Source mu/d/Pf/ref/eta/Z0 remain to be produced;no physicalcoupling/Y/measure chosen. Fourierqueries are an algebraic reader,not nativeC4 identification. No newLean/paper/ledger/4D claim." 000452 | }