@pmelab/gtd 50.0.0 → 51.0.0

package/src/workflows/feature/refactor-first.feature

@@ -9,6 +9,7 @@ Feature: a refactor-first judgment walks one fixed path to the review gate
 
   Background:
     Given the shipped workflows, as gtd install scaffolds them
+    And an environment variable "GTD_PROTOTYPEROUNDS" set to "0"
     And an environment variable "GTD_QUALITYREVIEWS" set to ""
     And an environment variable "GTD_REFACTORQUALITYREVIEWS" set to ""
     And an environment variable "GTD_FLAG_RISK_TIER" set to "0"
@@ -72,7 +73,12 @@ Feature: a refactor-first judgment walks one fixed path to the review gate
       """
     And step "refactor.health.check" changes nothing
     And step "refactor.closing" runs its script
-    And step "refactor.build.review.composing" writes ".gtd/REVIEW.md" with:
+    And judge step "refactor.build.review.ranking" answers:
+      """
+      []
+      """
+    And step "refactor.build.review.carrying" runs its script
+    And step "refactor.build.review.reviewing" writes ".gtd/REVIEW.md" with:
       """
       # Review: abc1234
 
@@ -96,6 +102,8 @@ Feature: a refactor-first judgment walks one fixed path to the review gate
 
       ## calc
 
+      _critical: judge unsure_
+
       - [x] ./src/calc.ts#1-2
         add built on the shared op
       """
@@ -138,8 +146,10 @@ Feature: a refactor-first judgment walks one fixed path to the review gate
       gtd(check): refactor.deriving → refactor.building
       gtd(agent): refactor.building → refactor.health.check
       gtd(check): refactor.health.check → refactor.closing
-      gtd(check): refactor.closing → refactor.build.review.composing
-      gtd(check): refactor.build.review.composing → refactor.build.review.await-review
+      gtd(check): refactor.closing → refactor.build.review.reviewing
+      gtd(agent): refactor.build.review.reviewing → refactor.build.review.ranking
+      gtd(judge): refactor.build.review.ranking → refactor.build.review.carrying
+      gtd(check): refactor.build.review.carrying → refactor.build.review.await-review
       gtd(human): refactor.build.review.await-review → refactor.build.review.closing
       gtd(check): refactor.build.review.closing → implement.building
       gtd(agent): implement.building → implement.health.check

package/src/workflows/feature/refactor-rebuild.feature

@@ -10,6 +10,7 @@ Feature: refactor-first writes a refactor note, refactors on its own, then rebui
 
   Background:
     Given the shipped workflows, as gtd install scaffolds them
+    And an environment variable "GTD_PROTOTYPEROUNDS" set to "0"
     And an environment variable "GTD_QUALITYREVIEWS" set to ""
     And an environment variable "GTD_REFACTORQUALITYREVIEWS" set to ""
     And an environment variable "GTD_FLAG_RISK_TIER" set to "0"
@@ -83,7 +84,12 @@ Feature: refactor-first writes a refactor note, refactors on its own, then rebui
       """
     And step "refactor.health.check" changes nothing
     And step "refactor.closing" runs its script
-    And step "refactor.build.review.composing" writes ".gtd/REVIEW.md" with:
+    And judge step "refactor.build.review.ranking" answers:
+      """
+      []
+      """
+    And step "refactor.build.review.carrying" runs its script
+    And step "refactor.build.review.reviewing" writes ".gtd/REVIEW.md" with:
       """
       # Review: abc1234
 
@@ -106,6 +112,8 @@ Feature: refactor-first writes a refactor note, refactors on its own, then rebui
 
       ## calc
 
+      _critical: judge unsure_
+
       - [x] ./src/calc.ts#1-2
         add built on the shared op
       """
@@ -147,7 +155,12 @@ Feature: refactor-first writes a refactor note, refactors on its own, then rebui
       """
     And step "refactor.health.check" changes nothing
     And step "refactor.closing" runs its script
-    And step "refactor.build.review.composing" writes ".gtd/REVIEW.md" with:
+    And judge step "refactor.build.review.ranking" answers:
+      """
+      []
+      """
+    And step "refactor.build.review.carrying" runs its script
+    And step "refactor.build.review.reviewing" writes ".gtd/REVIEW.md" with:
       """
       # Review: abc1234
 
@@ -170,6 +183,8 @@ Feature: refactor-first writes a refactor note, refactors on its own, then rebui
 
       ## calc
 
