{
  "schema_version": 2,
  "title": "Reproduction: Exactly Computing do-Shapley Values",
  "emoji": "🎯",
  "space_id": "SabaPivot/repro-exactly-computing-do-shapley-values",
  "paper": {
    "arxiv_id": "2602.07203"
  },
  "tags": [
    "icml2026-repro",
    "paper-Peim0KY6ty"
  ],
  "updated_at": "2026-07-22T14:03:12+00:00",
  "root": {
    "slug": "index",
    "title": "Reproduction: Exactly Computing do-Shapley Values",
    "file": "pages/index.md",
    "children": [
      {
        "slug": "executive-summary",
        "title": "Executive summary",
        "file": "pages/executive-summary/page.md",
        "children": []
      },
      {
        "slug": "claim-1-do-shapley-values-can-be-computed-exactly-in-o-r-d-e-t-time-where",
        "title": "Claim 1: Exact class-compressed Shapley",
        "file": "pages/claim-1-do-shapley-values-can-be-computed-exactly-in-o-r-d-e-t-time-where/page.md",
        "children": []
      },
      {
        "slug": "claim-2-theorem-5-1-shows-the-do-shapley-value-phi-i-is-identifiable-if",
        "title": "Claim 2: Singleton identifiability test",
        "file": "pages/claim-2-theorem-5-1-shows-the-do-shapley-value-phi-i-is-identifiable-if/page.md",
        "children": []
      },
      {
        "slug": "claim-3-lemma-3-1-establishes-that-for-any-closed-set-with-a",
        "title": "Claim 3: Closed-set lattice traversal",
        "file": "pages/claim-3-lemma-3-1-establishes-that-for-any-closed-set-with-a/page.md",
        "children": []
      },
      {
        "slug": "claim-4-algorithm-3-boundary-sampling-guarantees-discovery-of-min-m-r-distinct",
        "title": "Claim 4: Boundary-sampling guarantee",
        "file": "pages/claim-4-algorithm-3-boundary-sampling-guarantees-discovery-of-min-m-r-distinct/page.md",
        "children": []
      },
      {
        "slug": "claim-5-the-doregressionmsr-estimator-consistently-outperforms-baseline-variants-and-exhibits-a",
        "title": "Claim 5: Estimator phase transition",
        "file": "pages/claim-5-the-doregressionmsr-estimator-consistently-outperforms-baseline-variants-and-exhibits-a/page.md",
        "children": []
      },
      {
        "slug": "claim-6-real-world-causal-structures-tend-to-be-sparse-so-the-number",
        "title": "Claim 6: Real-world sparsity claim",
        "file": "pages/claim-6-real-world-causal-structures-tend-to-be-sparse-so-the-number/page.md",
        "children": []
      },
      {
        "slug": "conclusion",
        "title": "Conclusion",
        "file": "pages/conclusion/page.md",
        "children": []
      }
    ]
  },
  "traces": [
    {
      "id": "019f7d0f-6a50-71d0-b0fd-63c6e87ac233",
      "title": "Codex reproduction session (scrubbed)",
      "provider": "Codex",
      "model": "gpt-5.6-sol",
      "started_at": "2026-07-20T01:08:08.183000+00:00",
      "ended_at": "2026-07-22T14:03:05.409000+00:00",
      "duration_ms": 219297226,
      "event_count": 21044,
      "turn_count": 39,
      "source_available": true,
      "attached_at": "2026-07-22T10:35:56+00:00",
      "index_file": "traces/019f7d0f-6a50-71d0-b0fd-63c6e87ac233/index.json"
    }
  ],
  "workspace": {
    "file": "workspace.json",
    "file_count": 2135,
    "total_size": 746327442,
    "bucket_id": "SabaPivot/repro-exactly-computing-do-shapley-values-artifacts"
  },
  "agent_view_tokens": 6683,
  "trace_view_tokens": 1395353,
  "workspace_view_tokens": 36574,
  "revision": "4bcde058d42d536acd5c"
}