TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/automatic_identification/clock-four-cycle-class-test.json
Original file SHA-256: 831a8f41e8bbc85aabb604a9bbc2f9760e5ded9ccbf0dd4974100dc5eba12c52
Inclusive original lines: 1-189
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 |   "scope": "Given fixed Spin10/SU4 embedding, SM-commuting Spin10 torus with fourth power minus-one and one SU4 four-cycle lift. Complete covering representatives; no preferred field conjugator or physical Yukawa dictionary.",
000003 |   "family_four_cycle_torus_four_v": [
000004 |     2,
000005 |     -1,
000006 |     0
000007 |   ],
000008 |   "candidates": [
000009 |     {
000010 |       "a": 1,
000011 |       "b": 0,
000012 |       "char": [
000013 |         64,
000014 |         64,
000015 |         56,
000016 |         64
000017 |       ],
000018 |       "matches_native_J": false
000019 |     },
000020 |     {
000021 |       "a": 1,
000022 |       "b": 1,
000023 |       "char": [
000024 |         70,
000025 |         56,
000026 |         66,
000027 |         56
000028 |       ],
000029 |       "matches_native_J": false
000030 |     },
000031 |     {
000032 |       "a": 1,
000033 |       "b": 2,
000034 |       "char": [
000035 |         64,
000036 |         64,
000037 |         56,
000038 |         64
000039 |       ],
000040 |       "matches_native_J": false
000041 |     },
000042 |     {
000043 |       "a": 1,
000044 |       "b": 3,
000045 |       "char": [
000046 |         70,
000047 |         56,
000048 |         66,
000049 |         56
000050 |       ],
000051 |       "matches_native_J": false
000052 |     },
000053 |     {
000054 |       "a": 3,
000055 |       "b": 0,
000056 |       "char": [
000057 |         64,
000058 |         64,
000059 |         56,
000060 |         64
000061 |       ],
000062 |       "matches_native_J": false
000063 |     },
000064 |     {
000065 |       "a": 3,
000066 |       "b": 1,
000067 |       "char": [
000068 |         70,
000069 |         56,
000070 |         66,
000071 |         56
000072 |       ],
000073 |       "matches_native_J": false
000074 |     },
000075 |     {
000076 |       "a": 3,
000077 |       "b": 2,
000078 |       "char": [
000079 |         64,
000080 |         64,
000081 |         56,
000082 |         64
000083 |       ],
000084 |       "matches_native_J": false
000085 |     },
000086 |     {
000087 |       "a": 3,
000088 |       "b": 3,
000089 |       "char": [
000090 |         70,
000091 |         56,
000092 |         66,
000093 |         56
000094 |       ],
000095 |       "matches_native_J": false
000096 |     },
000097 |     {
000098 |       "a": 5,
000099 |       "b": 0,
000100 |       "char": [
000101 |         64,
000102 |         64,
000103 |         56,
000104 |         64
000105 |       ],
000106 |       "matches_native_J": false
000107 |     },
000108 |     {
000109 |       "a": 5,
000110 |       "b": 1,
000111 |       "char": [
000112 |         70,
000113 |         56,
000114 |         66,
000115 |         56
000116 |       ],
000117 |       "matches_native_J": false
000118 |     },
000119 |     {
000120 |       "a": 5,
000121 |       "b": 2,
000122 |       "char": [
000123 |         64,
000124 |         64,
000125 |         56,
000126 |         64
000127 |       ],
000128 |       "matches_native_J": false
000129 |     },
000130 |     {
000131 |       "a": 5,
000132 |       "b": 3,
000133 |       "char": [
000134 |         70,
000135 |         56,
000136 |         66,
000137 |         56
000138 |       ],
000139 |       "matches_native_J": false
000140 |     },
000141 |     {
000142 |       "a": 7,
000143 |       "b": 0,
000144 |       "char": [
000145 |         64,
000146 |         64,
000147 |         56,
000148 |         64
000149 |       ],
000150 |       "matches_native_J": false
000151 |     },
000152 |     {
000153 |       "a": 7,
000154 |       "b": 1,
000155 |       "char": [
000156 |         70,
000157 |         56,
000158 |         66,
000159 |         56
000160 |       ],
000161 |       "matches_native_J": false
000162 |     },
000163 |     {
000164 |       "a": 7,
000165 |       "b": 2,
000166 |       "char": [
000167 |         64,
000168 |         64,
000169 |         56,
000170 |         64
000171 |       ],
000172 |       "matches_native_J": false
000173 |     },
000174 |     {
000175 |       "a": 7,
000176 |       "b": 3,
000177 |       "char": [
000178 |         70,
000179 |         56,
000180 |         66,
000181 |         56
000182 |       ],
000183 |       "matches_native_J": false
000184 |     }
000185 |   ],
000186 |   "native_matches": 0,
000187 |   "root_arithmetic": "exact doubled native E8 roots",
000188 |   "complete_class_argument": "CLOCK-CLASS-PROOF.txt"
000189 | }