+      _critical: judge unsure_
+
       - [x] ./src/calc.ts#1-2
         add built on the shared op
       """
@@ -193,7 +208,12 @@ Feature: refactor-first writes a refactor note, refactors on its own, then rebui
       """
     And step "refactor.health.check" changes nothing
     And step "refactor.closing" runs its script
-    And step "refactor.build.review.composing" writes ".gtd/REVIEW.md" with:
+    And judge step "refactor.build.review.ranking" answers:
+      """
+      []
+      """
+    And step "refactor.build.review.carrying" runs its script
+    And step "refactor.build.review.reviewing" writes ".gtd/REVIEW.md" with:
       """
       # Review: abc1234
 
@@ -216,6 +236,8 @@ Feature: refactor-first writes a refactor note, refactors on its own, then rebui
 
       ## calc
 
+      _critical: judge unsure_
+
       - [x] ./src/calc.ts#1-2
         add built on the shared op
       """
@@ -253,8 +275,10 @@ Feature: refactor-first writes a refactor note, refactors on its own, then rebui
       gtd(check): refactor.deriving → refactor.building
       gtd(agent): refactor.building → refactor.health.check
       gtd(check): refactor.health.check → refactor.closing
-      gtd(check): refactor.closing → refactor.build.review.composing
-      gtd(check): refactor.build.review.composing → refactor.build.review.await-review
+      gtd(check): refactor.closing → refactor.build.review.reviewing
+      gtd(agent): refactor.build.review.reviewing → refactor.build.review.ranking
+      gtd(judge): refactor.build.review.ranking → refactor.build.review.carrying
+      gtd(check): refactor.build.review.carrying → refactor.build.review.await-review
       gtd(human): refactor.build.review.await-review → refactor.build.review.closing
       gtd(check): refactor.build.review.closing → implement.building
       gtd(agent): implement.building → implement.health.check

package/src/workflows/feature/refactor-review.feature

@@ -9,6 +9,7 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
 
   Background:
     Given the shipped workflows, as gtd install scaffolds them
+    And an environment variable "GTD_PROTOTYPEROUNDS" set to "0"
     And an environment variable "GTD_QUALITYREVIEWS" set to ""
     And an environment variable "GTD_FLAG_RISK_TIER" set to "0"
 
@@ -78,7 +79,12 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
       """
     And step "refactor.health.check" changes nothing
     And step "refactor.closing" runs its script
-    And step "refactor.build.review.composing" writes ".gtd/REVIEW.md" with:
+    And judge step "refactor.build.review.ranking" answers:
+      """
+      []
+      """
+    And step "refactor.build.review.carrying" runs its script
+    And step "refactor.build.review.reviewing" writes ".gtd/REVIEW.md" with:
       """
       # Review: abc1234
 
@@ -171,7 +177,12 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
       """
     And step "refactor.health.check" changes nothing
     And step "refactor.closing" runs its script
-    And step "refactor.build.review.composing" writes ".gtd/REVIEW.md" with:
+    And judge step "refactor.build.review.ranking" answers:
+      """
+      []
+      """
+    And step "refactor.build.review.carrying" runs its script
+    And step "refactor.build.review.reviewing" writes ".gtd/REVIEW.md" with:
       """
       # Review: abc1234
 
@@ -191,8 +202,10 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
     And the commit subjects end with:
       """
       gtd(check): refactor.closing → refactor.build.quality.correctness.reviewing
-      gtd(agent): refactor.build.quality.correctness.reviewing → refactor.build.review.composing
-      gtd(check): refactor.build.review.composing → refactor.build.review.await-review
+      gtd(agent): refactor.build.quality.correctness.reviewing → refactor.build.review.reviewing
+      gtd(agent): refactor.build.review.reviewing → refactor.build.review.ranking
+      gtd(judge): refactor.build.review.ranking → refactor.build.review.carrying
+      gtd(check): refactor.build.review.carrying → refactor.build.review.await-review
       """
 
 
@@ -263,7 +276,12 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
         """
       And step "refactor.health.check" changes nothing
       And step "refactor.closing" runs its script
-      And step "refactor.build.review.composing" writes ".gtd/REVIEW.md" with:
+      And judge step "refactor.build.review.ranking" answers:
+        """
+        []
+        """
+      And step "refactor.build.review.carrying" runs its script
+      And step "refactor.build.review.reviewing" writes ".gtd/REVIEW.md" with:
         """
         # Review: abc1234
 
