TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/hodge_complement_20261028/e8-a4-results.json
Original file SHA-256: 2816fbc59ad82469571831c4ae852753a4a147d07fd247d835b0b8adfb49c334
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 in the given carrier SU5 frame; no physical source selection or time law.",
000003 |   "root_partition": {
000004 |     "carrier_A4_roots": 20,
000005 |     "centralizer_A4_roots": 20,
000006 |     "input_(10,bar5)": 50,
000007 |     "insertion_(5,10)": 50,
000008 |     "output_(bar10,5)": 50,
000009 |     "conjugate_sector_(bar5,bar10)": 50
000010 |   },
000011 |   "overlap_with_old_D5xA3_grading": {
000012 |     "5": {
000013 |       "g2": 30,
000014 |       "g3": 20
000015 |     },
000016 |     "bar5": {
000017 |       "g1": 20,
000018 |       "g2": 30
000019 |     },
000020 |     "10": {
000021 |       "g0": 10,
000022 |       "g1": 40
000023 |     },
000024 |     "bar10": {
000025 |       "g0": 10,
000026 |       "g3": 40
000027 |     }
000028 |   },
000029 |   "family_simple_roots": [
000030 |     [
000031 |       0,
000032 |       0,
000033 |       0,
000034 |       0,
000035 |       0,
000036 |       0,
000037 |       2,
000038 |       2
000039 |     ],
000040 |     [
000041 |       0,
000042 |       0,
000043 |       0,
000044 |       0,
000045 |       0,
000046 |       2,
000047 |       -2,
000048 |       0
000049 |     ],
000050 |     [
000051 |       0,
000052 |       0,
000053 |       0,
000054 |       0,
000055 |       0,
000056 |       0,
000057 |       2,
000058 |       -2
000059 |     ],
000060 |     [
000061 |       1,
000062 |       1,
000063 |       1,
000064 |       1,
000065 |       1,
000066 |       -1,
000067 |       -1,
000068 |       1
000069 |     ]
000070 |   ],
000071 |   "family_cartan": [
000072 |     [
000073 |       2,
000074 |       -1,
000075 |       0,
000076 |       0
000077 |     ],
000078 |     [
000079 |       -1,
000080 |       2,
000081 |       -1,
000082 |       0
000083 |     ],
000084 |     [
000085 |       0,
000086 |       -1,
000087 |       2,
000088 |       -1
000089 |     ],
000090 |     [
000091 |       0,
000092 |       0,
000093 |       -1,
000094 |       2
000095 |     ]
000096 |   ],
000097 |   "bracket_signed_edges": 600,
000098 |   "literal_epsilon_dual_coordinate_edges": 600,
000099 |   "neutral_A4xA4_signed_edges": 1500,
000100 |   "phase_variables": 190,
000101 |   "phase_rank": 180,
000102 |   "kraus_count": 50,
000103 |   "kraus_rank": 12,
000104 |   "source_gain": "12 I50",
000105 |   "source_response_denominator": 12,
000106 |   "factorization": "E8 response = Hodge Petersen channel tensor family wedge channel in the joint cocycle chart",
000107 |   "carrier_channel": "1/3 sum_m C_m rho C_m*; population A_Petersen/3",
000108 |   "family_channel": "1/4 sum_ab A_ab rho A_ab*; population (J-I)/4 on five",
000109 |   "p2_X": [
000110 |     -2,
000111 |     -2,
000112 |     -2,
000113 |     3,
000114 |     3
000115 |   ],
000116 |   "p2_X_convention": "q_input=X_i+X_j, q_insertion=X_m, q_output=-(X_k+X_l); equivalently q_output+q_environment=q_input with q_environment=-X_m",
000117 |   "p2_X_charge_edge_counts": {
000118 |     "-4,-2,-6": 60,
000119 |     "-4,3,-1": 120,
000120 |     "1,-2,-1": 240,
000121 |     "1,3,4": 120,
000122 |     "6,-2,4": 60
000123 |   },
000124 |   "carrier_population": {
000125 |     "0,1": [
000126 |       "2,3",
000127 |       "2,4",
000128 |       "3,4"
000129 |     ],
000130 |     "0,2": [
000131 |       "1,3",
000132 |       "1,4",
000133 |       "3,4"
000134 |     ],
000135 |     "0,3": [
000136 |       "1,2",
000137 |       "1,4",
000138 |       "2,4"
000139 |     ],
000140 |     "0,4": [
000141 |       "1,2",
000142 |       "1,3",
000143 |       "2,3"
000144 |     ],
000145 |     "1,2": [
000146 |       "0,3",
000147 |       "0,4",
000148 |       "3,4"
000149 |     ],
000150 |     "1,3": [
000151 |       "0,2",
000152 |       "0,4",
000153 |       "2,4"
000154 |     ],
000155 |     "1,4": [
000156 |       "0,2",
000157 |       "0,3",
000158 |       "2,3"
000159 |     ],
000160 |     "2,3": [
000161 |       "0,1",
000162 |       "0,4",
000163 |       "1,4"
000164 |     ],
000165 |     "2,4": [
000166 |       "0,1",
000167 |       "0,3",
000168 |       "1,3"
000169 |     ],
000170 |     "3,4": [
000171 |       "0,1",
000172 |       "0,2",
000173 |       "1,2"
000174 |     ]
000175 |   },
000176 |   "family_population": {
000177 |     "0": [
000178 |       1,
000179 |       2,
000180 |       3,
000181 |       4
000182 |     ],
000183 |     "1": [
000184 |       0,
000185 |       2,
000186 |       3,
000187 |       4
000188 |     ],
000189 |     "2": [
000190 |       0,
000191 |       1,
000192 |       3,
000193 |       4
000194 |     ],
000195 |     "3": [
000196 |       0,
000197 |       1,
000198 |       2,
000199 |       4
000200 |     ],