TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ROOT-THREE-FAMILY-D8-TYPE.json
Original file SHA-256: 7d782bc3f8e0185d8908429cd89b76f6d6e908e3ebf5961a40144c7d5e00cf33
Inclusive original lines: 1-182
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 |   "input_artifact_sha256": "ebddcd99ce27e3cb537bcdcc248469642fa442a6cf4a722afd08cad308678487",
000003 |   "count": 112,
000004 |   "simple_roots2": [
000005 |     [
000006 |       0,
000007 |       0,
000008 |       0,
000009 |       0,
000010 |       0,
000011 |       0,
000012 |       2,
000013 |       -2
000014 |     ],
000015 |     [
000016 |       0,
000017 |       0,
000018 |       0,
000019 |       0,
000020 |       0,
000021 |       2,
000022 |       -2,
000023 |       0
000024 |     ],
000025 |     [
000026 |       0,
000027 |       0,
000028 |       0,
000029 |       0,
000030 |       2,
000031 |       -2,
000032 |       0,
000033 |       0
000034 |     ],
000035 |     [
000036 |       0,
000037 |       0,
000038 |       0,
000039 |       2,
000040 |       -2,
000041 |       0,
000042 |       0,
000043 |       0
000044 |     ],
000045 |     [
000046 |       0,
000047 |       0,
000048 |       2,
000049 |       -2,
000050 |       0,
000051 |       0,
000052 |       0,
000053 |       0
000054 |     ],
000055 |     [
000056 |       0,
000057 |       2,
000058 |       -2,
000059 |       0,
000060 |       0,
000061 |       0,
000062 |       0,
000063 |       0
000064 |     ],
000065 |     [
000066 |       1,
000067 |       -1,
000068 |       -1,
000069 |       -1,
000070 |       -1,
000071 |       -1,
000072 |       -1,
000073 |       1
000074 |     ],
000075 |     [
000076 |       1,
000077 |       -1,
000078 |       -1,
000079 |       1,
000080 |       1,
000081 |       1,
000082 |       1,
000083 |       1
000084 |     ]
000085 |   ],
000086 |   "Cartan": [
000087 |     [
000088 |       2,
000089 |       -1,
000090 |       0,
000091 |       0,
000092 |       0,
000093 |       0,
000094 |       -1,
000095 |       0
000096 |     ],
000097 |     [
000098 |       -1,
000099 |       2,
000100 |       -1,
000101 |       0,
000102 |       0,
000103 |       0,
000104 |       0,
000105 |       0
000106 |     ],
000107 |     [
000108 |       0,
000109 |       -1,
000110 |       2,
000111 |       -1,
000112 |       0,
000113 |       0,
000114 |       0,
000115 |       0
000116 |     ],
000117 |     [
000118 |       0,
000119 |       0,
000120 |       -1,
000121 |       2,
000122 |       -1,
000123 |       0,
000124 |       0,
000125 |       0
000126 |     ],
000127 |     [
000128 |       0,
000129 |       0,
000130 |       0,
000131 |       -1,
000132 |       2,
000133 |       -1,
000134 |       0,
000135 |       -1
000136 |     ],
000137 |     [
000138 |       0,
000139 |       0,
000140 |       0,
000141 |       0,
000142 |       -1,
000143 |       2,
000144 |       0,
000145 |       0
000146 |     ],
000147 |     [
000148 |       -1,
000149 |       0,
000150 |       0,
000151 |       0,
000152 |       0,
000153 |       0,
000154 |       2,
000155 |       0
000156 |     ],
000157 |     [
000158 |       0,
000159 |       0,
000160 |       0,
000161 |       0,
000162 |       -1,
000163 |       0,
000164 |       0,
000165 |       2
000166 |     ]
000167 |   ],
000168 |   "Cartan_determinant": 4,
000169 |   "Cartan_degrees": [
000170 |     2,
000171 |     2,
000172 |     2,
000173 |     2,
000174 |     3,
000175 |     1,
000176 |     1,
000177 |     1
000178 |   ],
000179 |   "reflection_closed": true,
000180 |   "type": "D8",
000181 |   "scope": "The three C/X family seed closes to a D8 root subsystem in E8, not the whole E8. This is a different frame from the standard integer D8. All actual compact adjoints were retained."
000182 | }