TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/mixed-current-origin-20261014/continuous-time-sector-results.json
Original file SHA-256: e35bc998a8358287f4478572274e383bdb83ba7055851500da23d1007f62b65a
Inclusive original lines: 1-195
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 |   "date": "2026-10-23",
000003 |   "verdict": "SCOPED_CONTINUOUS_TIME_COMPACTNESS_EXCLUDES_NEW_SECTOR_WITH_UNCHANGED_FULL_MAP",
000004 |   "finite_checks_passed": true,
000005 |   "spectral_tail_positive_margin": "z**7/4 + z**6/4 + z**5/4 + z**4/4 + z**3/4 + 3*z**2/8 + z/4 + 1/2",
000006 |   "real_time_average_tail_control": {
000007 |     "tail": 0.25,
000008 |     "bound": 0.629825665636039
000009 |   },
000010 |   "divergent_first_moment_countercontrols": [
000011 |     {
000012 |       "N": 4,
000013 |       "mean_energy": "4",
000014 |       "positive_time_norm_defect_bound": "1/4"
000015 |     },
000016 |     {
000017 |       "N": 16,
000018 |       "mean_energy": "16",
000019 |       "positive_time_norm_defect_bound": "1/16"
000020 |     },
000021 |     {
000022 |       "N": 64,
000023 |       "mean_energy": "64",
000024 |       "positive_time_norm_defect_bound": "1/64"
000025 |     },
000026 |     {
000027 |       "N": 256,
000028 |       "mean_energy": "256",
000029 |       "positive_time_norm_defect_bound": "1/256"
000030 |     }
000031 |   ],
000032 |   "register_grade_controls": [
000033 |     {
000034 |       "initial_register": 0,
000035 |       "commutator_norm2": "3593/9800"
000036 |     },
000037 |     {
000038 |       "initial_register": 1,
000039 |       "commutator_norm2": "5132/11025"
000040 |     },
000041 |     {
000042 |       "initial_register": 2,
000043 |       "commutator_norm2": "2297/3528"
000044 |     },
000045 |     {
000046 |       "initial_register": 3,
000047 |       "commutator_norm2": "497/900"
000048 |     }
000049 |   ],
000050 |   "heat_pair_controls": [
000051 |     {
000052 |       "exp_minus_2s": "1/2",
000053 |       "mean_K": "16/3",
000054 |       "F_s_log2": "625/6561"
000055 |     },
000056 |     {
000057 |       "exp_minus_2s": "3/4",
000058 |       "mean_K": "96/7",
000059 |       "F_s_log2": "14641/1500625"
000060 |     },
000061 |     {
000062 |       "exp_minus_2s": "7/8",
000063 |       "mean_K": "448/15",
000064 |       "F_s_log2": "279841/332150625"
000065 |     },
000066 |     {
000067 |       "exp_minus_2s": "15/16",
000068 |       "mean_K": "1920/31",
000069 |       "F_s_log2": "4879681/77133397441"
000070 |     }
000071 |   ],
000072 |   "sharp_positive_time_limit": 0,
000073 |   "sharp_norm_at_time_zero": 1,
000074 |   "source_common_reference_controls": [
000075 |     {
000076 |       "Nx": 8,
000077 |       "scaled_offsets_relative_r1": [
000078 |         0.19271299771535177,
000079 |         0.0,
000080 |         -0.06729758085051452,
000081 |         1.809382218788134e-14
000082 |       ]
000083 |     },
000084 |     {
000085 |       "Nx": 16,
000086 |       "scaled_offsets_relative_r1": [
000087 |         0.18796566478066176,
000088 |         0.0,
000089 |         -0.06286516894926605,
000090 |         -7.237528875152536e-14
000091 |       ]
000092 |     },
000093 |     {
000094 |       "Nx": 32,
000095 |       "scaled_offsets_relative_r1": [
000096 |         0.18761304870805595,
000097 |         0.0,
000098 |         -0.06258794295647246,
000099 |         -5.790023100122029e-13
000100 |       ]
000101 |     },
000102 |     {
000103 |       "Nx": 64,
000104 |       "scaled_offsets_relative_r1": [
000105 |         0.1875282434058191,
000106 |         0.0,
000107 |         -0.06252196809908488,
000108 |         1.1580046200244058e-12
000109 |       ]
000110 |     },
000111 |     {
000112 |       "Nx": 128,
000113 |       "scaled_offsets_relative_r1": [
000114 |         0.18750705963358344,
000115 |         0.0,
000116 |         -0.0625054909173528,
000117 |         -4.632018480097623e-12
000118 |       ]
000119 |     }
000120 |   ],
000121 |   "source_cusp_controls": [
000122 |     {
000123 |       "p": 0.001,
000124 |       "one_sided_slope": -1.003499831917054
000125 |     },
000126 |     {
000127 |       "p": 0.0001,
000128 |       "one_sided_slope": -1.000349998321326
000129 |     },
000130 |     {
000131 |       "p": 1e-05,
000132 |       "one_sided_slope": -1.000035000053856
000133 |     }
000134 |   ],
000135 |   "actual_nonunitary_QWZ_heat_filtered_pair": [
000136 |     {
000137 |       "sector": 1,
000138 |       "Nx": 32,
000139 |       "Ny": 8,
000140 |       "heat_s": 0.25,
000141 |       "time_t": 0.1,
000142 |       "mean_original_H_N": 36.83193091969491,
000143 |       "normalized_time_kernel": 0.07350839262541478,
000144 |       "original_residue_charge_changes": [
000145 |         6.938893903907228e-17,
000146 |         1.5265566588595902e-15,
000147 |         2.9238764187589084e-15,
000148 |         1.5339292336324917e-15,
000149 |         2.0570025717481233e-15,
000150 |         2.8671726451379165e-15,
000151 |         1.3342191934606618e-15,
000152 |         2.2794266474335245e-15
000153 |       ],
000154 |       "both_edge_covariance_changes": [
000155 |         0.0897443684995878,
000156 |         0.08974436849958811
000157 |       ],
000158 |       "independent_QR_kernel": 0.07350839262540959,
000159 |       "independent_QR_covariance_error": 2.4593299678484814e-14,
000160 |       "raw_norm_squared": 6.967972397688509e-51
000161 |     },
000162 |     {
000163 |       "sector": 3,
000164 |       "Nx": 32,
000165 |       "Ny": 8,
000166 |       "heat_s": 0.25,
000167 |       "time_t": 0.1,
000168 |       "mean_original_H_N": 36.831930919694884,
000169 |       "normalized_time_kernel": 0.07350839262541481,
000170 |       "original_residue_charge_changes": [
000171 |         4.883246584874712e-16,
000172 |         9.84455572616838e-16,
000173 |         -9.840218917478438e-16,
000174 |         -1.2353399553299838e-15,
000175 |         5.816744655384731e-16,
000176 |         2.0007053739418135e-15,
000177 |         9.042246118529107e-17,
000178 |         7.199102425303749e-16
000179 |       ],
000180 |       "both_edge_covariance_changes": [
000181 |         0.08974436849958807,
000182 |         0.08974436849958811
000183 |       ],
000184 |       "independent_QR_kernel": 0.07350839262540541,
000185 |       "independent_QR_covariance_error": 2.4978880702797567e-14,
000186 |       "raw_norm_squared": 6.967972397687816e-51
000187 |     }
000188 |   ],
000189 |   "actual_source_sha256": "5053d08ad5448f33f2c6d141f92ed1e06f5dfb9762f92af2bab9816c0ad161b8",
000190 |   "general_compactness_and_uniform_reference_bounds": "written_analytic_proofs_not_extrapolations",
000191 |   "inherited_full_observable_map_required": true,
000192 |   "uniform_first_energy_moment_required": false,
000193 |   "new_P1_spinor_sector_constructed": false,
000194 |   "all_P1_no_go_claimed": false
000195 | }