TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/independent-seam-graph-results.json
Original file SHA-256: e7cb292768c5432840f188c865c81924350fbbc2eb14defacb100be3d82ece6f
Inclusive original lines: 1-190
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 |   "branch_mark_counts_on_dividing_forms": {
000003 |     "new_S_and_hS": [
000004 |       4,
000005 |       4
000006 |     ],
000007 |     "old_two": [
000008 |       0,
000009 |       0
000010 |     ]
000011 |   },
000012 |   "checks": {
000013 |     "S_and_hS_each_fix_all_four_branch_marks": true,
000014 |     "S_is_conjugation_plus_i_over_2": true,
000015 |     "algebraic_r_preserves_curve_and_squares_to_h": true,
000016 |     "full_holomorphic_group_order_16": true,
000017 |     "full_holomorphic_is_central_deck_extension_of_base_D4": true,
000018 |     "full_real_census_computed": true,
000019 |     "full_total_group_order_32_with_16_anti": true,
000020 |     "graph_vertices_are_h_branch_points": true,
000021 |     "hS_is_minus_conjugation_plus_1_over_2": true,
000022 |     "new_coset_census_computed": true,
000023 |     "new_dividing_forms_are_exactly_S_and_hS": true,
000024 |     "old_dividing_OS_forms_fix_no_branch_marks": true,
000025 |     "old_holomorphic_group_is_C4_times_C2_not_D4": true,
000026 |     "old_holomorphic_group_order_8": true,
000027 |     "old_real_census_computed": true,
000028 |     "old_total_group_order_16_with_8_anti": true,
000029 |     "r_affine_square_is_h": true,
000030 |     "seam_graph_F4_on_torus": true,
000031 |     "seam_graph_V4_E8": true,
000032 |     "seam_graph_b1_5_from_incidence_rank": true,
000033 |     "seam_graph_is_connected": true
000034 |   },
000035 |   "group_sizes": {
000036 |     "full_holomorphic": 16,
000037 |     "full_total": 32,
000038 |     "old_holomorphic": 8,
000039 |     "old_total": 16
000040 |   },
000041 |   "new_real_maps": [
000042 |     {
000043 |       "linear": [
000044 |         [
000045 |           -1,
000046 |           0
000047 |         ],
000048 |         [
000049 |           0,
000050 |           1
000051 |         ]
000052 |       ],
000053 |       "order": 2,
000054 |       "shift": [
000055 |         "0",
000056 |         "1/2"
000057 |       ],
000058 |       "type": "empty"
000059 |     },
000060 |     {
000061 |       "linear": [
000062 |         [
000063 |           -1,
000064 |           0
000065 |         ],
000066 |         [
000067 |           0,
000068 |           1
000069 |         ]
000070 |       ],
000071 |       "order": 2,
000072 |       "shift": [
000073 |         "1/2",
000074 |         "0"
000075 |       ],
000076 |       "type": "dividing"
000077 |     },
000078 |     {
000079 |       "linear": [
000080 |         [
000081 |           0,
000082 |           -1
000083 |         ],
000084 |         [
000085 |           -1,
000086 |           0
000087 |         ]
000088 |       ],
000089 |       "order": 4,
000090 |       "shift": [
000091 |         "0",
000092 |         "1/2"
000093 |       ],
000094 |       "type": "anti_order_4"
000095 |     },
000096 |     {
000097 |       "linear": [
000098 |         [
000099 |           0,
000100 |           -1
000101 |         ],
000102 |         [
000103 |           -1,
000104 |           0
000105 |         ]
000106 |       ],
000107 |       "order": 4,
000108 |       "shift": [
000109 |         "1/2",
000110 |         "0"
000111 |       ],
000112 |       "type": "anti_order_4"
000113 |     },
000114 |     {
000115 |       "linear": [
000116 |         [
000117 |           0,
000118 |           1
000119 |         ],
000120 |         [
000121 |           1,
000122 |           0
000123 |         ]
000124 |       ],
000125 |       "order": 4,
000126 |       "shift": [
000127 |         "0",
000128 |         "1/2"
000129 |       ],
000130 |       "type": "anti_order_4"
000131 |     },
000132 |     {
000133 |       "linear": [
000134 |         [
000135 |           0,
000136 |           1
000137 |         ],
000138 |         [
000139 |           1,
000140 |           0
000141 |         ]
000142 |       ],
000143 |       "order": 4,
000144 |       "shift": [
000145 |         "1/2",
000146 |         "0"
000147 |       ],
000148 |       "type": "anti_order_4"
000149 |     },
000150 |     {
000151 |       "linear": [
000152 |         [
000153 |           1,
000154 |           0
000155 |         ],
000156 |         [
000157 |           0,
000158 |           -1
000159 |         ]
000160 |       ],
000161 |       "order": 2,
000162 |       "shift": [
000163 |         "0",
000164 |         "1/2"
000165 |       ],
000166 |       "type": "dividing"
000167 |     },
000168 |     {
000169 |       "linear": [
000170 |         [
000171 |           1,
000172 |           0
000173 |         ],
000174 |         [
000175 |           0,
000176 |           -1
000177 |         ]
000178 |       ],
000179 |       "order": 2,
000180 |       "shift": [
000181 |         "1/2",
000182 |         "0"
000183 |       ],
000184 |       "type": "empty"
000185 |     }
000186 |   ],
000187 |   "old_real_maps": [
000188 |     {
000189 |       "linear": [
000190 |         [