{
  "status": "PASS",
  "checks": [
    "Recurrence closed form",
    "Replace-one and loss bounds",
    "64-sample exact expected gap",
    "Noncontracting-step and negative-regularization eligibility controls"
  ],
  "empirical_benchmark": false,
  "source_proofs_verified": false,
  "figures": [
    {
      "id": "time-sensitivity",
      "kind": "analytical_curve",
      "caption": "Author-constructed full-batch quadratic, n=20, lambda=1, eta=.1. Exact parameter bound and conservative loss bound; not measured SGD sensitivity.",
      "x": {
        "name": "Gradient steps T",
        "values": [
          0,
          1,
          2,
          5,
          10,
          20
        ]
      },
      "series": [
        {
          "name": "Parameter bound 2cT/n",
          "values": [
            0.0,
            0.009999999999999998,
            0.017999999999999995,
            0.03361599999999999,
            0.044631290879999994,
            0.049423539247696574
          ]
        },
        {
          "name": "Loss bound 4cT/n",
          "values": [
            0.0,
            0.019999999999999997,
            0.03599999999999999,
            0.06723199999999999,
            0.08926258175999999,
            0.09884707849539315
          ]
        }
      ]
    },
    {
      "id": "expected-gap",
      "kind": "analytical_curve",
      "caption": "Exact expected generalization gap cT/n in the author-constructed IID Rademacher quadratic problem, lambda=1, eta=.1, T=10. Not a neural training benchmark.",
      "x": {
        "name": "Sample size n",
        "values": [
          5,
          10,
          20,
          50,
          100
        ]
      },
      "series": [
        {
          "name": "Expected gap",
          "values": [
            0.08926258175999999,
            0.044631290879999994,
            0.022315645439999997,
            0.008926258175999999,
            0.004463129087999999
          ]
        }
      ]
    }
  ],
  "verification_code_sha256": "3205bc09535a6c5d6748350133096ab5b8a4a0559353d96995241c2b29d3489f",
  "execution_date": "2026-10-28",
  "standalone_no_filesystem_mutation_verified": true
}