TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ORIGINAL-COLOR-SECTORS.json
Original file SHA-256: 64f8e2b753f44c45749dadb8fbca73836bc7019b254dca0d1980a8d979aa8697
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_ORIGINAL_COLOR_CENTER_FIXED_SOURCE_AND_CHARGED_FIELD_WORDS",
000003 |   "controls": 53,
000004 |   "checks": [
000005 |     {
000006 |       "name": "unchanged original root constructor",
000007 |       "value": "240"
000008 |     },
000009 |     {
000010 |       "name": "ACTUAL first-three color roots",
000011 |       "value": "6"
000012 |     },
000013 |     {
000014 |       "name": "ACTUAL color-orthogonal roots",
000015 |       "value": "72"
000016 |     },
000017 |     {
000018 |       "name": "neutral root sector equals union E6 and COLOR A2",
000019 |       "value": "{(1, 1, 1, 1, 1, -1, -1, 1), (1, 1, 1, -1, 1, 1, -1, 1), (-1, -1, -1, 1, 1, 1, -1, 1), (2, -2, 0, 0, 0, 0, 0, 0), (2, 0, -2, 0, 0, 0, 0, 0), (1, 1, 1, 1, 1, 1, 1, 1), (0, 0, 0, 0, 2, 0, -2, 0), (-1, -1, -1, 1, -1, 1, -1, -1), (1, 1, 1, -1, -1, -1, 1, -1), (0, 0, 0, 0, 2, 2, 0, 0), (0, 0, 0, 0, 0, 0, -2, 2), (1, 1, 1, -1, -1, 1, -1, -1), (-1, -1, -1, -1, -1, 1, -1, 1), (-1, -1, -1, -1, 1, -1, -1, 1), (0, -2, 2, 0, 0, 0, 0, 0), (1, 1, 1, -1, -1, -1, -1, 1), (0, 0, 0, -2, 0, 0, 0, -2), (0, 0, 0, -2, -2, 0, 0, 0), (1, 1, 1, 1, -1, 1, -1, 1), (0, 0, 0, -2, 0, 0, -2, 0), (0, 0, 0, 2, 0, 0, 2, 0), (-1, -1, -1, 1, -1, 1, 1, 1), (0, 0, 0, 0, -2, -2, 0, 0), (0, 0, 0, 2, 0, 0, 0, 2), (1, 1, 1, -1, -1, 1, 1, 1), (0, 0, 0, 0, 0, -2, 2, 0), (1, 1, 1, -1, 1, -1, 1, 1), (-1, -1, -1, -1, 1, -1, 1, -1), (0, 0, 0, -2, 0, -2, 0, 0), (0, 0, 0, -2, 0, 0, 0, 2), (-1, -1, -1, 1, -1, -1, 1, -1), (0, 0, 0, -2, 2, 0, 0, 0), (0, 0, 0, 2, -2, 0, 0, 0), (1, 1, 1, 1, 1, -1, 1, -1), (-2, 0, 2, 0, 0, 0, 0, 0), (1, 1, 1, -1, 1, -1, -1, -1), (0, 0, 0, 2, 0, 0, -2, 0), (0, 0, 0, 0, 0, -2, 0, -2), (0, 0, 0, 2, 0, 2, 0, 0), (1, 1, 1, 1, -1, -1, -1, -1), (0, 0, 0, 0, 0, -2, -2, 0), (0, 0, 0, -2, 0, 0, 2, 0), (0, 0, 0, 0, -2, 0, 2, 0), (0, 2, -2, 0, 0, 0, 0, 0), (0, 0, 0, 2, 0, -2, 0, 0), (0, 0, 0, 2, 2, 0, 0, 0), (0, 0, 0, 0, 0, 2, 0, -2), (-1, -1, -1, 1, 1, 1, 1, -1), (0, 0, 0, 0, -2, 0, 0, -2), (0, 0, 0, 0, -2, 2, 0, 0), (0, 0, 0, 0, 2, 0, 0, -2), (-1, -1, -1, 1, -1, -1, -1, 1), (0, 0, 0, 0, -2, 0, -2, 0), (0, 0, 0, 0, 0, 0, 2, -2), (0, 0, 0, 0, 0, 2, 2, 0), (-1, -1, -1, -1, 1, 1, -1, -1), (-1, -1, -1, -1, -1, 1, 1, -1), (0, 0, 0, 0, 0, 2, 0, 2), (0, 0, 0, -2, 0, 2, 0, 0), (-1, -1, -1, 1, 1, -1, -1, -1), (-1, -1, -1, -1, -1, -1, 1, 1), (0, 0, 0, 2, 0, 0, 0, -2), (1, 1, 1, 1, -1, 1, 1, -1), (-2, 2, 0, 0, 0, 0, 0, 0), (0, 0, 0, 0, 2, 0, 2, 0), (0, 0, 0, 0, -2, 0, 0, 2), (0, 0, 0, 0, 0, -2, 0, 2), (0, 0, 0, 0, 2, -2, 0, 0), (1, 1, 1, 1, -1, -1, 1, 1), (0, 0, 0, 0, 2, 0, 0, 2), (-1, -1, -1, -1, 1, 1, 1, 1), (1, 1, 1, -1, 1, 1, 1, -1), (0, 0, 0, 0, 0, 0, 2, 2), (1, 1, 1, 1, 1, 1, -1, -1), (0, 0, 0, 0, 0, 0, -2, -2), (-1, -1, -1, -1, -1, -1, -1, -1), (0, 0, 0, 0, 0, 2, -2, 0), (-1, -1, -1, 1, 1, -1, 1, 1)}"
000020 |     },
000021 |     {
000022 |       "name": "three root-sector dimensions",
000023 |       "value": "[78, 81, 81]"
000024 |     },
000025 |     {
000026 |       "name": "weight-one neutral incl eight original Cartans",
000027 |       "value": "86"
000028 |     },
000029 |     {
000030 |       "name": "E8 original root lattice rank",
000031 |       "value": "8"
000032 |     },
000033 |     {
000034 |       "name": "color perpendicular rank",
000035 |       "value": "6"
000036 |     },
000037 |     {
000038 |       "name": "color root rank",
000039 |       "value": "2"
000040 |     },
000041 |     {
000042 |       "name": "E8 determinant",
000043 |       "value": "1"
000044 |     },
000045 |     {
000046 |       "name": "E6 determinant",
000047 |       "value": "3"
000048 |     },
000049 |     {
000050 |       "name": "color A2 determinant",
000051 |       "value": "3"
000052 |     },
000053 |     {
000054 |       "name": "neutral root lattice determinant",
000055 |       "value": "9"
000056 |     },
000057 |     {
000058 |       "name": "product lattice has original neutral basis",
000059 |       "value": "Matrix([[12, 10, 10, 6, 6, 6, 6, 1], [0, 2, 0, 0, 0, 0, 0, 1], [0, 0, 2, 0, 0, 0, 0, 1], [0, 0, 0, 2, 0, 0, 0, 1], [0, 0, 0, 0, 2, 0, 0, 1], [0, 0, 0, 0, 0, 2, 0, 1], [0, 0, 0, 0, 0, 0, 2, 1], [0, 0, 0, 0, 0, 0, 0, 1]])"
000060 |     },
000061 |     {
000062 |       "name": "index of neutral lattice in E8",
000063 |       "value": "3"
000064 |     },
000065 |     {
000066 |       "name": "original Ward root exists",
000067 |       "value": "True"
000068 |     },
000069 |     {
000070 |       "name": "original weak mediator root exists",
000071 |       "value": "True"
000072 |     },
000073 |     {
000074 |       "name": "original Ward root triality",
000075 |       "value": "1"
000076 |     },
000077 |     {
000078 |       "name": "original weak mediator triality",
000079 |       "value": "0"
000080 |     },
000081 |     {
000082 |       "name": "weak mediator belongs actual color centralizer",
000083 |       "value": "True"
000084 |     },
000085 |     {
000086 |       "name": "original D5 roots",
000087 |       "value": "40"
000088 |     },
000089 |     {
000090 |       "name": "color-centralizer E6 is NOT old D5-containing E6",
000091 |       "value": "4"
000092 |     },
000093 |     {
000094 |       "name": "whole original weak mediator current block has24 roots",
000095 |       "value": "24"
000096 |     },
000097 |     {
000098 |       "name": "whole weak mediator block is color centralizer",
000099 |       "value": "True"
000100 |     },
000101 |     {
000102 |       "name": "charged sector1 actual color weight multiplicities",
000103 |       "value": "[27, 27, 27]"
000104 |     },
000105 |     {
000106 |       "name": "charged sector1 color projection norm",
000107 |       "value": "{Fraction(2, 3): 81}"
000108 |     },
000109 |     {
000110 |       "name": "charged sector1 perpendicular norm",
000111 |       "value": "{Fraction(4, 3): 81}"
000112 |     },
000113 |     {
000114 |       "name": "charged sector1 common27 perpendicular weights",
000115 |       "value": "1"
000116 |     },
000117 |     {
000118 |       "name": "charged sector2 actual color weight multiplicities",
000119 |       "value": "[27, 27, 27]"
000120 |     },
000121 |     {
000122 |       "name": "charged sector2 color projection norm",
000123 |       "value": "{Fraction(2, 3): 81}"
000124 |     },
000125 |     {
000126 |       "name": "charged sector2 perpendicular norm",
000127 |       "value": "{Fraction(4, 3): 81}"
000128 |     },
000129 |     {
000130 |       "name": "charged sector2 common27 perpendicular weights",
000131 |       "value": "1"
000132 |     },
000133 |     {
000134 |       "name": "actual E6 root action generates charged27 sector1",
000135 |       "value": "27"
000136 |     },
000137 |     {
000138 |       "name": "actual COLOR root action generates triplet sector1",
000139 |       "value": "3"
000140 |     },
000141 |     {
000142 |       "name": "actual E6 root action generates charged27 sector2",
000143 |       "value": "27"
000144 |     },
000145 |     {
000146 |       "name": "actual COLOR root action generates triplet sector2",
000147 |       "value": "3"
000148 |     },
000149 |     {
000150 |       "name": "all original nonzero root bracket sector transitions",
000151 |       "value": {
000152 |         "(0, 0, 0)": 1452,
000153 |         "(0, 1, 1)": 1458,
000154 |         "(0, 2, 2)": 1458,
000155 |         "(1, 0, 1)": 1458,
000156 |         "(1, 1, 2)": 1620,
000157 |         "(1, 2, 0)": 1458,
000158 |         "(2, 0, 2)": 1458,
000159 |         "(2, 1, 0)": 1458,
000160 |         "(2, 2, 1)": 1620
000161 |       }
000162 |     },
000163 |     {
000164 |       "name": "adjoint Ward grade",
000165 |       "value": "2"
000166 |     },
000167 |     {
000168 |       "name": "Ward root normalization for original level1 vacuum coefficient",
000169 |       "value": "2"
000170 |     },
000171 |     {
000172 |       "name": "three-field balanced root word exists",
000173 |       "value": "True"
000174 |     },
000175 |     {
000176 |       "name": "three-field balanced root grades",
000177 |       "value": "[1, 1, 1]"
000178 |     },
000179 |     {
000180 |       "name": "three-field balanced root total",
000181 |       "value": "(0, 0, 0, 0, 0, 0, 0, 0)"
000182 |     },
000183 |     {
000184 |       "name": "actual root-string length for charged OPE",
000185 |       "value": "-1"
000186 |     },
000187 |     {
000188 |       "name": "neutral color root is NOT a color singlet",
000189 |       "value": "2"
000190 |     },
000191 |     {
000192 |       "name": "complete original E8 lattice shell totals",
000193 |       "value": "[1, 240, 2160, 6720]"
000194 |     },
000195 |     {
000196 |       "name": "complete original E8 character grades0to3",
000197 |       "value": "[1, 248, 4124, 34752]"
000198 |     },
000199 |     {
000200 |       "name": "neutral full-source character grades0to3",