TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/LOCAL-SPACETIME-FORCE-SOURCE.json
Original file SHA-256: fc4482a9c6a8cadaa1c9510bf8b90d23e975449423aec8271713a8efa9bc005c
Inclusive original lines: 1-169
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.

000001 | {
000002 |   "result_id": "R080",
000003 |   "controls": 28,
000004 |   "all_passed": true,
000005 |   "checks": {
000006 |     "native_quark_sector_is_reducing_not_KO_doubled_Fock": true,
000007 |     "native_whole_four_force_tuple_is_Hermitian_odd": true,
000008 |     "native_radial_background_matches_original_Hstar": true,
000009 |     "actual_pointwise_full96_H_shift_differentiates_to_same_local_force": true,
000010 |     "native_spacetime_insertions_Hermitian_N4": true,
000011 |     "exact_centered_det2_identity_N4": true,
000012 |     "centering_trace_correction_is_essential_N4": true,
000013 |     "native_spacetime_Wick_commutator_response_N4": true,
000014 |     "native_spacetime_covariance_Gram_positive_N4": true,
000015 |     "native_spacetime_insertions_Hermitian_N8": true,
000016 |     "exact_centered_det2_identity_N8": true,
000017 |     "centering_trace_correction_is_essential_N8": true,
000018 |     "native_spacetime_Wick_commutator_response_N8": true,
000019 |     "native_spacetime_covariance_Gram_positive_N8": true,
000020 |     "native_spacetime_insertions_Hermitian_N16": true,
000021 |     "exact_centered_det2_identity_N16": true,
000022 |     "centering_trace_correction_is_essential_N16": true,
000023 |     "native_spacetime_Wick_commutator_response_N16": true,
000024 |     "native_spacetime_covariance_Gram_positive_N16": true,
000025 |     "whole_native_local_ordered_source_approaches_limit": true,
000026 |     "actual_local_source_contains_order_information": true,
000027 |     "whole_local_HS_tail_increment_decreases": true,
000028 |     "independent_16state_Fock_checks_actual_mixed_mode_centered_det2": true,
000029 |     "independent_Fock_checks_actual_mixed_mode_Wick_response": true,
000030 |     "compact_test_supports_are_strictly_spacelike_in_original_cylinder": true,
000031 |     "finite_cutoff_locality_leak_decreases": true,
000032 |     "finite_cutoff_spacelike_order_defect_decreases": true,
000033 |     "sharp_spatial_window_is_not_a_counterexample_HS_tail_decreases": true
000034 |   },
000035 |   "whole_native_spacetime_source": [
000036 |     {
000037 |       "N": 4,
000038 |       "one_particle_dimension": 288,
000039 |       "HS_A_squared": 0.6180367203554558,
000040 |       "variance_A": 0.07567910287955343,
000041 |       "mean_before_centering_A": 4.074169597531732,
000042 |       "ordered_source": [
000043 |         0.9503907771658233,
000044 |         0.011161525243663597
000045 |       ],
000046 |       "reversed_source": [
000047 |         0.9491295290265254,
000048 |         -0.008544230289164954
000049 |       ],
000050 |       "mixed_connected": [
000051 |         0.0017502695888280979,
000052 |         -0.01040180618977904
000053 |       ],
000054 |       "trace_correction": [
000055 |         -0.22320298552483103,
000056 |         0.004538602838683625
000057 |       ]
000058 |     },
000059 |     {
000060 |       "N": 8,
000061 |       "one_particle_dimension": 576,
000062 |       "HS_A_squared": 0.7278884372180996,
000063 |       "variance_A": 0.07723098974859993,
000064 |       "mean_before_centering_A": 5.987045959325897,
000065 |       "ordered_source": [
000066 |         0.9497003007538701,
000067 |         0.011194758587845327
000068 |       ],
000069 |       "reversed_source": [
000070 |         0.9484381310479368,
000071 |         -0.008548767419385048
000072 |       ],
000073 |       "mixed_connected": [
000074 |         0.0016600978907116521,
000075 |         -0.0104292876611701
000076 |       ],
000077 |       "trace_correction": [
000078 |         -0.2632140660630874,
000079 |         0.004020063240905241
000080 |       ]
000081 |     },
000082 |     {
000083 |       "N": 16,
000084 |       "one_particle_dimension": 1152,
000085 |       "HS_A_squared": 0.7879861522806173,
000086 |       "variance_A": 0.07723107284175024,
000087 |       "mean_before_centering_A": 8.008574001178342,
000088 |       "ordered_source": [
000089 |         0.9497002610252191,
000090 |         0.011194758682075152
000091 |       ],
000092 |       "reversed_source": [
000093 |         0.9484380914431697,
000094 |         -0.008548765590089118
000095 |       ],
000096 |       "mixed_connected": [
000097 |         0.0016600981103976984,
000098 |         -0.010429287180032883
000099 |       ],
000100 |       "trace_correction": [
000101 |         -0.28540428741821877,
000102 |         0.003859729211780352
000103 |       ]
000104 |     }
000105 |   ],
000106 |   "compact_spacelike_original_singular_channel": [
000107 |     {
000108 |       "N": 16,
000109 |       "HS_product_AB": 0.040344754995696126,
000110 |       "HS_commutator": 0.057052771542575355,
000111 |       "mixed_connected": [
000112 |         -0.0018955346778317004,
000113 |         0.0005578270095012352
000114 |       ],
000115 |       "order_defect": 0.0011156540190024376
000116 |     },
000117 |     {
000118 |       "N": 32,
000119 |       "HS_product_AB": 0.0021251818774769803,
000120 |       "HS_commutator": 0.0029943606363689542,
000121 |       "mixed_connected": [
000122 |         0.00012320137346331694,
000123 |         -5.152440851771127e-05
000124 |       ],
000125 |       "order_defect": 0.00010304881703544183
000126 |     },
000127 |     {
000128 |       "N": 64,
000129 |       "HS_product_AB": 0.00020885135848367484,
000130 |       "HS_commutator": 0.00029424868975704986,
000131 |       "mixed_connected": [
000132 |         6.387927094568085e-07,
000133 |         -1.2150598371097555e-07
000134 |       ],
000135 |       "order_defect": 2.430119674411923e-07
000136 |     },
000137 |     {
000138 |       "N": 128,
000139 |       "HS_product_AB": 5.001734240858677e-05,
000140 |       "HS_commutator": 7.045701642902114e-05,
000141 |       "mixed_connected": [
000142 |         4.833551756564387e-07,
000143 |         -9.447814378858145e-08
000144 |       ],
000145 |       "order_defect": 1.8895628759641088e-07
000146 |     }
000147 |   ],
000148 |   "bounded_rectangular_spatial_probe": [
000149 |     {
000150 |       "N": 8,
000151 |       "HS_A_squared": 12.971895391345791
000152 |     },
000153 |     {
000154 |       "N": 16,
000155 |       "HS_A_squared": 21.720774256042194
000156 |     },
000157 |     {
000158 |       "N": 32,
000159 |       "HS_A_squared": 24.24884498216227
000160 |     },
000161 |     {
000162 |       "N": 64,
000163 |       "HS_A_squared": 24.877834850319758
000164 |     }
000165 |   ],
000166 |   "original_channel_singular_value": 2.274627216902368,
000167 |   "scope": "Original given circle, constantHstar, original36quark/Ys/time. Native seed252 alpha1/4 ell1; test widths/profiles are probes, not physical choices. HilbertSchmidt and locality limits follow analytic proof. No primitive H measure, physical3+1,spin2,Lean or ledger promotion.",
000168 |   "ledger_changed": false
000169 | }