logbook.json

{
  "schema_version": 1,
  "title": "MIRA: A Score for Conditional Distribution Accuracy and Model Comparison",
  "emoji": "🎯",
  "space_id": "snaykey/repro-llmf",
  "paper": null,
  "tags": [],
  "updated_at": "2026-07-20T08:00:00+00:00",
  "root": {
    "slug": "index",
    "title": "MIRA: A Score for Conditional Distribution Accuracy and Model Comparison",
    "file": "pages/index.md",
    "children": [
      {
        "slug": "executive-summary",
        "title": "Executive summary",
        "file": "pages/executive-summary/page.md",
        "children": []
      },
      {
        "slug": "claim-1-uniform-mass",
        "title": "Claim 1: Uniform Mass Property (Proposition 3.1)",
        "file": "pages/claim-1-uniform-mass/page.md",
        "children": []
      },
      {
        "slug": "claim-2-laplace",
        "title": "Claim 2: Laplace rule of succession (Proposition 3.2)",
        "file": "pages/claim-2-laplace/page.md",
        "children": []
      },
      {
        "slug": "claim-3-convergence",
        "title": "Claim 3: Convergence to 2/3 and variance 1/18 (Corollary 3.4)",
        "file": "pages/claim-3-convergence/page.md",
        "children": []
      },
      {
        "slug": "claim-4-lower-bound",
        "title": "Claim 4: Lower bound μ_Mira ≥ 1/2 (Proposition 3.5)",
        "file": "pages/claim-4-lower-bound/page.md",
        "children": []
      },
      {
        "slug": "claim-5-lensing",
        "title": "Claim 5: Bayesian model comparison on lensing models (Section 5.3)",
        "file": "pages/claim-5-lensing/page.md",
        "children": []
      },
      {
        "slug": "claim-6-galaxy-robustness",
        "title": "Claim 6: High-dimensional galaxy robustness with L=16 (Section 5.3)",
        "file": "pages/claim-6-galaxy-robustness/page.md",
        "children": []
      },
      {
        "slug": "conclusion",
        "title": "Conclusion",
        "file": "pages/conclusion/page.md",
        "children": []
      }
    ]
  },
  "agent_view_tokens": 2385,
  "revision": "1784476393952874400"
}