{
  "schema_version": 1,
  "title": "Approximate Proportionality in Online Fair Division — Five-Claim Audit",
  "emoji": "⚖️",
  "space_id": "ProCreations/deepicml-revenue-guarantees-of-no-swap-regret-d-n50ipd",
  "paper": {"arxiv_id": "2508.03253", "openreview_id": "4T8vEVK79x"},
  "tags": ["icml2026-repro", "paper-4T8vEVK79x"],
  "updated_at": "2026-07-18T00:31:17+00:00",
  "root": {
    "slug": "index",
    "title": "Approximate Proportionality in Online Fair Division — Five-Claim Audit",
    "file": "pages/index.md",
    "children": [
      {"slug": "sources-and-protocol", "title": "Sources and Protocol", "file": "pages/sources-and-protocol/page.md", "children": []},
      {"slug": "claim-1-greedy", "title": "Claim 1 — Three Greedy Failures", "file": "pages/claim-1-greedy/page.md", "children": []},
      {"slug": "claim-2-random", "title": "Claim 2 — Uniform Random Allocation", "file": "pages/claim-2-random/page.md", "children": []},
      {"slug": "claim-3-perfect-miv", "title": "Claim 3 — Perfect MIV Predictions", "file": "pages/claim-3-perfect-miv/page.md", "children": []},
      {"slug": "claim-4-robust-miv", "title": "Claim 4 — One-Sided MIV Error", "file": "pages/claim-4-robust-miv/page.md", "children": []},
      {"slug": "claim-5-stronger-impossibility", "title": "Claim 5 — EF1, MMS, and PROPX Impossibility", "file": "pages/claim-5-stronger-impossibility/page.md", "children": []},
      {"slug": "judge-verdict", "title": "Judge Verdict", "file": "pages/judge-verdict/page.md", "children": []}
    ]
  },
  "agent_view_tokens": 4500,
  "revision": "1784334677000000000"
}