@pmelab/gtd 40.0.0 → 42.0.0

package/src/workflows/feature/quality-unresolved.feature

@@ -1,14 +1,16 @@
 @inmem
-Feature: quality findings left unresolved hold a feature process short of its review
+Feature: quality findings left unresolved between slices hold the next slice back
 
-  When the quality lap's fix cap leaves `.gtd/QUALITY.md` behind, the process
-  rests for a person instead of handing findings nobody acted on to the
-  human review.
+  Between slices no review reads the quality lap's leftovers, so when the fix
+  cap leaves `.gtd/QUALITY.md` behind the process rests for a person before
+  the next slice. The last slice's leftovers become review notes instead (see
+  `lens-review.feature`).
 
   Background:
     Given the shipped workflows, as gtd install scaffolds them
     And an environment variable "GTD_QUALITYREVIEWS" set to "correctness"
     And an environment variable "GTD_FLAGMODE" set to "false"
+    And an environment variable "GTD_SLICEMAXCRITERIA" set to "1"
     And a file "src/calc.ts" with:
       """
       export const add = (a: number, b: number) => a + b
@@ -16,9 +18,9 @@ Feature: quality findings left unresolved hold a feature process short of its re
     And the working tree is committed as "feat: add calculator"
     And a file "TODO.md" with:
       """
-      # Add subtract
+      # More arithmetic
 
-      subtract(a, b) returns the difference.
+      subtract and multiply.
       """
     And step "unwind" changes nothing
     And step "start-gate.check" changes nothing
@@ -26,41 +28,53 @@ Feature: quality findings left unresolved hold a feature process short of its re
       """
       # Requirements
 
-      ## Concerns
-
-      ### Subtract
-
-      - `subtract(a, b)` returns `a - b`.
-
       ## Acceptance Criteria
 
       - AC-1: subtract(a, b) returns a - b.
+      - AC-2: multiply(a, b) returns a * b.
       """
     And step "design.gate.answer" changes nothing
-    And step "seam.naive" writes "src/calc.test.ts" with:
+    And step "design.slicing" writes ".gtd/SLICES.md" with:
+      """
+      # Slices
+
+      ## Subtract
+
+      - AC-1
+
+      ## Multiply
+
+      - AC-2
+      """
+    And step "seam.naive", when prompted with "This slice builds AC-1 only", writes "src/sub.test.ts" with:
       """
       it("[AC-1] subtracts", () => {})
       """
-    And step "seam.naive" writes "src/calc.ts" with:
+    And step "seam.naive", when prompted with "This slice builds AC-2 only", writes "src/mul.test.ts" with:
       """
-      export const add = (a: number, b: number) => a + b
-      export const subtract = (a: number, b: number) => a - b
+      it("[AC-2] multiplies", () => {})
       """
     And step "seam.check" changes nothing
     And step "implement.applying" runs its script
     And step "implement.health.check" changes nothing
     And step "implement.closing" runs its script
-    And judge step "implement.coverage" answers:
+    And judge step "implement.coverage", when its questions contain "AC-1", answers:
       """
       [{"id":"AC-1","answer":"yes","p":0.9}]
       """
+    And judge step "implement.coverage", when its questions contain "AC-2", answers:
+      """
+      [{"id":"AC-2","answer":"yes","p":0.9}]
+      """
 
-  Scenario: findings the fix cap left unresolved rest at build.quality-unresolved
+  Scenario: findings the fix cap left after a slice rest at build.quality-unresolved
     Given step "build.quality.correctness.reviewing" writes ".gtd/QUALITY.md" with:
       """
       # Quality
 
-      - subtract has no test
+      ## subtract has no negative test
+
+      Add a test subtracting a larger number.
       """
     And step "build.fix.quality.fixing" from now on changes nothing
     And step "build.health.describe" writes ".gtd/ESCALATION.md" with:
@@ -74,33 +88,34 @@ Feature: quality findings left unresolved hold a feature process short of its re
     Given step "build.fix" writes "src/calc.ts" with:
       """
       export const add = (a: number, b: number) => a + b
