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: 201-400
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.

000201 |     },
000202 |     {
000203 |       "label": "Exact strict weighted-moment inequalities 1/10",
000204 |       "passed": true
000205 |     },
000206 |     {
000207 |       "label": "Exact strict weighted-moment inequalities 9/10",
000208 |       "passed": true
000209 |     },
000210 |     {
000211 |       "label": "Sextic state-log coefficient sign is not fixed by positive nonconstant Higgs mixture",
000212 |       "passed": true
000213 |     },
000214 |     {
000215 |       "label": "Exact fourth-moment ambiguity controls are positive admissible occupation laws",
000216 |       "passed": true
000217 |     },
000218 |     {
000219 |       "label": "Same two/four-field moments but different six-field word in entire stated class",
000220 |       "passed": true
000221 |     },
000222 |     {
000223 |       "label": "Exact color SU3 commutant has dimension6 including both singlet coherences",
000224 |       "passed": true
000225 |     },
000226 |     {
000227 |       "label": "Exact color SU3 plus fermion parity commutant has dimension4, precisely d_N",
000228 |       "passed": true
000229 |     },
000230 |     {
000231 |       "label": "Exact whole-class moment operator sends e0 to e1",
000232 |       "passed": true
000233 |     },
000234 |     {
000235 |       "label": "Exact Gauss spectral measure matches original moment 0",
000236 |       "passed": true
000237 |     },
000238 |     {
000239 |       "label": "Exact Gauss spectral measure matches original moment 1",
000240 |       "passed": true
000241 |     },
000242 |     {
000243 |       "label": "Exact Gauss spectral measure matches original moment 2",
000244 |       "passed": true
000245 |     },
000246 |     {
000247 |       "label": "Exact Gauss spectral measure matches original moment 3",
000248 |       "passed": true
000249 |     },
000250 |     {
000251 |       "label": "Original interval moment matrix criterion on actual_H0_H2",
000252 |       "passed": true
000253 |     },
000254 |     {
000255 |       "label": "Constructive positive two-node witness stays in original finite-H range actual_H0_H2",
000256 |       "passed": true
000257 |     },
000258 |     {
000259 |       "label": "Two-node witness replays all four original marginal moments actual_H0_H2",
000260 |       "passed": true
000261 |     },
000262 |     {
000263 |       "label": "Witness nodes invert actual original Yukawa radial occupation actual_H0_H2",
000264 |       "passed": true
000265 |     },
000266 |     {
000267 |       "label": "Original interval moment matrix criterion on interior_four_node",
000268 |       "passed": true
000269 |     },
000270 |     {
000271 |       "label": "Constructive positive two-node witness stays in original finite-H range interior_four_node",
000272 |       "passed": true
000273 |     },
000274 |     {
000275 |       "label": "Two-node witness replays all four original marginal moments interior_four_node",
000276 |       "passed": true
000277 |     },
000278 |     {
000279 |       "label": "Witness nodes invert actual original Yukawa radial occupation interior_four_node",
000280 |       "passed": true
000281 |     },
000282 |     {
000283 |       "label": "Exact actual H0 endpoint permits singular upper matrix",
000284 |       "passed": true
000285 |     },
000286 |     {
000287 |       "label": "Exact strict lower matrix on any two finite interior or upper-endpoint nodes",
000288 |       "passed": true
000289 |     },
000290 |     {
000291 |       "label": "Exact positive nonconstant endpoint law rejected: lower matrix singular forces unattainable H infinity",
000292 |       "passed": true
000293 |     },
000294 |     {
000295 |       "label": "Rejected mixture diagnostic remains a valid faithful even color-invariant quantum state",
000296 |       "passed": true
000297 |     },
000298 |     {
000299 |       "label": "Valid color state with admissible mean fails mixture variance; covariance alone insufficient",
000300 |       "passed": true
000301 |     },
000302 |     {
000303 |       "label": "Exact automatic classifier accepts constant finite-H law",
000304 |       "passed": true
000305 |     },
000306 |     {
000307 |       "label": "Exact automatic classifier rejects constant infinite-H endpoint",
000308 |       "passed": true
000309 |     },
000310 |     {
000311 |       "label": "Exact classifier rejects inconsistent zero-variance third moment",
000312 |       "passed": true
000313 |     },
000314 |     {
000315 |       "label": "Exact classifier rejects valid quantum state only from positive-H mixture class",
000316 |       "passed": true
000317 |     },
000318 |     {
000319 |       "label": "Exact classifier rejects lower-endpoint atom without floating tolerance",
000320 |       "passed": true
000321 |     },
000322 |     {
000323 |       "label": "Exact classifier accepts both same-two/four different-six finite-H moment laws",
000324 |       "passed": true
000325 |     }
000326 |   ],
000327 |   "original_constructor": {
000328 |     "seed": 252,
000329 |     "right_Y_squared_eigenvalue": 5.173928975873014,
000330 |     "radial_occupations": [
000331 |       0.6224593312018546,
000332 |       0.5535124580768632,
000333 |       0.5535124580768628,
000334 |       0.5535124580768629,
000335 |       0.5274295819497697
000336 |     ],
000337 |     "physical_Y_values_selected": false
000338 |   },
000339 |   "actual_source_diagnostic": {
000340 |     "H_controls": [
000341 |       "(0j, 0j)",
000342 |       "(0j, (2+0j))"
000343 |     ],
000344 |     "positive_weights": [
000345 |       0.3333333333333333,
000346 |       0.6666666666666667
000347 |     ],
000348 |     "physical_H_weight_selected": false,
000349 |     "d_per_configuration": [
000350 |       0.08829499861649745,
000351 |       0.1080991869264658,
000352 |       0.13640046249677296,
000353 |       0.17820605311378634
000354 |     ],
000355 |     "state_log_coefficients": {
000356 |       "k0": 2.4270718137861422,
000357 |       "J1": -0.20236573792657792,
000358 |       "J2": -0.030180195093267245,
000359 |       "J3": -0.0046192182951084685
000360 |     },
000361 |     "spectator_flip_phases": [
000362 |       -0.20236573792657792,
000363 |       -0.2325459330198452,
000364 |       -0.267345346408221
000365 |     ],
000366 |     "moments": [
000367 |       1.0,
000368 |       0.5591061650337981,
000369 |       0.3146065156105593,
000370 |       0.17820605311378634
000371 |     ],
000372 |     "number_phase_queries": [
000373 |       [
000374 |         1.0,
000375 |         0.0
000376 |       ],
000377 |       [
000378 |         -0.3209063888738214,
000379 |         0.14609150766561102
000380 |       ],
000381 |       [
000382 |         -0.005007227786367405,
000383 |         0.0
000384 |       ],
000385 |       [
000386 |         -0.3209063888738214,
000387 |         -0.14609150766561102
000388 |       ]
000389 |     ]
000390 |   },
000391 |   "exact_sign_controls": [
000392 |     {
000393 |       "weight": "1/10",
000394 |       "J2_exponential": "751689/754889",
000395 |       "J3_exponential": "1223319516281/1222543732281"
000396 |     },
000397 |     {
000398 |       "weight": "9/10",
000399 |       "J2_exponential": "8579041/8607841",
000400 |       "J3_exponential": "38246935856547/38269960888547"