{
  "step": "C428",
  "status": "passed",
  "assertions_passed": 160,
  "checks": [
    "paired cross-span equality (2799, 26, 1)",
    "paired cross-span equality (2799, 27, 2)",
    "paired cross-span equality (2799, 28, 3)",
    "paired cross-span equality (2799, 29, 4)",
    "paired cross-span equality (2799, 30, 5)",
    "paired cross-span equality (2799, 31, 6)",
    "paired cross-span equality (2949, 26, 1)",
    "paired cross-span equality (2949, 27, 2)",
    "paired cross-span equality (2949, 28, 3)",
    "paired cross-span equality (2949, 29, 4)",
    "paired cross-span equality (2949, 30, 5)",
    "paired cross-span equality (2949, 31, 6)",
    "paired cross-span equality (2951, 26, 1)",
    "paired cross-span equality (2951, 27, 2)",
    "paired cross-span equality (2951, 28, 3)",
    "paired cross-span equality (2951, 29, 4)",
    "paired cross-span equality (2951, 30, 5)",
    "paired cross-span equality (2951, 31, 6)",
    "paired cross-span equality (2953, 26, 1)",
    "paired cross-span equality (2953, 27, 2)",
    "paired cross-span equality (2953, 28, 3)",
    "paired cross-span equality (2953, 29, 4)",
    "paired cross-span equality (2953, 30, 5)",
    "paired cross-span equality (2953, 31, 6)",
    "paired cross-span equality (2991, 26, 1)",
    "paired cross-span equality (2991, 27, 2)",
    "paired cross-span equality (2991, 28, 3)",
    "paired cross-span equality (2991, 29, 4)",
    "paired cross-span equality (2991, 30, 5)",
    "paired cross-span equality (2991, 31, 6)",
    "paired cross-span equality (2993, 26, 1)",
    "paired cross-span equality (2993, 27, 2)",
    "paired cross-span equality (2993, 28, 3)",
    "paired cross-span equality (2993, 29, 4)",
    "paired cross-span equality (2993, 30, 5)",
    "paired cross-span equality (2993, 31, 6)",
    "paired cross-span equality (3081, 26, 1)",
    "paired cross-span equality (3081, 27, 2)",
    "paired cross-span equality (3081, 28, 3)",
    "paired cross-span equality (3081, 29, 4)",
    "paired cross-span equality (3081, 30, 5)",
    "paired cross-span equality (3081, 31, 6)",
    "paired cross-span equality (3083, 26, 1)",
    "paired cross-span equality (3083, 27, 2)",
    "paired cross-span equality (3083, 28, 3)",
    "paired cross-span equality (3083, 29, 4)",
    "paired cross-span equality (3083, 30, 5)",
    "paired cross-span equality (3083, 31, 6)",
    "paired cross-span equality (3166, 26, 1)",
    "paired cross-span equality (3166, 27, 2)",
    "paired cross-span equality (3166, 28, 3)",
    "paired cross-span equality (3166, 29, 4)",
    "paired cross-span equality (3166, 30, 5)",
    "paired cross-span equality (3166, 31, 6)",
    "paired cross-span equality (3168, 26, 1)",
    "paired cross-span equality (3168, 27, 2)",
    "paired cross-span equality (3168, 28, 3)",
    "paired cross-span equality (3168, 29, 4)",
    "paired cross-span equality (3168, 30, 5)",
    "paired cross-span equality (3168, 31, 6)",
    "paired cross-span equality (3206, 26, 1)",
    "paired cross-span equality (3206, 27, 2)",
    "paired cross-span equality (3206, 28, 3)",
    "paired cross-span equality (3206, 29, 4)",
    "paired cross-span equality (3206, 30, 5)",
    "paired cross-span equality (3206, 31, 6)",
    "paired cross-span equality (3208, 26, 1)",
    "paired cross-span equality (3208, 27, 2)",
    "paired cross-span equality (3208, 28, 3)",
    "paired cross-span equality (3208, 29, 4)",
    "paired cross-span equality (3208, 30, 5)",
    "paired cross-span equality (3208, 31, 6)",
    "paired cross-span equality (3296, 26, 1)",
    "paired cross-span equality (3296, 27, 2)",
    "paired cross-span equality (3296, 28, 3)",
    "paired cross-span equality (3296, 29, 4)",
    "paired cross-span equality (3296, 30, 5)",
    "paired cross-span equality (3296, 31, 6)",
    "paired cross-span equality (3298, 26, 1)",
    "paired cross-span equality (3298, 27, 2)",
    "paired cross-span equality (3298, 28, 3)",
    "paired cross-span equality (3298, 29, 4)",
    "paired cross-span equality (3298, 30, 5)",
    "paired cross-span equality (3298, 31, 6)",
    "paired cross-span equality (3299, 26, 1)",
    "paired cross-span equality (3299, 27, 2)",
    "paired cross-span equality (3299, 28, 3)",
    "paired cross-span equality (3299, 29, 4)",
    "paired cross-span equality (3299, 30, 5)",
    "paired cross-span equality (3299, 31, 6)",
    "paired cross-span equality (3300, 26, 1)",
    "paired cross-span equality (3300, 27, 2)",
    "paired cross-span equality (3300, 28, 3)",
    "paired cross-span equality (3300, 29, 4)",
    "paired cross-span equality (3300, 30, 5)",
    "paired cross-span equality (3300, 31, 6)",
    "paired cross-span equality (3399, 26, 1)",
    "paired cross-span equality (3399, 27, 2)",
    "paired cross-span equality (3399, 28, 3)",
    "paired cross-span equality (3399, 29, 4)",
    "paired cross-span equality (3399, 30, 5)",
    "paired cross-span equality (3399, 31, 6)",
    "paired cross-span equality (3490, 26, 1)",
    "paired cross-span equality (3490, 27, 2)",
    "paired cross-span equality (3490, 28, 3)",
    "paired cross-span equality (3490, 29, 4)",
    "paired cross-span equality (3490, 30, 5)",
    "paired cross-span equality (3490, 31, 6)",
    "paired cross-span equality (3491, 26, 1)",
    "paired cross-span equality (3491, 27, 2)",
    "paired cross-span equality (3491, 28, 3)",
    "paired cross-span equality (3491, 29, 4)",
    "paired cross-span equality (3491, 30, 5)",
    "paired cross-span equality (3491, 31, 6)",
    "paired cross-span equality (3492, 26, 1)",
    "paired cross-span equality (3492, 27, 2)",
    "paired cross-span equality (3492, 28, 3)",
    "paired cross-span equality (3492, 29, 4)",
    "paired cross-span equality (3492, 30, 5)",
    "paired cross-span equality (3492, 31, 6)",
    "paired cross-span equality (3493, 26, 1)",
    "paired cross-span equality (3493, 27, 2)",
    "paired cross-span equality (3493, 28, 3)",
    "paired cross-span equality (3493, 29, 4)",
    "paired cross-span equality (3493, 30, 5)",
    "paired cross-span equality (3493, 31, 6)",
    "paired cross-span equality (3705, 26, 1)",
    "paired cross-span equality (3705, 27, 2)",
    "paired cross-span equality (3705, 28, 3)",
    "existing C287 geometry 3705",
    "paired cross-span equality (3705, 29, 4)",
    "paired cross-span equality (3705, 30, 5)",
    "paired cross-span equality (3705, 31, 6)",
    "paired cross-span equality (3706, 26, 1)",
    "paired cross-span equality (3706, 27, 2)",
    "paired cross-span equality (3706, 28, 3)",
    "paired cross-span equality (3706, 29, 4)",
    "existing C287 geometry 3706",
    "paired cross-span equality (3706, 30, 5)",
    "paired cross-span equality (3706, 31, 6)",
    "paired cross-span equality (3707, 26, 1)",
    "paired cross-span equality (3707, 27, 2)",
    "paired cross-span equality (3707, 28, 3)",
    "paired cross-span equality (3707, 29, 4)",
    "paired cross-span equality (3707, 30, 5)",
    "existing C287 geometry 3707",
    "paired cross-span equality (3707, 31, 6)",
    "paired cross-span equality (3708, 26, 1)",
    "paired cross-span equality (3708, 27, 2)",
    "paired cross-span equality (3708, 28, 3)",
    "paired cross-span equality (3708, 29, 4)",
    "paired cross-span equality (3708, 30, 5)",
    "paired cross-span equality (3708, 31, 6)",
    "existing C287 geometry 3708",
    "paired cross-span equality (3899, 26, 1)",
    "paired cross-span equality (3899, 27, 2)",
    "paired cross-span equality (3899, 28, 3)",
    "paired cross-span equality (3899, 29, 4)",
    "paired cross-span equality (3899, 30, 5)",
    "paired cross-span equality (3899, 31, 6)"
  ],
  "source_checks_passed": 16,
  "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",
    "C414_DATA.json",
    "C426_DATA.json",
    "C365_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
}