@@ -287,6 +305,8 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
 
         ## calc
 
+        _critical: judge unsure_
+
         - [ ] ./src/calc.ts#1-2
           add built on the shared op[^why]
 
@@ -324,6 +344,8 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
 
         ## calc
 
+        _critical: judge unsure_
+
         - [ ] ./src/calc.ts#1-2
           add built on the shared op
         """
@@ -345,8 +367,10 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
         gtd(check): refactor.deriving → refactor.building
         gtd(agent): refactor.building → refactor.health.check
         gtd(check): refactor.health.check → refactor.closing
-        gtd(check): refactor.closing → refactor.build.review.composing
-        gtd(check): refactor.build.review.composing → refactor.build.review.await-review
+        gtd(check): refactor.closing → refactor.build.review.reviewing
+        gtd(agent): refactor.build.review.reviewing → refactor.build.review.ranking
+        gtd(judge): refactor.build.review.ranking → refactor.build.review.carrying
+        gtd(check): refactor.build.review.carrying → refactor.build.review.await-review
         """
 
     Scenario: a question answered at the refactor review reaches the re-derived package as ### Answered Questions
@@ -360,6 +384,8 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
 
         ## calc
 
+        _critical: judge unsure_
+
         - [ ] ./src/calc.ts#1-1
           why a shared op?
         - [ ] ./src/calc.ts#2-2
@@ -434,8 +460,10 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
         gtd(check): refactor.deriving → refactor.building
         gtd(agent): refactor.building → refactor.health.check
         gtd(check): refactor.health.check → refactor.closing
-        gtd(check): refactor.closing → refactor.build.review.composing
-        gtd(check): refactor.build.review.composing → refactor.build.review.await-review
+        gtd(check): refactor.closing → refactor.build.review.reviewing
+        gtd(agent): refactor.build.review.reviewing → refactor.build.review.ranking
+        gtd(judge): refactor.build.review.ranking → refactor.build.review.carrying
+        gtd(check): refactor.build.review.carrying → refactor.build.review.await-review
         """
 
     Scenario: an edit note the collecting turn leaves out refuses the landing and never signs off
@@ -449,6 +477,8 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
 
         ## calc
 
+        _critical: judge unsure_
+
         - [ ] ./src/calc.ts#1-2
           add built on the shared op — this should change behaviour, not just structure
         """
@@ -493,6 +523,8 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
 
         ## calc
 
+        _critical: judge unsure_
+
         - [ ] ./src/calc.ts#1-2 rename the helper
           add built on the shared op
         """
@@ -520,6 +552,8 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
 
         ## calc
 
+        _critical: judge unsure_
+
         - [ ] ./src/calc.ts#1-2
           add built on the shared op, lovely work
         """
@@ -539,6 +573,8 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
 
         ## calc
 
+        _critical: judge unsure_
+
         - [ ] ./src/calc.ts#1-2
           add built on the shared op[^q]
 
@@ -593,6 +629,8 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
 
         ## calc
 
+        _critical: judge unsure_
+
         - [ ] ./src/calc.ts#1-2
           add built on the shared op[^q]
 
@@ -625,6 +663,8 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
 
         ## calc
 
+        _critical: judge unsure_
+
         - [ ] ./src/calc.ts#1-2
           add built on the shared op[^q]
 
@@ -676,6 +716,8 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
 
         ## calc
 
+        _critical: judge unsure_
+
         - [ ] ./src/calc.ts#1-2
           add built on the shared op[^n1]
 
@@ -702,6 +744,8 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
 
         ## calc
 
+        _critical: judge unsure_
+
         - [ ] ./src/calc.ts#1-2
           add built on the shared op[^n1]
 
@@ -729,6 +773,8 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
 
         ## calc
 
+        _critical: judge unsure_
+
         - [ ] ./src/calc.ts#1-2
           add built on the shared op[^q]
 
@@ -761,6 +807,8 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
 
         ## calc
 
+        _critical: judge unsure_
+
         - [ ] ./src/calc.ts#1-2
           add built on the shared op[^n1]
 
@@ -787,6 +835,8 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
 
         ## calc
 
+        _critical: judge unsure_
+
         - [ ] ./src/calc.ts#1-2
           add built on the shared op - this should change behaviour, not just structure[^q]
 
@@ -819,6 +869,8 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
 
         ## calc
 
