{
  "schema": "marici.strominger.reversed-matter-seeds.v1",
  "status": "passed",
  "models": [
    {
      "label": "antiproton candidate",
      "source_path": "research/strominger/inputs/relative-antiproton-candidate.json",
      "source_sha256": "2340e4f336a46f1de9c271d659631f3e444bc507acb9a5e84a1ade5b37a733d9",
      "effective_source": {
        "metric": [
          [
            8,
            4,
            4
          ],
          [
            4,
            8,
            4
          ],
          [
            4,
            4,
            8
          ]
        ],
        "generators": [
          {
            "matrix": [
              [
                0,
                1,
                0
              ],
              [
                -1,
                -1,
                -1
              ],
              [
                0,
                0,
                1
              ]
            ],
            "translation": [
              0,
              1,
              0
            ]
          },
          {
            "matrix": [
              [
                -1,
                -1,
                -1
              ],
              [
                0,
                1,
                0
              ],
              [
                1,
                0,
                0
              ]
            ],
            "translation": [
              1,
              0,
              0
            ]
          }
        ],
        "seeds": [
          {
            "point": [
              0,
              0,
              0
            ],
            "role": "attachment_pole"
          }
        ]
      },
      "geometry": {
        "dimension": 3,
        "vertices": [
          [
            "0",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ],
          [
            "0",
            "1",
            "0"
          ],
          [
            "1",
            "0",
            "0"
          ]
        ],
        "metric": [
          [
            "8",
            "4",
            "4"
          ],
          [
            "4",
            "8",
            "4"
          ],
          [
            "4",
            "4",
            "8"
          ]
        ],
        "squared_distances": [
          [
            "0",
            "8",
            "8",
            "8"
          ],
          [
            "8",
            "0",
            "8",
            "8"
          ],
          [
            "8",
            "8",
            "0",
            "8"
          ],
          [
            "8",
            "8",
            "8",
            "0"
          ]
        ],
        "seed_orbits": [
          {
            "role": "attachment_pole",
            "vertices": [
              0,
              1,
              2,
              3
            ]
          }
        ],
        "supporting_facets": [
          [
            0,
            1,
            2
          ],
          [
            0,
            1,
            3
          ],
          [
            0,
            2,
            3
          ],
          [
            1,
            2,
            3
          ]
        ],
        "external_interfaces": [],
        "retained_attachment_interfaces": [
          [
            1,
            2,
            3
          ]
        ],
        "carrier_facets": [
          [
            0,
            1,
            2
          ],
          [
            1,
            0,
            3
          ],
          [
            0,
            2,
            3
          ],
          [
            2,
            1,
            3
          ]
        ],
        "center": [
          "1/4",
          "1/4",
          "1/4"
        ],
        "center_vertex_id": 4,
        "cone_cells": [
          [
            4,
            0,
            1,
            2
          ],
          [
            4,
            1,
            0,
            3
          ],
          [
            4,
            0,
            2,
            3
          ],
          [
            4,
            2,
            1,
            3
          ]
        ],
        "positive_cone_determinants_in_source_coordinates": [
          "1/4",
          "1/4",
          "1/4",
          "1/4"
        ],
        "counts": {
          "vertices": 4,
          "supporting_facets": 4,
          "external_interfaces": 0,
          "carrier_facets": 4,
          "cone_cells": 4
        }
      },
      "arrow_reversal_of": "proton",
      "physical_identification_derived": false,
      "forward_generator_arrow_tables": [
        [
          [
            0,
            3
          ],
          [
            1,
            1
          ],
          [
            2,
            0
          ],
          [
            3,
            2
          ]
        ],
        [
          [
            0,
            1
          ],
          [
            1,
            3
          ],
          [
            2,
            2
          ],
          [
            3,
            0
          ]
        ]
      ],
      "reversed_generator_arrow_tables": [
        [
          [
            0,
            2
          ],
          [
            1,
            1
          ],
          [
            2,
            3
          ],
          [
            3,
            0
          ]
        ],
        [
          [
            0,
            3
          ],
          [
            1,
            0
          ],
          [
            2,
            2
          ],
          [
            3,
            1
          ]
        ]
      ]
    },
    {
      "label": "antineutron candidate",
      "source_path": "research/strominger/inputs/relative-antineutron-candidate.json",
      "source_sha256": "b136f83ed7fee3856ae9c7dca032f500b9202c507d55e8ba17bd21334a8de3d2",
      "effective_source": {
        "metric": [
          [
            3,
            0,
            0
          ],
          [
            0,
            1,
            0
          ],
          [
            0,
            0,
            1
          ]
        ],
        "generators": [
          {
            "matrix": [
              [
                "-1/2",
                0,
                "1/2"
              ],
              [
                0,
                1,
                0
              ],
              [
                "-3/2",
                0,
                "-1/2"
              ]
            ],
            "translation": [
              0,
              0,
              0
            ]
          }
        ],
        "seeds": [
          {
            "point": [
              0,
              "7/20",
              1
            ],
            "role": "external_interface"
          },
          {
            "point": [
              0,
              "-7/20",
              -1
            ],
            "role": "external_interface"
          }
        ]
      },
      "geometry": {
        "dimension": 3,
        "vertices": [
          [
            "-1/2",
            "-7/20",
            "1/2"
          ],
          [
            "-1/2",
            "7/20",
            "-1/2"
          ],
          [
            "0",
            "-7/20",
            "-1"
          ],
          [
            "0",
            "7/20",
            "1"
          ],
          [
            "1/2",
            "-7/20",
            "1/2"
          ],
          [
            "1/2",
            "7/20",
            "-1/2"
          ]
        ],
        "metric": [
          [
            "3",
            "0",
            "0"
          ],
          [
            "0",
            "1",
            "0"
          ],
          [
            "0",
            "0",
            "1"
          ]
        ],
        "squared_distances": [
          [
            "0",
            "149/100",
            "3",
            "149/100",
            "3",
            "449/100"
          ],
          [
            "149/100",
            "0",
            "149/100",
            "3",
            "449/100",
            "3"
          ],
          [
            "3",
            "149/100",
            "0",
            "449/100",
            "3",
            "149/100"
          ],
          [
            "149/100",
            "3",
            "449/100",
            "0",
            "149/100",
            "3"
          ],
          [
            "3",
            "449/100",
            "3",
            "149/100",
            "0",
            "149/100"
          ],
          [
            "449/100",
            "3",
            "149/100",
            "3",
            "149/100",
            "0"
          ]
        ],
        "seed_orbits": [
          {
            "role": "external_interface",
            "vertices": [
              1,
              3,
              5
            ]
          },
          {
            "role": "external_interface",
            "vertices": [
              0,
              2,
              4
            ]
          }
        ],
        "supporting_facets": [
          [
            0,
            1,
            2
          ],
          [
            0,
            1,
            3
          ],
          [
            0,
            2,
            4
          ],
          [
            0,
            3,
            4
          ],
          [
            1,
            2,
            5
          ],
          [
            1,
            3,
            5
          ],
          [
            2,
            4,
            5
          ],
          [
            3,
            4,
            5
          ]
        ],
        "external_interfaces": [
          [
            0,
            2,
            4
          ],
          [
            1,
            3,
            5
          ]
        ],
        "retained_attachment_interfaces": [],
        "carrier_facets": [
          [
            0,
            1,
            2
          ],
          [
            1,
            0,
            3
          ],
          [
            3,
            0,
            4
          ],
          [
            2,
            1,
            5
          ],
          [
            4,
            2,
            5
          ],
          [
            3,
            4,
            5
          ]
        ],
        "center": [
          "0",
          "0",
          "0"
        ],
        "center_vertex_id": 6,
        "cone_cells": [
          [
            6,
            0,
            1,
            2
          ],
          [
            6,
            1,
            0,
            3
          ],
          [
            6,
            3,
            0,
            4
          ],
          [
            6,
            2,
            1,
            5
          ],
          [
            6,
            4,
            2,
            5
          ],
          [
            6,
            3,
            4,
            5
          ]
        ],
        "positive_cone_determinants_in_source_coordinates": [
          "21/40",
          "21/40",
          "21/40",
          "21/40",
          "21/40",
          "21/40"
        ],
        "counts": {
          "vertices": 6,
          "supporting_facets": 8,
          "external_interfaces": 2,
          "carrier_facets": 6,
          "cone_cells": 6
        }
      },
      "arrow_reversal_of": "neutron",
      "physical_identification_derived": false,
      "forward_generator_arrow_tables": [
        [
          [
            0,
            2
          ],
          [
            1,
            5
          ],
          [
            2,
            4
          ],
          [
            3,
            1
          ],
          [
            4,
            0
          ],
          [
            5,
            3
          ]
        ]
      ],
      "reversed_generator_arrow_tables": [
        [
          [
            0,
            4
          ],
          [
            1,
            3
          ],
          [
            2,
            0
          ],
          [
            3,
            5
          ],
          [
            4,
            2
          ],
          [
            5,
            1
          ]
        ]
      ]
    },
    {
      "label": "antineutrino candidate",
      "source_path": "research/strominger/inputs/relative-antineutrino-candidate.json",
      "source_sha256": "366063dc306897d083e7180b96bd3e89df1e94ec34c8451bcd1196c2bdc5b87e",
      "effective_source": {
        "metric": [
          [
            8,
            4
          ],
          [
            4,
            8
          ]
        ],
        "generators": [
          {
            "matrix": [
              [
                0,
                1
              ],
              [
                -1,
                -1
              ]
            ],
            "translation": [
              0,
              1
            ]
          }
        ],
        "seeds": [
          {
            "point": [
              0,
              0
            ],
            "role": "carrier"
          }
        ]
      },
      "geometry": {
        "dimension": 2,
        "vertices": [
          [
            "0",
            "0"
          ],
          [
            "0",
            "1"
          ],
          [
            "1",
            "0"
          ]
        ],
        "metric": [
          [
            "8",
            "4"
          ],
          [
            "4",
            "8"
          ]
        ],
        "squared_distances": [
          [
            "0",
            "8",
            "8"
          ],
          [
            "8",
            "0",
            "8"
          ],
          [
            "8",
            "8",
            "0"
          ]
        ],
        "seed_orbits": [
          {
            "role": "carrier",
            "vertices": [
              0,
              1,
              2
            ]
          }
        ],
        "supporting_facets": [
          [
            0,
            1
          ],
          [
            0,
            2
          ],
          [
            1,
            2
          ]
        ],
        "external_interfaces": [],
        "retained_attachment_interfaces": [],
        "carrier_facets": [
          [
            1,
            0
          ],
          [
            0,
            2
          ],
          [
            2,
            1
          ]
        ],
        "center": [
          "1/3",
          "1/3"
        ],
        "center_vertex_id": 3,
        "cone_cells": [
          [
            3,
            1,
            0
          ],
          [
            3,
            0,
            2
          ],
          [
            3,
            2,
            1
          ]
        ],
        "positive_cone_determinants_in_source_coordinates": [
          "1/3",
          "1/3",
          "1/3"
        ],
        "counts": {
          "vertices": 3,
          "supporting_facets": 3,
          "external_interfaces": 0,
          "carrier_facets": 3,
          "cone_cells": 3
        }
      },
      "arrow_reversal_of": "neutrino candidate #1",
      "physical_identification_derived": false,
      "forward_generator_arrow_tables": [
        [
          [
            0,
            2
          ],
          [
            1,
            0
          ],
          [
            2,
            1
          ]
        ]
      ],
      "reversed_generator_arrow_tables": [
        [
          [
            0,
            1
          ],
          [
            1,
            2
          ],
          [
            2,
            0
          ]
        ]
      ]
    }
  ],
  "checks": {
    "proton_metric_and_roles_retained": true,
    "proton_same_generator_count": true,
    "proton_generator_0_affine_inverse": true,
    "proton_generator_0_arrows_reversed": true,
    "proton_generator_1_affine_inverse": true,
    "proton_generator_1_arrows_reversed": true,
    "proton_complete_geometry_unchanged": true,
    "proton_centroid_selection_unchanged": true,
    "neutron_metric_and_roles_retained": true,
    "neutron_same_generator_count": true,
    "neutron_generator_0_affine_inverse": true,
    "neutron_generator_0_arrows_reversed": true,
    "neutron_complete_geometry_unchanged": true,
    "neutron_centroid_selection_unchanged": true,
    "neutrino_metric_and_roles_retained": true,
    "neutrino_same_generator_count": true,
    "neutrino_generator_0_affine_inverse": true,
    "neutrino_generator_0_arrows_reversed": true,
    "neutrino_complete_geometry_unchanged": true,
    "neutrino_centroid_selection_unchanged": true
  },
  "reversal_rule": "invert every supplied affine seed generator separately; preserve labels, metric, seed roles and records",
  "scope": "seed-generator reversal; not reversal of every derived native coefficient arrow",
  "source_hashes": {
    "research/strominger/checkers/check_reversed_matter_seeds.py": "687cd8bb5f78e367682b5c15c3dedd60faf40752e828dcf8cc6f06e3bf308a41",
    "research/strominger/results/neutrino_seed_candidates.json": "2847fcbb537e414c9d46a9f59e27523e4f10a0643a01934996831de5e4810f64",
    "research/voevodsky/checkers/assemble_relative_geometry.py": "5e088a6d19f61f9cc449328c072ac34c3a4c62a3fb1deac88859ec10d8482d2c",
    "research/voevodsky/checkers/check_relative_geometry_mode_selection.py": "395383e44da7e482e674469fa7ab7f1612ad442cf5d56c40df772bac663ff995",
    "research/strominger/inputs/relative-antiproton-candidate.json": "2340e4f336a46f1de9c271d659631f3e444bc507acb9a5e84a1ade5b37a733d9",
    "research/voevodsky/inputs/relative-proton.json": "8a568f797a4832f3e7ddb19efbbca6d1c642711c0dfb816649ba6d35d5ca556b",
    "research/strominger/inputs/relative-antineutron-candidate.json": "b136f83ed7fee3856ae9c7dca032f500b9202c507d55e8ba17bd21334a8de3d2",
    "research/voevodsky/inputs/relative-neutron.json": "0e4ef1f654b2b2a766b94ec75e91f0438a77314121f259a1ba3278be8e137caa",
    "research/strominger/inputs/relative-antineutrino-candidate.json": "366063dc306897d083e7180b96bd3e89df1e94ec34c8451bcd1196c2bdc5b87e"
  }
}