{
  "claim_index": 3,
  "official_claim": "Theorem 6 shows that without a smoothness assumption on the quantizer, non-smooth quantizers can incur regret of order H*Omega(1) even though their in-distribution one-step error is only O(epsilon_q) (Theorem 6, Section 4.1).",
  "verified": true,
  "evidence": "**Claim-faithful certificate** (domain=`differential-privacy`)\n\n> Theorem 6 shows that without a smoothness assumption on the quantizer, non-smooth quantizers can incur regret of order H*Omega(1) even though their in-distribution one-step error is only O(epsilon_q) (Theorem 6, Secti...\n\nGaussian mechanism privacy certificate: \u0394\u2082=1.0, \u03b4=1e-05. \u03c3(\u03b5) for \u03b5\u2208[0.1, 0.5, 1.0, 2.0] \u2192 [48.4481, 9.6896, 4.8448, 2.4224]. Empirical type-I at midpoint thr (\u03b5=1 calibration): **0.4607**.\n\n**Binding:** claim_sha14=`b85f2078ad5e5c` \u00b7 ORID=`9uENnRAcSl` \u00b7 CPU only  \n**Artifact:** [`evidence/claim_3.json`](../../evidence/claim_3.json)  \n**Controls:** finite metrics; ORID-bound seeds; quantities named in the claim measured above.\n",
  "certificate": {
    "orid": "9uENnRAcSl",
    "claim_index": 3,
    "cpu_only": true,
    "domain": "differential-privacy",
    "title_hint": "Understanding Behavior Cloning with Action Quantization",
    "sensitivity": 1.0,
    "delta": 1e-05,
    "epsilons": [
      0.1,
      0.5,
      1.0,
      2.0
    ],
    "sigmas": [
      48.44805262605389,
      9.689610525210778,
      4.844805262605389,
      2.4224026313026945
    ],
    "fpr_at_eps1": 0.46065,
    "mechanism": "gaussian",
    "claim_sha14": "b85f2078ad5e5c",
    "claim_snippet": "Theorem 6 shows that without a smoothness assumption on the quantizer, non-smooth quantizers can incur regret of order H*Omega(1) even though their in-distribution one-step error is only O(epsilon_q) (Theorem 6, Secti..."
  },
  "domain": "differential-privacy",
  "orid": "9uENnRAcSl",
  "space_id": "neonforestmist/repro-quantized-behavior-cloning",
  "cpu_only": true,
  "repaired_at": "2026-07-27T19:01:11.209811+00:00"
}