TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/WHOLE-COLOR-SELECTION.json
Original file SHA-256: 7a81824f45e515b2ef0f7f28280bcff0a174ee1bf888f97e51bdfff0f5fdec36
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 |       "name": "whole joint-to-relative diagonal H0.13 p-0.75",
000202 |       "error": 5.218352459857621e-15,
000203 |       "tolerance": 2e-11
000204 |     },
000205 |     {
000206 |       "name": "whole diagonal color singlet H0.13 p-0.75",
000207 |       "error": 4.774046922734714e-15,
000208 |       "tolerance": 2e-11
000209 |     },
000210 |     {
000211 |       "name": "whole joint-to-relative relative H0.13 p-0.75",
000212 |       "error": 4.222762756020258e-15,
000213 |       "tolerance": 2e-11
000214 |     },
000215 |     {
000216 |       "name": "whole joint-to-relative oneface H0.13 p-0.75",
000217 |       "error": 1.8891817356733833e-15,
000218 |       "tolerance": 2e-11
000219 |     },
000220 |     {
000221 |       "name": "whole center commutes graph H0.13 p-0.75",
000222 |       "error": 0.0,
000223 |       "tolerance": 1e-11
000224 |     },
000225 |     {
000226 |       "name": "whole center Slater determinant H0.13 p-0.75",
000227 |       "error": 8.69190645909781e-15,
000228 |       "tolerance": 3e-11
000229 |     },
000230 |     {
000231 |       "name": "left current variance H0.13 p-0.75",
000232 |       "error": 7.968885967768458e-16,
000233 |       "tolerance": 4e-12
000234 |     },
000235 |     {
000236 |       "name": "right current variance H0.13 p-0.75",
000237 |       "error": 1.2795754039673923e-15,
000238 |       "tolerance": 4e-12
000239 |     },
000240 |     {
000241 |       "name": "exact opposite-face connected current H0.13 p-0.75",
000242 |       "error": 1.3901640255609138e-15,
000243 |       "tolerance": 4e-12
000244 |     },
000245 |     {
000246 |       "name": "whole total color has zero variance H0.13 p-0.75",
000247 |       "error": 3.263014858312374e-15,
000248 |       "tolerance": 5e-12
000249 |     },
000250 |     {
000251 |       "name": "whole original graph projection H0.6 p0.25",
000252 |       "error": 7.21925230971652e-15,
000253 |       "tolerance": 1e-11
000254 |     },
000255 |     {
000256 |       "name": "original second-face marginal H0.6 p0.25",
000257 |       "error": 2.468560109285057e-15,
000258 |       "tolerance": 2e-12
000259 |     },
000260 |     {
000261 |       "name": "whole joint-to-relative diagonal H0.6 p0.25",
000262 |       "error": 2.1101390900639078e-15,
000263 |       "tolerance": 2e-11
000264 |     },
000265 |     {
000266 |       "name": "whole diagonal color singlet H0.6 p0.25",
000267 |       "error": 2.3344327198962063e-15,
000268 |       "tolerance": 2e-11
000269 |     },
000270 |     {
000271 |       "name": "whole joint-to-relative relative H0.6 p0.25",
000272 |       "error": 4.66603215209866e-15,
000273 |       "tolerance": 2e-11
000274 |     },
000275 |     {
000276 |       "name": "whole joint-to-relative oneface H0.6 p0.25",
000277 |       "error": 1.3369158790519462e-15,
000278 |       "tolerance": 2e-11
000279 |     },
000280 |     {
000281 |       "name": "whole center commutes graph H0.6 p0.25",
000282 |       "error": 0.0,
000283 |       "tolerance": 1e-11
000284 |     },
000285 |     {
000286 |       "name": "whole center Slater determinant H0.6 p0.25",
000287 |       "error": 8.341538962395335e-15,
000288 |       "tolerance": 3e-11
000289 |     },
000290 |     {
000291 |       "name": "left current variance H0.6 p0.25",
000292 |       "error": 4.718447854656915e-16,
000293 |       "tolerance": 4e-12
000294 |     },
000295 |     {
000296 |       "name": "right current variance H0.6 p0.25",
000297 |       "error": 9.159339953157541e-16,
000298 |       "tolerance": 4e-12
000299 |     },
000300 |     {
000301 |       "name": "exact opposite-face connected current H0.6 p0.25",
000302 |       "error": 9.43689570931383e-16,
000303 |       "tolerance": 4e-12
000304 |     },
000305 |     {
000306 |       "name": "whole total color has zero variance H0.6 p0.25",
000307 |       "error": 1.4432899320127035e-15,
000308 |       "tolerance": 5e-12
000309 |     },
000310 |     {
000311 |       "name": "whole original graph projection H0.6 p-0.75",
000312 |       "error": 9.63322314690216e-15,
000313 |       "tolerance": 1e-11
000314 |     },
000315 |     {
000316 |       "name": "original second-face marginal H0.6 p-0.75",
000317 |       "error": 3.649591476283915e-15,
000318 |       "tolerance": 2e-12
000319 |     },
000320 |     {
000321 |       "name": "whole joint-to-relative diagonal H0.6 p-0.75",
000322 |       "error": 4.108227727306826e-15,
000323 |       "tolerance": 2e-11
000324 |     },
000325 |     {
000326 |       "name": "whole diagonal color singlet H0.6 p-0.75",
000327 |       "error": 4.330055197047181e-15,
000328 |       "tolerance": 2e-11
000329 |     },
000330 |     {
000331 |       "name": "whole joint-to-relative relative H0.6 p-0.75",
000332 |       "error": 4.596650537803684e-15,
000333 |       "tolerance": 2e-11
000334 |     },
000335 |     {
000336 |       "name": "whole joint-to-relative oneface H0.6 p-0.75",
000337 |       "error": 5.107671565466721e-15,
000338 |       "tolerance": 2e-11
000339 |     },
000340 |     {
000341 |       "name": "whole center commutes graph H0.6 p-0.75",
000342 |       "error": 0.0,
000343 |       "tolerance": 1e-11
000344 |     },
000345 |     {
000346 |       "name": "whole center Slater determinant H0.6 p-0.75",
000347 |       "error": 8.241115830852608e-15,
000348 |       "tolerance": 3e-11
000349 |     },
000350 |     {
000351 |       "name": "left current variance H0.6 p-0.75",
000352 |       "error": 3.615163723935666e-15,
000353 |       "tolerance": 4e-12
000354 |     },
000355 |     {
000356 |       "name": "right current variance H0.6 p-0.75",
000357 |       "error": 5.620504062164855e-16,
000358 |       "tolerance": 4e-12
000359 |     },
000360 |     {
000361 |       "name": "exact opposite-face connected current H0.6 p-0.75",
000362 |       "error": 3.8510861166685117e-16,
000363 |       "tolerance": 4e-12
000364 |     },
000365 |     {
000366 |       "name": "whole total color has zero variance H0.6 p-0.75",
000367 |       "error": 2.282896094385478e-15,
000368 |       "tolerance": 5e-12
000369 |     },
000370 |     {
000371 |       "name": "independent64 Fock Slater normalization",
000372 |       "error": 0.0,
000373 |       "tolerance": 2e-12
000374 |     },
000375 |     {
000376 |       "name": "independent64 Fock all-SU3 diagonal singlet",
000377 |       "error": 1.4094601912437838e-16,
000378 |       "tolerance": 2e-12
000379 |     },
000380 |     {
000381 |       "name": "whole singlet oneface nontrivial counting",
000382 |       "error": 5.551115123125783e-17,
000383 |       "tolerance": 2e-12
000384 |     },
000385 |     {
000386 |       "name": "whole total triality fixes state",
000387 |       "error": 4.90031473567238e-16,
000388 |       "tolerance": 2e-12
000389 |     },
000390 |     {
000391 |       "name": "oneface postselection changes normalized counting",
000392 |       "error": 0.0,
000393 |       "tolerance": 2e-12
000394 |     },
000395 |     {
000396 |       "name": "exact oneface center conditioning counterexample",
000397 |       "raw": "9/25",
000398 |       "weight": "13/25",
000399 |       "conditioned": "1"
000400 |     },