-      export const subtract = (a: number, b: number) => a - b
       // checked
       """
     And step "build.health.check" changes nothing
     When gtd lands
     And the process is driven
     Then the process rests at "build.quality-unresolved"
-    And ".gtd/QUALITY.md" contains "subtract has no test"
+    And ".gtd/QUALITY.md" contains "subtract has no negative test"
 
     When gtd lands
     And the process is driven
     Then the process rests at "build.quality-unresolved"
 
-    Given a file "src/calc.ts" with:
-      """
-      export const add = (a: number, b: number) => a + b
-      export const subtract = (a: number, b: number) => a - b
-      // checked by hand
-      """
-    And the file ".gtd/QUALITY.md" is deleted
-    And step "build.health.check" changes nothing
+    Given the file ".gtd/QUALITY.md" is deleted
+    And step "build.quality.correctness.reviewing" from now on changes nothing
+    And step "build.review.composing" runs its script
     When gtd lands
     And the process is driven
-    Then the process rests at "build.review.reviewing"
+    Then the process rests at "build.review.await-review"
     And the commit subjects end with:
       """
-      gtd(check): build.health.check → build.quality-unresolved
       gtd(human): build.quality-unresolved → build.health.check
-      gtd(check): build.health.check → build.review.reviewing
+      gtd(check): build.health.check → seam.naive
+      gtd(agent): seam.naive → seam.check
+      gtd(check): seam.check → implement.applying
+      gtd(check): implement.applying → implement.health.check
+      gtd(check): implement.health.check → implement.coverage
+      gtd(judge): implement.coverage → implement.closing
+      gtd(check): implement.closing → build.quality.correctness.reviewing
+      gtd(agent): build.quality.correctness.reviewing → build.review.composing
+      gtd(check): build.review.composing → build.review.await-review
       """

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

@@ -69,7 +69,7 @@ Feature: a refactor that carried the whole feature still gets a quality lap over
       """
     And step "refactor.health.check" changes nothing
     And step "refactor.closing" runs its script
-    And step "refactor.build.review.reviewing" writes ".gtd/REVIEW.md" with:
+    And step "refactor.build.review.composing" writes ".gtd/REVIEW.md" with:
       """
       # Review: abc1234
 
@@ -113,7 +113,7 @@ Feature: a refactor that carried the whole feature still gets a quality lap over
 
     Given step "build.quality.correctness.reviewing" changes nothing
     When the process is driven
-    Then the process rests at "build.review.reviewing"
+    Then the process rests at "build.review.composing"
     And "src/calc.ts" contains "subtract"
     And the commit subjects end with:
       """
@@ -123,7 +123,7 @@ Feature: a refactor that carried the whole feature still gets a quality lap over
       gtd(check): implement.health.check → implement.coverage
       gtd(judge): implement.coverage → implement.closing
       gtd(check): implement.closing → build.quality.correctness.reviewing
-      gtd(agent): build.quality.correctness.reviewing → build.review.reviewing
+      gtd(agent): build.quality.correctness.reviewing → build.review.composing
       """
     And the output lines of gtd "slices" start with:
       """

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

@@ -72,7 +72,7 @@ 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.reviewing" writes ".gtd/REVIEW.md" with:
+    And step "refactor.build.review.composing" writes ".gtd/REVIEW.md" with:
       """
       # Review: abc1234
 
@@ -121,7 +121,7 @@ Feature: a refactor-first judgment walks one fixed path to the review gate
       [{"id":"AC-1","answer":"yes","p":0.9}]
       """
     When the process is driven
-    Then the process rests at "build.review.reviewing"
+    Then the process rests at "build.review.composing"
     And "src/calc.ts" contains "op(a, b, 1)"
     And "src/calc.ts" contains "subtract"
     And the commit subjects end with:
