RESULTS.json

{
  "step": "C441",
  "status": "passed",
  "assertions_passed": 18,
  "checks": [
    "six disjoint labelled classes",
    "Flood boundary rule complete at3188",
    "Noah Flood rule complete at3188",
    "MT Noah Gear rule complete at3188",
    "Flood boundary rule complete at3248",
    "Noah Flood rule complete at3248",
    "MT Noah Gear rule complete at3248",
    "Flood boundary rule complete at3190",
    "Noah Flood rule complete at3190",
    "MT Noah Gear rule complete at3190",
    "Flood boundary rule complete at3250",
    "Noah Flood rule complete at3250",
    "MT Noah Gear rule complete at3250",
    "Flood sum base",
    "Noah companion and Flood-close600",
    "Noah-death Flood-close alias uses349",
    "112 class memberships reduce to106 distinct orbits",
    "source labelled partition is exhaustive"
  ],
  "source_checks_passed": 20,
  "source_checks": [
    "PREVIOUS_CERTIFICATE.json",
    "PREVIOUS_DATA.json",
    "PREVIOUS_RESULTS.json",
    "PREVIOUS_CHECKPOINT.md",
    "PREVIOUS_NEXT_STEP.json",
    "File_18.md",
    "File_09.md",
    "File_02.md",
    "File_46.md",
    "C286_DATA.json",
    "C434_DATA.json",
    "C434_CERTIFICATE.json",
    "C434_CHECKPOINT.md",
    "C438_DATA.json",
    "C439_DATA.json",
    "predecessor PREVIOUS_DATA.json",
    "predecessor PREVIOUS_RESULTS.json",
    "predecessor PREVIOUS_CHECKPOINT.md",
    "predecessor PREVIOUS_NEXT_STEP.json",
    "C434 data certificate"
  ],
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": false
}