Raise verified workflow tool error budget

ober

877f2a6e57ba71d8437b3992c173b1b3197f768e

diff --git a/src/jcode/core/verified-run.ss b/src/jcode/core/verified-run.ss
index d635e95..08ec9ca 100644
--- a/src/jcode/core/verified-run.ss
+++ b/src/jcode/core/verified-run.ss
@@ -31,6 +31,7 @@
         :jcode/proxy/server)
 
 (def default-verify-command "make build")
+(def default-verified-max-tool-errors 5)
 
 (def (opt-get o key) (let ((p (assoc key o))) (and p (cdr p))))
 
@@ -3653,7 +3654,8 @@
 ;;   write-scope (#f/all, 'none, list, or comma-separated string)
 ;;   task-guidance (optional caller-supplied text added to the system prompt)
 ;;   run-aliases? (#f; opt into legacy run/bash/shell inspection aliases)
-;;   best-of (1)  max-iterations (48)  max-repeated-calls (6)  on-message (#f)
+;;   best-of (1)  max-iterations (48)  max-tool-errors (5)
+;;   max-repeated-calls (6)  on-message (#f)
 ;; Returns the done tool's summary string, or raises the runner's condition
 ;; (MaxIterations / StepEnforcement / ToolExecution / NoProgress) on failure.
 (def (verified-run provider task . opt)
@@ -3677,6 +3679,9 @@
                       (cons 'task-guidance task-guidance)
                       (cons 'terminal-on-verify #t))))
 	         (ropt (list (cons 'max-iterations     (or (opt-get o 'max-iterations) 48))
+	                     (cons 'max-tool-errors
+	                           (or (opt-get o 'max-tool-errors)
+	                               default-verified-max-tool-errors))
 	                     (cons 'max-repeated-calls (or (opt-get o 'max-repeated-calls) 6))
 	                     (cons 'retry-text-responses? #t)
 	                     (cons 'on-message         (opt-get o 'on-message)))))