@@ -138,14 +138,14 @@ 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.reviewing
-      gtd(agent): refactor.build.review.reviewing → refactor.build.review.await-review
+      gtd(check): refactor.closing → refactor.build.review.composing
+      gtd(check): refactor.build.review.composing → 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
       gtd(check): implement.health.check → implement.coverage
       gtd(judge): implement.coverage → implement.closing
-      gtd(check): implement.closing → build.review.reviewing
+      gtd(check): implement.closing → build.review.composing
       """
     And the commit "gtd(human): idle → unwind" has a body containing "Gtd-Var: flag_risk_tier=0"
     And the commit "gtd(agent): seam.naive → seam.check" has a body containing "Gtd-Kept:"

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

@@ -83,7 +83,7 @@ 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.reviewing" writes ".gtd/REVIEW.md" with:
+    And step "refactor.build.review.composing" writes ".gtd/REVIEW.md" with:
       """
       # Review: abc1234
 
@@ -147,7 +147,7 @@ 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.reviewing" writes ".gtd/REVIEW.md" with:
+    And step "refactor.build.review.composing" writes ".gtd/REVIEW.md" with:
       """
       # Review: abc1234
 
@@ -193,7 +193,7 @@ 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.reviewing" writes ".gtd/REVIEW.md" with:
+    And step "refactor.build.review.composing" writes ".gtd/REVIEW.md" with:
       """
       # Review: abc1234
 
@@ -242,7 +242,7 @@ Feature: refactor-first writes a refactor note, refactors on its own, then rebui
       [{"id":"AC-1","answer":"yes","p":0.9}]
       """
     When the process is driven
-    Then the process rests at "build.review.reviewing"
+    Then the process rests at "build.review.composing"
     And "src/calc.ts" contains "op(a, b, -1)"
     And "src/acceptance.test.ts" contains "[AC-1]"
     And ".gtd/REFACTOR-NOTE.md" does not exist
@@ -253,14 +253,14 @@ 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.reviewing
-      gtd(agent): refactor.build.review.reviewing → refactor.build.review.await-review
+      gtd(check): refactor.closing → refactor.build.review.composing
+      gtd(check): refactor.build.review.composing → 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
       gtd(check): implement.health.check → implement.coverage
       gtd(judge): implement.coverage → implement.closing
-      gtd(check): implement.closing → build.review.reviewing
+      gtd(check): implement.closing → build.review.composing
       """
     And the output lines of gtd "slices" start with:
       """

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

@@ -78,7 +78,7 @@ 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.reviewing" writes ".gtd/REVIEW.md" with:
+    And step "refactor.build.review.composing" writes ".gtd/REVIEW.md" with:
       """
       # Review: abc1234
 
@@ -171,7 +171,7 @@ 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.reviewing" writes ".gtd/REVIEW.md" with:
+    And step "refactor.build.review.composing" writes ".gtd/REVIEW.md" with:
       """
       # Review: abc1234
 
@@ -191,8 +191,8 @@ 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.reviewing
-      gtd(agent): refactor.build.review.reviewing → refactor.build.review.await-review
+      gtd(agent): refactor.build.quality.correctness.reviewing → refactor.build.review.composing
+      gtd(check): refactor.build.review.composing → refactor.build.review.await-review
       """
 
 
@@ -263,7 +263,7 @@ 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.reviewing" writes ".gtd/REVIEW.md" with:
+      And step "refactor.build.review.composing" writes ".gtd/REVIEW.md" with:
         """
         # Review: abc1234
 
@@ -345,91 +345,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.reviewing
-        gtd(agent): refactor.build.review.reviewing → refactor.build.review.await-review
+        gtd(check): refactor.closing → refactor.build.review.composing
+        gtd(check): refactor.build.review.composing → refactor.build.review.await-review
         """
 
