{
  "step": "C429",
  "status": "passed",
  "assertions_passed": 130,
  "checks": [
    "2K gap scaling (2799, 'E')",
    "2K gap scaling (2799, 'E2')",
    "E2 composition 2799",
    "2K gap scaling (2799, 'P')",
    "2K gap scaling (2799, 'J')",
    "2K gap scaling (2949, 'E')",
    "2K gap scaling (2949, 'E2')",
    "E2 composition 2949",
    "2K gap scaling (2949, 'P')",
    "2K gap scaling (2949, 'J')",
    "2K gap scaling (2951, 'E')",
    "2K gap scaling (2951, 'E2')",
    "E2 composition 2951",
    "2K gap scaling (2951, 'P')",
    "2K gap scaling (2951, 'J')",
    "2K gap scaling (2953, 'E')",
    "2K gap scaling (2953, 'E2')",
    "E2 composition 2953",
    "2K gap scaling (2953, 'P')",
    "2K gap scaling (2953, 'J')",
    "2K gap scaling (2991, 'E')",
    "2K gap scaling (2991, 'E2')",
    "E2 composition 2991",
    "2K gap scaling (2991, 'P')",
    "2K gap scaling (2991, 'J')",
    "2K gap scaling (2993, 'E')",
    "2K gap scaling (2993, 'E2')",
    "E2 composition 2993",
    "2K gap scaling (2993, 'P')",
    "2K gap scaling (2993, 'J')",
    "2K gap scaling (3081, 'E')",
    "2K gap scaling (3081, 'E2')",
    "E2 composition 3081",
    "2K gap scaling (3081, 'P')",
    "2K gap scaling (3081, 'J')",
    "2K gap scaling (3083, 'E')",
    "2K gap scaling (3083, 'E2')",
    "E2 composition 3083",
    "2K gap scaling (3083, 'P')",
    "2K gap scaling (3083, 'J')",
    "2K gap scaling (3166, 'E')",
    "2K gap scaling (3166, 'E2')",
    "E2 composition 3166",
    "2K gap scaling (3166, 'P')",
    "2K gap scaling (3166, 'J')",
    "2K gap scaling (3168, 'E')",
    "2K gap scaling (3168, 'E2')",
    "E2 composition 3168",
    "2K gap scaling (3168, 'P')",
    "2K gap scaling (3168, 'J')",
    "2K gap scaling (3206, 'E')",
    "2K gap scaling (3206, 'E2')",
    "E2 composition 3206",
    "2K gap scaling (3206, 'P')",
    "2K gap scaling (3206, 'J')",
    "2K gap scaling (3208, 'E')",
    "2K gap scaling (3208, 'E2')",
    "E2 composition 3208",
    "2K gap scaling (3208, 'P')",
    "2K gap scaling (3208, 'J')",
    "2K gap scaling (3296, 'E')",
    "2K gap scaling (3296, 'E2')",
    "E2 composition 3296",
    "2K gap scaling (3296, 'P')",
    "2K gap scaling (3296, 'J')",
    "2K gap scaling (3298, 'E')",
    "2K gap scaling (3298, 'E2')",
    "E2 composition 3298",
    "2K gap scaling (3298, 'P')",
    "2K gap scaling (3298, 'J')",
    "2K gap scaling (3299, 'E')",
    "2K gap scaling (3299, 'E2')",
    "E2 composition 3299",
    "2K gap scaling (3299, 'P')",
    "2K gap scaling (3299, 'J')",
    "2K gap scaling (3300, 'E')",
    "2K gap scaling (3300, 'E2')",
    "E2 composition 3300",
    "2K gap scaling (3300, 'P')",
    "2K gap scaling (3300, 'J')",
    "2K gap scaling (3399, 'E')",
    "2K gap scaling (3399, 'E2')",
    "E2 composition 3399",
    "2K gap scaling (3399, 'P')",
    "2K gap scaling (3399, 'J')",
    "2K gap scaling (3490, 'E')",
    "2K gap scaling (3490, 'E2')",
    "E2 composition 3490",
    "2K gap scaling (3490, 'P')",
    "2K gap scaling (3490, 'J')",
    "2K gap scaling (3491, 'E')",
    "2K gap scaling (3491, 'E2')",
    "E2 composition 3491",
    "2K gap scaling (3491, 'P')",
    "2K gap scaling (3491, 'J')",
    "2K gap scaling (3492, 'E')",
    "2K gap scaling (3492, 'E2')",
    "E2 composition 3492",
    "2K gap scaling (3492, 'P')",
    "2K gap scaling (3492, 'J')",
    "2K gap scaling (3493, 'E')",
    "2K gap scaling (3493, 'E2')",
    "E2 composition 3493",
    "2K gap scaling (3493, 'P')",
    "2K gap scaling (3493, 'J')",
    "2K gap scaling (3705, 'E')",
    "2K gap scaling (3705, 'E2')",
    "E2 composition 3705",
    "2K gap scaling (3705, 'P')",
    "2K gap scaling (3705, 'J')",
    "2K gap scaling (3706, 'E')",
    "2K gap scaling (3706, 'E2')",
    "E2 composition 3706",
    "2K gap scaling (3706, 'P')",
    "2K gap scaling (3706, 'J')",
    "2K gap scaling (3707, 'E')",
    "2K gap scaling (3707, 'E2')",
    "E2 composition 3707",
    "2K gap scaling (3707, 'P')",
    "2K gap scaling (3707, 'J')",
    "2K gap scaling (3708, 'E')",
    "2K gap scaling (3708, 'E2')",
    "E2 composition 3708",
    "2K gap scaling (3708, 'P')",
    "2K gap scaling (3708, 'J')",
    "2K gap scaling (3899, 'E')",
    "2K gap scaling (3899, 'E2')",
    "E2 composition 3899",
    "2K gap scaling (3899, 'P')",
    "2K gap scaling (3899, 'J')"
  ],
  "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",
    "C414_DATA.json",
    "C426_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
}