)]}'
{
  "commit": "697600fd3adc1c0e345472ebeb445e1486de4105",
  "tree": "20f3cb67ddf9209bb636d3e8ccdfec8fb5540031",
  "parents": [
    "742dd6d9be9633fb5fa7ecec600246102268aa9d"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Fri Nov 06 19:48:56 2026 +0000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Fri Nov 06 20:03:42 2026 +0000"
  },
  "message": "feat: select a toolchain-scoped shared Lake cache with private fallback\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "8100ffc43e3fed4efd988461085c0ee7193b607c",
      "old_mode": 33188,
      "old_path": "src/lake/Lake/Build/Common.lean",
      "new_id": "2fc13c438dcba1309a0a27f02ccc71cc4299b955",
      "new_mode": 33188,
      "new_path": "src/lake/Lake/Build/Common.lean"
    },
    {
      "type": "modify",
      "old_id": "d1d2af412e241c1128dfbe19b0867054561ba03f",
      "old_mode": 33188,
      "old_path": "src/lake/Lake/CLI/Help.lean",
      "new_id": "dc39c7e5bf42801d17e42676d5b8a013c2604ebb",
      "new_mode": 33188,
      "new_path": "src/lake/Lake/CLI/Help.lean"
    },
    {
      "type": "modify",
      "old_id": "963b8657534312e85a625263abeef965851f03a2",
      "old_mode": 33188,
      "old_path": "src/lake/Lake/CLI/Main.lean",
      "new_id": "4c8dd2b5ec767b1c1ab3e256aed3fb14a2de7f15",
      "new_mode": 33188,
      "new_path": "src/lake/Lake/CLI/Main.lean"
    },
    {
      "type": "modify",
      "old_id": "50f64085660a243b729c4bb3655f0b0edb28a8f5",
      "old_mode": 33188,
      "old_path": "src/lake/Lake/Config/Env.lean",
      "new_id": "e58007130cad5fc41ec970ffb21c23eab75eeff9",
      "new_mode": 33188,
      "new_path": "src/lake/Lake/Config/Env.lean"
    },
    {
      "type": "modify",
      "old_id": "3bbed35c8e95258012efe07ca70a966b956d02ab",
      "old_mode": 33188,
      "old_path": "src/lake/Lake/Config/Workspace.lean",
      "new_id": "cadb8cf6969bc0464c8ec4a05da42c2c939b5999",
      "new_mode": 33188,
      "new_path": "src/lake/Lake/Config/Workspace.lean"
    },
    {
      "type": "modify",
      "old_id": "1a42a44a0cc5034e83668c83e2c95ecaf5fe3bd2",
      "old_mode": 33188,
      "old_path": "src/lake/Lake/Load/Workspace.lean",
      "new_id": "48ebe78e9f263fd373ea9d8f46a2228c7fe9ff59",
      "new_mode": 33188,
      "new_path": "src/lake/Lake/Load/Workspace.lean"
    },
    {
      "type": "modify",
      "old_id": "2bc9c7832db61b10e78d33cd5e980449e4da13a0",
      "old_mode": 33188,
      "old_path": "src/lake/README.md",
      "new_id": "b31a5fa4383f595a5420eadb7db15a02416e11bc",
      "new_mode": 33188,
      "new_path": "src/lake/README.md"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "209bac0c1a43d70bc75bfda1b74b30ad82d632fe",
      "new_mode": 33188,
      "new_path": "tests/lake/tests/sharedCache/Probe.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "645775aaf6c20bc927a7b1eeeda3b51a7e9d63e8",
      "new_mode": 33188,
      "new_path": "tests/lake/tests/sharedCache/test.py"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "0df4cf85aff7a65d0d84710dfb78507c42d0414c",
      "new_mode": 33261,
      "new_path": "tests/lake/tests/sharedCache/test.sh"
    }
  ]
}