TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/REGIONAL-SOURCE-PARTNER.json
Original file SHA-256: 2c9abd57a5bff49032518e034859b04cfd4d0c89deaeef5519fab562345bf793
Inclusive original lines: 201-283
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": "Complete bounded ordered two-number word ('0.75', 'physical_local_pair')",
000204 |       "passed": true
000205 |     },
000206 |     {
000207 |       "label": "Actual charged two-insertion word ('0.75', 'derived_environment_pair', 0, 0)",
000208 |       "passed": true
000209 |     },
000210 |     {
000211 |       "label": "Actual charged two-insertion word ('0.75', 'derived_environment_pair', 0, 1)",
000212 |       "passed": true
000213 |     },
000214 |     {
000215 |       "label": "Actual charged two-insertion word ('0.75', 'derived_environment_pair', 1, 0)",
000216 |       "passed": true
000217 |     },
000218 |     {
000219 |       "label": "Actual charged two-insertion word ('0.75', 'derived_environment_pair', 1, 1)",
000220 |       "passed": true
000221 |     },
000222 |     {
000223 |       "label": "Full neutral four-field word ('0.75', 'derived_environment_pair')",
000224 |       "passed": true
000225 |     },
000226 |     {
000227 |       "label": "Isolated charged odd insertions vanish ('0.75', 'derived_environment_pair')",
000228 |       "passed": true
000229 |     },
000230 |     {
000231 |       "label": "Complete bounded ordered two-number word ('0.75', 'derived_environment_pair')",
000232 |       "passed": true
000233 |     },
000234 |     {
000235 |       "label": "Actual partner restores pure covariance without modifying global source alpha=0.75",
000236 |       "passed": true
000237 |     }
000238 |   ],
000239 |   "original_beta": "4*pi",
000240 |   "rows": [
000241 |     {
000242 |       "alpha": "0.25",
000243 |       "actual_right_occupation": "0.2706955948000365559271808914780441178882",
000244 |       "actual_physical_cross_word": "0.1015331194401826454824668874618449310161",
000245 |       "derived_partner_cross_word": "0.444319130531075577984045191570902914742",
000246 |       "actual_four_field_word": "0.1871105154126365827855044891496321533595",
000247 |       "derived_partner_four_field_word": "0",
000248 |       "outside_C_word": "-0.2292717626336737291137273521993535055722",
000249 |       "outside_X_word": "0.09773528822901069473434438318032665383688",
000250 |       "full_interval_defect_lower_bound": "0.06211772770635942567790069368690845178185",
000251 |       "derived_probe_partner_left_weight": "0.100650296547927541564524479397311",
000252 |       "derived_probe_partner_right_remainder_weight": "0.899349703452072458435475520602689",
000253 |       "derived_probe_partner_outside_weight_lower_bound": "0.31464840570284089134909284532847828",
000254 |       "occupation_tail_bound": "1.8514390734632e-179",
000255 |       "cross_tail_bound": "4.492974712643e-90",
000256 |       "physical_pair_eigenvalues": [
000257 |         0.2492222406445033,
000258 |         0.7507777593554967
000259 |       ]
000260 |     },
000261 |     {
000262 |       "alpha": "0.75",
000263 |       "actual_right_occupation": "0.2416461231476641534665776917440374265176",
000264 |       "actual_physical_cross_word": "0.04487492072951983422084384542471103094015",
000265 |       "derived_partner_cross_word": "0.4280809202888725850929943344943470739246",
000266 |       "actual_four_field_word": "0.1812395158048873951318755226351048789798",
000267 |       "derived_partner_four_field_word": "0",
000268 |       "outside_C_word": "-0.2415654301419804788377280878623651867366",
000269 |       "outside_X_word": "-0.03589235459714383243136396003087247064242",
000270 |       "full_interval_defect_lower_bound": "0.05964211815820716286590897642944733933678",
000271 |       "derived_probe_partner_left_weight": "0.044129338724317931600678453485921105",
000272 |       "derived_probe_partner_right_remainder_weight": "0.95587066127568206839932154651407889",
000273 |       "derived_probe_partner_outside_weight_lower_bound": "0.32546276938859271267504724742335941",
000274 |       "occupation_tail_bound": "9.8958219293505e-177",
000275 |       "cross_tail_bound": "9.9671731161472e-89",
000276 |       "physical_pair_eigenvalues": [
000277 |         0.23777779614397143,
000278 |         0.7622222038560285
000279 |       ]
000280 |     }
000281 |   ],
000282 |   "scope": "Full paired-proper-region exclusion and full interval polar map proved analytically using actual X smoothing and bounded polar decomposition. Numerical words use actual single supported L2 probe, entire negative sea and exponentially bounded correction; its one-mode T is not asserted equal to full interval T_I. Existing global GNS and general projection identity reused. No primitive P1 measure, full E8/4D source, local RP violation, physical signalling or Higgs Gaussianization claimed."
000283 | }