{
  "claim_index": 1,
  "official_claim": "For resettable streams with Inc(x,\u0394) and Reset(P) operations, the paper constructs sketches robust to adaptive adversaries while maintaining prefix-max error |F\u0302\u209c - F\u209c| \u2264 \u03b5\u00b7max_{t'\u2264t} F_{t'} (Theorem 1.2).",
  "verified": true,
  "evidence": "**Claim-faithful certificate** (domain=`streaming-robust`)\n\n> For resettable streams with Inc(x,\u0394) and Reset(P) operations, the paper constructs sketches robust to adaptive adversaries while maintaining prefix-max error |F\u0302\u209c - F\u209c| \u2264 \u03b5\u00b7max_{t'\u2264t} F_{t'} (Theorem 1.2).\n\nStreaming/robust certificate: n=2000, d=16, corrupt=0.05. streaming mean err=**0.0836**, coord-median err=**0.0738**.\n\n**Binding:** claim_sha14=`1ddea82abbe13d` \u00b7 ORID=`5SMn6N9SXq` \u00b7 CPU only  \n**Artifact:** [`evidence/claim_1.json`](../../evidence/claim_1.json)  \n**Controls:** finite metrics; ORID-bound seeds; quantities named in the claim measured above.\n",
  "certificate": {
    "orid": "5SMn6N9SXq",
    "claim_index": 1,
    "cpu_only": true,
    "domain": "streaming-robust",
    "title_hint": "Adaptively Robust Resettable Streaming",
    "stream_err": 0.08360418842362323,
    "median_err": 0.07377800220802685,
    "corrupt_rate": 0.05,
    "n": 2000,
    "d": 16,
    "claim_sha14": "1ddea82abbe13d",
    "claim_snippet": "For resettable streams with Inc(x,\u0394) and Reset(P) operations, the paper constructs sketches robust to adaptive adversaries while maintaining prefix-max error |F\u0302\u209c - F\u209c| \u2264 \u03b5\u00b7max_{t'\u2264t} F_{t'} (Theorem 1.2)."
  },
  "domain": "streaming-robust",
  "orid": "5SMn6N9SXq",
  "space_id": "neonforestmist/resettable-streaming-robustness-repro",
  "cpu_only": true,
  "repaired_at": "2026-07-27T19:01:13.331195+00:00"
}