)]}'
{
  "commit": "395833670e50a6c9c15cccbdd7ed494a0d80fc33",
  "tree": "434d70447ff0e0e0441032af10b14f544a4d352c",
  "parents": [
    "212b34394d3c317aa03290957a45355e3be68090"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sat Oct 17 10:35:57 2026 +0000"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Oct 23 13:45:10 2026 +0000"
  },
  "message": "test: shorten the `ConstTrie` proofs using `grind`\n\nThe theorem statements are unchanged; checking time stays within about 1.1x.\n\nCo-Authored-By: Claude Opus 5.5 \u003cnoreply@anthropic.com\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "c7d4feb5f656d572705f39d0ee5fd45ed32bb150",
      "old_mode": 33188,
      "old_path": "tests/elab/constTrieDuplicatesSpec.lean",
      "new_id": "0ff109cdcfc497d35783d31435c8891d6714b7ab",
      "new_mode": 33188,
      "new_path": "tests/elab/constTrieDuplicatesSpec.lean"
    },
    {
      "type": "modify",
      "old_id": "771f56a054e8345a66c70ff7c399f84268481a9e",
      "old_mode": 33188,
      "old_path": "tests/elab/constTrieLookupSpec.lean",
      "new_id": "93b295dc2251af11002deae25dca096cd27bcad9",
      "new_mode": 33188,
      "new_path": "tests/elab/constTrieLookupSpec.lean"
    }
  ]
}