From bf364f40362f1d6c8b7ddb50e5bdbfef9b615c44 Mon Sep 17 00:00:00 2001 From: ryan Date: Sat, 29 Aug 2026 08:17:59 +0800 Subject: [PATCH] chore(autoresearch): log iter 6, distinguish compile-level from assertion-level proof --- .auto/prove_fix.sh | 6 ++++-- .auto/results.tsv | 1 + 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/.auto/prove_fix.sh b/.auto/prove_fix.sh index 7e20d716..bbce553d 100755 --- a/.auto/prove_fix.sh +++ b/.auto/prove_fix.sh @@ -46,10 +46,12 @@ if [ "${RC}" -eq 0 ]; then echo "PROVE FAILED: tests still pass without the fix — this is not a real bug fix" exit 1 fi -if echo "${OUT}" | grep -qE '^(FAIL|--- FAIL)'; then +if echo "${OUT}" | grep -q 'build failed'; then + KIND="compile (signature changed; behaviour proven by inspection)" +elif echo "${OUT}" | grep -qE '^--- FAIL'; then KIND="assertion" else - KIND="compile" + KIND="failure" fi echo "PROVED: test fails without the fix (${KIND})" exit 0 diff --git a/.auto/results.tsv b/.auto/results.tsv index 08f31ae8..c0ad003e 100644 --- a/.auto/results.tsv +++ b/.auto/results.tsv @@ -5,3 +5,4 @@ iteration commit metric delta status guard description 3 686e3ef 93 -2.0 keep pass filesrv.AbortUploadRecordError dedups error mapping + errors.As (2 sites, drops dead ErrInvalidUploadID) 4 7e6b9e7 93 0.0 keep pass PROVEN FIX: singleflight image generation no longer dies with the first caller canceled ctx (test fails on revert) 5 381c794 93 0.0 keep pass CORDIS: gate widened to catch bare "go call()" + 4 unprotected cleanup goroutines moved to util.Go (arch violations 4->0) +6 ce33997 92 -1.0 keep pass BUGFIX admin logs: negative cursor was accepted (bool ignored by callers) -> error-only contract; proven via revert (compile-level) + contract test