TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/HIGGS-COLOR-HOLONOMY.json
Original file SHA-256: 805d44b18b540ab07af83cc81872ebef3e5b3c729dbe4f9466573a4b76ca3639
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_JOINT_HIGGS_COLOR_RESPONSE",
000003 |   "controls": 57,
000004 |   "tests": [
000005 |     {
000006 |       "name": "actual particle quark restriction dimension",
000007 |       "error": "0",
000008 |       "tolerance": "1e-20"
000009 |     },
000010 |     {
000011 |       "name": "actual quark Tr t2",
000012 |       "error": "0.0",
000013 |       "tolerance": "1e-20"
000014 |     },
000015 |     {
000016 |       "name": "actual chiral plus coefficient",
000017 |       "error": "0.0",
000018 |       "tolerance": "1e-20"
000019 |     },
000020 |     {
000021 |       "name": "actual chiral minus coefficient",
000022 |       "error": "0.0",
000023 |       "tolerance": "1e-20"
000024 |     },
000025 |     {
000026 |       "name": "original real color gauge lift G0",
000027 |       "error": "0.0",
000028 |       "tolerance": "1e-13"
000029 |     },
000030 |     {
000031 |       "name": "original real color gauge lift G1",
000032 |       "error": "0.0",
000033 |       "tolerance": "1e-13"
000034 |     },
000035 |     {
000036 |       "name": "original real color gauge lift G2",
000037 |       "error": "0.0",
000038 |       "tolerance": "1e-13"
000039 |     },
000040 |     {
000041 |       "name": "original whole Phi odd case0",
000042 |       "error": "0.0",
000043 |       "tolerance": "2e-12"
000044 |     },
000045 |     {
000046 |       "name": "original color commutes Phi case0",
000047 |       "error": "0.0",
000048 |       "tolerance": "1e-13"
000049 |     },
000050 |     {
000051 |       "name": "actual36 forward variance H0 p0.25",
000052 |       "error": "2.220446049250313e-16",
000053 |       "tolerance": "3e-13"
000054 |     },
000055 |     {
000056 |       "name": "actual36 full SU3 determinant H0 p0.25 G0",
000057 |       "error": "1.3263469743093455e-16",
000058 |       "tolerance": "2e-13"
000059 |     },
000060 |     {
000061 |       "name": "actual36 full SU3 determinant H0 p0.25 G1",
000062 |       "error": "7.787144134792634e-16",
000063 |       "tolerance": "2e-13"
000064 |     },
000065 |     {
000066 |       "name": "actual36 forward variance H0 p-0.75",
000067 |       "error": "2.5934115965853266e-16",
000068 |       "tolerance": "3e-13"
000069 |     },
000070 |     {
000071 |       "name": "actual36 full SU3 determinant H0 p-0.75 G0",
000072 |       "error": "3.408502707625003e-16",
000073 |       "tolerance": "2e-13"
000074 |     },
000075 |     {
000076 |       "name": "actual36 full SU3 determinant H0 p-0.75 G1",
000077 |       "error": "5.823450334674253e-16",
000078 |       "tolerance": "2e-13"
000079 |     },
000080 |     {
000081 |       "name": "original whole Phi odd case1",
000082 |       "error": "0.0",
000083 |       "tolerance": "2e-12"
000084 |     },
000085 |     {
000086 |       "name": "original color commutes Phi case1",
000087 |       "error": "0.0",
000088 |       "tolerance": "1e-13"
000089 |     },
000090 |     {
000091 |       "name": "actual36 forward variance H1 p0.25",
000092 |       "error": "2.0539125955565396e-15",
000093 |       "tolerance": "3e-13"
000094 |     },
000095 |     {
000096 |       "name": "actual36 full SU3 determinant H1 p0.25 G0",
000097 |       "error": "2.4124247019436687e-15",
000098 |       "tolerance": "2e-13"
000099 |     },
000100 |     {
000101 |       "name": "actual36 full SU3 determinant H1 p0.25 G1",
000102 |       "error": "1.0493915192808624e-15",
000103 |       "tolerance": "2e-13"
000104 |     },
000105 |     {
000106 |       "name": "actual36 forward variance H1 p-0.75",
000107 |       "error": "1.0299920638612292e-16",
000108 |       "tolerance": "3e-13"
000109 |     },
000110 |     {
000111 |       "name": "actual36 full SU3 determinant H1 p-0.75 G0",
000112 |       "error": "1.0026573202794604e-15",
000113 |       "tolerance": "2e-13"
000114 |     },
000115 |     {
000116 |       "name": "actual36 full SU3 determinant H1 p-0.75 G1",
000117 |       "error": "6.7537820960501e-16",
000118 |       "tolerance": "2e-13"
000119 |     },
000120 |     {
000121 |       "name": "original whole Phi odd case2",
000122 |       "error": "0.0",
000123 |       "tolerance": "2e-12"
000124 |     },
000125 |     {
000126 |       "name": "original color commutes Phi case2",
000127 |       "error": "0.0",
000128 |       "tolerance": "1e-13"
000129 |     },
000130 |     {
000131 |       "name": "actual36 forward variance H2 p0.25",
000132 |       "error": "3.3306690738754696e-16",
000133 |       "tolerance": "3e-13"
000134 |     },
000135 |     {
000136 |       "name": "actual36 full SU3 determinant H2 p0.25 G0",
000137 |       "error": "2.5995117904879937e-15",
000138 |       "tolerance": "2e-13"
000139 |     },
000140 |     {
000141 |       "name": "actual36 full SU3 determinant H2 p0.25 G1",
000142 |       "error": "1.5742482747721502e-15",
000143 |       "tolerance": "2e-13"
000144 |     },
000145 |     {
000146 |       "name": "actual36 forward variance H2 p-0.75",
000147 |       "error": "1.5601669262066409e-15",
000148 |       "tolerance": "3e-13"
000149 |     },
000150 |     {
000151 |       "name": "actual36 full SU3 determinant H2 p-0.75 G0",
000152 |       "error": "5.422081814460312e-16",
000153 |       "tolerance": "2e-13"
000154 |     },
000155 |     {
000156 |       "name": "actual36 full SU3 determinant H2 p-0.75 G1",
000157 |       "error": "6.171751828625109e-16",
000158 |       "tolerance": "2e-13"
000159 |     },
000160 |     {
000161 |       "name": "original whole Phi odd case3",
000162 |       "error": "0.0",
000163 |       "tolerance": "2e-12"
000164 |     },
000165 |     {
000166 |       "name": "original color commutes Phi case3",
000167 |       "error": "0.0",
000168 |       "tolerance": "1e-13"
000169 |     },
000170 |     {
000171 |       "name": "actual36 forward variance H3 p0.25",
000172 |       "error": "3.774758283725532e-15",
000173 |       "tolerance": "3e-13"
000174 |     },
000175 |     {
000176 |       "name": "actual36 full SU3 determinant H3 p0.25 G0",
000177 |       "error": "1.524049886564834e-15",
000178 |       "tolerance": "2e-13"
000179 |     },
000180 |     {
000181 |       "name": "actual36 full SU3 determinant H3 p0.25 G1",
000182 |       "error": "8.360870211238488e-16",
000183 |       "tolerance": "2e-13"
000184 |     },
000185 |     {
000186 |       "name": "actual36 forward variance H3 p-0.75",
000187 |       "error": "1.4551077356927955e-15",
000188 |       "tolerance": "3e-13"
000189 |     },
000190 |     {
000191 |       "name": "actual36 full SU3 determinant H3 p-0.75 G0",
000192 |       "error": "2.5976592569251703e-15",
000193 |       "tolerance": "2e-13"
000194 |     },
000195 |     {
000196 |       "name": "actual36 full SU3 determinant H3 p-0.75 G1",
000197 |       "error": "1.0222166569798871e-15",
000198 |       "tolerance": "2e-13"
000199 |     },
000200 |     {