-    Scenario: the refactor review says the whole refactor on its second round
-      Given step "refactor.build.review.reviewing" is prompted with "it covers the whole refactor since it started, on every round"
-      And step "implement.building" writes "src/calc.ts" with:
-        """
-        export const op = (a: number, b: number, sign: number) => a + sign * b
-        export const add = (a: number, b: number) => op(a, b, 1)
-        export const subtract = (a: number, b: number) => op(a, b, -1)
-        """
-      And step "implement.building" writes "src/acceptance.test.ts" with:
-        """
-        it("[AC-1] holds", () => {})
-        """
-      And step "implement.health.check" changes nothing
-      And step "implement.closing" runs its script
-      And judge step "implement.coverage" answers:
-        """
-        [{"id":"AC-1","answer":"yes","p":0.9}]
-        """
-      When the process is driven
-      Then the process rests at "refactor.build.review.await-review"
-      Given a file ".gtd/REVIEW.md" with:
-        """
-        # Review: abc1234
-
-        <!-- base: 0000000 -->
-
-        ## calc
-
-        - [ ] ./src/calc.ts#1-2
-          add built on the shared op[^why]
-
-        [^why]:
-            - H: name the helper `combine`
-        """
-      And step "refactor.build.review.collecting" writes ".gtd/REFACTOR.md" with:
-        """
-        Name the shared helper `combine`.
-        """
-      And step "refactor.build.review.collecting" writes ".gtd/REVIEW.md" with:
-        """
-        # Review: abc1234
-
-        <!-- base: 0000000 -->
-
-        ## calc
-
-        - [ ] ./src/calc.ts#1-2
-          add built on the shared op[^why]
-
-        [^why]:
-            - H: name the helper `combine`
-            - A: noted in the refactor package.
-        """
-      When gtd lands
-      And the process is driven
-      Then the process rests at "refactor.build.review.await-review"
-      Given a file ".gtd/REVIEW.md" with:
-        """
-        # Review: abc1234
-
-        <!-- base: 0000000 -->
-
-        ## calc
-
-        - [ ] ./src/calc.ts#1-2
-          add built on the shared op
-        """
-      And step "refactor.re-unwind" runs its script
-      And step "refactor.deriving" runs its script
-      And step "refactor.building" writes "src/calc.ts" with:
-        """
-        export const combine = (a: number, b: number, sign: number) => a + sign * b
-        export const add = (a: number, b: number) => combine(a, b, 1)
-        """
-      When gtd lands
-      And the process is driven
-      Then the process rests at "refactor.build.review.await-review"
-      When gtd lands
-      And the process is driven
-      Then the process rests at "build.review.reviewing"
-
     Scenario: a question answered at the refactor review reaches the re-derived package as ### Answered Questions
       When the process is driven
       Then the process rests at "refactor.build.review.await-review"
@@ -515,8 +434,8 @@ 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.reviewing
-        gtd(agent): refactor.build.review.reviewing → refactor.build.review.await-review
+        gtd(check): refactor.closing → refactor.build.review.composing
+        gtd(check): refactor.build.review.composing → refactor.build.review.await-review
         """
 
     Scenario: an edit note the collecting turn leaves out refuses the landing and never signs off
@@ -727,7 +646,7 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
         """
       When gtd lands
       And the process is driven
-      Then the process rests at "build.review.reviewing"
+      Then the process rests at "build.review.composing"
       And "src/calc.ts" contains "subtract"
 
     Scenario: a praise-only one-shot footnote signs off and the feature slice follows
@@ -769,7 +688,7 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
         """
       When gtd lands
       And the process is driven
-      Then the process rests at "build.review.reviewing"
+      Then the process rests at "build.review.composing"
       And "src/calc.ts" contains "subtract"
 
     Scenario: a one-shot footnote judged edit that collecting leaves out refuses naming its anchor
@@ -1084,7 +1003,7 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
         """
       When gtd lands
       And the process is driven
-      Then the process rests at "build.review.reviewing"
+      Then the process rests at "build.review.composing"
       And "src/calc.ts" contains "subtract"
 
     Scenario: a praise-only refactor review still signs off and the feature slice follows
