TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/v16-operator-pullback-20261014/fold-results.json
Original file SHA-256: 253f370a9c84b70c28169ed0aad83d1866245804227e44aa0189e823382f5639
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 |   "research_id": "UR.SEAM.V16_OPERATOR_PULLBACK.01",
000003 |   "check_verdict": "PASS",
000004 |   "checks": 1668,
000005 |   "explicit_Weyl_matrix": [
000006 |     [
000007 |       "1/2",
000008 |       "0",
000009 |       "1/2",
000010 |       "0",
000011 |       "-1/2",
000012 |       "0",
000013 |       "-1/2",
000014 |       "0"
000015 |     ],
000016 |     [
000017 |       "1/2",
000018 |       "0",
000019 |       "-1/2",
000020 |       "0",
000021 |       "-1/2",
000022 |       "0",
000023 |       "1/2",
000024 |       "0"
000025 |     ],
000026 |     [
000027 |       "0",
000028 |       "1/2",
000029 |       "0",
000030 |       "1/2",
000031 |       "0",
000032 |       "1/2",
000033 |       "0",
000034 |       "1/2"
000035 |     ],
000036 |     [
000037 |       "0",
000038 |       "1/2",
000039 |       "0",
000040 |       "1/2",
000041 |       "0",
000042 |       "-1/2",
000043 |       "0",
000044 |       "-1/2"
000045 |     ],
000046 |     [
000047 |       "0",
000048 |       "1/2",
000049 |       "0",
000050 |       "-1/2",
000051 |       "0",
000052 |       "-1/2",
000053 |       "0",
000054 |       "1/2"
000055 |     ],
000056 |     [
000057 |       "1/2",
000058 |       "0",
000059 |       "1/2",
000060 |       "0",
000061 |       "1/2",
000062 |       "0",
000063 |       "1/2",
000064 |       "0"
000065 |     ],
000066 |     [
000067 |       "1/2",
000068 |       "0",
000069 |       "-1/2",
000070 |       "0",
000071 |       "1/2",
000072 |       "0",
000073 |       "-1/2",
000074 |       "0"
000075 |     ],
000076 |     [
000077 |       "0",
000078 |       "1/2",
000079 |       "0",
000080 |       "-1/2",
000081 |       "0",
000082 |       "1/2",
000083 |       "0",
000084 |       "-1/2"
000085 |     ]
000086 |   ],
000087 |   "E8_lattice_shift": [
000088 |     "-3/2",
000089 |     "-1/2",
000090 |     "3/2",
000091 |     "-3/2",
000092 |     "-1/2",
000093 |     "3/2",
000094 |     "-1/2",
000095 |     "-1/2"
000096 |   ],
000097 |   "spin_and_holonomy_cases": {
000098 |     "0": {
000099 |       "clock_order_on_E8": 4,
000100 |       "clock_fixed_components": [
000101 |         {
000102 |           "roots": 12,
000103 |           "rank": 3,
000104 |           "integer_roots": 4,
000105 |           "spinor_roots": 8
000106 |         },
000107 |         {
000108 |           "roots": 40,
000109 |           "rank": 5,
000110 |           "integer_roots": 16,
000111 |           "spinor_roots": 24
000112 |         }
000113 |       ],
000114 |       "deck_fixed_components": [
000115 |         {
000116 |           "roots": 112,
000117 |           "rank": 8,
000118 |           "integer_roots": 48,
000119 |           "spinor_roots": 64
000120 |         }
000121 |       ],
000122 |       "clock_phase_counts": {
000123 |         "0": 52,
000124 |         "1/2": 60,
000125 |         "1/4": 64,
000126 |         "3/4": 64
000127 |       },
000128 |       "folded_ground_weight": "11/32"
000129 |     },
000130 |     "1/2": {
000131 |       "clock_order_on_E8": 4,
000132 |       "clock_fixed_components": [
000133 |         {
000134 |           "roots": 2,
000135 |           "rank": 1,
000136 |           "integer_roots": 0,
000137 |           "spinor_roots": 2
000138 |         },
000139 |         {
000140 |           "roots": 60,
000141 |           "rank": 6,
000142 |           "integer_roots": 24,
000143 |           "spinor_roots": 36
000144 |         }
000145 |       ],
000146 |       "deck_fixed_components": [
000147 |         {
000148 |           "roots": 2,
000149 |           "rank": 1,
000150 |           "integer_roots": 0,
000151 |           "spinor_roots": 2
000152 |         },
000153 |         {
000154 |           "roots": 126,
000155 |           "rank": 7,
000156 |           "integer_roots": 56,
000157 |           "spinor_roots": 70
000158 |         }
000159 |       ],
000160 |       "clock_phase_counts": {
000161 |         "0": 62,
000162 |         "1/2": 66,
000163 |         "1/4": 56,
000164 |         "3/4": 56
000165 |       },
000166 |       "folded_ground_weight": "21/64"
000167 |     },
000168 |     "1/4": {
000169 |       "clock_order_on_E8": 8,
000170 |       "clock_fixed_components": [
000171 |         {
000172 |           "roots": 2,
000173 |           "rank": 1,
000174 |           "integer_roots": 0,
000175 |           "spinor_roots": 2
000176 |         },
000177 |         {
000178 |           "roots": 2,
000179 |           "rank": 1,
000180 |           "integer_roots": 0,
000181 |           "spinor_roots": 2
000182 |         },
000183 |         {
000184 |           "roots": 24,
000185 |           "rank": 4,
000186 |           "integer_roots": 8,
000187 |           "spinor_roots": 16
000188 |         }
000189 |       ],
000190 |       "deck_fixed_components": [
000191 |         {
000192 |           "roots": 2,
000193 |           "rank": 1,
000194 |           "integer_roots": 0,
000195 |           "spinor_roots": 2
000196 |         },
000197 |         {
000198 |           "roots": 60,
000199 |           "rank": 6,
000200 |           "integer_roots": 24,