{
  "check": "E005_TO_E006_FULL_MACHINE_RERUN_VS_ROW_DELETE",
  "result": "CASCADE_CONFIRMED_ROW_DELETE_NOT_EQUIVALENT",
  "look_ahead_gate": {
    "n_confirmed": 6,
    "E005": {
      "onset": "2008-10-13",
      "detect": "2008-10-15",
      "B1_valid": true,
      "B1": 21.0
    },
    "E006": {
      "onset": "2009-06-12",
      "detect": "2010-02-12",
      "B1_valid": false,
      "B1_reason": "fail_min_span",
      "span_days": 344
    }
  },
  "hybrid_row_invalidate_E005_keep_look_ahead_E006": {
    "n_strict_confirmed": 5,
    "admissible_B1": 4,
    "note": "Prior audit packet approach \u2014 NOT a full-machine rerun"
  },
  "full_forward_only_machine_rerun": {
    "n_confirmed": 5,
    "episodes_E001_to_E004": "unchanged vs look-ahead",
    "FO_E005": {
      "onset": "2008-10-13",
      "confirm_date": "2009-06-12",
      "confirm_rule": "K_of_3_le_B0_minus_D_half",
      "detect": "2010-02-12",
      "absorbs_look_ahead_E006": true,
      "B1_valid": false,
      "B1_reason": "fail_min_span",
      "B1_span_days": 344,
      "note": "Same post-detect window that made look-ahead E006 B1 invalid"
    },
    "admissible_B1": 4,
    "discarded_unconfirmed_n": 4
  },
  "implication": "Removing E005 as a row while retaining look-ahead E006 does NOT equal forward-only re-execution. Under forward-only, look-ahead E005+E006 merge into one episode; B1 for that merged episode fails min_span. Either path: N_ep=5 < 6 and admissible B1=4 \u2192 sparse gate FAILS. Do not compute ratchet."
}