TFPT scientific source excerpt Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/hodge_complement_20261028/e8-clifford-response-results.json Original file SHA-256: 67fe9e3f06140c5c23452e9a7bfaefc02441ff1e7b55708e55409cd0a398e7ee 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 | "scope": "Actual weight-one E8 current response under the given D5+A3 frame; no physical event/time selection.", 000003 | "source_modules": { 000004 | "g1": 64, 000005 | "g2_root_kraus": 60, 000006 | "g3": 64 000007 | }, 000008 | "all_D8_root_intertwiner_equations": 3584, 000009 | "phase_rank": 231, 000010 | "phase_variables": 240, 000011 | "signed_tensor_columns_checked": 960, 000012 | "source_gain": "15 I64", 000013 | "source_response_denominator": 15, 000014 | "carrier_channel": "1/5 sum_i (a_i rho a_i* + a_i* rho a_i)", 000015 | "family_channel": "1/3 sum_j (b_j rho b_j* + b_j* rho b_j)", 000016 | "factorization": "E8_g2_response = carrier_channel tensor family_channel in the full signed D8 source intertwiner", 000017 | "carrier_population": "Q5 on32 parity-alternating words; Clebsch16 after antipodal complement labels", 000018 | "Clebsch_shell_order": [ 000019 | "0", 000020 | "weight4", 000021 | "weight2" 000022 | ], 000023 | "Clebsch_shell_row_matrix": [ 000024 | [ 000025 | "0", 000026 | "1", 000027 | "0" 000028 | ], 000029 | [ 000030 | "1/5", 000031 | "0", 000032 | "4/5" 000033 | ], 000034 | [ 000035 | "0", 000036 | "2/5", 000037 | "3/5" 000038 | ] 000039 | ], 000040 | "Petersen_jump": "A/5 with probability3/5", 000041 | "retained_carry": "Lambda1 before complement label; five states, weight2/5; not reset2I/5", 000042 | "state_phases": { 000043 | "-1,-1,-1,-1,-1,-1,-1,-1": "1", 000044 | "-1,-1,-1,-1,-1,-1,1,1": "1", 000045 | "-1,-1,-1,-1,-1,1,-1,1": "1", 000046 | "-1,-1,-1,-1,-1,1,1,-1": "1", 000047 | "-1,-1,-1,-1,1,-1,-1,1": "1", 000048 | "-1,-1,-1,-1,1,-1,1,-1": "-1", 000049 | "-1,-1,-1,-1,1,1,-1,-1": "1", 000050 | "-1,-1,-1,-1,1,1,1,1": "1", 000051 | "-1,-1,-1,1,-1,-1,-1,1": "1", 000052 | "-1,-1,-1,1,-1,-1,1,-1": "1", 000053 | "-1,-1,-1,1,-1,1,-1,-1": "-1", 000054 | "-1,-1,-1,1,-1,1,1,1": "1", 000055 | "-1,-1,-1,1,1,-1,-1,-1": "1", 000056 | "-1,-1,-1,1,1,-1,1,1": "1", 000057 | "-1,-1,-1,1,1,1,-1,1": "1", 000058 | "-1,-1,-1,1,1,1,1,-1": "1", 000059 | "-1,-1,1,-1,-1,-1,-1,1": "1", 000060 | "-1,-1,1,-1,-1,-1,1,-1": "-1", 000061 | "-1,-1,1,-1,-1,1,-1,-1": "1", 000062 | "-1,-1,1,-1,-1,1,1,1": "1", 000063 | "-1,-1,1,-1,1,-1,-1,-1": "-1", 000064 | "-1,-1,1,-1,1,-1,1,1": "1", 000065 | "-1,-1,1,-1,1,1,-1,1": "1", 000066 | "-1,-1,1,-1,1,1,1,-1": "-1", 000067 | "-1,-1,1,1,-1,-1,-1,-1": "1", 000068 | "-1,-1,1,1,-1,-1,1,1": "1", 000069 | "-1,-1,1,1,-1,1,-1,1": "1", 000070 | "-1,-1,1,1,-1,1,1,-1": "1", 000071 | "-1,-1,1,1,1,-1,-1,1": "1", 000072 | "-1,-1,1,1,1,-1,1,-1": "-1", 000073 | "-1,-1,1,1,1,1,-1,-1": "1", 000074 | "-1,-1,1,1,1,1,1,1": "1", 000075 | "-1,1,-1,-1,-1,-1,-1,1": "1", 000076 | "-1,1,-1,-1,-1,-1,1,-1": "1", 000077 | "-1,1,-1,-1,-1,1,-1,-1": "-1", 000078 | "-1,1,-1,-1,-1,1,1,1": "1", 000079 | "-1,1,-1,-1,1,-1,-1,-1": "1", 000080 | "-1,1,-1,-1,1,-1,1,1": "1", 000081 | "-1,1,-1,-1,1,1,-1,1": "1", 000082 | "-1,1,-1,-1,1,1,1,-1": "1", 000083 | "-1,1,-1,1,-1,-1,-1,-1": "-1", 000084 | "-1,1,-1,1,-1,-1,1,1": "1", 000085 | "-1,1,-1,1,-1,1,-1,1": "1", 000086 | "-1,1,-1,1,-1,1,1,-1": "-1", 000087 | "-1,1,-1,1,1,-1,-1,1": "1", 000088 | "-1,1,-1,1,1,-1,1,-1": "1", 000089 | "-1,1,-1,1,1,1,-1,-1": "-1", 000090 | "-1,1,-1,1,1,1,1,1": "1", 000091 | "-1,1,1,-1,-1,-1,-1,-1": "1", 000092 | "-1,1,1,-1,-1,-1,1,1": "1", 000093 | "-1,1,1,-1,-1,1,-1,1": "1", 000094 | "-1,1,1,-1,-1,1,1,-1": "1", 000095 | "-1,1,1,-1,1,-1,-1,1": "1", 000096 | "-1,1,1,-1,1,-1,1,-1": "-1", 000097 | "-1,1,1,-1,1,1,-1,-1": "1", 000098 | "-1,1,1,-1,1,1,1,1": "1", 000099 | "-1,1,1,1,-1,-1,-1,1": "1", 000100 | "-1,1,1,1,-1,-1,1,-1": "1", 000101 | "-1,1,1,1,-1,1,-1,-1": "-1", 000102 | "-1,1,1,1,-1,1,1,1": "1", 000103 | "-1,1,1,1,1,-1,-1,-1": "1", 000104 | "-1,1,1,1,1,-1,1,1": "1", 000105 | "-1,1,1,1,1,1,-1,1": "1", 000106 | "-1,1,1,1,1,1,1,-1": "1", 000107 | "1,-1,-1,-1,-1,-1,-1,1": "1", 000108 | "1,-1,-1,-1,-1,-1,1,-1": "-1", 000109 | "1,-1,-1,-1,-1,1,-1,-1": "1", 000110 | "1,-1,-1,-1,-1,1,1,1": "-1", 000111 | "1,-1,-1,-1,1,-1,-1,-1": "-1", 000112 | "1,-1,-1,-1,1,-1,1,1": "-1", 000113 | "1,-1,-1,-1,1,1,-1,1": "-1", 000114 | "1,-1,-1,-1,1,1,1,-1": "1", 000115 | "1,-1,-1,1,-1,-1,-1,-1": "1", 000116 | "1,-1,-1,1,-1,-1,1,1": "-1", 000117 | "1,-1,-1,1,-1,1,-1,1": "-1", 000118 | "1,-1,-1,1,-1,1,1,-1": "-1", 000119 | "1,-1,-1,1,1,-1,-1,1": "-1", 000120 | "1,-1,-1,1,1,-1,1,-1": "1", 000121 | "1,-1,-1,1,1,1,-1,-1": "-1", 000122 | "1,-1,-1,1,1,1,1,1": "1", 000123 | "1,-1,1,-1,-1,-1,-1,-1": "-1", 000124 | "1,-1,1,-1,-1,-1,1,1": "-1", 000125 | "1,-1,1,-1,-1,1,-1,1": "-1", 000126 | "1,-1,1,-1,-1,1,1,-1": "1", 000127 | "1,-1,1,-1,1,-1,-1,1": "-1", 000128 | "1,-1,1,-1,1,-1,1,-1": "-1", 000129 | "1,-1,1,-1,1,1,-1,-1": "1", 000130 | "1,-1,1,-1,1,1,1,1": "1", 000131 | "1,-1,1,1,-1,-1,-1,1": "-1", 000132 | "1,-1,1,1,-1,-1,1,-1": "1", 000133 | "1,-1,1,1,-1,1,-1,-1": "-1", 000134 | "1,-1,1,1,-1,1,1,1": "1", 000135 | "1,-1,1,1,1,-1,-1,-1": "1", 000136 | "1,-1,1,1,1,-1,1,1": "1", 000137 | "1,-1,1,1,1,1,-1,1": "1", 000138 | "1,-1,1,1,1,1,1,-1": "-1", 000139 | "1,1,-1,-1,-1,-1,-1,-1": "1", 000140 | "1,1,-1,-1,-1,-1,1,1": "-1", 000141 | "1,1,-1,-1,-1,1,-1,1": "-1", 000142 | "1,1,-1,-1,-1,1,1,-1": "-1", 000143 | "1,1,-1,-1,1,-1,-1,1": "-1", 000144 | "1,1,-1,-1,1,-1,1,-1": "1", 000145 | "1,1,-1,-1,1,1,-1,-1": "-1", 000146 | "1,1,-1,-1,1,1,1,1": "1", 000147 | "1,1,-1,1,-1,-1,-1,1": "-1", 000148 | "1,1,-1,1,-1,-1,1,-1": "-1", 000149 | "1,1,-1,1,-1,1,-1,-1": "1", 000150 | "1,1,-1,1,-1,1,1,1": "1", 000151 | "1,1,-1,1,1,-1,-1,-1": "-1", 000152 | "1,1,-1,1,1,-1,1,1": "1", 000153 | "1,1,-1,1,1,1,-1,1": "1", 000154 | "1,1,-1,1,1,1,1,-1": "1", 000155 | "1,1,1,-1,-1,-1,-1,1": "-1", 000156 | "1,1,1,-1,-1,-1,1,-1": "1", 000157 | "1,1,1,-1,-1,1,-1,-1": "-1", 000158 | "1,1,1,-1,-1,1,1,1": "1", 000159 | "1,1,1,-1,1,-1,-1,-1": "1", 000160 | "1,1,1,-1,1,-1,1,1": "1", 000161 | "1,1,1,-1,1,1,-1,1": "1", 000162 | "1,1,1,-1,1,1,1,-1": "-1", 000163 | "1,1,1,1,-1,-1,-1,-1": "-1", 000164 | "1,1,1,1,-1,-1,1,1": "1", 000165 | "1,1,1,1,-1,1,-1,1": "1", 000166 | "1,1,1,1,-1,1,1,-1": "1", 000167 | "1,1,1,1,1,-1,-1,1": "1", 000168 | "1,1,1,1,1,-1,1,-1": "-1", 000169 | "1,1,1,1,1,1,-1,-1": "1", 000170 | "1,1,1,1,1,1,1,1": "-1" 000171 | }, 000172 | "root_phases": { 000173 | "-2,-2,0,0,0,0,0,0": "-1", 000174 | "-2,0,-2,0,0,0,0,0": "-1", 000175 | "-2,0,0,-2,0,0,0,0": "-1", 000176 | "-2,0,0,0,-2,0,0,0": "-1", 000177 | "-2,0,0,0,0,-2,0,0": "-1", 000178 | "-2,0,0,0,0,0,-2,0": "-1", 000179 | "-2,0,0,0,0,0,0,-2": "1", 000180 | "-2,0,0,0,0,0,0,2": "1", 000181 | "-2,0,0,0,0,0,2,0": "1", 000182 | "-2,0,0,0,0,2,0,0": "1", 000183 | "-2,0,0,0,2,0,0,0": "1", 000184 | "-2,0,0,2,0,0,0,0": "1", 000185 | "-2,0,2,0,0,0,0,0": "1", 000186 | "-2,2,0,0,0,0,0,0": "1", 000187 | "0,-2,-2,0,0,0,0,0": "1", 000188 | "0,-2,0,-2,0,0,0,0": "1", 000189 | "0,-2,0,0,-2,0,0,0": "1", 000190 | "0,-2,0,0,0,-2,0,0": "1", 000191 | "0,-2,0,0,0,0,-2,0": "1", 000192 | "0,-2,0,0,0,0,0,-2": "1", 000193 | "0,-2,0,0,0,0,0,2": "-1", 000194 | "0,-2,0,0,0,0,2,0": "1", 000195 | "0,-2,0,0,0,2,0,0": "1", 000196 | "0,-2,0,0,2,0,0,0": "1", 000197 | "0,-2,0,2,0,0,0,0": "1", 000198 | "0,-2,2,0,0,0,0,0": "1", 000199 | "0,0,-2,-2,0,0,0,0": "1", 000200 | "0,0,-2,0,-2,0,0,0": "1",