{
  "positive_cases": [
    {
      "case": "alternating_with_parity",
      "exact_hidden_bound": 1,
      "enumerated_word_depth": 16,
      "legal_words_checked": 17,
      "request_cases": 68,
      "enabled": 33,
      "disabled": 35,
      "visible_restorations": 8,
      "scope": "All legal words through this depth; all requests there, including one-step targets beyond depth; canonical restoration and root/allocation invariants."
    },
    {
      "case": "two_hidden_labels_gap_two_with_parity",
      "exact_hidden_bound": 2,
      "enumerated_word_depth": 8,
      "legal_words_checked": 3065,
      "request_cases": 18390,
      "enabled": 10619,
      "disabled": 7771,
      "visible_restorations": 1240,
      "scope": "All legal words through this depth; all requests there, including one-step targets beyond depth; canonical restoration and root/allocation invariants."
    },
    {
      "case": "no_visible_frames_finite_depth_three",
      "exact_hidden_bound": 3,
      "enumerated_word_depth": 4,
      "legal_words_checked": 15,
      "request_cases": 60,
      "enabled": 28,
      "disabled": 32,
      "visible_restorations": 0,
      "scope": "All legal words through this depth; all requests there, including one-step targets beyond depth; canonical restoration and root/allocation invariants."
    },
    {
      "case": "all_visible_unbounded",
      "exact_hidden_bound": 0,
      "enumerated_word_depth": 8,
      "legal_words_checked": 511,
      "request_cases": 2044,
      "enabled": 1532,
      "disabled": 512,
      "visible_restorations": 510,
      "scope": "All legal words through this depth; all requests there, including one-step targets beyond depth; canonical restoration and root/allocation invariants."
    }
  ],
  "hidden_cycle_cases_rejected": [
    "X_star",
    "epsilon_union_A_X_star"
  ],
  "checkpoint_mutation": {
    "source": "AXA",
    "request": "-A",
    "expected": "AX",
    "mutant": "A"
  },
  "parity_boundary_witness": {
    "stacks": [
      "AX",
      "AXXX"
    ],
    "experiment": [
      "-X",
      "-A"
    ]
  },
  "verification_status": "Finite corroboration only. Written unbounded proof is separate; no proof assistant or general controller synthesis."
}