{
  "step": "C409",
  "status": "passed",
  "assertions_passed": 112,
  "checks": [
    "original rectangle retained 0",
    "shifted2K and cross-span 0",
    "translated source corners absent cumulatively 0",
    "reflection translation law (0, 0, 'higher_Noah')",
    "reflection translation law (0, 0, 'lower_Noah')",
    "reflection translation law (0, 0, 'held_Noah')",
    "reflection translation law (0, 0, 'J_Flood')",
    "reflection translation law (0, 1, 'higher_Noah')",
    "reflection translation law (0, 1, 'lower_Noah')",
    "reflection translation law (0, 1, 'held_Noah')",
    "reflection translation law (0, 1, 'J_Flood')",
    "reflection translation law (0, 2, 'higher_Noah')",
    "reflection translation law (0, 2, 'lower_Noah')",
    "reflection translation law (0, 2, 'held_Noah')",
    "reflection translation law (0, 2, 'J_Flood')",
    "reflection translation law (0, 2, 'P_pivot_0')",
    "reflection translation law (0, 2, 'P_pivot_1')",
    "reflection translation law (0, 3, 'higher_Noah')",
    "reflection translation law (0, 3, 'lower_Noah')",
    "reflection translation law (0, 3, 'held_Noah')",
    "reflection translation law (0, 3, 'J_Flood')",
    "reflection translation law (0, 4, 'higher_Noah')",
    "reflection translation law (0, 4, 'lower_Noah')",
    "reflection translation law (0, 4, 'held_Noah')",
    "reflection translation law (0, 4, 'J_Flood')",
    "reflection translation law (0, 5, 'higher_Noah')",
    "reflection translation law (0, 5, 'lower_Noah')",
    "reflection translation law (0, 5, 'held_Noah')",
    "reflection translation law (0, 5, 'J_Flood')",
    "reflection translation law (0, 6, 'higher_Noah')",
    "reflection translation law (0, 6, 'lower_Noah')",
    "reflection translation law (0, 6, 'held_Noah')",
    "reflection translation law (0, 6, 'J_Flood')",
    "reflection translation law (0, 7, 'higher_Noah')",
    "reflection translation law (0, 7, 'lower_Noah')",
    "reflection translation law (0, 7, 'held_Noah')",
    "reflection translation law (0, 7, 'J_Flood')",
    "reflection translation law (0, 8, 'higher_Noah')",
    "reflection translation law (0, 8, 'lower_Noah')",
    "reflection translation law (0, 8, 'held_Noah')",
    "reflection translation law (0, 8, 'J_Flood')",
    "reflection translation law (0, 8, 'P_pivot_0')",
    "reflection translation law (0, 8, 'P_pivot_1')",
    "reflection translation law (0, 9, 'higher_Noah')",
    "reflection translation law (0, 9, 'lower_Noah')",
    "reflection translation law (0, 9, 'held_Noah')",
    "reflection translation law (0, 9, 'J_Flood')",
    "reflection translation law (0, 10, 'higher_Noah')",
    "reflection translation law (0, 10, 'lower_Noah')",
    "reflection translation law (0, 10, 'held_Noah')",
    "reflection translation law (0, 10, 'J_Flood')",
    "reflection translation law (0, 11, 'higher_Noah')",
    "reflection translation law (0, 11, 'lower_Noah')",
    "reflection translation law (0, 11, 'held_Noah')",
    "reflection translation law (0, 11, 'J_Flood')",
    "original rectangle retained 1",
    "shifted2K and cross-span 1",
    "translated source corners absent cumulatively 1",
    "reflection translation law (1, 0, 'higher_Noah')",
    "reflection translation law (1, 0, 'lower_Noah')",
    "reflection translation law (1, 0, 'held_Noah')",
    "reflection translation law (1, 0, 'J_Flood')",
    "reflection translation law (1, 1, 'higher_Noah')",
    "reflection translation law (1, 1, 'lower_Noah')",
    "reflection translation law (1, 1, 'held_Noah')",
    "reflection translation law (1, 1, 'J_Flood')",
    "reflection translation law (1, 2, 'higher_Noah')",
    "reflection translation law (1, 2, 'lower_Noah')",
    "reflection translation law (1, 2, 'held_Noah')",
    "reflection translation law (1, 2, 'J_Flood')",
    "reflection translation law (1, 2, 'P_pivot_0')",
    "reflection translation law (1, 2, 'P_pivot_1')",
    "reflection translation law (1, 3, 'higher_Noah')",
    "reflection translation law (1, 3, 'lower_Noah')",
    "reflection translation law (1, 3, 'held_Noah')",
    "reflection translation law (1, 3, 'J_Flood')",
    "reflection translation law (1, 4, 'higher_Noah')",
    "reflection translation law (1, 4, 'lower_Noah')",
    "reflection translation law (1, 4, 'held_Noah')",
    "reflection translation law (1, 4, 'J_Flood')",
    "reflection translation law (1, 5, 'higher_Noah')",
    "reflection translation law (1, 5, 'lower_Noah')",
    "reflection translation law (1, 5, 'held_Noah')",
    "reflection translation law (1, 5, 'J_Flood')",
    "reflection translation law (1, 6, 'higher_Noah')",
    "reflection translation law (1, 6, 'lower_Noah')",
    "reflection translation law (1, 6, 'held_Noah')",
    "reflection translation law (1, 6, 'J_Flood')",
    "reflection translation law (1, 7, 'higher_Noah')",
    "reflection translation law (1, 7, 'lower_Noah')",
    "reflection translation law (1, 7, 'held_Noah')",
    "reflection translation law (1, 7, 'J_Flood')",
    "reflection translation law (1, 8, 'higher_Noah')",
    "reflection translation law (1, 8, 'lower_Noah')",
    "reflection translation law (1, 8, 'held_Noah')",
    "reflection translation law (1, 8, 'J_Flood')",
    "reflection translation law (1, 8, 'P_pivot_0')",
    "reflection translation law (1, 8, 'P_pivot_1')",
    "reflection translation law (1, 9, 'higher_Noah')",
    "reflection translation law (1, 9, 'lower_Noah')",
    "reflection translation law (1, 9, 'held_Noah')",
    "reflection translation law (1, 9, 'J_Flood')",
    "reflection translation law (1, 10, 'higher_Noah')",
    "reflection translation law (1, 10, 'lower_Noah')",
    "reflection translation law (1, 10, 'held_Noah')",
    "reflection translation law (1, 10, 'J_Flood')",
    "reflection translation law (1, 11, 'higher_Noah')",
    "reflection translation law (1, 11, 'lower_Noah')",
    "reflection translation law (1, 11, 'held_Noah')",
    "reflection translation law (1, 11, 'J_Flood')",
    "all reflected loop slots absent",
    "inherited phase reversal cannot supply sources"
  ],
  "source_checks_passed": 20,
  "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 C361_DATA.json",
    "frozen C365_DATA.json",
    "frozen C379_DATA.json",
    "frozen C389_DATA.json",
    "frozen C405_DATA.json",
    "frozen C406_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."
}