)]}'
{
  "commit": "2a091c1708c26603d1f153bfa3e050e551b4c5f8",
  "tree": "bcae34cb357be10148a1aaa8f9ee0543ea1a107d",
  "parents": [
    "ea49bc9bcf41591e02e66313e5108159152e9df5"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Mar 17 20:00:48 2026 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Mar 18 10:10:52 2026 -0400"
  },
  "message": "feat: basic `sym` interactive mode\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "007cf7ce834eb5b37d4ae4bbaa3aebf035936985",
      "old_mode": 33188,
      "old_path": "src/Init/Grind/Interactive.lean",
      "new_id": "e51d9f9ab9b1d0e130eefe024a7db2313d0a146f",
      "new_mode": 33188,
      "new_path": "src/Init/Grind/Interactive.lean"
    },
    {
      "type": "modify",
      "old_id": "0f0f95f267c6bbb03e6fb69c947fa82d21d00edc",
      "old_mode": 33188,
      "old_path": "src/Init/Grind/Tactics.lean",
      "new_id": "3fdb2ee9064a50fd03dcaebaff3442b1c1e698d7",
      "new_mode": 33188,
      "new_path": "src/Init/Grind/Tactics.lean"
    },
    {
      "type": "modify",
      "old_id": "b431b92e50fd5a1f9bc8d1cfd2df498baf1104d7",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/Grind.lean",
      "new_id": "28b87889968b5fbd78f22023c90c71125e22c76d",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Grind.lean"
    },
    {
      "type": "modify",
      "old_id": "9169c5784f2e4edc0e3b21733980f973fc4e6481",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/Grind/Basic.lean",
      "new_id": "fd507d4b7d0bbd82a9e56f63b9df58db9381f624",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Grind/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "dc0b91e66a01dc604bbb56409ec46cd4019e3c98",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/Grind/BuiltinTactic.lean",
      "new_id": "d8d1e34ea5fed73eaeab062e117a4f6b212b46e1",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Grind/BuiltinTactic.lean"
    },
    {
      "type": "modify",
      "old_id": "62004bf8b06ad826448a39d17b8b6c25da39b1ee",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/Grind/Main.lean",
      "new_id": "ed3e9d3c5f0714b5e639a8ec4b363e1e18f0440a",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Grind/Main.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "cebb22ab90b32e33905ee81299f4a8cb8405b853",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Grind/Sym.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "621aa9fdfb87a39986c614a93a5ac53d2de95b82",
      "new_mode": 33188,
      "new_path": "tests/elab/sym_interactive1.lean"
    }
  ]
}