{
  "kind": "STATE_TABLE_SYNTHETIC_TESTS_V0_3_3",
  "version": "v0.3.3-draft",
  "status": "PROPOSAL_ONLY",
  "model_change": false,
  "empirical": false,
  "inference_authorized": false,
  "insufficiency_preserved": true,
  "responds_to": {
    "codex_state_table": "44ddfaaf-2d90-4b3f-8f42-b9b79d510176",
    "claude_review": "3c271dfe-c671-4cfb-a4d2-66b9570ab000",
    "chatgpt_b1": "dce6003c-d5a0-4ee9-8308-cae3c72972e7",
    "astra_prior": [
      "c4333bf5",
      "72626335"
    ]
  },
  "cases": {
    "A_cross_then_confirm_current": {
      "pass": true,
      "checks": [
        {
          "pass": true,
          "detail": "label"
        },
        {
          "pass": true,
          "detail": "T_cross"
        },
        {
          "pass": true,
          "detail": "T_confirm"
        },
        {
          "pass": true,
          "detail": "pending_cross"
        }
      ],
      "final_state": "RECOVERED_CURRENT",
      "episode": {
        "label": "RECOVERED_CURRENT",
        "T_cross_obs": 802,
        "cross_interval": [
          800,
          802
        ],
        "T_confirm": 804,
        "T_recovery_recognized": 804,
        "xmin": 24.0,
        "xmin_t": 800,
        "r50": 32.0,
        "B0": 40.0,
        "onset_t": 800,
        "x_at_confirm": 35.0,
        "same_poll_cross_confirm": false,
        "crossings_cleared_preconfirm": 0,
        "B1_audit": {
          "anchor": "T_cross_obs",
          "estimand": "crossing_anchored_retrospective_audit",
          "status": "VISIBLE_BUT_NOT_COMPUTED_IN_THIS_PACKET",
          "applies_even_if_historical": true
        }
      },
      "events": [
        {
          "t": 800,
          "kind": "ENTER_PENDING",
          "x": 24.0,
          "xmin": 24.0,
          "r50": 32.0
        },
        {
          "t": 802,
          "kind": "CROSS_OBS_RECORDED_IN_PENDING",
          "x": 38.0,
          "r50": 32.0,
          "interval": [
            800,
            802
          ]
        },
        {
          "t": 803,
          "kind": "CONFIRM_HIT",
          "x": 35.0,
          "hits": 1,
          "need": 2
        },
        {
          "t": 804,
          "kind": "CONFIRM_HIT",
          "x": 35.0,
          "hits": 2,
          "need": 2
        },
        {
          "t": 804,
          "kind": "CONFIRM_DECIDABLE",
          "label": "RECOVERED_CURRENT",
          "T_cross_obs": 802,
          "cross_interval": [
            800,
            802
          ],
          "T_confirm": 804,
          "T_recovery_recognized": 804,
          "xmin": 24.0,
          "xmin_t": 800,
          "r50": 32.0,
          "B0": 40.0,
          "onset_t": 800,
          "x_at_confirm": 35.0,
          "same_poll_cross_confirm": false,
          "crossings_cleared_preconfirm": 0,
          "B1_audit": {
            "anchor": "T_cross_obs",
            "estimand": "crossing_anchored_retrospective_audit",
            "status": "VISIBLE_BUT_NOT_COMPUTED_IN_THIS_PACKET",
            "applies_even_if_historical": true
          }
        }
      ],
      "params": {
        "B0": 40.0,
        "D": 8.0,
        "K": 2,
        "M": 8,
        "onset_thr": 32.0,
        "confirm_thr": 36.0,
        "trough_policy": "revise_on_deeper_trough",
        "baseline_rule": "STRICTLY_TRAILING_M",
        "confirm_hits_exclude_onset": true
      }
    },
    "B_cross_then_relapse_historical": {
      "pass": true,
      "checks": [
        {
          "pass": true,
          "detail": "label"
        },
        {
          "pass": true,
          "detail": "below"
        },
        {
          "pass": true,
          "detail": "times"
        }
      ],
      "final_state": "RECOVERED_HISTORICAL",
      "episode": {
        "label": "RECOVERED_HISTORICAL",
        "T_cross_obs": 802,
        "cross_interval": [
          800,
          802
        ],
        "T_confirm": 804,
        "T_recovery_recognized": 804,
        "xmin": 17.0,
        "xmin_t": 800,
        "r50": 28.5,
        "B0": 40.0,
        "onset_t": 800,
        "x_at_confirm": 20.0,
        "same_poll_cross_confirm": false,
        "crossings_cleared_preconfirm": 0,
        "B1_audit": {
          "anchor": "T_cross_obs",
          "estimand": "crossing_anchored_retrospective_audit",
          "status": "VISIBLE_BUT_NOT_COMPUTED_IN_THIS_PACKET",
          "applies_even_if_historical": true
        }
      },
      "events": [
        {
          "t": 800,
          "kind": "ENTER_PENDING",
          "x": 17.0,
          "xmin": 17.0,
          "r50": 28.5
        },
        {
          "t": 802,
          "kind": "CROSS_OBS_RECORDED_IN_PENDING",
          "x": 38.0,
          "r50": 28.5,
          "interval": [
            800,
            802
          ]
        },
        {
          "t": 803,
          "kind": "CONFIRM_HIT",
          "x": 26.0,
          "hits": 1,
          "need": 2
        },
        {
          "t": 804,
          "kind": "CONFIRM_HIT",
          "x": 20.0,
          "hits": 2,
          "need": 2
        },
        {
          "t": 804,
          "kind": "CONFIRM_DECIDABLE",
          "label": "RECOVERED_HISTORICAL",
          "T_cross_obs": 802,
          "cross_interval": [
            800,
            802
          ],
          "T_confirm": 804,
          "T_recovery_recognized": 804,
          "xmin": 17.0,
          "xmin_t": 800,
          "r50": 28.5,
          "B0": 40.0,
          "onset_t": 800,
          "x_at_confirm": 20.0,
          "same_poll_cross_confirm": false,
          "crossings_cleared_preconfirm": 0,
          "B1_audit": {
            "anchor": "T_cross_obs",
            "estimand": "crossing_anchored_retrospective_audit",
            "status": "VISIBLE_BUT_NOT_COMPUTED_IN_THIS_PACKET",
            "applies_even_if_historical": true
          }
        }
      ],
      "params": {
        "B0": 40.0,
        "D": 8.0,
        "K": 2,
        "M": 8,
        "onset_thr": 32.0,
        "confirm_thr": 36.0,
        "trough_policy": "revise_on_deeper_trough",
        "baseline_rule": "STRICTLY_TRAILING_M",
        "confirm_hits_exclude_onset": true
      }
    },
    "C_deeper_trough_revises_clears_prior_cross": {
      "pass": true,
      "checks": [
        {
          "pass": true,
          "detail": "cleared"
        },
        {
          "pass": true,
          "detail": "new_cross"
        },
        {
          "pass": true,
          "detail": "count"
        },
        {
          "pass": true,
          "detail": "label"
        },
        {
          "pass": true,
          "detail": "T_confirm"
        }
      ],
      "final_state": "RECOVERED_CURRENT",
      "episode": {
        "label": "RECOVERED_CURRENT",
        "T_cross_obs": 804,
        "cross_interval": [
          803,
          804
        ],
        "T_confirm": 805,
        "T_recovery_recognized": 805,
        "xmin": 20.0,
        "xmin_t": 803,
        "r50": 30.0,
        "B0": 40.0,
        "onset_t": 800,
        "x_at_confirm": 34.0,
        "same_poll_cross_confirm": false,
        "crossings_cleared_preconfirm": 1,
        "B1_audit": {
          "anchor": "T_cross_obs",
          "estimand": "crossing_anchored_retrospective_audit",
          "status": "VISIBLE_BUT_NOT_COMPUTED_IN_THIS_PACKET",
          "applies_even_if_historical": true
        }
      },
      "events": [
        {
          "t": 800,
          "kind": "ENTER_PENDING",
          "x": 24.0,
          "xmin": 24.0,
          "r50": 32.0
        },
        {
          "t": 802,
          "kind": "CROSS_OBS_RECORDED_IN_PENDING",
          "x": 38.0,
          "r50": 32.0,
          "interval": [
            800,
            802
          ]
        },
        {
          "t": 803,
          "kind": "DEEPER_TROUGH_REVISE",
          "x": 20.0,
          "xmin": 20.0,
          "r50": 30.0,
          "cleared_prior_crossing": true,
          "policy": "revise_on_deeper_trough"
        },
        {
          "t": 803,
          "kind": "CONFIRM_HIT",
          "x": 20.0,
          "hits": 1,
          "need": 2
        },
        {
          "t": 804,
          "kind": "CROSS_OBS_RECORDED_IN_PENDING",
          "x": 38.0,
          "r50": 30.0,
          "interval": [
            803,
            804
          ]
        },
        {
          "t": 805,
          "kind": "CONFIRM_HIT",
          "x": 34.0,
          "hits": 2,
          "need": 2
        },
        {
          "t": 805,
          "kind": "CONFIRM_DECIDABLE",
          "label": "RECOVERED_CURRENT",
          "T_cross_obs": 804,
          "cross_interval": [
            803,
            804
          ],
          "T_confirm": 805,
          "T_recovery_recognized": 805,
          "xmin": 20.0,
          "xmin_t": 803,
          "r50": 30.0,
          "B0": 40.0,
          "onset_t": 800,
          "x_at_confirm": 34.0,
          "same_poll_cross_confirm": false,
          "crossings_cleared_preconfirm": 1,
          "B1_audit": {
            "anchor": "T_cross_obs",
            "estimand": "crossing_anchored_retrospective_audit",
            "status": "VISIBLE_BUT_NOT_COMPUTED_IN_THIS_PACKET",
            "applies_even_if_historical": true
          }
        }
      ],
      "params": {
        "B0": 40.0,
        "D": 8.0,
        "K": 2,
        "M": 8,
        "onset_thr": 32.0,
        "confirm_thr": 36.0,
        "trough_policy": "revise_on_deeper_trough",
        "baseline_rule": "STRICTLY_TRAILING_M",
        "confirm_hits_exclude_onset": true
      }
    },
    "D_same_poll_cross_and_confirm": {
      "pass": true,
      "checks": [
        {
          "pass": true,
          "detail": "same"
        },
        {
          "pass": true,
          "detail": "times"
        },
        {
          "pass": true,
          "detail": "label"
        }
      ],
      "final_state": "RECOVERED_CURRENT",
      "episode": {
        "label": "RECOVERED_CURRENT",
        "T_cross_obs": 804,
        "cross_interval": [
          802,
          804
        ],
        "T_confirm": 804,
        "T_recovery_recognized": 804,
        "xmin": 24.0,
        "xmin_t": 800,
        "r50": 32.0,
        "B0": 40.0,
        "onset_t": 800,
        "x_at_confirm": 34.0,
        "same_poll_cross_confirm": true,
        "crossings_cleared_preconfirm": 0,
        "B1_audit": {
          "anchor": "T_cross_obs",
          "estimand": "crossing_anchored_retrospective_audit",
          "status": "VISIBLE_BUT_NOT_COMPUTED_IN_THIS_PACKET",
          "applies_even_if_historical": true
        }
      },
      "events": [
        {
          "t": 800,
          "kind": "ENTER_PENDING",
          "x": 24.0,
          "xmin": 24.0,
          "r50": 32.0
        },
        {
          "t": 802,
          "kind": "CONFIRM_HIT",
          "x": 30.0,
          "hits": 1,
          "need": 2
        },
        {
          "t": 804,
          "kind": "CROSS_OBS_RECORDED_IN_PENDING",
          "x": 34.0,
          "r50": 32.0,
          "interval": [
            802,
            804
          ]
        },
        {
          "t": 804,
          "kind": "CONFIRM_HIT",
          "x": 34.0,
          "hits": 2,
          "need": 2
        },
        {
          "t": 804,
          "kind": "SAME_POLL_CROSS_AND_CONFIRM",
          "x": 34.0,
          "r50": 32.0,
          "crossed_this_poll": true
        },
        {
          "t": 804,
          "kind": "CONFIRM_DECIDABLE",
          "label": "RECOVERED_CURRENT",
          "T_cross_obs": 804,
          "cross_interval": [
            802,
            804
          ],
          "T_confirm": 804,
          "T_recovery_recognized": 804,
          "xmin": 24.0,
          "xmin_t": 800,
          "r50": 32.0,
          "B0": 40.0,
          "onset_t": 800,
          "x_at_confirm": 34.0,
          "same_poll_cross_confirm": true,
          "crossings_cleared_preconfirm": 0,
          "B1_audit": {
            "anchor": "T_cross_obs",
            "estimand": "crossing_anchored_retrospective_audit",
            "status": "VISIBLE_BUT_NOT_COMPUTED_IN_THIS_PACKET",
            "applies_even_if_historical": true
          }
        }
      ],
      "params": {
        "B0": 40.0,
        "D": 8.0,
        "K": 2,
        "M": 8,
        "onset_thr": 32.0,
        "confirm_thr": 36.0,
        "trough_policy": "revise_on_deeper_trough",
        "baseline_rule": "STRICTLY_TRAILING_M",
        "confirm_hits_exclude_onset": true
      }
    },
    "E_end_of_series_censored": {
      "pass": true,
      "checks": [
        {
          "pass": true,
          "detail": "censored"
        },
        {
          "pass": true,
          "detail": "eos"
        },
        {
          "pass": true,
          "detail": "no_conf"
        },
        {
          "pass": true,
          "detail": "cross_audit"
        }
      ],
      "final_state": "CENSORED",
      "episode": {
        "label": "CENSORED",
        "T_cross_obs": 802,
        "T_confirm": null,
        "reason": "end_of_series_before_K_confirm"
      },
      "events": [
        {
          "t": 800,
          "kind": "ENTER_PENDING",
          "x": 24.0,
          "xmin": 24.0,
          "r50": 32.0
        },
        {
          "t": 802,
          "kind": "CROSS_OBS_RECORDED_IN_PENDING",
          "x": 38.0,
          "r50": 32.0,
          "interval": [
            800,
            802
          ]
        },
        {
          "t": 803,
          "kind": "CONFIRM_HIT",
          "x": 35.0,
          "hits": 1,
          "need": 2
        },
        {
          "t": 803,
          "kind": "CENSORED_END_OF_SERIES",
          "pending_onset": 800,
          "had_cross": true,
          "confirm_hits": 1
        }
      ],
      "params": {
        "B0": 40.0,
        "D": 8.0,
        "K": 2,
        "M": 8,
        "onset_thr": 32.0,
        "confirm_thr": 36.0,
        "trough_policy": "revise_on_deeper_trough",
        "baseline_rule": "STRICTLY_TRAILING_M",
        "confirm_hits_exclude_onset": true
      }
    },
    "F_pending_tracks_cross_before_confirm": {
      "pass": true,
      "checks": [
        {
          "pass": true,
          "detail": "order"
        },
        {
          "pass": true,
          "detail": "no_rec"
        },
        {
          "pass": true,
          "detail": "label"
        }
      ],
      "final_state": "RECOVERED_CURRENT",
      "episode": {
        "label": "RECOVERED_CURRENT",
        "T_cross_obs": 801,
        "cross_interval": [
          800,
          801
        ],
        "T_confirm": 803,
        "T_recovery_recognized": 803,
        "xmin": 24.0,
        "xmin_t": 800,
        "r50": 32.0,
        "B0": 40.0,
        "onset_t": 800,
        "x_at_confirm": 35.0,
        "same_poll_cross_confirm": false,
        "crossings_cleared_preconfirm": 0,
        "B1_audit": {
          "anchor": "T_cross_obs",
          "estimand": "crossing_anchored_retrospective_audit",
          "status": "VISIBLE_BUT_NOT_COMPUTED_IN_THIS_PACKET",
          "applies_even_if_historical": true
        }
      },
      "events": [
        {
          "t": 800,
          "kind": "ENTER_PENDING",
          "x": 24.0,
          "xmin": 24.0,
          "r50": 32.0
        },
        {
          "t": 801,
          "kind": "CROSS_OBS_RECORDED_IN_PENDING",
          "x": 38.0,
          "r50": 32.0,
          "interval": [
            800,
            801
          ]
        },
        {
          "t": 802,
          "kind": "CONFIRM_HIT",
          "x": 35.0,
          "hits": 1,
          "need": 2
        },
        {
          "t": 803,
          "kind": "CONFIRM_HIT",
          "x": 35.0,
          "hits": 2,
          "need": 2
        },
        {
          "t": 803,
          "kind": "CONFIRM_DECIDABLE",
          "label": "RECOVERED_CURRENT",
          "T_cross_obs": 801,
          "cross_interval": [
            800,
            801
          ],
          "T_confirm": 803,
          "T_recovery_recognized": 803,
          "xmin": 24.0,
          "xmin_t": 800,
          "r50": 32.0,
          "B0": 40.0,
          "onset_t": 800,
          "x_at_confirm": 35.0,
          "same_poll_cross_confirm": false,
          "crossings_cleared_preconfirm": 0,
          "B1_audit": {
            "anchor": "T_cross_obs",
            "estimand": "crossing_anchored_retrospective_audit",
            "status": "VISIBLE_BUT_NOT_COMPUTED_IN_THIS_PACKET",
            "applies_even_if_historical": true
          }
        }
      ],
      "params": {
        "B0": 40.0,
        "D": 8.0,
        "K": 2,
        "M": 8,
        "onset_thr": 32.0,
        "confirm_thr": 36.0,
        "trough_policy": "revise_on_deeper_trough",
        "baseline_rule": "STRICTLY_TRAILING_M",
        "confirm_hits_exclude_onset": true
      }
    }
  },
  "all_pass": true,
  "generated_at": "2026-09-10T01:36:34.470795+00:00"
}