From f883f39dbf8b90ac8a4f5c7470d9cc4bd32eaf7e Mon Sep 17 00:00:00 2001 From: Rodin Date: Fri, 15 May 2026 11:06:49 -0700 Subject: [PATCH] =?UTF-8?q?fix(#158):=20address=20NIT=20feedback=20?= =?UTF-8?q?=E2=80=94=20clarify=20enforcement=20split,=20clean=20=C2=A79=20?= =?UTF-8?q?prose?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- docs/dev-loop-spec.md | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/docs/dev-loop-spec.md b/docs/dev-loop-spec.md index 670f276..3c71812 100644 --- a/docs/dev-loop-spec.md +++ b/docs/dev-loop-spec.md @@ -274,7 +274,7 @@ Every worker template begins with an `⛔ ABSOLUTE CONSTRAINTS` section containi - **NEVER use the gitea-aweiker token.** All API calls use the gitea-rodin token only. - **NEVER act on a PR with active REQUEST_CHANGES.** Fix the findings first. -These constraints are statically enforced by `check-invariants.sh`: S1 and S9 cover the dispatch script (no merge, no close); S8 and S10 cover worker templates (no merge calls, no close calls, and NEVER-close text present in each). +The first two constraints are statically enforced by `check-invariants.sh`: S1 and S9 cover the dispatch script (no merge, no close); S8 and S10 cover worker templates (no merge calls, no close calls, and NEVER-close text present in each). The remaining two constraints (token usage and REQUEST_CHANGES gate) are enforced by runtime logic. --- @@ -296,5 +296,4 @@ script never had a close call, but workers could reason their way into calling `PATCH /pulls/{id}` with `state=closed`. All worker templates now include `NEVER close a PR` in their ABSOLUTE CONSTRAINTS section. Invariant S9 verifies the dispatch script contains no close calls. Invariant S10 verifies -worker templates contain no close calls and each contains the NEVER-close text. Regression -tests in `dispatch.bats` verify all of this statically. +worker templates contain no close calls and each contains the NEVER-close text. Regression tests in `dispatch.bats` statically verify all of these constraints.