{
  "step": "C430",
  "status": "passed",
  "assertions_passed": 54,
  "checks": [
    "MT target and exact E (82, 248, 170)",
    "typed family rule (82, 248, 170)",
    "MT target and exact E (130, 248, 170)",
    "typed family rule (130, 248, 170)",
    "MT target and exact E (66, 344, 266)",
    "typed family rule (66, 344, 266)",
    "MT target and exact E (114, 344, 266)",
    "typed family rule (114, 344, 266)",
    "MT target and exact E (86, 252, 174)",
    "typed family rule (86, 252, 174)",
    "MT target and exact E (134, 252, 174)",
    "typed family rule (134, 252, 174)",
    "MT target and exact E (70, 348, 270)",
    "typed family rule (70, 348, 270)",
    "MT target and exact E (118, 348, 270)",
    "typed family rule (118, 348, 270)",
    "MT target and exact E (83, 249, 171)",
    "typed family rule (83, 249, 171)",
    "MT target and exact E (131, 249, 171)",
    "typed family rule (131, 249, 171)",
    "MT target and exact E (67, 345, 267)",
    "typed family rule (67, 345, 267)",
    "MT target and exact E (115, 345, 267)",
    "typed family rule (115, 345, 267)",
    "MT target and exact E (87, 253, 175)",
    "typed family rule (87, 253, 175)",
    "MT target and exact E (135, 253, 175)",
    "typed family rule (135, 253, 175)",
    "MT target and exact E (71, 40, 271)",
    "typed family rule (71, 40, 271)",
    "MT target and exact E (71, 349, 271)",
    "typed family rule (71, 349, 271)",
    "MT target and exact E (119, 40, 271)",
    "typed family rule (119, 40, 271)",
    "MT target and exact E (119, 349, 271)",
    "typed family rule (119, 349, 271)",
    "MT target and exact E (55, 24, 367)",
    "typed family rule (55, 24, 367)",
    "MT target and exact E (103, 24, 367)",
    "typed family rule (103, 24, 367)",
    "formal family geometry (0, 0, 1)",
    "formal family geometry (0, 0, 2)",
    "formal family geometry (0, 0, 3)",
    "formal family geometry (0, 1, 1)",
    "formal family geometry (0, 1, 2)",
    "formal family geometry (0, 1, 3)",
    "formal family geometry (1, 0, 1)",
    "formal family geometry (1, 0, 2)",
    "formal family geometry (1, 0, 3)",
    "formal family geometry (1, 1, 1)",
    "formal family geometry (1, 1, 2)",
    "formal family geometry (1, 1, 3)",
    "whole-map +2 correspondence 1",
    "whole-map +2 correspondence 2"
  ],
  "source_checks_passed": 15,
  "source_checks": [
    "PREVIOUS_CERTIFICATE.json",
    "PREVIOUS_DATA.json",
    "PREVIOUS_RESULTS.json",
    "PREVIOUS_CHECKPOINT.md",
    "PREVIOUS_NEXT_STEP.json",
    "File_18.md",
    "File_09.md",
    "C286_DATA.json",
    "C287_DATA.json",
    "C426_DATA.json",
    "C427_DATA.json",
    "predecessor PREVIOUS_DATA.json",
    "predecessor PREVIOUS_RESULTS.json",
    "predecessor PREVIOUS_CHECKPOINT.md",
    "predecessor PREVIOUS_NEXT_STEP.json"
  ],
  "canonical_or_graph_edits": false,
  "new_independent_agent_review": false
}