From 7fab6c921f2df290e8d980872afb56e592923a07 Mon Sep 17 00:00:00 2001 From: Vasily Ilin Date: Thu, 9 Jul 2026 00:29:48 +0900 Subject: [PATCH] fix: check-golf --measure crash (def_body_changed -> def_value_changed) The measure-path file selection in scripts/check_golf.py references a nonexistent FileReport attribute (def_body_changed); the field is named def_value_changed. Every /check-golf --measure run since #1356 crashes with an AttributeError after building the head, so the report comment is never updated. Co-Authored-By: Claude Fable 5 --- scripts/check_golf.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/check_golf.py b/scripts/check_golf.py index 69dfcafd8..23fed11f8 100755 --- a/scripts/check_golf.py +++ b/scripts/check_golf.py @@ -743,7 +743,7 @@ def measure_files(base: str, head: str, reports: List[FileReport], itself verifies -- because only proof/body text then differs. """ paths = [r.path for r in reports - if r.proof_golfed or r.embedded_proof_changed or r.def_body_changed] + if r.proof_golfed or r.embedded_proof_changed or r.def_value_changed] if limit is not None: paths = paths[:limit] out: List[Measurement] = []