)]}'
{
  "commit": "8a481a2f0c68b8d5e88d7d06f05d20157f998faf",
  "tree": "81858ad75981941ac51ca6f1cf91217acff4a4e1",
  "parents": [
    "e55cbeb72ac2fe78466f67dc02d247f4f1c49bea"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Sep 21 09:47:48 2026 +0000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Sep 21 09:47:48 2026 +0000"
  },
  "message": "fix: keep auxiliary names for private declarations private\n\nThis PR limits public auxiliary naming to the module-level name generator and adds coverage for helper visibility under `import all`.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "76aafba1951d2c854b7a44a18f2e5fcd935a4534",
      "old_mode": 33188,
      "old_path": "src/Lean/CoreM.lean",
      "new_id": "c280924a884070f7728c934c791d3df0032261cf",
      "new_mode": 33188,
      "new_path": "src/Lean/CoreM.lean"
    },
    {
      "type": "modify",
      "old_id": "be75dfd6731e836c42d545508544854f18df226e",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/MutualDef.lean",
      "new_id": "5078321d83fe3fe363153e78fd242f2e5d498c81",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/MutualDef.lean"
    },
    {
      "type": "modify",
      "old_id": "d9ea321433cc20ced96e25be9e254ed2ed318c94",
      "old_mode": 33188,
      "old_path": "tests/elab/autoParamVariableVisibility.lean",
      "new_id": "31fcbc23ecfe9352d87de67cb56f93c70b171b81",
      "new_mode": 33188,
      "new_path": "tests/elab/autoParamVariableVisibility.lean"
    },
    {
      "type": "modify",
      "old_id": "c027429406adff9969da910e72cc94bc57e02ac8",
      "old_mode": 33188,
      "old_path": "tests/lake/tests/module/Test/Module/AutoParamVariable/A.lean",
      "new_id": "7ce9e27abfbdde9db19391dfa7f71308e16df5a6",
      "new_mode": 33188,
      "new_path": "tests/lake/tests/module/Test/Module/AutoParamVariable/A.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "453a3ab22ed5f3a577d8cc601ccdc8317cf9ce42",
      "new_mode": 33188,
      "new_path": "tests/lake/tests/module/Test/Module/AutoParamVariable/ImportAll.lean"
    },
    {
      "type": "modify",
      "old_id": "2a22a6f797555cc3047f25031ef5ca13d70751e2",
      "old_mode": 33261,
      "old_path": "tests/lake/tests/module/test.sh",
      "new_id": "a50b69d73aa7d639159f6b69a14ca3711ab1aa72",
      "new_mode": 33261,
      "new_path": "tests/lake/tests/module/test.sh"
    }
  ]
}