{
  "schema_version": 2,
  "release_id": "site-2026-03-08-lean-matrix-deepseek-100",
  "compiled_at": "2026-03-09T10:20:20+00:00",
  "selection_spec": {
    "job": {
      "name": "site_dashboard_lean_matrix_deepseek_100_v1",
      "job_run_id": "5e33c5fdde48",
      "created_at": "2026-03-09T10:20:20+00:00",
      "selected_runs": 2
    },
    "selection": {
      "provider": "deepseek",
      "corpus": "artifact:mathlib4@973f0905e770bc0f6b5b49bef6c69d00cbc0e00d7cdcdd87071d61774f117ff2:derived/valid@41b6bbd1541bbda7218a2004759804ffc399cb41cbe88cc577c749ce3c9709b9",
      "require_completed": true,
      "exclude_partial_results": true,
      "require_capabilities": [
        "has_proof_term",
        "has_proof_term_pretty",
        "has_assembly_trace",
        "has_proof_term_metrics"
      ],
      "order_by": "created_at_desc",
      "dedupe_run_id": true,
      "max_runs": 2,
      "root_id": "05ec98f559f9cdcb"
    },
    "selection_meta": {},
    "selection_stats": {
      "raw_rows": 2,
      "resolved_rows": 2,
      "filtered_rows": 2,
      "selected_rows": 2,
      "require_completed": true,
      "exclude_partial_results": true,
      "require_capabilities": [
        "has_proof_term",
        "has_proof_term_pretty",
        "has_assembly_trace",
        "has_proof_term_metrics"
      ],
      "order_by": "created_at_desc",
      "dedupe_run_id": true,
      "max_runs": 2
    },
    "reference": {}
  },
  "lake_snapshot": {
    "fingerprint": {
      "exists": true,
      "path": "lean-matrix-site-release-v2.duckdb",
      "bytes": 4206592,
      "mtime_ns": 1773051620100111406,
      "sha256": "642ff48404439b5e6d6cb50d7739a0f1f263f15947e4aa4b3ecae7097990b3f0"
    },
    "db_path": "lean-matrix-site-release-v2.duckdb"
  },
  "notes": [
    "Lean-matrix deepseek cohort with two 100-theorem runs (centralized and distributed) from the remote volume."
  ],
  "runs": [
    {
      "id": "centralized-no-basin",
      "label": "centralized-no-basin | deepseek | artifact:mathlib4@973f0905e770bc0f6b5b49bef6c69d00cbc0e00d7cdcdd87071d61774f117ff2:derived/valid@41b6bbd1541bbda7218a2004759804ffc399cb41cbe88cc577c749ce3c9709b9 | tiers 10,50,200,1000,3000 | 100 thm | wild 27.0% | int 13.7%",
      "dashboard": "data/centralized-no-basin/dashboard_v2.json",
      "meta": {
        "theorem_count": 100,
        "crashed_count": 0,
        "wild_type_solve_rate": 0.27,
        "intervention_solve_rate": 0.13711151736745886,
        "created_at": "2026-02-12T10:27:49",
        "mode": "research",
        "corpus": "artifact:mathlib4@973f0905e770bc0f6b5b49bef6c69d00cbc0e00d7cdcdd87071d61774f117ff2:derived/valid@41b6bbd1541bbda7218a2004759804ffc399cb41cbe88cc577c749ce3c9709b9",
        "budget_label": "deep",
        "providers": [
          "deepseek"
        ],
        "provider_label": "deepseek+block_easy",
        "settings_summary": "tiers 10,50,200,1000,3000 | wk 1 | mcts centralized",
        "status": "completed",
        "partial_results": false,
        "goal_id_scheme": "checkpoint",
        "capabilities": {
          "has_proof_term": true,
          "has_proof_term_pretty": true,
          "has_assembly_trace": true,
          "has_proof_term_metrics": true
        }
      }
    },
    {
      "id": "distributed-no-basin",
      "label": "distributed-no-basin | deepseek | artifact:mathlib4@973f0905e770bc0f6b5b49bef6c69d00cbc0e00d7cdcdd87071d61774f117ff2:derived/valid@41b6bbd1541bbda7218a2004759804ffc399cb41cbe88cc577c749ce3c9709b9 | tiers 10,50,200,1000,3000 | 100 thm | wild 28.0% | int 23.2%",
      "dashboard": "data/distributed-no-basin/dashboard_v2.json",
      "meta": {
        "theorem_count": 100,
        "crashed_count": 0,
        "wild_type_solve_rate": 0.28,
        "intervention_solve_rate": 0.2315112540192926,
        "created_at": "2026-02-12T10:28:04",
        "mode": "research",
        "corpus": "artifact:mathlib4@973f0905e770bc0f6b5b49bef6c69d00cbc0e00d7cdcdd87071d61774f117ff2:derived/valid@41b6bbd1541bbda7218a2004759804ffc399cb41cbe88cc577c749ce3c9709b9",
        "budget_label": "deep",
        "providers": [
          "deepseek"
        ],
        "provider_label": "deepseek+block_easy",
        "settings_summary": "tiers 10,50,200,1000,3000 | wk 1 | mcts distributed",
        "status": "completed",
        "partial_results": false,
        "goal_id_scheme": "checkpoint",
        "capabilities": {
          "has_proof_term": true,
          "has_proof_term_pretty": true,
          "has_assembly_trace": true,
          "has_proof_term_metrics": true
        }
      }
    }
  ],
  "default_run": "centralized-no-basin"
}