@@ -1119,7 +1038,7 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
         """
       When gtd lands
       And the process is driven
-      Then the process rests at "build.review.reviewing"
+      Then the process rests at "build.review.composing"
       And "src/calc.ts" contains "subtract"
 
     Scenario: a nit fix in the refactor slice that changes a non-stray is refused, though a glob stray widens the write access
@@ -1184,8 +1103,8 @@ 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.reviewing
-        gtd(agent): refactor.build.review.reviewing → refactor.build.review.await-review
+        gtd(check): refactor.closing → refactor.build.review.composing
+        gtd(check): refactor.build.review.composing → refactor.build.review.await-review
         """
 
   Rule: with a quality lens on both slices
@@ -1256,7 +1175,7 @@ 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.reviewing" writes ".gtd/REVIEW.md" with:
+      And step "refactor.build.review.composing" writes ".gtd/REVIEW.md" with:
         """
         # Review: abc1234
 
@@ -1309,11 +1228,11 @@ Feature: the refactor slice is reviewed on its own before the feature is impleme
       And the resting step's content contains the hash of the commit "gtd(check): refactor.build.review.closing → implement.building"
       Given step "build.quality.correctness.reviewing" changes nothing
       When the process is driven
-      Then the process rests at "build.review.reviewing"
+      Then the process rests at "build.review.composing"
       And the commit subjects end with:
         """
         gtd(check): implement.closing → build.quality.correctness.reviewing
-        gtd(agent): build.quality.correctness.reviewing → build.review.reviewing
+        gtd(agent): build.quality.correctness.reviewing → build.review.composing
         """
 
   Rule: a refactor package never carries a test file, and demoted headings stop at ######
@@ -1463,7 +1382,7 @@ 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.reviewing" writes ".gtd/REVIEW.md" with:
+      And step "refactor.build.review.composing" writes ".gtd/REVIEW.md" with:
         """
         # Review: abc1234
 

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

@@ -781,8 +781,6 @@ interface ReviewedScript {
   /** The collecting turn writes no package. */
   readonly silentCollect?: boolean
   readonly collected?: string
-  /** The note the first `review.reviewing` turn writes; later ones write `add`. */
-  readonly firstReviewNote?: string
 }
 
 /** Runs `reviewedRefactor` against a scripted context; a third await-review stops the run. */
@@ -797,7 +795,6 @@ const driveReviewed = async (
   const files = new Map<string, string>()
   let last = ""
   let awaits = 0
-  let reviews = 0
   let reds = script.reds ?? 0
   let checking = false
   let pending: boolean | Error = false
@@ -823,9 +820,7 @@ const driveReviewed = async (
     ...Object.fromEntries(lensEffects),
     deriving: () => void files.set(REFACTOR_PACKAGE, "package"),
     closing: () => void files.delete(REFACTOR_PACKAGE),
-    "review.reviewing": () => {
-      files.set(REVIEW, reviewDoc(reviews++ === 0 ? (script.firstReviewNote ?? "add") : "add"))
-    },
+    "review.composing": () => void files.set(REVIEW, reviewDoc("add")),
     "review.closing": () => void files.delete(REVIEW),
     "review.collecting": () => {
       if (!script.silentCollect)
@@ -846,6 +841,14 @@ const driveReviewed = async (
           if (request.kind === "restart") return Promise.resolve()
           record(request)
           effects[request.name]?.()
+          // Every lens finding is mechanical, so the fix turn runs.
+          if (request.kind === "judge" && request.name === "quality.triage")
+            return Promise.resolve({
+              answers: Object.fromEntries(
+                request.questions.map((q) => [q.id, { answer: "mechanical", p: 0.9 }]),
+              ),
+              truncated: [],
+            })
           return Promise.resolve(
             request.kind === "judge" ? { answers: script.answers ?? {}, truncated: [] } : undefined,
           )
@@ -926,7 +929,7 @@ describe("reviewedRefactor", () => {
       "refactor.build.quality.correctness.reviewing",
       "refactor.build.quality.ponytail-review.reviewing",
       "refactor.build.quality.conventions.reviewing",
-      "refactor.build.review.reviewing",
+      "refactor.build.review.composing",
       "refactor.build.review.await-review",
       "refactor.build.review.closing",
     ])
@@ -934,8 +937,8 @@ describe("reviewedRefactor", () => {
 
   it("reviews from HEAD at scope entry", 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("base: c0")
+    const composing = h.steps.find((s) => s.kind === "run" && s.name === "review.composing")
+    expect(composing?.kind === "run" ? composing.body : "").toContain("<!-- base: c0 -->")
   })
 
   it("names the entry commit in every lens prompt, on the first lap and after a feedback lap", async () => {
@@ -1192,10 +1195,6 @@ describe("reviewedRefactor's tail prompts", () => {
   it.each([
     ["refactor.build.fix", { findings: true, reds: 2 }],
     ["refactor.build.fix.quality.fixing", { findings: true }],
-    [
-      "refactor.build.review.fix.risks.fixing",
-      { firstReviewNote: "Risk: drops the carry", notes: [undefined] },
-    ],
     [
       "refactor.build.review.fix.nits.fixing",
       { notes: ["nit"], answers: { "note-1": { answer: "nit", p: 0.9 } } },
@@ -1211,17 +1210,3 @@ describe("reviewedRefactor's tail prompts", () => {
     },
   )
 })
-
-describe("reviewedRefactor's review lap wording", () => {
-  it("says the whole refactor since it started on the first and the second round", async () => {
-    const h = await driveReviewed(shape(), { notes: ["add — rename it", undefined] })
-    const prompts = h.steps.flatMap((s) =>
-      s.kind === "agent" && s.name === "review.reviewing" ? [s.prompt] : [],
-    )
-    expect(prompts).toHaveLength(2)
-    for (const prompt of prompts) {
-      expect(prompt).toContain("it covers the whole refactor since it started, on every round")
-      expect(prompt).not.toContain("only what is new since the previous review")
-    }
-  })
-})

package/src/workflows/feature/refactor.ts

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

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

@@ -57,7 +57,7 @@ Feature: a feature process ends at the human review
       """
       [{"id":"AC-1","answer":"yes","p":0.9}]
       """
-    And step "build.review.reviewing" writes ".gtd/REVIEW.md" with:
+    And step "build.review.composing" writes ".gtd/REVIEW.md" with:
       """
       # Review: abc1234
 
@@ -78,8 +78,8 @@ Feature: a feature process ends at the human review
     And the commit subjects end with:
       """
       gtd(judge): implement.coverage → implement.closing
-      gtd(check): implement.closing → build.review.reviewing
-      gtd(agent): build.review.reviewing → build.review.await-review
+      gtd(check): implement.closing → build.review.composing
+      gtd(check): build.review.composing → build.review.await-review
       """
 
   Scenario: a sign-off ends the process at idle
@@ -102,7 +102,7 @@ Feature: a feature process ends at the human review
     And ".gtd/REVIEW.md" does not exist
     And the commit subjects end with:
       """
-      gtd(agent): build.review.reviewing → build.review.await-review
+      gtd(check): build.review.composing → build.review.await-review
       gtd(human): build.review.await-review → build.review.closing
       gtd(check): build.review.closing → idle
       """
@@ -214,8 +214,8 @@ Feature: a feature process ends at the human review
         gtd(agent): implement.building → implement.health.check
         gtd(check): implement.health.check → implement.coverage
         gtd(judge): implement.coverage → implement.closing
-        gtd(check): implement.closing → build.review.reviewing
-        gtd(agent): build.review.reviewing → build.review.await-review
+        gtd(check): implement.closing → build.review.composing
+        gtd(check): build.review.composing → build.review.await-review
         """
 
     Scenario: a design numbering new behaviour at or below an earlier ID is refused