RESULTS.json

{
  "step": "C402",
  "status": "passed",
  "assertions_passed": 84,
  "checks": [
    "source excerpt available MT_NOAH",
    "source excerpt available J_GAP",
    "source excerpt available VARIANTS",
    "source excerpt available LXX_REMOVAL",
    "source excerpt available NOAH_BASES",
    "source excerpt available FLOOD",
    "source excerpt available SP_FIELD",
    "source excerpt available E_P",
    "source excerpt available E_SQUARED",
    "source excerpt available GEARS",
    "source Noah bases parsed",
    "source Noah baselines",
    "three sourced Flood boundaries MT",
    "three sourced Flood boundaries SP",
    "three sourced Flood boundaries LXX",
    "source variant and operator statements",
    "source Gear offsets available",
    "reconstruct source record (0, 'higher_Noah')",
    "reconstruct source record (0, 'lower_Noah')",
    "reconstruct source record (0, 'held_Noah')",
    "reconstruct source record (0, 'J_Flood')",
    "explicit contextual displacement 0",
    "reconstruct source record (1, 'higher_Noah')",
    "reconstruct source record (1, 'lower_Noah')",
    "reconstruct source record (1, 'held_Noah')",
    "reconstruct source record (1, 'J_Flood')",
    "explicit contextual displacement 1",
    "reconstruct source record (2, 'higher_Noah')",
    "reconstruct source record (2, 'lower_Noah')",
    "reconstruct source record (2, 'held_Noah')",
    "reconstruct source record (2, 'J_Flood')",
    "reconstruct source record (2, 'P_pivot_0')",
    "reconstruct source record (2, 'P_pivot_1')",
    "explicit contextual displacement 2",
    "reconstruct source record (3, 'higher_Noah')",
    "reconstruct source record (3, 'lower_Noah')",
    "reconstruct source record (3, 'held_Noah')",
    "reconstruct source record (3, 'J_Flood')",
    "explicit contextual displacement 3",
    "companion return boundary is independent 3",
    "reconstruct source record (4, 'higher_Noah')",
    "reconstruct source record (4, 'lower_Noah')",
    "reconstruct source record (4, 'held_Noah')",
    "reconstruct source record (4, 'J_Flood')",
    "explicit contextual displacement 4",
    "reconstruct source record (5, 'higher_Noah')",
    "reconstruct source record (5, 'lower_Noah')",
    "reconstruct source record (5, 'held_Noah')",
    "reconstruct source record (5, 'J_Flood')",
    "explicit contextual displacement 5",
    "reconstruct source record (6, 'higher_Noah')",
    "reconstruct source record (6, 'lower_Noah')",
    "reconstruct source record (6, 'held_Noah')",
    "reconstruct source record (6, 'J_Flood')",
    "explicit contextual displacement 6",
    "reconstruct source record (7, 'higher_Noah')",
    "reconstruct source record (7, 'lower_Noah')",
    "reconstruct source record (7, 'held_Noah')",
    "reconstruct source record (7, 'J_Flood')",
    "explicit contextual displacement 7",
    "reconstruct source record (8, 'higher_Noah')",
    "reconstruct source record (8, 'lower_Noah')",
    "reconstruct source record (8, 'held_Noah')",
    "reconstruct source record (8, 'J_Flood')",
    "reconstruct source record (8, 'P_pivot_0')",
    "reconstruct source record (8, 'P_pivot_1')",
    "explicit contextual displacement 8",
    "reconstruct source record (9, 'higher_Noah')",
    "reconstruct source record (9, 'lower_Noah')",
    "reconstruct source record (9, 'held_Noah')",
    "reconstruct source record (9, 'J_Flood')",
    "explicit contextual displacement 9",
    "companion return boundary is independent 9",
    "reconstruct source record (10, 'higher_Noah')",
    "reconstruct source record (10, 'lower_Noah')",
    "reconstruct source record (10, 'held_Noah')",
    "reconstruct source record (10, 'J_Flood')",
    "explicit contextual displacement 10",
    "reconstruct source record (11, 'higher_Noah')",
    "reconstruct source record (11, 'lower_Noah')",
    "reconstruct source record (11, 'held_Noah')",
    "reconstruct source record (11, 'J_Flood')",
    "explicit contextual displacement 11",
    "reconstruction coverage"
  ],
  "source_checks_passed": 19,
  "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 C396_DATA.json",
    "frozen C400_DATA.json",
    "frozen File_02.md",
    "frozen File_46.md",
    "frozen File_11.md",
    "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."
}