{
  "schema_version": 1,
  "kind": "icml-2026-static-hf-space-release-candidate",
  "release_status": "prepared-locally-not-uploaded",
  "evidence_tier": "source-theorem-crosswalk-only",
  "judge_discovery_tags": [
    "icml2026-repro",
    "paper-JIbkbLYo3o"
  ],
  "paper": {
    "openreview_id": "JIbkbLYo3o",
    "arxiv_id": "2606.05380v1",
    "title": "Learning-Augmented Online Minimization with Dual Predictions",
    "arxiv_abstract_url": "https://arxiv.org/abs/2606.05380v1",
    "arxiv_pdf_url": "https://arxiv.org/pdf/2606.05380v1",
    "arxiv_source_url": "https://export.arxiv.org/e-print/2606.05380v1",
    "pdf_sha256": "c282631f95d40eb465dde471c40226f898093089314fee8594a58e228d5987b6",
    "source_sha256": "364d1b1dabc7c09bce0839e214580e1beb08d78c2de7bdf2edd61fada706077c",
    "paper_license": "CC BY 4.0",
    "paper_license_url": "https://creativecommons.org/licenses/by/4.0/"
  },
  "claim_feeds": {
    "legacy": {
      "filename": "claims.json",
      "url": "https://huggingface.co/spaces/ICML-2026-agent-repro/challenge/resolve/7b5b56aebf3abe590eab9f2c241a796125cab928/claims.json",
      "revision": "7b5b56aebf3abe590eab9f2c241a796125cab928",
      "etag": "f8b74517cd33712f80399eea913efac0bb41078f",
      "sha256": "af5ab2d62f786ae36861957cbd08b4188f6d4c86e67152becc661a9c5bbb9d57"
    },
    "anchored": {
      "filename": "claims_anchored.json",
      "url": "https://huggingface.co/spaces/ICML-2026-agent-repro/challenge/resolve/7b5b56aebf3abe590eab9f2c241a796125cab928/claims_anchored.json",
      "revision": "7b5b56aebf3abe590eab9f2c241a796125cab928",
      "etag": "4093a21c968f9e7e6a33f495fe0e59bb37fe912d",
      "sha256": "eb3f2d878646ca5c40da121741a613c1f9e1e10c14845f373db107e74a4ef439"
    }
  },
  "active_judge_merge": {
    "base": "claims.json",
    "override": "claims_anchored.json",
    "precedence": "claims_anchored.json overrides claims.json",
    "active_claim_source": "claims_anchored.json",
    "status": "unverified"
  },
  "source_anchor_checks": [
    { "label": "\\label{thm:laminarsetcover}", "claim_pages": ["pages/01-dual-stability.md", "pages/02-first-demonstration.md", "pages/03-theoretical-guarantees.md"] },
    { "label": "\\label{thm:MTSthm}", "claim_pages": ["pages/01-dual-stability.md", "pages/02-first-demonstration.md", "pages/03-theoretical-guarantees.md"] },
    { "label": "\\label{lem:lemdualboundlaminar}", "claim_pages": ["pages/03-theoretical-guarantees.md"] },
    { "label": "\\label{lem:stabilityresult}", "claim_pages": ["pages/01-dual-stability.md"] },
    { "label": "\\label{th:MTSBoundForBellmanError}", "claim_pages": ["pages/03-theoretical-guarantees.md"] },
    { "label": "\\label{th:stabilityBellmanError}", "claim_pages": ["pages/01-dual-stability.md"] },
    { "label": "\\label{thm:supertheorem}", "claim_pages": ["pages/03-theoretical-guarantees.md"] },
    { "label": "\\label{sec:instabprimalpred}", "claim_pages": ["pages/01-dual-stability.md"] }
  ],
  "anchor_check_provenance": {
    "source_candidate_commit": "dd2d3c747cb61555affcf884cfe3d8d8791cde3a",
    "mode": "recorded-source-anchor-checks",
    "limit": "The package validates this exact anchor record offline; it cannot re-check paper source because no paper source or PDF is bundled."
  },
  "package_license": {
    "name": "MIT",
    "scope": "Newly authored files in this static package only; not the cited paper or any unbundled artefact."
  },
  "exclusions": {
    "paper_pdf_redistributed": false,
    "paper_source_redistributed": false,
    "author_code_redistributed": false,
    "data_redistributed": false,
    "binary_artefacts": false,
    "active_content": false
  },
  "publication": {
    "status": "hold",
    "requirement": "Fresh independent review of the exact release commit is required before any upload."
  }
}