RESULTS.json

{
  "step": "C397",
  "status": "passed",
  "assertions_passed": 99,
  "checks": [
    "primitive loop multipliers",
    "sourced three operator arrows 0",
    "individual operators do not commute 0",
    "two same-center loop generators (0, 'lower')",
    "closed word normal form (0, 'lower', ('P',))",
    "closed word normal form (0, 'lower', ('J',))",
    "different circuit counts give different maps (0, 'lower', 1)",
    "closed word normal form (0, 'lower', ('P', 'P'))",
    "closed word normal form (0, 'lower', ('P', 'J'))",
    "closed word normal form (0, 'lower', ('J', 'P'))",
    "same counts give equal circuit (0, 'lower', ('J', 'P'))",
    "closed word normal form (0, 'lower', ('J', 'J'))",
    "different circuit counts give different maps (0, 'lower', 2)",
    "closed word normal form (0, 'lower', ('P', 'P', 'P'))",
    "closed word normal form (0, 'lower', ('P', 'P', 'J'))",
    "closed word normal form (0, 'lower', ('P', 'J', 'P'))",
    "same counts give equal circuit (0, 'lower', ('P', 'J', 'P'))",
    "closed word normal form (0, 'lower', ('P', 'J', 'J'))",
    "closed word normal form (0, 'lower', ('J', 'P', 'P'))",
    "same counts give equal circuit (0, 'lower', ('J', 'P', 'P'))",
    "closed word normal form (0, 'lower', ('J', 'P', 'J'))",
    "same counts give equal circuit (0, 'lower', ('J', 'P', 'J'))",
    "closed word normal form (0, 'lower', ('J', 'J', 'P'))",
    "same counts give equal circuit (0, 'lower', ('J', 'J', 'P'))",
    "closed word normal form (0, 'lower', ('J', 'J', 'J'))",
    "different circuit counts give different maps (0, 'lower', 3)",
    "two same-center loop generators (0, 'upper')",
    "closed word normal form (0, 'upper', ('P',))",
    "closed word normal form (0, 'upper', ('J',))",
    "different circuit counts give different maps (0, 'upper', 1)",
    "closed word normal form (0, 'upper', ('P', 'P'))",
    "closed word normal form (0, 'upper', ('P', 'J'))",
    "closed word normal form (0, 'upper', ('J', 'P'))",
    "same counts give equal circuit (0, 'upper', ('J', 'P'))",
    "closed word normal form (0, 'upper', ('J', 'J'))",
    "different circuit counts give different maps (0, 'upper', 2)",
    "closed word normal form (0, 'upper', ('P', 'P', 'P'))",
    "closed word normal form (0, 'upper', ('P', 'P', 'J'))",
    "closed word normal form (0, 'upper', ('P', 'J', 'P'))",
    "same counts give equal circuit (0, 'upper', ('P', 'J', 'P'))",
    "closed word normal form (0, 'upper', ('P', 'J', 'J'))",
    "closed word normal form (0, 'upper', ('J', 'P', 'P'))",
    "same counts give equal circuit (0, 'upper', ('J', 'P', 'P'))",
    "closed word normal form (0, 'upper', ('J', 'P', 'J'))",
    "same counts give equal circuit (0, 'upper', ('J', 'P', 'J'))",
    "closed word normal form (0, 'upper', ('J', 'J', 'P'))",
    "same counts give equal circuit (0, 'upper', ('J', 'J', 'P'))",
    "closed word normal form (0, 'upper', ('J', 'J', 'J'))",
    "different circuit counts give different maps (0, 'upper', 3)",
    "sourced three operator arrows 1",
    "individual operators do not commute 1",
    "two same-center loop generators (1, 'lower')",
    "closed word normal form (1, 'lower', ('P',))",
    "closed word normal form (1, 'lower', ('J',))",
    "different circuit counts give different maps (1, 'lower', 1)",
    "closed word normal form (1, 'lower', ('P', 'P'))",
    "closed word normal form (1, 'lower', ('P', 'J'))",
    "closed word normal form (1, 'lower', ('J', 'P'))",
    "same counts give equal circuit (1, 'lower', ('J', 'P'))",
    "closed word normal form (1, 'lower', ('J', 'J'))",
    "different circuit counts give different maps (1, 'lower', 2)",
    "closed word normal form (1, 'lower', ('P', 'P', 'P'))",
    "closed word normal form (1, 'lower', ('P', 'P', 'J'))",
    "closed word normal form (1, 'lower', ('P', 'J', 'P'))",
    "same counts give equal circuit (1, 'lower', ('P', 'J', 'P'))",
    "closed word normal form (1, 'lower', ('P', 'J', 'J'))",
    "closed word normal form (1, 'lower', ('J', 'P', 'P'))",
    "same counts give equal circuit (1, 'lower', ('J', 'P', 'P'))",
    "closed word normal form (1, 'lower', ('J', 'P', 'J'))",
    "same counts give equal circuit (1, 'lower', ('J', 'P', 'J'))",
    "closed word normal form (1, 'lower', ('J', 'J', 'P'))",
    "same counts give equal circuit (1, 'lower', ('J', 'J', 'P'))",
    "closed word normal form (1, 'lower', ('J', 'J', 'J'))",
    "different circuit counts give different maps (1, 'lower', 3)",
    "two same-center loop generators (1, 'upper')",
    "closed word normal form (1, 'upper', ('P',))",
    "closed word normal form (1, 'upper', ('J',))",
    "different circuit counts give different maps (1, 'upper', 1)",
    "closed word normal form (1, 'upper', ('P', 'P'))",
    "closed word normal form (1, 'upper', ('P', 'J'))",
    "closed word normal form (1, 'upper', ('J', 'P'))",
    "same counts give equal circuit (1, 'upper', ('J', 'P'))",
    "closed word normal form (1, 'upper', ('J', 'J'))",
    "different circuit counts give different maps (1, 'upper', 2)",
    "closed word normal form (1, 'upper', ('P', 'P', 'P'))",
    "closed word normal form (1, 'upper', ('P', 'P', 'J'))",
    "closed word normal form (1, 'upper', ('P', 'J', 'P'))",
    "same counts give equal circuit (1, 'upper', ('P', 'J', 'P'))",
    "closed word normal form (1, 'upper', ('P', 'J', 'J'))",
    "closed word normal form (1, 'upper', ('J', 'P', 'P'))",
    "same counts give equal circuit (1, 'upper', ('J', 'P', 'P'))",
    "closed word normal form (1, 'upper', ('J', 'P', 'J'))",
    "same counts give equal circuit (1, 'upper', ('J', 'P', 'J'))",
    "closed word normal form (1, 'upper', ('J', 'J', 'P'))",
    "same counts give equal circuit (1, 'upper', ('J', 'J', 'P'))",
    "closed word normal form (1, 'upper', ('J', 'J', 'J'))",
    "different circuit counts give different maps (1, 'upper', 3)",
    "multiplicative independence by7 and13",
    "finite verification inventory"
  ],
  "source_checks_passed": 14,
  "source_checks": [
    "frozen PREVIOUS_CERTIFICATE.json",
    "frozen PREVIOUS_RESULTS.json",
    "frozen PREVIOUS_DATA.json",
    "frozen PREVIOUS_CHECKPOINT.md",
    "frozen PREVIOUS_NEXT_STEP.json",
    "frozen File_18.md",
    "frozen File_09.md",
    "frozen C286_DATA.json",
    "frozen C287_DATA.json",
    "frozen C271_REGISTER.json",
    "predecessor PREVIOUS_RESULTS.json",
    "predecessor PREVIOUS_DATA.json",
    "predecessor PREVIOUS_CHECKPOINT.md",
    "predecessor PREVIOUS_NEXT_STEP.json"
  ],
  "canonical_or_graph_edits": false,
  "check_scope": "Finite source-labelled calculation; counts are verification inventory, not witness counts."
}