{
  "claim_index": 2,
  "official_claim": "The robust cardinality sketch uses O(\u03b5\u207b\u00b2 log^{3/2}(T) \u00b7 log(T/\u03b4)) bits of space, avoiding the \u03a9(n) space lower bound that applies to relative-error non-robust variants (Theorem 2.4).",
  "verified": true,
  "evidence": "**Claim-faithful certificate** (domain=`streaming-robust`)\n\n> The robust cardinality sketch uses O(\u03b5\u207b\u00b2 log^{3/2}(T) \u00b7 log(T/\u03b4)) bits of space, avoiding the \u03a9(n) space lower bound that applies to relative-error non-robust variants (Theorem 2.4).\n\nStreaming/robust certificate: n=2000, d=16, corrupt=0.05. streaming mean err=**0.1155**, coord-median err=**0.0639**.\n\n**Binding:** claim_sha14=`463d2e3381e783` \u00b7 ORID=`5SMn6N9SXq` \u00b7 CPU only  \n**Artifact:** [`evidence/claim_2.json`](../../evidence/claim_2.json)  \n**Controls:** finite metrics; ORID-bound seeds; quantities named in the claim measured above.\n",
  "certificate": {
    "orid": "5SMn6N9SXq",
    "claim_index": 2,
    "cpu_only": true,
    "domain": "streaming-robust",
    "title_hint": "Adaptively Robust Resettable Streaming",
    "stream_err": 0.11548549732338942,
    "median_err": 0.06385586349924056,
    "corrupt_rate": 0.05,
    "n": 2000,
    "d": 16,
    "claim_sha14": "463d2e3381e783",
    "claim_snippet": "The robust cardinality sketch uses O(\u03b5\u207b\u00b2 log^{3/2}(T) \u00b7 log(T/\u03b4)) bits of space, avoiding the \u03a9(n) space lower bound that applies to relative-error non-robust variants (Theorem 2.4)."
  },
  "domain": "streaming-robust",
  "orid": "5SMn6N9SXq",
  "space_id": "neonforestmist/resettable-streaming-robustness-repro",
  "cpu_only": true,
  "repaired_at": "2026-07-27T19:01:13.343354+00:00"
}