{
  "schema": "marici.strominger.positron-reversed-electron-seed.v1",
  "status": "passed",
  "scientific_disposition": "reversed electron geometric candidate added; no charge-conjugation identification",
  "electron_seed_cycle": [
    "A",
    "B",
    "C",
    "D",
    "E",
    "A"
  ],
  "positron_seed_cycle": [
    "A",
    "E",
    "D",
    "C",
    "B",
    "A"
  ],
  "label_coordinates": {
    "A": [
      "0",
      "0",
      "0",
      "0"
    ],
    "B": [
      "1",
      "0",
      "0",
      "0"
    ],
    "C": [
      "0",
      "1",
      "0",
      "0"
    ],
    "D": [
      "0",
      "0",
      "1",
      "0"
    ],
    "E": [
      "0",
      "0",
      "0",
      "1"
    ]
  },
  "checks": {
    "same_metric_and_seed_roles": true,
    "affine_inverse_both_orders": true,
    "reverse_equals_four_forward_steps": true,
    "both_order_five": true,
    "each_primitive_arrow_reversed": true,
    "same_complete_geometry": true,
    "same_attachment_interface": true,
    "same_centroid_selector_output": true,
    "fifth_root_exact_return": true,
    "forward_characters_derived": true,
    "reverse_characters_are_inverse": true,
    "reversal_changes_nontrivial_characters": true
  },
  "geometry": {
    "dimension": 4,
    "vertices": [
      [
        "0",
        "0",
        "0",
        "0"
      ],
      [
        "0",
        "0",
        "0",
        "1"
      ],
      [
        "0",
        "0",
        "1",
        "0"
      ],
      [
        "0",
        "1",
        "0",
        "0"
      ],
      [
        "1",
        "0",
        "0",
        "0"
      ]
    ],
    "metric": [
      [
        "8",
        "4",
        "4",
        "4"
      ],
      [
        "4",
        "8",
        "4",
        "4"
      ],
      [
        "4",
        "4",
        "8",
        "4"
      ],
      [
        "4",
        "4",
        "4",
        "8"
      ]
    ],
    "squared_distances": [
      [
        "0",
        "8",
        "8",
        "8",
        "8"
      ],
      [
        "8",
        "0",
        "8",
        "8",
        "8"
      ],
      [
        "8",
        "8",
        "0",
        "8",
        "8"
      ],
      [
        "8",
        "8",
        "8",
        "0",
        "8"
      ],
      [
        "8",
        "8",
        "8",
        "8",
        "0"
      ]
    ],
    "seed_orbits": [
      {
        "role": "attachment_pole",
        "vertices": [
          0,
          1,
          2,
          3,
          4
        ]
      }
    ],
    "supporting_facets": [
      [
        0,
        1,
        2,
        3
      ],
      [
        0,
        1,
        2,
        4
      ],
      [
        0,
        1,
        3,
        4
      ],
      [
        0,
        2,
        3,
        4
      ],
      [
        1,
        2,
        3,
        4
      ]
    ],
    "external_interfaces": [],
    "retained_attachment_interfaces": [
      [
        1,
        2,
        3,
        4
      ]
    ],
    "carrier_facets": [
      [
        0,
        1,
        2,
        3
      ],
      [
        1,
        0,
        2,
        4
      ],
      [
        0,
        1,
        3,
        4
      ],
      [
        2,
        0,
        3,
        4
      ],
      [
        1,
        2,
        3,
        4
      ]
    ],
    "center": [
      "1/5",
      "1/5",
      "1/5",
      "1/5"
    ],
    "center_vertex_id": 5,
    "cone_cells": [
      [
        5,
        0,
        1,
        2,
        3
      ],
      [
        5,
        1,
        0,
        2,
        4
      ],
      [
        5,
        0,
        1,
        3,
        4
      ],
      [
        5,
        2,
        0,
        3,
        4
      ],
      [
        5,
        1,
        2,
        3,
        4
      ]
    ],
    "positive_cone_determinants_in_source_coordinates": [
      "1/5",
      "1/5",
      "1/5",
      "1/5",
      "1/5"
    ],
    "counts": {
      "vertices": 5,
      "supporting_facets": 5,
      "external_interfaces": 0,
      "carrier_facets": 5,
      "cone_cells": 5
    }
  },
  "mode_analysis": {
    "forward": "C5(a0,a1,a2,a3,a4)=(a1,a2,a3,a4,a0)",
    "reverse": "C5^-1=C5^4",
    "character_permutation": [
      0,
      4,
      3,
      2,
      1
    ],
    "forward_eigenvalues": "zeta^k",
    "reverse_eigenvalues": "zeta^-k",
    "selected_character": null,
    "scope": "derived five-corner cyclic modes, not the existing full native spinor coefficient protocol"
  },
  "collection": [
    {
      "label": "proton",
      "source_path": "research/voevodsky/inputs/relative-proton.json",
      "source_sha256": "8a568f797a4832f3e7ddb19efbbca6d1c642711c0dfb816649ba6d35d5ca556b",
      "effective_source": {
        "metric": [
          [
            8,
            4,
            4
          ],
          [
            4,
            8,
            4
          ],
          [
            4,
            4,
            8
          ]
        ],
        "generators": [
          {
            "matrix": [
              [
                -1,
                -1,
                -1
              ],
              [
                1,
                0,
                0
              ],
              [
                0,
                0,
                1
              ]
            ],
            "translation": [
              1,
              0,
              0
            ]
          },
          {
            "matrix": [
              [
                0,
                0,
                1
              ],
              [
                0,
                1,
                0
              ],
              [
                -1,
                -1,
                -1
              ]
            ],
            "translation": [
              0,
              0,
              1
            ]
          }
        ],
        "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
        }
      },
      "physical_identification_derived": false,
      "arrow_reversal_of": null
    },
    {
      "label": "neutron",
      "source_path": "research/voevodsky/inputs/relative-neutron.json",
      "source_sha256": "0e4ef1f654b2b2a766b94ec75e91f0438a77314121f259a1ba3278be8e137caa",
      "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
        }
      },
      "physical_identification_derived": false,
      "arrow_reversal_of": null
    },
    {
      "label": "electron",
      "source_path": "research/voevodsky/inputs/relative-electron.json",
      "source_sha256": "2d6c395141a7f0a52d36022bec45ce7955576142dd532163ce226afc4596de8f",
      "effective_source": {
        "metric": [
          [
            8,
            4,
            4,
            4
          ],
          [
            4,
            8,
            4,
            4
          ],
          [
            4,
            4,
            8,
            4
          ],
          [
            4,
            4,
            4,
            8
          ]
        ],
        "generators": [
          {
            "matrix": [
              [
                -1,
                -1,
                -1,
                -1
              ],
              [
                1,
                0,
                0,
                0
              ],
              [
                0,
                1,
                0,
                0
              ],
              [
                0,
                0,
                1,
                0
              ]
            ],
            "translation": [
              1,
              0,
              0,
              0
            ]
          }
        ],
        "seeds": [
          {
            "point": [
              0,
              0,
              0,
              0
            ],
            "role": "attachment_pole"
          }
        ]
      },
      "geometry": {
        "dimension": 4,
        "vertices": [
          [
            "0",
            "0",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "0",
            "1"
          ],
          [
            "0",
            "0",
            "1",
            "0"
          ],
          [
            "0",
            "1",
            "0",
            "0"
          ],
          [
            "1",
            "0",
            "0",
            "0"
          ]
        ],
        "metric": [
          [
            "8",
            "4",
            "4",
            "4"
          ],
          [
            "4",
            "8",
            "4",
            "4"
          ],
          [
            "4",
            "4",
            "8",
            "4"
          ],
          [
            "4",
            "4",
            "4",
            "8"
          ]
        ],
        "squared_distances": [
          [
            "0",
            "8",
            "8",
            "8",
            "8"
          ],
          [
            "8",
            "0",
            "8",
            "8",
            "8"
          ],
          [
            "8",
            "8",
            "0",
            "8",
            "8"
          ],
          [
            "8",
            "8",
            "8",
            "0",
            "8"
          ],
          [
            "8",
            "8",
            "8",
            "8",
            "0"
          ]
        ],
        "seed_orbits": [
          {
            "role": "attachment_pole",
            "vertices": [
              0,
              1,
              2,
              3,
              4
            ]
          }
        ],
        "supporting_facets": [
          [
            0,
            1,
            2,
            3
          ],
          [
            0,
            1,
            2,
            4
          ],
          [
            0,
            1,
            3,
            4
          ],
          [
            0,
            2,
            3,
            4
          ],
          [
            1,
            2,
            3,
            4
          ]
        ],
        "external_interfaces": [],
        "retained_attachment_interfaces": [
          [
            1,
            2,
            3,
            4
          ]
        ],
        "carrier_facets": [
          [
            0,
            1,
            2,
            3
          ],
          [
            1,
            0,
            2,
            4
          ],
          [
            0,
            1,
            3,
            4
          ],
          [
            2,
            0,
            3,
            4
          ],
          [
            1,
            2,
            3,
            4
          ]
        ],
        "center": [
          "1/5",
          "1/5",
          "1/5",
          "1/5"
        ],
        "center_vertex_id": 5,
        "cone_cells": [
          [
            5,
            0,
            1,
            2,
            3
          ],
          [
            5,
            1,
            0,
            2,
            4
          ],
          [
            5,
            0,
            1,
            3,
            4
          ],
          [
            5,
            2,
            0,
            3,
            4
          ],
          [
            5,
            1,
            2,
            3,
            4
          ]
        ],
        "positive_cone_determinants_in_source_coordinates": [
          "1/5",
          "1/5",
          "1/5",
          "1/5",
          "1/5"
        ],
        "counts": {
          "vertices": 5,
          "supporting_facets": 5,
          "external_interfaces": 0,
          "carrier_facets": 5,
          "cone_cells": 5
        }
      },
      "physical_identification_derived": false,
      "arrow_reversal_of": null
    },
    {
      "label": "neutrino candidate #1",
      "source_path": "research/strominger/inputs/relative-neutrino-candidate.json",
      "source_sha256": "689cde8fca712f9099d027bc687db7393a5707be9fdcdf845e745542e987a525",
      "effective_source": {
        "metric": [
          [
            8,
            4
          ],
          [
            4,
            8
          ]
        ],
        "generators": [
          {
            "matrix": [
              [
                -1,
                -1
              ],
              [
                1,
                0
              ]
            ],
            "translation": [
              1,
              0
            ]
          }
        ],
        "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
        }
      },
      "physical_identification_derived": false,
      "arrow_reversal_of": null
    },
    {
      "label": "positron candidate",
      "source_path": "research/strominger/inputs/relative-positron-candidate.json",
      "source_sha256": "2b2de6b3d1c0502fb4a4bfa6d34761f3bcd533875cb7ee85013527066edb5c9c",
      "effective_source": {
        "metric": [
          [
            8,
            4,
            4,
            4
          ],
          [
            4,
            8,
            4,
            4
          ],
          [
            4,
            4,
            8,
            4
          ],
          [
            4,
            4,
            4,
            8
          ]
        ],
        "generators": [
          {
            "matrix": [
              [
                0,
                1,
                0,
                0
              ],
              [
                0,
                0,
                1,
                0
              ],
              [
                0,
                0,
                0,
                1
              ],
              [
                -1,
                -1,
                -1,
                -1
              ]
            ],
            "translation": [
              0,
              0,
              0,
              1
            ]
          }
        ],
        "seeds": [
          {
            "point": [
              0,
              0,
              0,
              0
            ],
            "role": "attachment_pole"
          }
        ]
      },
      "geometry": {
        "dimension": 4,
        "vertices": [
          [
            "0",
            "0",
            "0",
            "0"
          ],
          [
            "0",
            "0",
            "0",
            "1"
          ],
          [
            "0",
            "0",
            "1",
            "0"
          ],
          [
            "0",
            "1",
            "0",
            "0"
          ],
          [
            "1",
            "0",
            "0",
            "0"
          ]
        ],
        "metric": [
          [
            "8",
            "4",
            "4",
            "4"
          ],
          [
            "4",
            "8",
            "4",
            "4"
          ],
          [
            "4",
            "4",
            "8",
            "4"
          ],
          [
            "4",
            "4",
            "4",
            "8"
          ]
        ],
        "squared_distances": [
          [
            "0",
            "8",
            "8",
            "8",
            "8"
          ],
          [
            "8",
            "0",
            "8",
            "8",
            "8"
          ],
          [
            "8",
            "8",
            "0",
            "8",
            "8"
          ],
          [
            "8",
            "8",
            "8",
            "0",
            "8"
          ],
          [
            "8",
            "8",
            "8",
            "8",
            "0"
          ]
        ],
        "seed_orbits": [
          {
            "role": "attachment_pole",
            "vertices": [
              0,
              1,
              2,
              3,
              4
            ]
          }
        ],
        "supporting_facets": [
          [
            0,
            1,
            2,
            3
          ],
          [
            0,
            1,
            2,
            4
          ],
          [
            0,
            1,
            3,
            4
          ],
          [
            0,
            2,
            3,
            4
          ],
          [
            1,
            2,
            3,
            4
          ]
        ],
        "external_interfaces": [],
        "retained_attachment_interfaces": [
          [
            1,
            2,
            3,
            4
          ]
        ],
        "carrier_facets": [
          [
            0,
            1,
            2,
            3
          ],
          [
            1,
            0,
            2,
            4
          ],
          [
            0,
            1,
            3,
            4
          ],
          [
            2,
            0,
            3,
            4
          ],
          [
            1,
            2,
            3,
            4
          ]
        ],
        "center": [
          "1/5",
          "1/5",
          "1/5",
          "1/5"
        ],
        "center_vertex_id": 5,
        "cone_cells": [
          [
            5,
            0,
            1,
            2,
            3
          ],
          [
            5,
            1,
            0,
            2,
            4
          ],
          [
            5,
            0,
            1,
            3,
            4
          ],
          [
            5,
            2,
            0,
            3,
            4
          ],
          [
            5,
            1,
            2,
            3,
            4
          ]
        ],
        "positive_cone_determinants_in_source_coordinates": [
          "1/5",
          "1/5",
          "1/5",
          "1/5",
          "1/5"
        ],
        "counts": {
          "vertices": 5,
          "supporting_facets": 5,
          "external_interfaces": 0,
          "carrier_facets": 5,
          "cone_cells": 5
        }
      },
      "physical_identification_derived": false,
      "arrow_reversal_of": "electron"
    }
  ],
  "not_derived": [
    "opposite electric charge",
    "physical charge conjugation",
    "reversal of every native coefficient arrow",
    "fermionic statistics",
    "annihilation or beta-decay vertex"
  ],
  "claim_boundary": "Inverting the supplied affine seed generator reverses its five primitive seed arrows and preserves the full relative assembly. Seed reversal is not yet charge conjugation or a reversal of the full coefficient protocol.",
  "source_hashes": {
    "research/strominger/checkers/check_positron_reversed_seed.py": "a55f7bd2f737594def06263cacab4c9402bfdbdd5dd2f49558b4f9da648fdb21",
    "research/voevodsky/inputs/relative-electron.json": "2d6c395141a7f0a52d36022bec45ce7955576142dd532163ce226afc4596de8f",
    "research/strominger/inputs/relative-positron-candidate.json": "2b2de6b3d1c0502fb4a4bfa6d34761f3bcd533875cb7ee85013527066edb5c9c",
    "research/voevodsky/checkers/assemble_relative_geometry.py": "5e088a6d19f61f9cc449328c072ac34c3a4c62a3fb1deac88859ec10d8482d2c",
    "research/voevodsky/checkers/check_relative_geometry_mode_selection.py": "395383e44da7e482e674469fa7ab7f1612ad442cf5d56c40df772bac663ff995"
  }
}