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: 191-380
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.

000191 |           -1,
000192 |           0
000193 |         ],
000194 |         [
000195 |           0,
000196 |           1
000197 |         ]
000198 |       ],
000199 |       "order": 2,
000200 |       "shift": [
000201 |         "0",
000202 |         "0"
000203 |       ],
000204 |       "type": "dividing"
000205 |     },
000206 |     {
000207 |       "linear": [
000208 |         [
000209 |           -1,
000210 |           0
000211 |         ],
000212 |         [
000213 |           0,
000214 |           1
000215 |         ]
000216 |       ],
000217 |       "order": 2,
000218 |       "shift": [
000219 |         "1/2",
000220 |         "1/2"
000221 |       ],
000222 |       "type": "empty"
000223 |     },
000224 |     {
000225 |       "linear": [
000226 |         [
000227 |           0,
000228 |           -1
000229 |         ],
000230 |         [
000231 |           -1,
000232 |           0
000233 |         ]
000234 |       ],
000235 |       "order": 2,
000236 |       "shift": [
000237 |         "0",
000238 |         "0"
000239 |       ],
000240 |       "type": "nondividing"
000241 |     },
000242 |     {
000243 |       "linear": [
000244 |         [
000245 |           0,
000246 |           -1
000247 |         ],
000248 |         [
000249 |           -1,
000250 |           0
000251 |         ]
000252 |       ],
000253 |       "order": 2,
000254 |       "shift": [
000255 |         "1/2",
000256 |         "1/2"
000257 |       ],
000258 |       "type": "nondividing"
000259 |     },
000260 |     {
000261 |       "linear": [
000262 |         [
000263 |           0,
000264 |           1
000265 |         ],
000266 |         [
000267 |           1,
000268 |           0
000269 |         ]
000270 |       ],
000271 |       "order": 2,
000272 |       "shift": [
000273 |         "0",
000274 |         "0"
000275 |       ],
000276 |       "type": "nondividing"
000277 |     },
000278 |     {
000279 |       "linear": [
000280 |         [
000281 |           0,
000282 |           1
000283 |         ],
000284 |         [
000285 |           1,
000286 |           0
000287 |         ]
000288 |       ],
000289 |       "order": 2,
000290 |       "shift": [
000291 |         "1/2",
000292 |         "1/2"
000293 |       ],
000294 |       "type": "nondividing"
000295 |     },
000296 |     {
000297 |       "linear": [
000298 |         [
000299 |           1,
000300 |           0
000301 |         ],
000302 |         [
000303 |           0,
000304 |           -1
000305 |         ]
000306 |       ],
000307 |       "order": 2,
000308 |       "shift": [
000309 |         "0",
000310 |         "0"
000311 |       ],
000312 |       "type": "dividing"
000313 |     },
000314 |     {
000315 |       "linear": [
000316 |         [
000317 |           1,
000318 |           0
000319 |         ],
000320 |         [
000321 |           0,
000322 |           -1
000323 |         ]
000324 |       ],
000325 |       "order": 2,
000326 |       "shift": [
000327 |         "1/2",
000328 |         "1/2"
000329 |       ],
000330 |       "type": "empty"
000331 |     }
000332 |   ],
000333 |   "real_census": {
000334 |     "full_sixteen": {
000335 |       "anti_order_4": 4,
000336 |       "dividing": 4,
000337 |       "empty": 4,
000338 |       "nondividing": 4
000339 |     },
000340 |     "new_eight": {
000341 |       "anti_order_4": 4,
000342 |       "dividing": 2,
000343 |       "empty": 2
000344 |     },
000345 |     "old_eight": {
000346 |       "dividing": 2,
000347 |       "empty": 2,
000348 |       "nondividing": 4
000349 |     }
000350 |   },
000351 |   "scope": "Exact affine square-torus group and equator-preimage graph. This does not identify a chosen oval or smoothing with the original physical P1 seam state.",
000352 |   "seam_graph": {
000353 |     "E": 8,
000354 |     "F": 4,
000355 |     "V": 4,
000356 |     "b1": 5,
000357 |     "edges": [
000358 |       [
000359 |         0,
000360 |         2,
000361 |         "horizontal_y=1/4:0"
000362 |       ],
000363 |       [
000364 |         0,
000365 |         2,
000366 |         "horizontal_y=1/4:1"
000367 |       ],
000368 |       [
000369 |         1,
000370 |         3,
000371 |         "horizontal_y=3/4:0"
000372 |       ],
000373 |       [
000374 |         1,
000375 |         3,
000376 |         "horizontal_y=3/4:1"
000377 |       ],
000378 |       [
000379 |         0,
000380 |         1,