{
  "status": "passed",
  "method": "Output-first inversion and typed source joins; integer homogeneous affine matrices and quarter-component cross-products; output-first E graph enumeration. No primary calculation code imported.",
  "performed_by": "root agent",
  "new_independent_agent_review": false,
  "check_count": 118,
  "checks": [
    "output-first family census",
    "fixed census coverage",
    "integer E J square 0",
    "direct moving pivot defects 0",
    "source target geometry 0",
    "P pivot absent from complete register 0",
    "typed source joins (0, 'SP')",
    "typed source joins (0, 'LXX')",
    "integer quarter-component census 0",
    "static E image obstruction 0",
    "derived529 P equivalence 0",
    "integer E J square 1",
    "direct moving pivot defects 1",
    "source target geometry 1",
    "P pivot absent from complete register 1",
    "typed source joins (1, 'SP')",
    "typed source joins (1, 'LXX')",
    "integer quarter-component census 1",
    "static E image obstruction 1",
    "derived529 P equivalence 1",
    "integer E J square 2",
    "direct moving pivot defects 2",
    "source target geometry 2",
    "P pivot absent from complete register 2",
    "typed source joins (2, 'SP')",
    "typed source joins (2, 'LXX')",
    "integer quarter-component census 2",
    "static E image obstruction 2",
    "derived529 P equivalence 2",
    "integer E J square 3",
    "direct moving pivot defects 3",
    "source target geometry 3",
    "P pivot absent from complete register 3",
    "typed source joins (3, 'SP')",
    "typed source joins (3, 'LXX')",
    "integer quarter-component census 3",
    "static E image obstruction 3",
    "derived529 P equivalence 3",
    "all component successes match",
    "mode residual cross multiplication 0",
    "mode J and inverse membership 0",
    "mode residual cross multiplication 1",
    "mode J and inverse membership 1",
    "mode residual cross multiplication 2",
    "mode J and inverse membership 2",
    "mode residual cross multiplication 3",
    "mode J and inverse membership 3",
    "mode residual cross multiplication 4",
    "mode J and inverse membership 4",
    "mode residual cross multiplication 5",
    "mode J and inverse membership 5",
    "mode residual cross multiplication 6",
    "mode J and inverse membership 6",
    "mode residual cross multiplication 7",
    "mode J and inverse membership 7",
    "mode residual cross multiplication 8",
    "mode J and inverse membership 8",
    "mode residual cross multiplication 9",
    "mode J and inverse membership 9",
    "mode residual cross multiplication 10",
    "mode J and inverse membership 10",
    "mode residual cross multiplication 11",
    "mode J and inverse membership 11",
    "mode residual cross multiplication 12",
    "mode J and inverse membership 12",
    "mode residual cross multiplication 13",
    "mode J and inverse membership 13",
    "mode residual cross multiplication 14",
    "mode J and inverse membership 14",
    "mode residual cross multiplication 15",
    "mode J and inverse membership 15",
    "mode residual cross multiplication 16",
    "mode J and inverse membership 16",
    "mode residual cross multiplication 17",
    "mode J and inverse membership 17",
    "composed integer strip 0",
    "word endpoint versus map (0, ('P', 'P'))",
    "word endpoint versus map (0, ('P', 'J'))",
    "word endpoint versus map (0, ('J', 'P'))",
    "word endpoint versus map (0, ('J', 'J'))",
    "composed integer strip 1",
    "word endpoint versus map (1, ('P', 'P'))",
    "word endpoint versus map (1, ('P', 'J'))",
    "word endpoint versus map (1, ('J', 'P'))",
    "word endpoint versus map (1, ('J', 'J'))",
    "reflected membership (0, 'Noah_center')",
    "reflected membership (0, 'next_Noah_center')",
    "reflected membership (0, 'J_Flood_pivot')",
    "reflected membership (0, 'MT_Noah_input')",
    "reflected membership (0, 'MT_Noah_output')",
    "reflected membership (0, 'Shem_input')",
    "reflected membership (0, 'Shem_output')",
    "reflected membership (0, 'J_Shem_death_pivot')",
    "three absent cumulative counterparts 0",
    "phase cannot rescue missing counterpart 0",
    "reflected membership (1, 'Noah_center')",
    "reflected membership (1, 'next_Noah_center')",
    "reflected membership (1, 'J_Flood_pivot')",
    "reflected membership (1, 'MT_Noah_input')",
    "reflected membership (1, 'MT_Noah_output')",
    "reflected membership (1, 'Shem_input')",
    "reflected membership (1, 'Shem_output')",
    "reflected membership (1, 'J_Shem_death_pivot')",
    "three absent cumulative counterparts 1",
    "phase cannot rescue missing counterpart 1",
    "output-first complete E graph 0",
    "finite E graph path decomposition 0",
    "output-first complete E graph 1",
    "finite E graph path decomposition 1",
    "output-first complete E graph 2",
    "finite E graph path decomposition 2",
    "unit E exact ancestry (2, 'SP')",
    "unit E exact ancestry (2, 'LXX')",
    "output-first complete E graph 3",
    "finite E graph path decomposition 3",
    "unit E exact ancestry (3, 'SP')",
    "unit E exact ancestry (3, 'LXX')",
    "observed E totals and unit edges"
  ],
  "complete_labelled_E_J_squares": 8,
  "complete_coordinate_E_J_squares": 4,
  "component_phase_successes": 8,
  "reflected_cumulative_squares": 0,
  "held_Noah_E_edges": 29,
  "held_Noah_E_maximal_paths": 25,
  "source23_to25_edges": [
    [
      3706,
      3683,
      3681
    ],
    [
      3708,
      3685,
      3683
    ]
  ],
  "C394_executed": false,
  "canonical_or_graph_edits": false
}