TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/WHOLE-COLOR-SELECTION.json
Original file SHA-256: 7a81824f45e515b2ef0f7f28280bcff0a174ee1bf888f97e51bdfff0f5fdec36
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": "SCOPED_WHOLE_SOURCE_COLOR_SELECTION_AND_RELATIVE_READER",
000003 |   "controls": 87,
000004 |   "checks": [
000005 |     {
000006 |       "name": "original color matrices are not a commuting-only diagnostic",
000007 |       "error": 0.0,
000008 |       "tolerance": 1e-14
000009 |     },
000010 |     {
000011 |       "name": "whole original graph projection H0.0 p0.25",
000012 |       "error": 5.274472300303948e-16,
000013 |       "tolerance": 1e-11
000014 |     },
000015 |     {
000016 |       "name": "original second-face marginal H0.0 p0.25",
000017 |       "error": 4.710277376051325e-16,
000018 |       "tolerance": 2e-12
000019 |     },
000020 |     {
000021 |       "name": "whole joint-to-relative diagonal H0.0 p0.25",
000022 |       "error": 3.663981298193433e-15,
000023 |       "tolerance": 2e-11
000024 |     },
000025 |     {
000026 |       "name": "whole diagonal color singlet H0.0 p0.25",
000027 |       "error": 2.3316878072466205e-15,
000028 |       "tolerance": 2e-11
000029 |     },
000030 |     {
000031 |       "name": "whole joint-to-relative relative H0.0 p0.25",
000032 |       "error": 4.231993008026658e-15,
000033 |       "tolerance": 2e-11
000034 |     },
000035 |     {
000036 |       "name": "whole joint-to-relative oneface H0.0 p0.25",
000037 |       "error": 5.551115123125783e-16,
000038 |       "tolerance": 2e-11
000039 |     },
000040 |     {
000041 |       "name": "whole center commutes graph H0.0 p0.25",
000042 |       "error": 0.0,
000043 |       "tolerance": 1e-11
000044 |     },
000045 |     {
000046 |       "name": "whole center Slater determinant H0.0 p0.25",
000047 |       "error": 8.62284915551946e-15,
000048 |       "tolerance": 3e-11
000049 |     },
000050 |     {
000051 |       "name": "left current variance H0.0 p0.25",
000052 |       "error": 2.220446049250313e-16,
000053 |       "tolerance": 4e-12
000054 |     },
000055 |     {
000056 |       "name": "right current variance H0.0 p0.25",
000057 |       "error": 5.551115123125783e-16,
000058 |       "tolerance": 4e-12
000059 |     },
000060 |     {
000061 |       "name": "exact opposite-face connected current H0.0 p0.25",
000062 |       "error": 1.1102230246251565e-16,
000063 |       "tolerance": 4e-12
000064 |     },
000065 |     {
000066 |       "name": "whole total color has zero variance H0.0 p0.25",
000067 |       "error": 1.1102230246251565e-15,
000068 |       "tolerance": 5e-12
000069 |     },
000070 |     {
000071 |       "name": "whole original graph projection H0.0 p-0.75",
000072 |       "error": 4.710277411145626e-16,
000073 |       "tolerance": 1e-11
000074 |     },
000075 |     {
000076 |       "name": "original second-face marginal H0.0 p-0.75",
000077 |       "error": 0.0,
000078 |       "tolerance": 2e-12
000079 |     },
000080 |     {
000081 |       "name": "whole joint-to-relative diagonal H0.0 p-0.75",
000082 |       "error": 5.334271907158537e-16,
000083 |       "tolerance": 2e-11
000084 |     },
000085 |     {
000086 |       "name": "whole diagonal color singlet H0.0 p-0.75",
000087 |       "error": 1.800770102587724e-15,
000088 |       "tolerance": 2e-11
000089 |     },
000090 |     {
000091 |       "name": "whole joint-to-relative relative H0.0 p-0.75",
000092 |       "error": 6.862251722790485e-16,
000093 |       "tolerance": 2e-11
000094 |     },
000095 |     {
000096 |       "name": "whole joint-to-relative oneface H0.0 p-0.75",
000097 |       "error": 0.0,
000098 |       "tolerance": 2e-11
000099 |     },
000100 |     {
000101 |       "name": "whole center commutes graph H0.0 p-0.75",
000102 |       "error": 0.0,
000103 |       "tolerance": 1e-11
000104 |     },
000105 |     {
000106 |       "name": "whole center Slater determinant H0.0 p-0.75",
000107 |       "error": 8.934708731717963e-15,
000108 |       "tolerance": 3e-11
000109 |     },
000110 |     {
000111 |       "name": "left current variance H0.0 p-0.75",
000112 |       "error": 8.515323862701152e-16,
000113 |       "tolerance": 4e-12
000114 |     },
000115 |     {
000116 |       "name": "right current variance H0.0 p-0.75",
000117 |       "error": 5.917575457425883e-16,
000118 |       "tolerance": 4e-12
000119 |     },
000120 |     {
000121 |       "name": "exact opposite-face connected current H0.0 p-0.75",
000122 |       "error": 4.336808689942018e-19,
000123 |       "tolerance": 4e-12
000124 |     },
000125 |     {
000126 |       "name": "whole total color has zero variance H0.0 p-0.75",
000127 |       "error": 1.444157293750692e-15,
000128 |       "tolerance": 5e-12
000129 |     },
000130 |     {
000131 |       "name": "whole original graph projection H0.13 p0.25",
000132 |       "error": 3.3793057716217726e-14,
000133 |       "tolerance": 1e-11
000134 |     },
000135 |     {
000136 |       "name": "original second-face marginal H0.13 p0.25",
000137 |       "error": 1.5894897207258714e-14,
000138 |       "tolerance": 2e-12
000139 |     },
000140 |     {
000141 |       "name": "whole joint-to-relative diagonal H0.13 p0.25",
000142 |       "error": 4.887112307016052e-15,
000143 |       "tolerance": 2e-11
000144 |     },
000145 |     {
000146 |       "name": "whole diagonal color singlet H0.13 p0.25",
000147 |       "error": 5.107444346716692e-15,
000148 |       "tolerance": 2e-11
000149 |     },
000150 |     {
000151 |       "name": "whole joint-to-relative relative H0.13 p0.25",
000152 |       "error": 4.670889129942887e-15,
000153 |       "tolerance": 2e-11
000154 |     },
000155 |     {
000156 |       "name": "whole joint-to-relative oneface H0.13 p0.25",
000157 |       "error": 1.2767765823115991e-15,
000158 |       "tolerance": 2e-11
000159 |     },
000160 |     {
000161 |       "name": "whole center commutes graph H0.13 p0.25",
000162 |       "error": 0.0,
000163 |       "tolerance": 1e-11
000164 |     },
000165 |     {
000166 |       "name": "whole center Slater determinant H0.13 p0.25",
000167 |       "error": 9.032908393312331e-15,
000168 |       "tolerance": 3e-11
000169 |     },
000170 |     {
000171 |       "name": "left current variance H0.13 p0.25",
000172 |       "error": 2.3314683517128287e-15,
000173 |       "tolerance": 4e-12
000174 |     },
000175 |     {
000176 |       "name": "right current variance H0.13 p0.25",
000177 |       "error": 1.6653345369377348e-15,
000178 |       "tolerance": 4e-12
000179 |     },
000180 |     {
000181 |       "name": "exact opposite-face connected current H0.13 p0.25",
000182 |       "error": 9.992007221626409e-16,
000183 |       "tolerance": 4e-12
000184 |     },
000185 |     {
000186 |       "name": "whole total color has zero variance H0.13 p0.25",
000187 |       "error": 5.995204332975845e-15,
000188 |       "tolerance": 5e-12
000189 |     },
000190 |     {
000191 |       "name": "whole original graph projection H0.13 p-0.75",
000192 |       "error": 1.204306491775119e-13,
000193 |       "tolerance": 1e-11
000194 |     },
000195 |     {
000196 |       "name": "original second-face marginal H0.13 p-0.75",
000197 |       "error": 6.016780390008619e-14,
000198 |       "tolerance": 2e-12
000199 |     },
000200 |     {