feat: report golf compile cost (heartbeats + time) in /check-golf#1356

Open

Vilin97 wants to merge 6 commits into

leanprover-community:masterfrom

Vilin97:check-golf-timings

Commits on Jul 2, 2026

feat: add /check-golf bot verifying statements are unchanged

committed

Commits on Jul 3, 2026

feat: break golfs down by trivial shape (newline removed, `;`-joins)

committed
feat: split definition changes into proof-only vs value changed

committed
fix: treat whole-body `by` defs as value changes, not proof golfs

Vilin97
and
claude
committed
report: soften "definition values changed" to "bodies changed (may have changed)"

Vilin97
and
claude
committed
feat: report golf compile cost (heartbeats + time) in /check-golf

committed