RESULTS.json

{
  "step": "C473",
  "status": "passed",
  "assertions_passed": 72,
  "checks": [
    "triplet_(1, 0, 0, 0)",
    "typed500_SP_(1, 0, 0, 0)",
    "typed500_LXX_(1, 0, 0, 0)",
    "triplet_(1, 0, 0, 1)",
    "typed500_SP_(1, 0, 0, 1)",
    "typed500_LXX_(1, 0, 0, 1)",
    "triplet_(1, 0, 1, 0)",
    "typed500_SP_(1, 0, 1, 0)",
    "typed500_LXX_(1, 0, 1, 0)",
    "triplet_(1, 0, 1, 1)",
    "typed500_SP_(1, 0, 1, 1)",
    "typed500_LXX_(1, 0, 1, 1)",
    "triplet_(1, 1, 0, 0)",
    "typed500_SP_(1, 1, 0, 0)",
    "typed500_LXX_(1, 1, 0, 0)",
    "triplet_(1, 1, 0, 1)",
    "typed500_SP_(1, 1, 0, 1)",
    "typed500_LXX_(1, 1, 0, 1)",
    "triplet_(1, 1, 1, 0)",
    "typed500_SP_(1, 1, 1, 0)",
    "typed500_LXX_(1, 1, 1, 0)",
    "triplet_(1, 1, 1, 1)",
    "typed500_SP_(1, 1, 1, 1)",
    "typed500_LXX_(1, 1, 1, 1)",
    "triplet_(2, 0, 0, 0)",
    "typed500_SP_(2, 0, 0, 0)",
    "typed500_LXX_(2, 0, 0, 0)",
    "triplet_(2, 0, 0, 1)",
    "typed500_SP_(2, 0, 0, 1)",
    "typed500_LXX_(2, 0, 0, 1)",
    "triplet_(2, 0, 1, 0)",
    "typed500_SP_(2, 0, 1, 0)",
    "typed500_LXX_(2, 0, 1, 0)",
    "triplet_(2, 0, 1, 1)",
    "typed500_SP_(2, 0, 1, 1)",
    "typed500_LXX_(2, 0, 1, 1)",
    "triplet_(2, 1, 0, 0)",
    "typed500_SP_(2, 1, 0, 0)",
    "typed500_LXX_(2, 1, 0, 0)",
    "triplet_(2, 1, 0, 1)",
    "typed500_SP_(2, 1, 0, 1)",
    "typed500_LXX_(2, 1, 0, 1)",
    "triplet_(2, 1, 1, 0)",
    "typed500_SP_(2, 1, 1, 0)",
    "typed500_LXX_(2, 1, 1, 0)",
    "triplet_(2, 1, 1, 1)",
    "typed500_SP_(2, 1, 1, 1)",
    "typed500_LXX_(2, 1, 1, 1)",
    "triplet_(3, 0, 0, 0)",
    "typed500_SP_(3, 0, 0, 0)",
    "typed500_LXX_(3, 0, 0, 0)",
    "triplet_(3, 0, 0, 1)",
    "typed500_SP_(3, 0, 0, 1)",
    "typed500_LXX_(3, 0, 0, 1)",
    "triplet_(3, 0, 1, 0)",
    "typed500_SP_(3, 0, 1, 0)",
    "typed500_LXX_(3, 0, 1, 0)",
    "triplet_(3, 0, 1, 1)",
    "typed500_SP_(3, 0, 1, 1)",
    "typed500_LXX_(3, 0, 1, 1)",
    "triplet_(3, 1, 0, 0)",
    "typed500_SP_(3, 1, 0, 0)",
    "typed500_LXX_(3, 1, 0, 0)",
    "triplet_(3, 1, 0, 1)",
    "typed500_SP_(3, 1, 0, 1)",
    "typed500_LXX_(3, 1, 0, 1)",
    "triplet_(3, 1, 1, 0)",
    "typed500_SP_(3, 1, 1, 0)",
    "typed500_LXX_(3, 1, 1, 0)",
    "triplet_(3, 1, 1, 1)",
    "typed500_SP_(3, 1, 1, 1)",
    "typed500_LXX_(3, 1, 1, 1)"
  ],
  "source_checks_passed": 22,
  "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",
    "C469_DATA.json",
    "C469_CERTIFICATE.json",
    "C469_CHECKPOINT.md",
    "C450_DATA.json",
    "C450_CERTIFICATE.json",
    "C470_DATA.json",
    "predecessor PREVIOUS_DATA.json",
    "predecessor PREVIOUS_RESULTS.json",
    "predecessor PREVIOUS_CHECKPOINT.md",
    "predecessor PREVIOUS_NEXT_STEP.json",
    "C469 data certificate",
    "C450 primitive E data certificate"
  ],
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": false
}