+        _critical: judge unsure_
+
         - [ ] ./src/calc.ts#1-2
           add built on the shared op - this should change behaviour, not just structure[^q]
 
@@ -864,6 +916,8 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
 
         ## calc
 
+        _critical: judge unsure_
+
         - [ ] ./src/calc.ts#1-2
           add built on the shared op[^q]
 
@@ -896,6 +950,8 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
 
         ## calc
 
+        _critical: judge unsure_
+
         - [ ] ./src/calc.ts#1-2
           add built on the shared op[^q]
 
@@ -946,6 +1002,8 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
 
         ## calc
 
+        _critical: judge unsure_
+
         - [ ] ./src/calc.ts#1-2
           add built on the shared op, lovely work[^q]
 
@@ -978,6 +1036,8 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
 
         ## calc
 
+        _critical: judge unsure_
+
         - [ ] ./src/calc.ts#1-2
           add built on the shared op, lovely work[^q]
 
@@ -1033,6 +1093,8 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
 
         ## calc
 
+        _critical: judge unsure_
+
         - [x] ./src/calc.ts#1-2
           add built on the shared op
         """
@@ -1056,6 +1118,8 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
 
         ## calc
 
+        _critical: judge unsure_
+
         - [ ] ./src/calc.ts#1-2
           add built on the shared op — rename `sign` to `direction`
         """
@@ -1085,6 +1149,8 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
 
         ## calc
 
+        _critical: judge unsure_
+
         - [ ] ./src/calc.ts#1-2
           add built on the shared op — rename `sign` to `direction`
         """
@@ -1103,9 +1169,25 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
       Then the process rests at "refactor.build.review.await-review"
       And the commit subjects end with:
         """
-        gtd(check): refactor.closing → refactor.build.review.composing
-        gtd(check): refactor.build.review.composing → refactor.build.review.await-review
+        gtd(check): refactor.closing → refactor.build.review.reviewing
+        gtd(agent): refactor.build.review.reviewing → refactor.build.review.ranking
+        gtd(judge): refactor.build.review.ranking → refactor.build.review.carrying
+        gtd(check): refactor.build.review.carrying → refactor.build.review.await-review
+        """
+
+    Scenario: a reviewer walks the human through the whole refactor, every chunk pointing at its code
+      When the process is driven
+      Then the process rests at "refactor.build.review.await-review"
+      And ".gtd/REVIEW.md" contains:
+        """
+        ## calc
+
+        _critical: judge unsure_
+
+        - [ ] ./src/calc.ts#1-2
+          add built on the shared op
         """
+      And no commit body contains "refactor.build.review.composing"
 
   Rule: with a quality lens on both slices
 
@@ -1175,7 +1257,12 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
         """
       And step "refactor.health.check" changes nothing
       And step "refactor.closing" runs its script
-      And step "refactor.build.review.composing" writes ".gtd/REVIEW.md" with:
+      And judge step "refactor.build.review.ranking" answers:
+        """
+        []
+        """
+      And step "refactor.build.review.carrying" runs its script
+      And step "refactor.build.review.reviewing" writes ".gtd/REVIEW.md" with:
         """
         # Review: abc1234
 
@@ -1219,6 +1306,8 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
 
         ## calc
 
+        _critical: judge unsure_
+
         - [x] ./src/calc.ts#1-2
           add built on the shared op
         """
@@ -1382,7 +1471,12 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
         """
       And step "refactor.health.check" changes nothing
       And step "refactor.closing" runs its script
-      And step "refactor.build.review.composing" writes ".gtd/REVIEW.md" with:
+      And judge step "refactor.build.review.ranking" answers:
+        """
+        []
+        """
+      And step "refactor.build.review.carrying" runs its script
+      And step "refactor.build.review.reviewing" writes ".gtd/REVIEW.md" with:
         """
         # Review: abc1234
 
@@ -1403,6 +1497,8 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
 
         ## calc
 
+        _critical: judge unsure_
+
         - [ ] ./src/calc.ts#1-2
           add built on the shared op[^why]
 
@@ -1443,6 +1539,8 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
 
         ## calc
 
