)]}'
{
  "commit": "126b1d56ecf246e8fb6b7d883419f6758c65e3c3",
  "tree": "022281840126c98a04b1314f1ff14f061d2ec525",
  "parents": [
    "145a12104887190a20b016f81c73810b25da3e91"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Mar 03 00:30:52 2026 +0000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue Mar 03 00:30:52 2026 +0000"
  },
  "message": "chore: add HACK banner to isNonTrivialRegular transparency check\n\nThis PR adds a HACK comment to the transparency restriction in\n`isNonTrivialRegular` so it\u0027s not forgotten. Per Sebastian\u0027s request\non Zulip.\n\nCo-Authored-By: Claude Opus 4.6 \u003cnoreply@anthropic.com\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "6005e4abb33bf88308961c82aa9e9a26e645e736",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/ExprDefEq.lean",
      "new_id": "389e114b92c3c35a74fff7d3f7ecfb645b7674aa",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/ExprDefEq.lean"
    }
  ]
}