TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/paper-source-reconstruction-20261025/composition-results.json
Original file SHA-256: 3c56419ddca5991d1be5b5c246fba45ac9878cac92744e8b587c95e1a86e448c
Inclusive original lines: 1-70
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 |   "status": "PASS_ACTUAL_QWZ_NEUTRAL_OCTIC_COMPOSITION",
000003 |   "exact": {
000004 |     "source_hopping_and_strip_equal_preserved_original_ast": true,
000005 |     "K_commutator_all_modes": "[K,h_(k,-n)]=n*h_(k,-n-1)",
000006 |     "K_vacuum_coefficients": [
000007 |       "-15/32",
000008 |       "-11/32",
000009 |       "-7/32",
000010 |       "-3/32",
000011 |       "1/32",
000012 |       "5/32",
000013 |       "9/32",
000014 |       "13/32"
000015 |     ],
000016 |     "QWZ_orientation_and_counterterm_identity": true,
000017 |     "charge": 0,
000018 |     "original_source_excitation_energy": 64,
000019 |     "ward_amplitude_folded": "sqrt(35)*(16250979 + 56071008*I)/2147483648",
000020 |     "ward_amplitude_original_Lcal": "sqrt(35)*(16250979 + 56071008*I)/128"
000021 |   },
000022 |   "actual_source_diagnostics": [
000023 |     {
000024 |       "N": 4096,
000025 |       "labels": [
000026 |         -64,
000027 |         64
000028 |       ],
000029 |       "modes_checked": 129,
000030 |       "maxima": {
000031 |         "raw_generator_residual": 3.165330056834403,
000032 |         "projected_generator_residual": 0.10396736878848545,
000033 |         "row_to_polarized_mode": 0.004852949896186822,
000034 |         "wrong_sea_occupation": 1.0622356973070523e-05
000035 |       },
000036 |       "interval_arithmetic": false
000037 |     },
000038 |     {
000039 |       "N": 8192,
000040 |       "labels": [
000041 |         -64,
000042 |         64
000043 |       ],
000044 |       "modes_checked": 129,
000045 |       "maxima": {
000046 |         "raw_generator_residual": 1.582985354621154,
000047 |         "projected_generator_residual": 0.026001311975452805,
000048 |         "row_to_polarized_mode": 0.0012139709885448354,
000049 |         "wrong_sea_occupation": 7.006091957926239e-07
000050 |       },
000051 |       "interval_arithmetic": false
000052 |     }
000053 |   ],
000054 |   "source_hashes": {
000055 |     "verification/v1033_charged_disorder.py": "5053d08ad5448f33f2c6d141f92ed1e06f5dfb9762f92af2bab9816c0ad161b8",
000056 |     "verification/historical_replay/v1033_original.py": "01c64748c70784b17cf1c61b7bd2b4c51a69c19c4a2274f09028892eab5cb83f",
000057 |     "experiments/theory-contracts/microscopic-energy-linearization/checker.py": "393ee8e6362ca96c4fbf0354f5f9250ed445a56ba32e22659573649346cd2ce9",
000058 |     "experiments/theory-contracts/microscopic-charged-car-limit/README.md": "39c613b80a1fe64200d269b782f6fb86c98f92c78058891a6144605e09c4532b",
000059 |     "experiments/theory-contracts/native-octic-seam-origin-20261025/native_folded_octic_origin.py": "6b075e8d618d392b0d9846bef69c953a03690cd2ce7af76cac003ca49dd072c9"
000060 |   },
000061 |   "scope": {
000062 |     "fixed_original_QWZ_and_fold": true,
000063 |     "new_independent_sources": 0,
000064 |     "simultaneous_lattice_UV_limit_proved": false,
000065 |     "microscopic_full_stress_unitary_limit_proved": false,
000066 |     "P1_source_selection_proved": false,
000067 |     "all_old_source_pin_tests_passed": false,
000068 |     "complete_TFPT_proved": false
000069 |   }
000070 | }