From 70844f3471e8dc94cb8caad9044cb410f4985b0f Mon Sep 17 00:00:00 2001 From: Kevin Veen-Birkenbach Date: Thu, 12 Nov 2026 18:12:35 +0000 Subject: [PATCH] docs(requirements): keep 003 in English at the per-push waiver MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit test_english flagged the German waiver phrase at 003-operator-workbench.md:283. 🎯 Fix: 99 % 💥 Break: 1 % 💸 Cost: 100 % ⏱️ Time: 100 % 🛡️ Security: 100 % 🏆 Score: 98 🚦 Gate: ✅ 90/5, cost and time <= 100, security 100 % Co-Authored-By: Claude Opus 5.5 --- docs/requirements/003-operator-workbench.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/requirements/003-operator-workbench.md b/docs/requirements/003-operator-workbench.md index a05dcc0..2b4ea76 100644 --- a/docs/requirements/003-operator-workbench.md +++ b/docs/requirements/003-operator-workbench.md @@ -280,7 +280,7 @@ flowchart TD Operator rules stay: commits and handed-over pushes run with `--no-verify`, so the hooks are a second line, never the only gate check; `kvb-git-push` still verifies quality-high on the exact commit, and an - explicit per-push waiver ("ohne gate") from the operator stays possible. + explicit per-push waiver from the operator stays possible. (3) pre-commit quick checks start nothing heavy: no make test, no Docker, nothing that belongs in `queue.py hold`. (4) No oracle tests and GPU off in the resolved level.