)]}'
{
  "commit": "c5f75be5e8092f36f39de115f252d189a46e4aaa",
  "tree": "b0d4cdf2d256c7b7b9cf98ac0bdfc036d1831cd4",
  "parents": [
    "837f4fe8eef18a97be2466f99a52d60a047260b6"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Sep 18 08:43:03 2026 +0000"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sun Sep 20 09:39:22 2026 +0000"
  },
  "message": "refactor: report code quality entry tasks per command\n\n`Command.State.codeQualityEntryTasks` accumulated the tasks of all commands of a module and became a `PersistentArray` in #15228 to keep that accumulation linear. It is now per-command state like `messages`: the language processor starts each command with an empty array and reports the command\u0027s tasks in the new field `CommandResultSnapshot.codeQualityEntryTasks`, from which `runFrontend` collects them for all commands via the new `Language.Lean.foldCmdSnaps?`.\n\nThe `code_quality_log` package test inspected the accumulated tasks from inside a command; it now checks the entries persisted into the `.olean`s instead.\n\nCo-Authored-By: Claude Fable 5.1 \u003cnoreply@anthropic.com\u003e\nClaude-Session: https://claude.ai/code/session_0147BaiWbHMx3F6dPPkHsXRZ\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "035cbf3745aa76b08c783269b351bb89a61c96b1",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Command.lean",
      "new_id": "67bd2731709953cc8fc5cf2d80dce3686353f1f3",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Command.lean"
    },
    {
      "type": "modify",
      "old_id": "1c892e791012102e166ae46d620102cfb00364e5",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Frontend.lean",
      "new_id": "2cc066851cb2b113fbf9d6f348343c3c18269d94",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Frontend.lean"
    },
    {
      "type": "modify",
      "old_id": "f8eb3dedec6302fdcd6588189f3573669c123427",
      "old_mode": 33188,
      "old_path": "src/Lean/Language/Lean.lean",
      "new_id": "85743c0766d90a69b2c25310648091dd600c997f",
      "new_mode": 33188,
      "new_path": "src/Lean/Language/Lean.lean"
    },
    {
      "type": "modify",
      "old_id": "6d3e5a4387b511d319afdd7b22f06a776b397a52",
      "old_mode": 33188,
      "old_path": "src/Lean/Language/Lean/Types.lean",
      "new_id": "16a6d15008a4e25c9ee63eb3337e824f17c2ff2c",
      "new_mode": 33188,
      "new_path": "src/Lean/Language/Lean/Types.lean"
    },
    {
      "type": "modify",
      "old_id": "ff0403a6e20e2f5250d6a0aea7ae45b44aeee7ba",
      "old_mode": 33188,
      "old_path": "tests/pkg/code_quality_log/CQTest/Linters.lean",
      "new_id": "3dd8ba754741517481cb0141b48d917af176d6e9",
      "new_mode": 33188,
      "new_path": "tests/pkg/code_quality_log/CQTest/Linters.lean"
    },
    {
      "type": "modify",
      "old_id": "46807cca13b00441b81ceb88f1aa42b051348c9b",
      "old_mode": 33188,
      "old_path": "tests/pkg/code_quality_log/CQTest/TestAsync.lean",
      "new_id": "84cc43c06b15ad4e16875ec8c9f18acd3a4de73e",
      "new_mode": 33188,
      "new_path": "tests/pkg/code_quality_log/CQTest/TestAsync.lean"
    },
    {
      "type": "modify",
      "old_id": "fa256b03a2ae685ffda3a12245ab5a35ce969872",
      "old_mode": 33188,
      "old_path": "tests/pkg/code_quality_log/CQTestSync/TestSync.lean",
      "new_id": "cfe166593b872f17730d83fe74d4dd5d15af45c3",
      "new_mode": 33188,
      "new_path": "tests/pkg/code_quality_log/CQTestSync/TestSync.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "49f88350516d2b156787a29fdfeb5343f5e60e86",
      "new_mode": 33188,
      "new_path": "tests/pkg/code_quality_log/PrintEntries.lean"
    },
    {
      "type": "modify",
      "old_id": "c69eda46576b047b5d9873bc3c93ee7a60a9ca67",
      "old_mode": 33188,
      "old_path": "tests/pkg/code_quality_log/run_test.sh",
      "new_id": "32c48b0f461c5341c37db86a0cfaf0249746910c",
      "new_mode": 33188,
      "new_path": "tests/pkg/code_quality_log/run_test.sh"
    }
  ]
}