TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/dynamic_reconstruction_20261027/a7-e7-clock-results.json
Original file SHA-256: 5d6af55d15802efa55b88c966d0fade54dfa96440cd4ce9b078f49dc2c882220
Inclusive original lines: 1-112
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 |   "charge_census": {
000003 |     "-2": 56,
000004 |     "-4": 1,
000005 |     "0": 126,
000006 |     "2": 56,
000007 |     "4": 1
000008 |   },
000009 |   "charge_type_census": {
000010 |     "Q=-2,half": 28,
000011 |     "Q=-2,integer": 28,
000012 |     "Q=-4,half": 1,
000013 |     "Q=0,half": 70,
000014 |     "Q=0,integer": 56,
000015 |     "Q=2,half": 28,
000016 |     "Q=2,integer": 28,
000017 |     "Q=4,half": 1
000018 |   },
000019 |   "commutator": "[H8,J_(alpha,-1)]=(8-rho_A7.alpha+(2a-1)Q(alpha)/2)J_(alpha,-1)",
000020 |   "delta_identity": "delta=-rho_A7/8+(2a-1)q/16",
000021 |   "grade_base_by_charge": {
000022 |     "-2": {
000023 |       "10": 6,
000024 |       "11": 4,
000025 |       "12": 4,
000026 |       "13": 2,
000027 |       "14": 2,
000028 |       "2": 2,
000029 |       "3": 2,
000030 |       "4": 4,
000031 |       "5": 4,
000032 |       "6": 6,
000033 |       "7": 6,
000034 |       "8": 8,
000035 |       "9": 6
000036 |     },
000037 |     "-4": {
000038 |       "8": 1
000039 |     },
000040 |     "0": {
000041 |       "0": 1,
000042 |       "1": 2,
000043 |       "10": 13,
000044 |       "11": 10,
000045 |       "12": 9,
000046 |       "13": 6,
000047 |       "14": 4,
000048 |       "15": 2,
000049 |       "16": 1,
000050 |       "2": 4,
000051 |       "3": 6,
000052 |       "4": 9,
000053 |       "5": 10,
000054 |       "6": 13,
000055 |       "7": 14,
000056 |       "8": 8,
000057 |       "9": 14
000058 |     },
000059 |     "2": {
000060 |       "10": 6,
000061 |       "11": 4,
000062 |       "12": 4,
000063 |       "13": 2,
000064 |       "14": 2,
000065 |       "2": 2,
000066 |       "3": 2,
000067 |       "4": 4,
000068 |       "5": 4,
000069 |       "6": 6,
000070 |       "7": 6,
000071 |       "8": 8,
000072 |       "9": 6
000073 |     },
000074 |     "4": {
000075 |       "8": 1
000076 |     }
000077 |   },
000078 |   "neutral_decomposition": {
000079 |     "A7_integer_roots": 56,
000080 |     "E7_roots": 126,
000081 |     "Lambda4_half_weights": 70,
000082 |     "rank": 7,
000083 |     "reflection_closed": true
000084 |   },
000085 |   "pstar": {
000086 |     "H8_root_commutator_grade": "0",
000087 |     "Q": "0",
000088 |     "norm2": "2",
000089 |     "rho_dot": "8",
000090 |     "vector": [
000091 |       "1/2",
000092 |       "1/2",
000093 |       "1/2",
000094 |       "1/2",
000095 |       "-1/2",
000096 |       "-1/2",
000097 |       "-1/2",
000098 |       "-1/2"
000099 |     ]
000100 |   },
000101 |   "rho_A7": [
000102 |     "7/2",
000103 |     "5/2",
000104 |     "3/2",
000105 |     "1/2",
000106 |     "-1/2",
000107 |     "-3/2",
000108 |     "-5/2",
000109 |     "-7/2"
000110 |   ],
000111 |   "root_count": 240
000112 | }