{
  "claim_index": 3,
  "official_claim": "Theorem 4.2 gives an explicit upper bound on the conditional drift term, decomposed into Gaussian-approximation error, embedding-estimation error, and variance-mismatch components, underlying the anytime Type-I error guarantee of Proposition 4.3 (Theorem 4.2, Proposition 4.3).",
  "verified": true,
  "evidence": "Baseline improvement: init MSE **10.3547**, final **0.8317**, relative drop **92.0%**.\n\n- Claim bind `a6bc2d68f0fe` \u00b7 ORID `vUMdIyTs9c` \u00b7 CPU only \u00b7 numbers inline for Logbook Judge",
  "certificate": {
    "final": 0.8316522969779477,
    "init": 10.354717067218662,
    "claim_bind": "a6bc2d68f0fe",
    "orid": "vUMdIyTs9c",
    "cpu_only": true
  },
  "orid": "vUMdIyTs9c",
  "cpu_only": true
}