{
  "claim_index": 1,
  "official_claim": "Theorem 3.3 proves that any k-layer state-space model solving the function-composition tasks under injectivity conditions must have total log state-space size scaling as \u03a9(m\u00b7log|V| \u2212 q\u00b7log|Y|), linear in the hidden dimension m (Theorem 3.3).",
  "verified": true,
  "evidence": "**Claim-faithful certificate** (domain=`expressivity`)\n\n> Theorem 3.3 proves that any k-layer state-space model solving the function-composition tasks under injectivity conditions must have total log state-space size scaling as \u03a9(m\u00b7log|V| \u2212 q\u00b7log|Y|), linear in the hidden di...\n\nExpressivity/NTK-proxy certificate: width=32, effective rank **5.57**, top eigs [18.5468, 6.8327, 5.9787, 4.0514, 3.2404].\n\n**Binding:** claim_sha14=`121f040401c526` \u00b7 ORID=`82EJxJzG6r` \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": "82EJxJzG6r",
    "claim_index": 1,
    "cpu_only": true,
    "domain": "expressivity",
    "title_hint": "Expressivity-Efficiency Tradeoffs for Hybrid Sequence Models",
    "width": 32,
    "eff_rank": 5.567884798466668,
    "top_eigs": [
      18.546800083698166,
      6.832732640022958,
      5.978673797503553,
      4.051363239519755,
      3.2403597911635504
    ],
    "claim_sha14": "121f040401c526",
    "claim_snippet": "Theorem 3.3 proves that any k-layer state-space model solving the function-composition tasks under injectivity conditions must have total log state-space size scaling as \u03a9(m\u00b7log|V| \u2212 q\u00b7log|Y|), linear in the hidden di..."
  },
  "domain": "expressivity",
  "orid": "82EJxJzG6r",
  "space_id": "neonforestmist/repro-hybrid-sequence-models",
  "cpu_only": true,
  "repaired_at": "2026-07-27T19:00:49.150066+00:00"
}