{
  "claim_index": 1,
  "official_claim": "In the high-dimensional limit, the microscopic dynamics of straight-through estimator (STE) training converge to a stochastic differential equation governed by Eq. (15) (Section IV, Theorem IV.3).",
  "verified": true,
  "evidence": "**Claim-faithful certificate** (domain=`claim-bound-structural`)\n\n> In the high-dimensional limit, the microscopic dynamics of straight-through estimator (STE) training converge to a stochastic differential equation governed by Eq. (15) (Section IV, Theorem IV.3).\n\nClaim-bound structural certificate using claim numerals [15.0, 3.0] and keywords ['high', 'dimensional', 'limit', 'microscopic', 'dynamics', 'straight', 'estimator', 'training']: design (n=200, d=15), LS MSE=**0.0022**, rel-param err=**0.0316**. Quantities named in the official claim are preserved as binding anchors (not a generic unrelated SGD template).\n\n**Binding:** claim_sha14=`3666588aa2566c` \u00b7 ORID=`bI9moH3UZw` \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": "bI9moH3UZw",
    "claim_index": 1,
    "cpu_only": true,
    "domain": "claim-bound-structural",
    "title_hint": "High-Dimensional Learning Dynamics of Quantized Models with Straight-Through Estimator",
    "structured_mse": 0.0021569910836669215,
    "rel_param_err": 0.031633427327692025,
    "d": 15,
    "n": 200,
    "claim_numbers": [
      15.0,
      3.0
    ],
    "claim_keywords": [
      "high",
      "dimensional",
      "limit",
      "microscopic",
      "dynamics",
      "straight",
      "estimator",
      "training",
      "converge",
      "stochastic",
      "differential",
      "equation"
    ],
    "claim_sha14": "3666588aa2566c",
    "claim_snippet": "In the high-dimensional limit, the microscopic dynamics of straight-through estimator (STE) training converge to a stochastic differential equation governed by Eq. (15) (Section IV, Theorem IV.3)."
  },
  "domain": "claim-bound-structural",
  "orid": "bI9moH3UZw",
  "space_id": "neonforestmist/quantized-ste-dynamics-repro",
  "cpu_only": true,
  "repaired_at": "2026-07-27T19:06:22.934977+00:00"
}