TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/source_sewing_20261028/clock/native-six-ovoid-clock-bundle-results.json
Original file SHA-256: e25218615a318697eaf4cb28150bc5c3bb04fdac4ef510fb61aa29174986b376
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 |   "S5_element_order_census": {
000003 |     "1": 1,
000004 |     "2": 25,
000005 |     "3": 20,
000006 |     "4": 30,
000007 |     "5": 24,
000008 |     "6": 20
000009 |   },
000010 |   "S5_identification_certificate": {
000011 |     "exact_group_equality_after_relabeling": true,
000012 |     "fiber_to_projective_line_relabeling": [
000013 |       0,
000014 |       1,
000015 |       2,
000016 |       4,
000017 |       3,
000018 |       5
000019 |     ],
000020 |     "model": "PGL(2,5) on P^1(F5), classically isomorphic to S5"
000021 |   },
000022 |   "actions": {
000023 |     "C": {
000024 |       "images": {
000025 |         "IY": "IY",
000026 |         "XY": "ZY",
000027 |         "YI": "YZ",
000028 |         "YX": "YI",
000029 |         "YZ": "XY",
000030 |         "ZY": "YX"
000031 |       },
000032 |       "permutation": [
000033 |         0,
000034 |         5,
000035 |         4,
000036 |         2,
000037 |         1,
000038 |         3
000039 |       ],
000040 |       "phases": {
000041 |         "IY": "1",
000042 |         "XY": "1",
000043 |         "YI": "I",
000044 |         "YX": "I",
000045 |         "YZ": "-I",
000046 |         "ZY": "-I"
000047 |       }
000048 |     },
000049 |     "G": {
000050 |       "images": {
000051 |         "IY": "IY",
000052 |         "XY": "YZ",
000053 |         "YI": "XY",
000054 |         "YX": "YI",
000055 |         "YZ": "YX",
000056 |         "ZY": "ZY"
000057 |       },
000058 |       "permutation": [
000059 |         0,
000060 |         4,
000061 |         1,
000062 |         2,
000063 |         3,
000064 |         5
000065 |       ],
000066 |       "phases": {
000067 |         "IY": "I",
000068 |         "XY": "1",
000069 |         "YI": "-I",
000070 |         "YX": "1",
000071 |         "YZ": "I",
000072 |         "ZY": "-I"
000073 |       }
000074 |     },
000075 |     "J": {
000076 |       "images": {
000077 |         "IY": "IY",
000078 |         "XY": "XY",
000079 |         "YI": "YI",
000080 |         "YX": "YX",
000081 |         "YZ": "YZ",
000082 |         "ZY": "ZY"
000083 |       },
000084 |       "permutation": [
000085 |         0,
000086 |         1,
000087 |         2,
000088 |         3,
000089 |         4,
000090 |         5
000091 |       ],
000092 |       "phases": {
000093 |         "IY": "-1",
000094 |         "XY": "-1",
000095 |         "YI": "-1",
000096 |         "YX": "-1",
000097 |         "YZ": "-1",
000098 |         "ZY": "-1"
000099 |       }
000100 |     },
000101 |     "alpha": {
000102 |       "images": {
000103 |         "IY": "YX",
000104 |         "XY": "ZY",
000105 |         "YI": "YI",
000106 |         "YX": "IY",
000107 |         "YZ": "YZ",
000108 |         "ZY": "XY"
000109 |       },
000110 |       "permutation": [
000111 |         3,
000112 |         5,
000113 |         2,
000114 |         0,
000115 |         4,
000116 |         1
000117 |       ],
000118 |       "phases": {
000119 |         "IY": "-I",
000120 |         "XY": "I",
000121 |         "YI": "-I",
000122 |         "YX": "-I",
000123 |         "YZ": "-I",
000124 |         "ZY": "I"
000125 |       }
000126 |     },
000127 |     "sigma": {
000128 |       "images": {
000129 |         "IY": "YX",
000130 |         "XY": "YI",
000131 |         "YI": "ZY",
000132 |         "YX": "YZ",
000133 |         "YZ": "IY",
000134 |         "ZY": "XY"
000135 |       },
000136 |       "permutation": [
000137 |         3,
000138 |         2,
000139 |         5,
000140 |         4,
000141 |         0,
000142 |         1
000143 |       ],
000144 |       "phases": {
000145 |         "IY": "1",
000146 |         "XY": "1",
000147 |         "YI": "-1",
000148 |         "YX": "-1",
000149 |         "YZ": "-1",
000150 |         "ZY": "-1"
000151 |       }
000152 |     }
000153 |   },
000154 |   "fiber_labels": [
000155 |     "IY",
000156 |     "XY",
000157 |     "YI",
000158 |     "YX",
000159 |     "YZ",
000160 |     "ZY"
000161 |   ],
000162 |   "fiber_ovoids": {
000163 |     "IY": [
000164 |       "XI",
000165 |       "YX",
000166 |       "YY",
000167 |       "YZ",
000168 |       "ZI"
000169 |     ],
000170 |     "XY": [
000171 |       "XI",
000172 |       "YI",
000173 |       "ZX",
000174 |       "ZY",
000175 |       "ZZ"
000176 |     ],
000177 |     "YI": [
000178 |       "IX",
000179 |       "IZ",
000180 |       "XY",
000181 |       "YY",
000182 |       "ZY"
000183 |     ],
000184 |     "YX": [
000185 |       "IX",
000186 |       "IY",
000187 |       "XZ",
000188 |       "YZ",
000189 |       "ZZ"
000190 |     ],
000191 |     "YZ": [
000192 |       "IY",
000193 |       "IZ",
000194 |       "XX",
000195 |       "YX",
000196 |       "ZX"
000197 |     ],
000198 |     "ZY": [
000199 |       "XX",
000200 |       "XY",