lean4

fix: keep `wrapInstance` mvar-free (#13346)

chore: `cache-get` Make target (#13341)

fix: generate `SizeOf` spec theorems for inductives with private constructors (#13374)

chore: CI: ignore `compile_bench/channel` in Linux Reldebug

fix: use commondir to resolve git directory in worktrees (#13045)