@squadrules/mcp 5.13.6 → 5.13.8

package/dist/embed-docs/mem/critic-loop.md

@@ -1,5 +1,5 @@
 ---
-version: "5.13.6"
+version: "5.13.8"
 slug: critic-loop
 title: Critic Loop
 ---
@@ -20,8 +20,11 @@ by an explicit iteration ceiling (see Verdict).
 ## Activation Patterns
 
 **Typically invoked by:** another protocol at the end of a plan, implement,
-validation, or review phase via `forward` with the stored adapter URI
-`squadrules://adapter/critic-loop`.
+validation, or review phase, reached from a `subagent` contract whose
+`subagent.mcp` names `forward` with the stored adapter URI
+`squadrules://adapter/critic-loop`. The critic runs in the delegated context, not
+on the audited agent's thread — that separation is why the type is `subagent` and
+not `forward`.
 
 **Can be invoked directly when agent needs:**
 - "review phase output" / "verify plan" / "audit implementation"
@@ -35,6 +38,8 @@ validation, or review phase via `forward` with the stored adapter URI
 - Trust the executor's assertions without independent evidence.
 - Classify a claim as `verified` based only on absence of contradiction.
 - Keep investigating after a precondition failure that blocks verification.
+- Re-delegate this review to another subagent: you are the separation the caller
+  asked for, and nesting a second layer of delegation hides the verdict's author.
 
 **Must Always:**
 - Extract claims before investigating.
@@ -43,6 +48,8 @@ validation, or review phase via `forward` with the stored adapter URI
 - Check every item in the supplied requirement list for coverage; a missing
   requirement is a FAIL even when the output is internally consistent.
 - Include confidence in every verdict and failure class in every FAIL verdict.
+- Write `$VERDICT_FILE` on **every** path, including an early-abort, so the
+  caller's gate always reads a real verdict instead of failing on a missing file.
 - Preserve the boundary between execution and review.
 
 **Good trigger examples:**
@@ -117,14 +124,10 @@ are broken.
 - failure class = `verification_blocked`
 - confidence = `Low`
 - write focused diagnostics
-- skip all later steps
+- write `$VERDICT_FILE` with those diagnostics, then skip all later steps
 
 **Output:** verified preconditions or early-abort diagnostics
 
-```json
-{"contract":{"type":"shell","shell":{"cmd":"test -f \"${WORK_MANIFEST:-}\" || test -f \"${INPUT_FILE:-}\"","interpreter":"bash","timeout_seconds":3},"required":true}}
-```
-
 ## Resolve Submission
 
 Turn the submission into the material under review. What cannot be resolved is
@@ -157,10 +160,6 @@ never guessed at.
 
 **Output:** resolved work inventory for the audit
 
-```json
-{"contract":{"type":"subagent","subagent":{"context":"Resolve the work submission into reviewable material: read the manifest, resolve each item by kind from work.root, and record the resolved inventory with per-item status."},"required":true}}
-```
-
 ## Audit
 
 Perform bounded adversarial review of the target against the resolved work
@@ -218,10 +217,6 @@ Any `missing` item — or any `partial` high-risk item — forces FAIL with
 
 **Output:** structured audit findings for the verdict step
 
-```json
-{"contract":{"type":"subagent","subagent":{"context":"Perform bounded adversarial audit: extract claims, investigate with scope discipline, gather evidence by priority hierarchy, produce claim verdicts, review phase boundary, and check requirement coverage."},"required":true}}
-```
-
 ## Verdict
 
 Turn the audit into a final PASS / FAIL result.
@@ -246,7 +241,8 @@ Turn the audit into a final PASS / FAIL result.
 - Line 1 is `PASS` → the loop is satisfied; the calling adapter may continue.
 - Line 1 is `FAIL` → the calling adapter **MUST NOT** proceed to reward, **MUST
   NOT** ask the user for approval, and **MUST NOT** continue. It must address the
-  findings, increment `context.iteration`, and re-invoke critic-loop.
+  findings, increment `context.iteration`, and re-invoke critic-loop from a fresh
+  delegated subagent — never on the thread that produced the work under review.
 - `failure_class: iteration_ceiling` → stop looping and surface the unresolved
   findings; never silently pass. The ceiling bounds the loop so a weak agent
   cannot thrash forever.
@@ -265,3 +261,14 @@ The phase output has been independently challenged and looped until satisfied. T
 resulting verdict is more truthful because it is based on extracted claims,
 explicit evidence, contradiction search, requirement-by-requirement coverage, and
 a clean boundary between execution and review.
+
+The single contract on this adapter is the verdict-file syntax gate: it is the
+one artifact the critic produces, and everything before it is the critic's own
+reasoning. The precondition, submission-resolution, and audit steps carry no
+contracts because a contract gates an outcome, not a step, and a critic that
+gates itself inward re-delegates work it was delegated to perform.
+
+That gate asserts the verdict file's **shape**, not the review's soundness: a
+`PASS` is this critic's judgment, and the separation that makes it worth
+something is that a critic was run apart from the executor. The caller's own
+`PASS` gate proves only that a file was written saying `PASS`.

package/dist/embed-docs/mem/protocol-linking-guide.md

@@ -1,5 +1,5 @@
 ---
-version: "5.13.6"
+version: "5.13.8"
 slug: protocol-linking-guide
 title: Adapter Linking Guide
 ---
@@ -50,7 +50,12 @@ cohesive concern.
 - the adapter exceeds 350 lines
 - weaker models cannot follow the full adapter in one pass
 - runtime routing to different adapters is needed (Router pattern)
-- a step is reusable across multiple parent adapters (e.g. `critic-loop`)
+- a step is reusable across multiple parent adapters (e.g. a shared
+  deployment-check adapter)
+
+A review is **not** a chain link: reaching `critic-loop` to audit the current
+run's work is a `subagent` hop, because a `forward` hop leaves the critic on the
+thread that made the mistakes.
 
 Chaining is NOT a replacement for layers. A 6-step adapter that fits in 350
 lines should stay as one adapter with 6 H2 layers.
@@ -118,10 +123,12 @@ To run an extension adapter, call **`forward`** with
 Both system and user-authored adapters chain using slugs in `next_action`:
 
 ```text
-call forward with squadrules://adapter/critic-loop ...
 call forward with squadrules://adapter/implement-terraform ...
 ```
 
+A review hop is not a chain link — reach `critic-loop` from a `subagent` contract
+whose `subagent.mcp` names `forward`.
+
 Slugs are globally unique (enforced by `train`), so resolution is
 deterministic — no scoring, no ambiguity.
 

package/dist/embed-docs/mem/refine-search.md

@@ -1,5 +1,5 @@
 ---
-version: "5.13.6"
+version: "5.13.8"
 slug: refine-search
 title: Get help refining your search
 ---