+        _critical: judge unsure_
+
         - [ ] ./src/calc.ts#1-2
           add built on the shared op
         """

package/src/workflows/feature/refactor.test.ts

@@ -820,7 +820,7 @@ const driveReviewed = async (
     ...Object.fromEntries(lensEffects),
     deriving: () => void files.set(REFACTOR_PACKAGE, "package"),
     closing: () => void files.delete(REFACTOR_PACKAGE),
-    "review.composing": () => void files.set(REVIEW, reviewDoc("add")),
+    "review.reviewing": () => void files.set(REVIEW, reviewDoc("add")),
     "review.closing": () => void files.delete(REVIEW),
     "review.collecting": () => {
       if (!script.silentCollect)
@@ -929,7 +929,9 @@ describe("reviewedRefactor", () => {
       "refactor.build.quality.correctness.reviewing",
       "refactor.build.quality.ponytail-review.reviewing",
       "refactor.build.quality.conventions.reviewing",
-      "refactor.build.review.composing",
+      "refactor.build.review.reviewing",
+      "refactor.build.review.ranking",
+      "refactor.build.review.carrying",
       "refactor.build.review.await-review",
       "refactor.build.review.closing",
     ])
@@ -937,8 +939,16 @@ describe("reviewedRefactor", () => {
 
   it("reviews from HEAD at scope entry", async () => {
     const h = await driveReviewed(shape())
-    const composing = h.steps.find((s) => s.kind === "run" && s.name === "review.composing")
-    expect(composing?.kind === "run" ? composing.body : "").toContain("<!-- base: c0 -->")
+    const reviewing = h.steps.find((s) => s.kind === "agent" && s.name === "review.reviewing")
+    expect(reviewing?.kind === "agent" ? reviewing.prompt : "").toContain("<!-- base: c0 -->")
+  })
+
+  it("has the reviewer walk the whole refactor on every round", async () => {
+    const h = await driveReviewed(shape())
+    const reviewing = h.steps.find((s) => s.kind === "agent" && s.name === "review.reviewing")
+    expect(reviewing?.kind === "agent" ? reviewing.prompt : "").toContain(
+      "it covers the whole refactor since it started, on every round",
+    )
   })
 
   it("names the entry commit in every lens prompt, on the first lap and after a feedback lap", async () => {

package/src/workflows/feature/refactor.ts

@@ -389,6 +389,8 @@ export const reviewedRefactor = async (
         fixAccess: strayAccess(p.strays),
         lensBase: entry,
         rules: t.refactorRules(p.strays, p.pattern),
+        walkthrough: true,
+        lap: "refactor",
       })
       if (outcome.verdict === "signoff") return true
       await reUnwind(outcome)

package/src/workflows/feature/review-answers.feature

@@ -10,6 +10,7 @@ Feature: every note in the review is answered with one tick
 
   Background:
     Given the shipped workflows, as gtd install scaffolds them
+    And an environment variable "GTD_PROTOTYPEROUNDS" set to "0"
     And an environment variable "GTD_QUALITYREVIEWS" set to "correctness"
     And an environment variable "GTD_FLAGMODE" set to "false"
     And a file "src/calc.ts" with:

package/src/workflows/feature/review-gate.feature

@@ -10,6 +10,7 @@ Feature: a feature process ends at the human review
 
   Background:
     Given the shipped workflows, as gtd install scaffolds them
+    And an environment variable "GTD_PROTOTYPEROUNDS" set to "0"
     And an environment variable "GTD_QUALITYREVIEWS" set to ""
     And an environment variable "GTD_FLAGMODE" set to "false"
     And a file "src/calc.ts" with:

package/src/workflows/feature/reviewer-walkthrough.feature

@@ -11,6 +11,7 @@ Feature: a reviewer walks the human through the feature's code
 
   Background:
     Given the shipped workflows, as gtd install scaffolds them
+    And an environment variable "GTD_PROTOTYPEROUNDS" set to "0"
     And an environment variable "GTD_QUALITYREVIEWS" set to "correctness"
     And an environment variable "GTD_FLAGMODE" set to "false"
     And a file "src/calc.ts" with:

package/src/workflows/feature/seam-rejection.feature

@@ -9,6 +9,7 @@ Feature: rejected naive passes walk one fixed path through the steer gate to the
 
   Background:
     Given the shipped workflows, as gtd install scaffolds them
+    And an environment variable "GTD_PROTOTYPEROUNDS" set to "0"
     And an environment variable "GTD_QUALITYREVIEWS" set to ""
     And an environment variable "GTD_FLAG_RISK_TIER" set to "0"
     And a file "src/calc.ts" with:

package/src/workflows/feature/seam.feature

@@ -7,6 +7,7 @@ Feature: the naive pass and seam judge decide how a feature is built
 
   Background:
     Given the shipped workflows, as gtd install scaffolds them
+    And an environment variable "GTD_PROTOTYPEROUNDS" set to "0"
     And the gtd config ends with:
       """
       export const config = {

package/src/workflows/feature/seam.test.ts

@@ -335,7 +335,7 @@ const driveSeam = async (
     note: () => void files.set(NOTE, "Seam: a shared op"),
     deriving: () => void files.set(REFACTOR, "package"),
     closing: () => void files.delete(REFACTOR),
-    "review.composing": () => void files.set(REVIEW, reviewDoc),
+    "review.reviewing": () => void files.set(REVIEW, reviewDoc),
     "review.closing": () => {
       files.delete(REVIEW)
       current = "after-refactor"
@@ -500,7 +500,8 @@ describe("implement", () => {
     lastOptions = undefined
     installContext(
       fixtureContext(
-        {},
+        // The hands-on test after coverage has its own scenarios.
+        { vars: { prototypeRounds: "0" } },
         {
           step: (request: StepRequest) => {
             requests.push(request)

package/src/workflows/feature/seam.ts

@@ -26,10 +26,19 @@ import {
   type KeptTip,
 } from "../../flows/index.js"
 import { continuing, phase, type Handoff, type Phase } from "../shared/continuation.js"
-import { coder, FEEDBACK, HANDOFF, REFACTOR_NOTE, REQUIREMENTS, SLICES } from "../shared/steps.js"
+import {
+  coder,
+  FEEDBACK,
+  HANDOFF,
+  PROTOTYPE,
+  REFACTOR_NOTE,
+  REQUIREMENTS,
+  SLICES,
+} from "../shared/steps.js"
 import * as t from "../shared/text.js"
 import { defaults } from "../shared/vars.js"
 import { green, requireCoverage } from "./coverage.js"
+import { prototypeTest } from "./prototype.js"
 import {
   criterionIds,
   requireCriteria,
@@ -373,10 +382,11 @@ export const implementing = (options: ImplementOptions): Promise<readonly string
     if (built && acceptance !== undefined)
       requireAcceptance({ ...acceptance, ids: settled(acceptance.ids, options.slice) }, since)
     // Fix turns are held to the carried tests too: deleting a red one must not buy a green suite.
-    await green(
-      built && acceptance !== undefined ? () => requireAcceptanceKept(acceptance) : undefined,
-    )
+    const keepsTests =
+      built && acceptance !== undefined ? () => requireAcceptanceKept(acceptance) : undefined
+    await green(keepsTests)
     await requireCoverage(options.base, options.slice)
+    await prototypeTest(options.slice, keepsTests)
     const ids = criterionIds(read(REQUIREMENTS) ?? "")
     await closing(moreToBuild(options.more))
     return ids
@@ -393,7 +403,11 @@ export const closeOut = (): Promise<void> => scope("implement", () => closing(fa
 const closing = (more: boolean): Promise<void> =>
   run(
     "closing",
-    removeScript(more ? [REFACTOR_NOTE, HANDOFF] : [REQUIREMENTS, REFACTOR_NOTE, SLICES, HANDOFF]),
+    removeScript(
+      more
+        ? [REFACTOR_NOTE, HANDOFF, PROTOTYPE]
+        : [REQUIREMENTS, REFACTOR_NOTE, SLICES, HANDOFF, PROTOTYPE],
+    ),
     { label: "Closing out the implementation" },
   )
 

package/src/workflows/feature/severity-budget.feature

@@ -7,6 +7,7 @@ Feature: the review's ranking is batched to the judge's budget
 
   Background:
     Given the shipped workflows, as gtd install scaffolds them
+    And an environment variable "GTD_PROTOTYPEROUNDS" set to "0"
     And an environment variable "GTD_QUALITYREVIEWS" set to "correctness"
     And an environment variable "GTD_FLAGMODE" set to "false"
     And an environment variable "GTD_JUDGEBUDGETBYTES" set to "150"

package/src/workflows/feature/severity-sorted-review.feature

@@ -10,6 +10,7 @@ Feature: the final review lists what matters most first
 
   Background:
     Given the shipped workflows, as gtd install scaffolds them
+    And an environment variable "GTD_PROTOTYPEROUNDS" set to "0"
     And an environment variable "GTD_QUALITYREVIEWS" set to "correctness"
     And an environment variable "GTD_FLAGMODE" set to "false"
     And a file "src/calc.ts" with: