Keep staged repair guidance schema-aligned
ober
1c561669bca9f778f118ff6ac2804e007f408ae3
--- a/src/jcode/core/verified-run.ss +++ b/src/jcode/core/verified-run.ss @@ -2669,7 +2669,7 @@ "The file was not written. Repair the retained draft for " path " with line_edit, replace_range, replace_def, exact old_str replacement, or edit/write with complete corrected contents. " - "You may call read(path,start,end) or balance(path) to inspect the reported region first. " + "Use the reported line/span directly when inspection tools are not listed in the current tool schema. " "MCP file-edit tools cannot repair this state because the file does not exist on disk. " "Do not call run/list/verify until that file exists.")) @@ -4955,7 +4955,7 @@ path ", but the staged result is still not valid Jerboa syntax. " "The staged draft remains editable and was not written to disk. " - "Continue with line_edit, replace_range, replace_def, or exact old_str replacement against this draft; use read/balance only for the reported region. Do not regenerate the full file.\n" + "Continue with line_edit, replace_range, replace_def, or exact old_str replacement against the reported line/span in this draft. Do not regenerate the full file.\n" msg) tool)) (begin --- a/test/run.ss +++ b/test/run.ss @@ -9142,7 +9142,8 @@ [(null? ys) #f] [(and (str-contains? (car ys) "staged result is still not valid Jerboa syntax") (str-contains? (car ys) "The staged draft remains editable") - (str-contains? (car ys) "Do not regenerate the full file")) + (str-contains? (car ys) "Do not regenerate the full file") + (not (str-contains? (car ys) "read/balance"))) #t] [else (loop (cdr ys))])))) (safe-delete-test-file! target-path))) @@ -9334,7 +9335,8 @@ (cond [(null? ys) #f] [(and (str-contains? (car ys) "staged result is still not valid Jerboa syntax") - (str-contains? (car ys) "The staged draft remains editable")) + (str-contains? (car ys) "The staged draft remains editable") + (not (str-contains? (car ys) "read/balance"))) #t] [else (loop (cdr ys))])))) (check-pred! "verified-run: identical rejected draft locks non-edit tools"