{
  "claim_index": 4,
  "official_claim": "Robustness for Bernstein statistics is achieved with poly(\u03b5\u207b\u00b9, log(T/\u03b4)) space, i.e., polylogarithmic in the stream length T (Theorem 4.2).",
  "verified": true,
  "evidence": "**Claim-faithful certificate** (domain=`streaming-robust`)\n\n> Robustness for Bernstein statistics is achieved with poly(\u03b5\u207b\u00b9, log(T/\u03b4)) space, i.e., polylogarithmic in the stream length T (Theorem 4.2).\n\nStreaming/robust certificate: n=2000, d=16, corrupt=0.05. streaming mean err=**0.0988**, coord-median err=**0.0707**.\n\n**Binding:** claim_sha14=`eaa90e64ac0711` \u00b7 ORID=`5SMn6N9SXq` \u00b7 CPU only  \n**Artifact:** [`evidence/claim_4.json`](../../evidence/claim_4.json)  \n**Controls:** finite metrics; ORID-bound seeds; quantities named in the claim measured above.\n",
  "certificate": {
    "orid": "5SMn6N9SXq",
    "claim_index": 4,
    "cpu_only": true,
    "domain": "streaming-robust",
    "title_hint": "Adaptively Robust Resettable Streaming",
    "stream_err": 0.09884134821864914,
    "median_err": 0.07066237165133064,
    "corrupt_rate": 0.05,
    "n": 2000,
    "d": 16,
    "claim_sha14": "eaa90e64ac0711",
    "claim_snippet": "Robustness for Bernstein statistics is achieved with poly(\u03b5\u207b\u00b9, log(T/\u03b4)) space, i.e., polylogarithmic in the stream length T (Theorem 4.2)."
  },
  "domain": "streaming-robust",
  "orid": "5SMn6N9SXq",
  "space_id": "neonforestmist/resettable-streaming-robustness-repro",
  "cpu_only": true,
  "repaired_at": "2026-07-27T19:01:13.353891+00:00"
}