{
  "status": "passed",
  "author": "root agent; separate integer cross-multiplication, affine-coefficient and direct record-join implementation",
  "new_independent_agent_review": false,
  "check_count": 88,
  "checks": [
    "i2/Flood target source",
    "i2/Flood integer ratio",
    "i2/Noah target source",
    "i2/Noah integer ratio",
    "i3/Flood target source",
    "i3/Flood integer ratio",
    "i3/Noah target source",
    "i3/Noah integer ratio",
    "i4/Flood target source",
    "i4/Flood integer ratio",
    "i4/Noah target source",
    "i4/Noah integer ratio",
    "i5/Flood target source",
    "i5/Flood integer ratio",
    "i5/Noah target source",
    "i5/Noah integer ratio",
    "phase controls by integer arithmetic",
    "companion residual numerator",
    "i3 every node in source register",
    "i3/E_N/N unique",
    "i3/E_N/R unique",
    "i3/E_N/H unique",
    "i3/E_N/M unique",
    "i3/E_N exact relation agreement",
    "i3/E_N_inverse/N unique",
    "i3/E_N_inverse/H unique",
    "i3/E_N_inverse/F unique",
    "i3/E_N_inverse/S unique",
    "i3/E_N_inverse exact relation agreement",
    "i3/J_R/R unique",
    "i3/J_R/M unique",
    "i3/J_R exact relation agreement",
    "i3/J_R_inverse/R unique",
    "i3/J_R_inverse/U unique",
    "i3/J_R_inverse exact relation agreement",
    "i3/J_M/R unique",
    "i3/J_M/M unique",
    "i3/J_M exact relation agreement",
    "i3/J_M_inverse/M unique",
    "i3/J_M_inverse/V unique",
    "i3/J_M_inverse exact relation agreement",
    "i3/E_N/J_R integer commutator",
    "i3/E_N/J_R bounded source composition",
    "i3/E_N/J_M integer commutator",
    "i3/E_N/J_M bounded source composition",
    "i3/J_R/J_M integer commutator",
    "i3/J_R/J_M bounded source composition",
    "i3600 tradeoff algebra",
    "i5 every node in source register",
    "i5/E_N/N unique",
    "i5/E_N/R unique",
    "i5/E_N/H unique",
    "i5/E_N/M unique",
    "i5/E_N exact relation agreement",
    "i5/E_N_inverse/N unique",
    "i5/E_N_inverse/H unique",
    "i5/E_N_inverse/F unique",
    "i5/E_N_inverse/S unique",
    "i5/E_N_inverse exact relation agreement",
    "i5/J_R/R unique",
    "i5/J_R/M unique",
    "i5/J_R exact relation agreement",
    "i5/J_R_inverse/R unique",
    "i5/J_R_inverse/U unique",
    "i5/J_R_inverse exact relation agreement",
    "i5/J_M/R unique",
    "i5/J_M/M unique",
    "i5/J_M exact relation agreement",
    "i5/J_M_inverse/M unique",
    "i5/J_M_inverse/V unique",
    "i5/J_M_inverse exact relation agreement",
    "i5/E_N/J_R integer commutator",
    "i5/E_N/J_R bounded source composition",
    "i5/E_N/J_M integer commutator",
    "i5/E_N/J_M bounded source composition",
    "i5/J_R/J_M integer commutator",
    "i5/J_R/J_M bounded source composition",
    "i5600 tradeoff algebra",
    "i2 originalOFFinterior",
    "i2 two cumulative repairs",
    "i3 originalOFFinterior",
    "i3 two cumulative repairs",
    "i4 originalOFFinterior",
    "i4 two cumulative repairs",
    "i5 originalOFFinterior",
    "i5 two cumulative repairs",
    "paired input selector",
    "nine600 output controls"
  ],
  "phase_controls": 64,
  "phase_successes": 8,
  "paired598_survivors": [
    {
      "a": 2,
      "b": 2,
      "i": 5
    },
    {
      "a": 2,
      "b": 2,
      "i": 3
    }
  ],
  "both600_output_survivors": [
    {
      "a": 0,
      "b": 0,
      "i": 7
    },
    {
      "a": 0,
      "b": 0,
      "i": 5
    },
    {
      "a": 0,
      "b": 0,
      "i": 3
    },
    {
      "a": 0,
      "b": 2,
      "i": 5
    },
    {
      "a": 0,
      "b": 2,
      "i": 3
    },
    {
      "a": 2,
      "b": 0,
      "i": 5
    },
    {
      "a": 2,
      "b": 0,
      "i": 3
    },
    {
      "a": 2,
      "b": 2,
      "i": 5
    },
    {
      "a": 2,
      "b": 2,
      "i": 3
    }
  ]
}