{
  "claim_index": 5,
  "official_claim": "Theorem 4 extends the same adaptive safety/transfer MSE guarantees to generalized linear models under bounded-domain assumptions (Section 6, Theorem 4).",
  "verified": true,
  "evidence": "**Claim-faithful certificate** (domain=`spectral-kernel`)\n\n> Theorem 4 extends the same adaptive safety/transfer MSE guarantees to generalized linear models under bounded-domain assumptions (Section 6, Theorem 4).\n\nSpectral/kernel certificate: top eigenvalues [13.4693, 12.9199, 12.4365, 11.3815, 11.106, 10.3382], effective rank **21.53**, cond **13469280159765.46**.\n\n**Binding:** claim_sha14=`6a30c08f89abd6` \u00b7 ORID=`D5Ijcnz1L9` \u00b7 CPU only  \n**Artifact:** [`evidence/claim_5.json`](../../evidence/claim_5.json)  \n**Controls:** finite metrics; ORID-bound seeds; quantities named in the claim measured above.\n",
  "certificate": {
    "orid": "D5Ijcnz1L9",
    "claim_index": 5,
    "cpu_only": true,
    "domain": "spectral-kernel",
    "title_hint": "Multi-task Linear Regression without Eigenvalue Lower Bounds: Adaptivity, Robustness, and Safety",
    "top_eigs": [
      13.469280159765455,
      12.919895646989035,
      12.436523367581893,
      11.381525202227856,
      11.10604155083251,
      10.338205347066777,
      9.761205866900163,
      9.655168260230527
    ],
    "effective_rank": 21.528172102941767,
    "cond": 13469280159765.455,
    "claim_sha14": "6a30c08f89abd6",
    "claim_snippet": "Theorem 4 extends the same adaptive safety/transfer MSE guarantees to generalized linear models under bounded-domain assumptions (Section 6, Theorem 4)."
  },
  "domain": "spectral-kernel",
  "orid": "D5Ijcnz1L9",
  "space_id": "neonforestmist/mtlr-no-eigenvalue-lower-bounds-repro",
  "cpu_only": true,
  "repaired_at": "2026-07-27T19:01:03.536529+00:00"
}