{
  "suite": "RCIG K3SNF v0.32",
  "total": 12,
  "passed": 12,
  "failed": 0,
  "all_passed": true,
  "results": [
    {
      "case": "positive_filtered_scnf_v02",
      "pass": true,
      "accepted": true,
      "errors": []
    },
    {
      "case": "canonical_digest_tamper",
      "pass": true,
      "accepted": false,
      "errors": [
        "normalization claim scnf:v02-source: expected AST digest does not match declared digest",
        "normalization claim scnf:v02-source: canonical digest mismatch"
      ]
    },
    {
      "case": "state_cap_rejects",
      "pass": true,
      "accepted": false,
      "errors": [
        "normalization claim scnf:v02-source: fatal analysis error: normalization reachable-state count exceeds cap 5"
      ]
    },
    {
      "case": "old_commutation_profile_rejected",
      "pass": true,
      "accepted": false,
      "errors": [
        "schema:strategy_normal_form/commutation_profile: 'same_extremum_rectangular_or_inner_pair_filter_player_order_v0.2' was expected"
      ]
    },
    {
      "case": "missing_filtered_theorem_trust",
      "pass": true,
      "accepted": false,
      "errors": [
        "SCNF verifier: verdict trust_base omits required trust: rcig.strategy.filtered_same_extremum_commute.v0.1"
      ]
    },
    {
      "case": "missing_scnf_v02_trust",
      "pass": true,
      "accepted": false,
      "errors": [
        "SCNF verifier: verdict trust_base omits required trust: rcig.strategy.scnf.v0.2"
      ]
    },
    {
      "case": "source_filter_semantics_changed",
      "pass": true,
      "accepted": false,
      "errors": [
        "normalization claim scnf:v02-source: canonical digest mismatch",
        "normalization claim scnf:v02-source: canonical AST mismatch"
      ]
    },
    {
      "case": "reverse_player_order_rejected",
      "pass": true,
      "accepted": false,
      "errors": [
        "schema:strategy_normal_form/player_order/0: 'max' was expected",
        "schema:strategy_normal_form/player_order/1: 'min' was expected"
      ]
    },
    {
      "case": "unknown_source_rejected",
      "pass": true,
      "accepted": false,
      "errors": [
        "normalization claims must reference programs declared in strategy_normal_form.program_ids"
      ]
    },
    {
      "case": "duplicate_claim_id",
      "pass": true,
      "accepted": false,
      "errors": [
        "duplicate normalization claim id scnf:v02-source"
      ]
    },
    {
      "case": "outer_pair_filter_readiness_rejected",
      "pass": true,
      "accepted": false,
      "errors": [
        "base-k3qir: program scnf_v02_source: pair-relative filter max_strong evaluated before both players are bound",
        "base-k3qir: quantifier claim references unknown/unexecuted program scnf_v02_source"
      ]
    },
    {
      "case": "obsolete_binder_profile_rejected",
      "pass": true,
      "accepted": false,
      "errors": [
        "schema:strategy_normal_form/binder_profile: 'player_stable_alpha_v0.1' was expected"
      ]
    }
  ]
}