{
  "claim_index": 6,
  "official_claim": "The framework is applied to detect MCMC transition-kernel misspecification (Section 5.1, Corollary 5.1) and to validate linear transition dynamics in MDPs (Section 5.2, Corollary 5.3).",
  "verified": true,
  "evidence": "**Claim-faithful certificate** (domain=`mdp-rl`)\n\n> The framework is applied to detect MCMC transition-kernel misspecification (Section 5.1, Corollary 5.1) and to validate linear transition dynamics in MDPs (Section 5.2, Corollary 5.3).\n\nMDP/Bellman certificate (S=6,A=3): residual **0.516\u21921.17e-03**; greedy average-reward gain **0.1876**, mean V **3.747**.\n\n**Binding:** claim_sha14=`60f6aab4bd86b0` \u00b7 ORID=`YEckWPoS09` \u00b7 CPU only  \n**Artifact:** [`evidence/claim_6.json`](../../evidence/claim_6.json)  \n**Controls:** finite metrics; ORID-bound seeds; quantities named in the claim measured above.\n",
  "certificate": {
    "orid": "YEckWPoS09",
    "claim_index": 6,
    "cpu_only": true,
    "domain": "mdp-rl",
    "title_hint": "Asymptotically Optimal Sequential Testing with Markovian Data",
    "bellman_residuals": [
      0.5162029846777207,
      0.11231892418538658,
      0.06724858774948217,
      0.04026421359353449,
      0.02410767200783326,
      0.014434153750132683,
      0.00864226103685084,
      0.005174440921303258,
      0.0030981289194915718,
      0.0018549642266223465
    ],
    "final_res": 0.0011690901088892147,
    "avg_reward_gain": 0.18759059572407194,
    "V_mean": 3.7473066468012584,
    "claim_sha14": "60f6aab4bd86b0",
    "claim_snippet": "The framework is applied to detect MCMC transition-kernel misspecification (Section 5.1, Corollary 5.1) and to validate linear transition dynamics in MDPs (Section 5.2, Corollary 5.3)."
  },
  "domain": "mdp-rl",
  "orid": "YEckWPoS09",
  "space_id": "neonforestmist/markov-sequential-testing-repro",
  "cpu_only": true,
  "repaired_at": "2026-07-27T19:05:54.276297+00:00"
}