{
  "result": "PASS",
  "mixed_directions": 8,
  "first_step_torus_tests": 80,
  "scope": "Only the first-step source-torus witnesses. No statement about longer mutation words; no substitute for the eight mixed-contact counts.",
  "records": [
    {
      "mirror_direction": 1,
      "contact_vector": [
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1
      ],
      "first_step_tori": [
        {
          "source_direction": "h",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 1,
          "torus_product_correction_pairing": 1
        },
        {
          "source_direction": "b",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 2
        },
        {
          "source_direction": "c",
          "first_mutant_leading_pairing": 1,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 3
        },
        {
          "source_direction": "d",
          "first_mutant_leading_pairing": 1,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 3
        },
        {
          "source_direction": "e",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 2
        },
        {
          "source_direction": "f",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 2
        },
        {
          "source_direction": "g",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 2
        },
        {
          "source_direction": "r",
          "first_mutant_leading_pairing": 1,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 3
        },
        {
          "source_direction": "q",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 2
        },
        {
          "source_direction": "u",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 1,
          "torus_product_correction_pairing": 1
        }
      ]
    },
    {
      "mirror_direction": 5,
      "contact_vector": [
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1
      ],
      "first_step_tori": [
        {
          "source_direction": "h",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 1,
          "torus_product_correction_pairing": 1
        },
        {
          "source_direction": "b",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 2
        },
        {
          "source_direction": "c",
          "first_mutant_leading_pairing": 1,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 3
        },
        {
          "source_direction": "d",
          "first_mutant_leading_pairing": 1,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 3
        },
        {
          "source_direction": "e",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 2
        },
        {
          "source_direction": "f",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 2
        },
        {
          "source_direction": "g",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 2
        },
        {
          "source_direction": "r",
          "first_mutant_leading_pairing": 1,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 3
        },
        {
          "source_direction": "q",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 2
        },
        {
          "source_direction": "u",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 1,
          "torus_product_correction_pairing": 1
        }
      ]
    },
    {
      "mirror_direction": 8,
      "contact_vector": [
        0,
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        0
      ],
      "first_step_tori": [
        {
          "source_direction": "h",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 2
        },
        {
          "source_direction": "b",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 1,
          "torus_product_correction_pairing": 1
        },
        {
          "source_direction": "c",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 2
        },
        {
          "source_direction": "d",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 2
        },
        {
          "source_direction": "e",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 2
        },
        {
          "source_direction": "f",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 2
        },
        {
          "source_direction": "g",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 2
        },
        {
          "source_direction": "r",
          "first_mutant_leading_pairing": 1,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 3
        },
        {
          "source_direction": "q",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 1,
          "torus_product_correction_pairing": 1
        },
        {
          "source_direction": "u",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 2
        }
      ]
    },
    {
      "mirror_direction": 10,
      "contact_vector": [
        0,
        0,
        0,
        0,
        1,
        1,
        0,
        0,
        0,
        1
      ],
      "first_step_tori": [
        {
          "source_direction": "h",
          "first_mutant_leading_pairing": 1,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 3,
          "torus_product_correction_pairing": 4
        },
        {
          "source_direction": "b",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 3,
          "torus_product_correction_pairing": 3
        },
        {
          "source_direction": "c",
          "first_mutant_leading_pairing": 1,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 3,
          "torus_product_correction_pairing": 4
        },
        {
          "source_direction": "d",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 3,
          "torus_product_correction_pairing": 3
        },
        {
          "source_direction": "e",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 2
        },
        {
          "source_direction": "f",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 2
        },
        {
          "source_direction": "g",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 3,
          "torus_product_correction_pairing": 3
        },
        {
          "source_direction": "r",
          "first_mutant_leading_pairing": 1,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 3,
          "torus_product_correction_pairing": 4
        },
        {
          "source_direction": "q",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 3,
          "torus_product_correction_pairing": 3
        },
        {
          "source_direction": "u",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 2
        }
      ]
    },
    {
      "mirror_direction": 11,
      "contact_vector": [
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        1,
        1,
        0
      ],
      "first_step_tori": [
        {
          "source_direction": "h",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 3,
          "torus_product_correction_pairing": 3
        },
        {
          "source_direction": "b",
          "first_mutant_leading_pairing": 1,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 3,
          "torus_product_correction_pairing": 4
        },
        {
          "source_direction": "c",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 3,
          "torus_product_correction_pairing": 3
        },
        {
          "source_direction": "d",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 3,
          "torus_product_correction_pairing": 3
        },
        {
          "source_direction": "e",
          "first_mutant_leading_pairing": 1,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 3,
          "torus_product_correction_pairing": 4
        },
        {
          "source_direction": "f",
          "first_mutant_leading_pairing": 1,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 3,
          "torus_product_correction_pairing": 4
        },
        {
          "source_direction": "g",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 2
        },
        {
          "source_direction": "r",
          "first_mutant_leading_pairing": 1,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 3
        },
        {
          "source_direction": "q",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 2
        },
        {
          "source_direction": "u",
          "first_mutant_leading_pairing": 1,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 3,
          "torus_product_correction_pairing": 4
        }
      ]
    },
    {
      "mirror_direction": 14,
      "contact_vector": [
        0,
        0,
        0,
        0,
        0,
        0,
        1,
        1,
        1,
        0
      ],
      "first_step_tori": [
        {
          "source_direction": "h",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 3,
          "torus_product_correction_pairing": 3
        },
        {
          "source_direction": "b",
          "first_mutant_leading_pairing": 1,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 3,
          "torus_product_correction_pairing": 4
        },
        {
          "source_direction": "c",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 3,
          "torus_product_correction_pairing": 3
        },
        {
          "source_direction": "d",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 3,
          "torus_product_correction_pairing": 3
        },
        {
          "source_direction": "e",
          "first_mutant_leading_pairing": 1,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 3,
          "torus_product_correction_pairing": 4
        },
        {
          "source_direction": "f",
          "first_mutant_leading_pairing": 1,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 3,
          "torus_product_correction_pairing": 4
        },
        {
          "source_direction": "g",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 2
        },
        {
          "source_direction": "r",
          "first_mutant_leading_pairing": 1,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 3
        },
        {
          "source_direction": "q",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 2
        },
        {
          "source_direction": "u",
          "first_mutant_leading_pairing": 1,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 3,
          "torus_product_correction_pairing": 4
        }
      ]
    },
    {
      "mirror_direction": 15,
      "contact_vector": [
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1
      ],
      "first_step_tori": [
        {
          "source_direction": "h",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 1,
          "torus_product_correction_pairing": 1
        },
        {
          "source_direction": "b",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 2
        },
        {
          "source_direction": "c",
          "first_mutant_leading_pairing": 1,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 3
        },
        {
          "source_direction": "d",
          "first_mutant_leading_pairing": 1,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 3
        },
        {
          "source_direction": "e",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 2
        },
        {
          "source_direction": "f",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 2
        },
        {
          "source_direction": "g",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 2
        },
        {
          "source_direction": "r",
          "first_mutant_leading_pairing": 1,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 3
        },
        {
          "source_direction": "q",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 2
        },
        {
          "source_direction": "u",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 1,
          "torus_product_correction_pairing": 1
        }
      ]
    },
    {
      "mirror_direction": 18,
      "contact_vector": [
        1,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        0,
        1
      ],
      "first_step_tori": [
        {
          "source_direction": "h",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 1,
          "torus_product_correction_pairing": 1
        },
        {
          "source_direction": "b",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 2
        },
        {
          "source_direction": "c",
          "first_mutant_leading_pairing": 1,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 3
        },
        {
          "source_direction": "d",
          "first_mutant_leading_pairing": 1,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 3
        },
        {
          "source_direction": "e",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 2
        },
        {
          "source_direction": "f",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 2
        },
        {
          "source_direction": "g",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 2
        },
        {
          "source_direction": "r",
          "first_mutant_leading_pairing": 1,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 3
        },
        {
          "source_direction": "q",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 2,
          "torus_product_correction_pairing": 2
        },
        {
          "source_direction": "u",
          "first_mutant_leading_pairing": 0,
          "normalized_exchange_defect": 0,
          "other_contact_degree": 1,
          "torus_product_correction_pairing": 1
        }
      ]
    }
  ]
}