== (K1) K4 x K2 with two linked triangles (not a Schlegel diagram) : 8 vertices, 16 edges, straight-line embedding: True
   cycles: 170, (C, D) tests: 48, tests with lk != 0: 11, max |lk| = 1
   pair with odd linking number: C = [0, 1, 2] D = [4, 7, 5] lk = -1 (projection method agrees)
   Petersen-family minors: NONE (7 x UNSAT)
   => linked embedding of a graph without Petersen-family minor: the configuration the pipeline would flag as ALERT
== (K1') Schlegel diagram of the prism over the tetrahedron (same graph) : 8 vertices, 16 edges, straight-line embedding: True
   cycles: 170, (C, D) tests: 48, tests with lk != 0: 0, max |lk| = 0
   Petersen-family minors: NONE (7 x UNSAT)
(K2) vertex transpositions of the 3-3 duoprism diagram that give an embedding with a linked pair: 0 of 36
(K3) K6-minor model in the cross-polytope graph: [[7], [5, 6], [4], [1, 3], [0], [2]]
     corrupted model 1 (vertex in two branch sets) accepted? False
     corrupted model 2 (vertex 6 removed) accepted? False
     4-cube Schlegel diagram with two vertex positions exchanged is an embedding? False
ALL CONTROLS BEHAVED AS EXPECTED
