TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/LOCAL-SOURCE-MODULAR-TIME.json
Original file SHA-256: 48f419a5a233e91bb7a7d246e2dc6e019e323082e9ffb468194525e333a3d9c8
Inclusive original lines: 1-200
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 |   "verdict": "EXACT_SCOPED_LOCAL_TIME_WITNESS_AND_GIVEN_FREE_CAR_READOUT; GEOMETRIC_CURRENT_POINT_FLOW_CLASS_EXCLUDED_AT_ACTUAL_QUARTERS; PHYSICAL_ORIGIN_OPEN",
000003 |   "all_passed": true,
000004 |   "checks": [
000005 |     {
000006 |       "label": "Actual compact autocorrelation has positive first two Fourier coefficients",
000007 |       "passed": true
000008 |     },
000009 |     {
000010 |       "label": "Entire actual smooth probe support lies inside I",
000011 |       "passed": true
000012 |     },
000013 |     {
000014 |       "label": "All evaluated exact-sign summands are negative",
000015 |       "passed": true
000016 |     },
000017 |     {
000018 |       "label": "Certified analytic all-mode tail cannot change the strict local witness sign",
000019 |       "passed": true
000020 |     },
000021 |     {
000022 |       "label": "Direct Fourier transport matches collected covariance derivative within analytic tail",
000023 |       "passed": true
000024 |     },
000025 |     {
000026 |       "label": "Vacuum covariance derivative coefficient cancels identically",
000027 |       "passed": true
000028 |     },
000029 |     {
000030 |       "label": "Quarter particle-hole occupation complement identity",
000031 |       "passed": true
000032 |     },
000033 |     {
000034 |       "label": "Whole geometric-flow class: constant Laurent coefficient",
000035 |       "passed": true
000036 |     },
000037 |     {
000038 |       "label": "Whole geometric-flow class: quadratic Laurent coefficient",
000039 |       "passed": true
000040 |     },
000041 |     {
000042 |       "label": "Whole class integrability coefficient after third-order condition",
000043 |       "passed": true
000044 |     },
000045 |     {
000046 |       "label": "Exact rational all-mode charge and oscillator bound at BOTH original quarters",
000047 |       "passed": true
000048 |     },
000049 |     {
000050 |       "label": "Occupation-log resolvent sign at lambda=0.1",
000051 |       "passed": true
000052 |     },
000053 |     {
000054 |       "label": "Occupation-log resolvent sign at lambda=0.4",
000055 |       "passed": true
000056 |     },
000057 |     {
000058 |       "label": "Occupation-log resolvent sign at lambda=0.8",
000059 |       "passed": true
000060 |     },
000061 |     {
000062 |       "label": "Entire Hardy sea gives exactly1/4 on the normalized interval constant",
000063 |       "passed": true
000064 |     },
000065 |     {
000066 |       "label": "Independent infinite negative-odd sea sum (0, 0)",
000067 |       "passed": true
000068 |     },
000069 |     {
000070 |       "label": "Independent infinite negative-odd sea sum (0, 1)",
000071 |       "passed": true
000072 |     },
000073 |     {
000074 |       "label": "Independent infinite negative-odd sea sum (0, 2)",
000075 |       "passed": true
000076 |     },
000077 |     {
000078 |       "label": "Independent infinite negative-odd sea sum (1, 0)",
000079 |       "passed": true
000080 |     },
000081 |     {
000082 |       "label": "Independent infinite negative-odd sea sum (1, 1)",
000083 |       "passed": true
000084 |     },
000085 |     {
000086 |       "label": "Independent infinite negative-odd sea sum (1, 2)",
000087 |       "passed": true
000088 |     },
000089 |     {
000090 |       "label": "Independent infinite negative-odd sea sum (2, 0)",
000091 |       "passed": true
000092 |     },
000093 |     {
000094 |       "label": "Independent infinite negative-odd sea sum (2, 1)",
000095 |       "passed": true
000096 |     },
000097 |     {
000098 |       "label": "Independent infinite negative-odd sea sum (2, 2)",
000099 |       "passed": true
000100 |     },
000101 |     {
000102 |       "label": "Independent Fock CAR (0, 0)",
000103 |       "passed": true
000104 |     },
000105 |     {
000106 |       "label": "Independent Fock CAR (0, 1)",
000107 |       "passed": true
000108 |     },
000109 |     {
000110 |       "label": "Independent Fock CAR (0, 2)",
000111 |       "passed": true
000112 |     },
000113 |     {
000114 |       "label": "Independent Fock CAR (1, 0)",
000115 |       "passed": true
000116 |     },
000117 |     {
000118 |       "label": "Independent Fock CAR (1, 1)",
000119 |       "passed": true
000120 |     },
000121 |     {
000122 |       "label": "Independent Fock CAR (1, 2)",
000123 |       "passed": true
000124 |     },
000125 |     {
000126 |       "label": "Independent Fock CAR (2, 0)",
000127 |       "passed": true
000128 |     },
000129 |     {
000130 |       "label": "Independent Fock CAR (2, 1)",
000131 |       "passed": true
000132 |     },
000133 |     {
000134 |       "label": "Independent Fock CAR (2, 2)",
000135 |       "passed": true
000136 |     },
000137 |     {
000138 |       "label": "Actual source thermal correction norm tail bound alpha=0.25",
000139 |       "passed": true
000140 |     },
000141 |     {
000142 |       "label": "Actual spatial3mode CAR restriction is faithful alpha=0.25",
000143 |       "passed": true
000144 |     },
000145 |     {
000146 |       "label": "Original source two-point vs independent finite density ('0.25', 0, 0)",
000147 |       "passed": true
000148 |     },
000149 |     {
000150 |       "label": "Original source two-point vs independent finite density ('0.25', 0, 1)",
000151 |       "passed": true
000152 |     },
000153 |     {
000154 |       "label": "Original source two-point vs independent finite density ('0.25', 0, 2)",
000155 |       "passed": true
000156 |     },
000157 |     {
000158 |       "label": "Original source two-point vs independent finite density ('0.25', 1, 0)",
000159 |       "passed": true
000160 |     },
000161 |     {
000162 |       "label": "Original source two-point vs independent finite density ('0.25', 1, 1)",
000163 |       "passed": true
000164 |     },
000165 |     {
000166 |       "label": "Original source two-point vs independent finite density ('0.25', 1, 2)",
000167 |       "passed": true
000168 |     },
000169 |     {
000170 |       "label": "Original source two-point vs independent finite density ('0.25', 2, 0)",
000171 |       "passed": true
000172 |     },
000173 |     {
000174 |       "label": "Original source two-point vs independent finite density ('0.25', 2, 1)",
000175 |       "passed": true
000176 |     },
000177 |     {
000178 |       "label": "Original source two-point vs independent finite density ('0.25', 2, 2)",
000179 |       "passed": true
000180 |     },
000181 |     {
000182 |       "label": "Actual supported four-field word from full sea covariance alpha=0.25",
000183 |       "passed": true
000184 |     },
000185 |     {
000186 |       "label": "Whole supported two-number-unitary word alpha=0.25",
000187 |       "passed": true
000188 |     },
000189 |     {
000190 |       "label": "Actual finite-subalgebra modular action preserves source state alpha=0.25",
000191 |       "passed": true
000192 |     },
000193 |     {
000194 |       "label": "Canonical modular sign with antilinear annihilation alpha=0.25 j=0",
000195 |       "passed": true
000196 |     },
000197 |     {
000198 |       "label": "Canonical modular sign with antilinear annihilation alpha=0.25 j=1",
000199 |       "passed": true
000200 |     },