TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/admissible_pair_20261028/source-clock-wedge-cycle.json
Original file SHA-256: 1368db44991fb2f66ff2e54ded474bbd000fe13d21d409c08437fdda6d845f64
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 |   "actual_root_data": {
000003 |     "contains_opposite_roots": false,
000004 |     "e8_roots": 240,
000005 |     "family_centralizer_roots_fixed_pointwise_by_cycle": 20,
000006 |     "insertion_roots": 50,
000007 |     "insertion_sector": "(5,10)"
000008 |   },
000009 |   "h8_grades": {
000010 |     "affine_classes": 26,
000011 |     "distribution": [
000012 |       {
000013 |         "base": "7",
000014 |         "charge": "-2",
000015 |         "multiplicity": 1
000016 |       },
000017 |       {
000018 |         "base": "8",
000019 |         "charge": "-2",
000020 |         "multiplicity": 2
000021 |       },
000022 |       {
000023 |         "base": "9",
000024 |         "charge": "-2",
000025 |         "multiplicity": 3
000026 |       },
000027 |       {
000028 |         "base": "10",
000029 |         "charge": "-2",
000030 |         "multiplicity": 3
000031 |       },
000032 |       {
000033 |         "base": "11",
000034 |         "charge": "-2",
000035 |         "multiplicity": 3
000036 |       },
000037 |       {
000038 |         "base": "12",
000039 |         "charge": "-2",
000040 |         "multiplicity": 2
000041 |       },
000042 |       {
000043 |         "base": "13",
000044 |         "charge": "-2",
000045 |         "multiplicity": 1
000046 |       },
000047 |       {
000048 |         "base": "1",
000049 |         "charge": "0",
000050 |         "multiplicity": 1
000051 |       },
000052 |       {
000053 |         "base": "2",
000054 |         "charge": "0",
000055 |         "multiplicity": 2
000056 |       },
000057 |       {
000058 |         "base": "3",
000059 |         "charge": "0",
000060 |         "multiplicity": 3
000061 |       },
000062 |       {
000063 |         "base": "4",
000064 |         "charge": "0",
000065 |         "multiplicity": 3
000066 |       },
000067 |       {
000068 |         "base": "5",
000069 |         "charge": "0",
000070 |         "multiplicity": 3
000071 |       },
000072 |       {
000073 |         "base": "6",
000074 |         "charge": "0",
000075 |         "multiplicity": 2
000076 |       },
000077 |       {
000078 |         "base": "7",
000079 |         "charge": "0",
000080 |         "multiplicity": 1
000081 |       },
000082 |       {
000083 |         "base": "12",
000084 |         "charge": "0",
000085 |         "multiplicity": 1
000086 |       },
000087 |       {
000088 |         "base": "13",
000089 |         "charge": "0",
000090 |         "multiplicity": 1
000091 |       },
000092 |       {
000093 |         "base": "14",
000094 |         "charge": "0",
000095 |         "multiplicity": 1
000096 |       },
000097 |       {
000098 |         "base": "15",
000099 |         "charge": "0",
000100 |         "multiplicity": 1
000101 |       },
000102 |       {
000103 |         "base": "16",
000104 |         "charge": "0",
000105 |         "multiplicity": 1
000106 |       },
000107 |       {
000108 |         "base": "5",
000109 |         "charge": "2",
000110 |         "multiplicity": 1
000111 |       },
000112 |       {
000113 |         "base": "6",
000114 |         "charge": "2",
000115 |         "multiplicity": 2
000116 |       },
000117 |       {
000118 |         "base": "7",
000119 |         "charge": "2",
000120 |         "multiplicity": 3
000121 |       },
000122 |       {
000123 |         "base": "8",
000124 |         "charge": "2",
000125 |         "multiplicity": 3
000126 |       },
000127 |       {
000128 |         "base": "9",
000129 |         "charge": "2",
000130 |         "multiplicity": 3
000131 |       },
000132 |       {
000133 |         "base": "10",
000134 |         "charge": "2",
000135 |         "multiplicity": 2
000136 |       },
000137 |       {
000138 |         "base": "11",
000139 |         "charge": "2",
000140 |         "multiplicity": 1
000141 |       }
000142 |     ],
000143 |     "formula": "h_beta(a)=base+a*Q(beta)"
000144 |   },
000145 |   "literal_carrier_cycle": {
000146 |     "advances_carrier_5_label": true,
000147 |     "all_50_commutator_grade_differences": {
000148 |       "+1": 40,
000149 |       "-4": 10
000150 |     },
000151 |     "commutes_with_h8_on_insertion_sector": false,
000152 |     "cycle": "e0->e1->e2->e3->e4->e0; e5,e6,e7 fixed",
000153 |     "order": 5,
000154 |     "phase_independent": "any nonzero signed Chevalley lift has the same nonzero grade differences",
000155 |     "preserves_all_50_insertion_roots": true,
000156 |     "witness": {
000157 |       "beta1": "e1-e8",
000158 |       "beta1_doubled": [
000159 |         2,
000160 |         0,
000161 |         0,
000162 |         0,
000163 |         0,
000164 |         0,
000165 |         0,
000166 |         -2
000167 |       ],
000168 |       "beta1_h8_grade": "1",
000169 |       "beta2": "e2-e8",
000170 |       "beta2_doubled": [
000171 |         0,
000172 |         2,
000173 |         0,
000174 |         0,
000175 |         0,
000176 |         0,
000177 |         0,
000178 |         -2
000179 |       ],
000180 |       "beta2_h8_grade": "2",
000181 |       "commutator": "[H8,W5]|beta1> = + W5|beta1>, up to the nonzero lift phase",
000182 |       "cycle_beta1_equals_beta2": true
000183 |     }
000184 |   },
000185 |   "original_u5_clock": {
000186 |     "X": [
000187 |       -2,
000188 |       -2,
000189 |       -2,
000190 |       3,
000191 |       3
000192 |     ],
000193 |     "definition": "U5=exp(2*pi*i*X/5)",
000194 |     "equals_literal_carrier_cycle": false,
000195 |     "on_carrier_5": "zeta5^3 I5",
000196 |     "on_carrier_Lambda2_10": "zeta5 I10",
000197 |     "permutes_slots": false
000198 |   },
000199 |   "scope": {
000200 |     "distinction": "the original U5 degree clock is scalar and cannot be substituted for that slot cycle",