TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/e_series_role_review/role-check-results.json
Original file SHA-256: a280573489b8e43aebba2959800f42134fc4ed3247ebd074bc744b3929950750
Inclusive original lines: 1-135
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": "given native E8 lattice and original eightfold source H8 only",
000003 |   "tetrahedron": {
000004 |     "E6_vertices": 4,
000005 |     "E7_edges": [
000006 |       {
000007 |         "vertices": [
000008 |           0,
000009 |           1
000010 |         ],
000011 |         "normal": [
000012 |           0,
000013 |           0,
000014 |           0,
000015 |           0,
000016 |           0,
000017 |           0,
000018 |           2,
000019 |           -2
000020 |         ],
000021 |         "intersection_roots": 40,
000022 |         "union_roots": 104,
000023 |         "closure_roots": 126
000024 |       },
000025 |       {
000026 |         "vertices": [
000027 |           0,
000028 |           2
000029 |         ],
000030 |         "normal": [
000031 |           0,
000032 |           0,
000033 |           0,
000034 |           0,
000035 |           0,
000036 |           2,
000037 |           0,
000038 |           -2
000039 |         ],
000040 |         "intersection_roots": 40,
000041 |         "union_roots": 104,
000042 |         "closure_roots": 126
000043 |       },
000044 |       {
000045 |         "vertices": [
000046 |           0,
000047 |           3
000048 |         ],
000049 |         "normal": [
000050 |           0,
000051 |           0,
000052 |           0,
000053 |           0,
000054 |           0,
000055 |           2,
000056 |           -2,
000057 |           0
000058 |         ],
000059 |         "intersection_roots": 40,
000060 |         "union_roots": 104,
000061 |         "closure_roots": 126
000062 |       },
000063 |       {
000064 |         "vertices": [
000065 |           1,
000066 |           2
000067 |         ],
000068 |         "normal": [
000069 |           0,
000070 |           0,
000071 |           0,
000072 |           0,
000073 |           0,
000074 |           2,
000075 |           2,
000076 |           0
000077 |         ],
000078 |         "intersection_roots": 40,
000079 |         "union_roots": 104,
000080 |         "closure_roots": 126
000081 |       },
000082 |       {
000083 |         "vertices": [
000084 |           1,
000085 |           3
000086 |         ],
000087 |         "normal": [
000088 |           0,
000089 |           0,
000090 |           0,
000091 |           0,
000092 |           0,
000093 |           2,
000094 |           0,
000095 |           2
000096 |         ],
000097 |         "intersection_roots": 40,
000098 |         "union_roots": 104,
000099 |         "closure_roots": 126
000100 |       },
000101 |       {
000102 |         "vertices": [
000103 |           2,
000104 |           3
000105 |         ],
000106 |         "normal": [
000107 |           0,
000108 |           0,
000109 |           0,
000110 |           0,
000111 |           0,
000112 |           0,
000113 |           2,
000114 |           2
000115 |         ],
000116 |         "intersection_roots": 40,
000117 |         "union_roots": 104,
000118 |         "closure_roots": 126
000119 |       }
000120 |     ]
000121 |   },
000122 |   "root_cut_projection": {
000123 |     "E6_nonzero_projected_coroot_norm2": "4/3",
000124 |     "E7_nonzero_projected_coroot_norm2": "3/2",
000125 |     "is_Lie_homomorphism": false
000126 |   },
000127 |   "actual_H8": {
000128 |     "Q_neutral_E7_roots": 126,
000129 |     "ordinary_horizontal_commuting_roots": 8,
000130 |     "horizontal_root_type": "4A1",
000131 |     "neutral_counterexample": "[H8,J_(e0-e1,0)]=-J_(e0-e1,0)",
000132 |     "all_affine_commuting_modes_classified": false
000133 |   },
000134 |   "physical_E8_E7_E6_gauge_or_breaking_rule_derived": false
000135 | }