{
  "step": "C414",
  "status": "passed",
  "assertions_passed": 110,
  "checks": [
    "width retained (2799, 0)",
    "width retained (2799, 1)",
    "width retained (2799, 2)",
    "first pair domain agrees with C410 2799",
    "width retained (2949, 0)",
    "width retained (2949, 1)",
    "width retained (2949, 2)",
    "first pair domain agrees with C410 2949",
    "width retained (2951, 0)",
    "width retained (2951, 1)",
    "width retained (2951, 2)",
    "first pair domain agrees with C410 2951",
    "width retained (2953, 0)",
    "width retained (2953, 1)",
    "width retained (2953, 2)",
    "first pair domain agrees with C410 2953",
    "width retained (2991, 0)",
    "width retained (2991, 1)",
    "width retained (2991, 2)",
    "first pair domain agrees with C410 2991",
    "width retained (2993, 0)",
    "width retained (2993, 1)",
    "width retained (2993, 2)",
    "first pair domain agrees with C410 2993",
    "width retained (3081, 0)",
    "width retained (3081, 1)",
    "width retained (3081, 2)",
    "first pair domain agrees with C410 3081",
    "width retained (3083, 0)",
    "width retained (3083, 1)",
    "width retained (3083, 2)",
    "first pair domain agrees with C410 3083",
    "width retained (3166, 0)",
    "width retained (3166, 1)",
    "width retained (3166, 2)",
    "first pair domain agrees with C410 3166",
    "width retained (3168, 0)",
    "width retained (3168, 1)",
    "width retained (3168, 2)",
    "first pair domain agrees with C410 3168",
    "width retained (3206, 0)",
    "width retained (3206, 1)",
    "width retained (3206, 2)",
    "first pair domain agrees with C410 3206",
    "width retained (3208, 0)",
    "width retained (3208, 1)",
    "width retained (3208, 2)",
    "first pair domain agrees with C410 3208",
    "width retained (3296, 0)",
    "width retained (3296, 1)",
    "width retained (3296, 2)",
    "first pair domain agrees with C410 3296",
    "width retained (3298, 0)",
    "width retained (3298, 1)",
    "width retained (3298, 2)",
    "first pair domain agrees with C410 3298",
    "width retained (3299, 0)",
    "width retained (3299, 1)",
    "width retained (3299, 2)",
    "first pair domain agrees with C410 3299",
    "width retained (3300, 0)",
    "width retained (3300, 1)",
    "width retained (3300, 2)",
    "first pair domain agrees with C410 3300",
    "width retained (3399, 0)",
    "width retained (3399, 1)",
    "width retained (3399, 2)",
    "first pair domain agrees with C410 3399",
    "width retained (3490, 0)",
    "width retained (3490, 1)",
    "width retained (3490, 2)",
    "first pair domain agrees with C410 3490",
    "width retained (3491, 0)",
    "width retained (3491, 1)",
    "width retained (3491, 2)",
    "first pair domain agrees with C410 3491",
    "width retained (3492, 0)",
    "width retained (3492, 1)",
    "width retained (3492, 2)",
    "first pair domain agrees with C410 3492",
    "width retained (3493, 0)",
    "width retained (3493, 1)",
    "width retained (3493, 2)",
    "first pair domain agrees with C410 3493",
    "width retained (3705, 0)",
    "width retained (3705, 1)",
    "width retained (3705, 2)",
    "first pair domain agrees with C410 3705",
    "width retained (3706, 0)",
    "width retained (3706, 1)",
    "width retained (3706, 2)",
    "first pair domain agrees with C410 3706",
    "width retained (3707, 0)",
    "width retained (3707, 1)",
    "width retained (3707, 2)",
    "first pair domain agrees with C410 3707",
    "width retained (3708, 0)",
    "width retained (3708, 1)",
    "width retained (3708, 2)",
    "first pair domain agrees with C410 3708",
    "width retained (3899, 0)",
    "width retained (3899, 1)",
    "width retained (3899, 2)",
    "first pair domain agrees with C410 3899",
    "fixed cumulative corner drift (3, 0)",
    "fixed cumulative corner drift (3, 1)",
    "fixed cumulative corner drift (3, 2)",
    "fixed cumulative corner drift (5, 0)",
    "fixed cumulative corner drift (5, 1)",
    "fixed cumulative corner drift (5, 2)"
  ],
  "source_checks_passed": 16,
  "source_checks": [
    "frozen PREVIOUS_CERTIFICATE.json",
    "frozen PREVIOUS_RESULTS.json",
    "frozen PREVIOUS_DATA.json",
    "frozen PREVIOUS_CHECKPOINT.md",
    "frozen PREVIOUS_NEXT_STEP.json",
    "frozen File_18.md",
    "frozen File_09.md",
    "frozen C286_DATA.json",
    "frozen C287_DATA.json",
    "frozen C271_REGISTER.json",
    "frozen C410_DATA.json",
    "frozen C409_DATA.json",
    "predecessor PREVIOUS_RESULTS.json",
    "predecessor PREVIOUS_DATA.json",
    "predecessor PREVIOUS_CHECKPOINT.md",
    "predecessor PREVIOUS_NEXT_STEP.json"
  ],
  "canonical_or_graph_edits": false,
  "check_scope": "Finite source-labelled calculation; counts are verification inventory, not witness counts."
}