@pmelab/gtd 37.0.0 → 38.0.0

package/.claude-plugin/plugin.json

@@ -1,6 +1,6 @@
 {
   "name": "gtd",
-  "version": "37.0.0",
+  "version": "38.0.0",
   "description": "Drive the gtd loop inside Claude Code: agent turns run as subagents, gtd decides every beat",
   "author": {
     "name": "Philipp Melab"

package/README.md

@@ -638,6 +638,15 @@ out is `gtd abandon`. A process from 27.5.0 or later whose judge ruled
 that slice. Details in
 [the naive-pass path](docs/configuration.md#the-naive-pass-path).
 
+**Coarse slices (`sliceMaxCriteria`, default 8).** A change with more acceptance
+criteria than the cap is built in slices: after design an agent groups related
+criteria (same flow or subsystem) into `.gtd/SLICES.md`, as few slices as the
+cap allows, and each slice — naive pass, refactor and rebuild when judged so,
+health loop, quality lap — runs in order from where the previous one landed.
+`gtd slices` lists them as `feature-1`, `feature-2`, … (`refactor-<n>` ahead of
+a refactored one). A change within the cap is one `feature` slice, as before.
+See [Coarse slices](docs/configuration.md#coarse-slices).
+
 **Flag mode (`flagMode`, on by default).** On, the naive pass's judge runs as
 above and a rebuilt implementation is asked for a new release flag (none at a
 `low` risk tier); a pass the judge lets land is not asked for one. A project

package/dist/chunks/{reserved-zAfoJtR7.mjs → reserved-sfMdy7v7.mjs}

@@ -133,6 +133,7 @@ const defaults = {
 	refactorFlagPattern: "\\bGTD_FLAG_\\w+",
 	seamAllow: [...testFileGlobs, ".gtd/**"].join(", "),
 	flagMode: "true",
+	sliceMaxCriteria: "8",
 	flag_risk_tier: "0",
 	qualityReviews: "correctness, owasp-security, ponytail-review, test-audit, conventions, spec-challenge",
 	refactorQualityReviews: "correctness, ponytail-review, conventions"
@@ -592,6 +593,24 @@ printf '%s\\n' ${[
 	].map(quote).join(" ")} > ${quote(".gtd/REQUIREMENTS.md")}
 `;
 };
+const slicingPrompt = (cap) => `${stateFileRules}
+- Read \`.gtd/REQUIREMENTS.md\`: its \`## Acceptance Criteria\` are settled
+  and more than ${cap}, too many to build in one slice
+- Group them into slices in \`.gtd/SLICES.md\`, one \`## <title>\` heading per
+  slice over a \`- AC-<n>\` list item per criterion it builds. Put criteria of
+  the same flow or subsystem together; every criterion in exactly one slice,
+  at most ${cap} per slice
+- Keep it coarse: as few slices as the cap allows, never one per criterion
+- Order the slices so each builds on the ones before: they run in that order,
+  each from where the previous one landed
+- Change nothing but \`.gtd/SLICES.md\` — leave the criteria as they are
+- Leave everything uncommitted and finish your turn — do not commit
+`;
+/** The line telling a slice's turn which criteria are its own; empty for a single slice. */
+const sliceLine = (ids) => ids === void 0 ? "" : `- This slice builds ${ids.join(", ")} only: every rule here about the criteria
+  means these. The others are for other slices, before or after it — leave
+  them unbuilt and untested
+`;
 const designSystem = () => `${designPersona}
 
 ${agentConduct}`;
@@ -1238,9 +1257,9 @@ re-implement. It changed these files outside the expected set:
 ${listed(retry.strays)}
 Start over and choose a different approach; do not rebuild the same diff.
 `;
-const naivePassPrompt = (retry) => `${stateFileRules}
+const naivePassPrompt = (retry, slice) => `${stateFileRules}
 - Read \`.gtd/REQUIREMENTS.md\`: the settled requirements for this change
-${criteriaBinding(false)}
+${sliceLine(slice)}${criteriaBinding(false)}
 - Implement them the quickest way that works — the naive version. Do not
   restructure, abstract or refactor around the change; it may land exactly as
   you leave it, and a reviewer makes it fit
@@ -1290,9 +1309,13 @@ const afterRefactorLine = (rebuild) => `- A reviewed refactor has just landed an
   though never a release flag. Build only what is still missing, held to every
   rule below; if nothing is, ${carries(rebuild) ? "carry over the acceptance tests below and change nothing else" : "change nothing and finish your turn"}
 `;
-const implementBuildingPrompt = (reference, tier, amend, afterRefactor, flagMode = true, rebuild = {}) => `${stateFileRules}
+const flagLine = (flagMode, tier, amend, sliced) => !flagMode ? "- Add no release flag — this project ships without release flags" : tier === "low" ? "- Add no release flag — this change is low risk tier" : amend === true ? "- Keep the release flag the earlier lap added, if it added one; otherwise put\n  the behaviour behind a new release flag" : sliced ? `- Put the new behaviour behind the release flag an earlier slice of this
+  change added; only when none did, behind a new one, following the
+  repository's flag conventions` : `- Put the new behaviour behind a new release flag, following the
+  repository's flag conventions`;
+const implementBuildingPrompt = (reference, tier, amend, afterRefactor, flagMode = true, rebuild = {}, slice) => `${stateFileRules}
 - Read \`.gtd/REQUIREMENTS.md\`: the settled requirements for this change
-${criteriaBinding(true)}
+${sliceLine(slice)}${criteriaBinding(true)}
 ${afterRefactor === true ? afterRefactorLine(rebuild) : ""}${amend === true ? `- The change already exists in the tree from an earlier lap; amend it to meet
   the re-derived requirements instead of rewriting it
 ` : flagMode ? `- Implement them properly, fitting the codebase's seams and conventions
@@ -1301,8 +1324,7 @@ ${afterRefactor === true ? afterRefactorLine(rebuild) : ""}${amend === true ? `-
 `}${reference === void 0 || amend === true ? "" : `- Reference only: \`git show ${reference}\` shows an earlier naive attempt.
   Read it for ideas; never apply, cherry-pick or check it out — write
   the change fresh${carries(rebuild) ? ", its acceptance tests excepted (below)" : ""}
-`}${rebuildLines(rebuild)}${!flagMode ? "- Add no release flag — this project ships without release flags" : tier === "low" ? "- Add no release flag — this change is low risk tier" : amend === true ? "- Keep the release flag the earlier lap added, if it added one; otherwise put\n  the behaviour behind a new release flag" : `- Put the new behaviour behind a new release flag, following the
-  repository's flag conventions`}
+`}${rebuildLines(rebuild)}${flagLine(flagMode, tier, amend, slice !== void 0)}
 - Write the tests first, then the code that makes them pass. Name each
   criterion's ID in the test that covers it (\`[AC-3] …\`): once the suite is
   green a judge checks every ID has a passing test, and sends uncovered ones back
@@ -1383,9 +1405,9 @@ const coverageMessage = () => `Judging acceptance-criteria coverage. Run \`gtd j
 \`yes\`/\`no\` verdict per criterion ID — or land without a verdict, which
 counts every criterion as uncovered.
 `;
-const coveringPrompt = (uncovered) => `${stateFileRules}
+const coveringPrompt = (uncovered, slice) => `${stateFileRules}
 - Read \`.gtd/REQUIREMENTS.md\`: the settled requirements for this change
-${criteriaBinding(true)}
+${sliceLine(slice)}${criteriaBinding(true)}
 - A judge found no passing test in this change that covers ${uncovered.join(", ")}.
   Write a behaviour-level test for each, naming its ID in the test or scenario
   name (\`[${uncovered[0]}] …\`), and fix the code if the test shows it falls short
@@ -1412,6 +1434,7 @@ const REVIEW = ".gtd/REVIEW.md";
 const REFACTOR = ".gtd/REFACTOR.md";
 const REFACTOR_NOTE = ".gtd/REFACTOR-NOTE.md";
 const QUALITY = ".gtd/QUALITY.md";
+const SLICES = ".gtd/SLICES.md";
 const planner = () => env.plannerModel ?? "";
 const coder = () => env.coderModel ?? "";
 const fixCheck = (rules) => agentWithSkills("fix", buildFixPrompt(rules), {
@@ -1605,6 +1628,7 @@ const ShippedOptions = Struct({
 	reviewSeverityMinP: setting,
 	refactorFlagPattern: setting,
 	seamAllow: setting,
+	sliceMaxCriteria: setting,
 	qualityReviews: setting,
 	refactorQualityReviews: setting,
 	testCommand: setting,
@@ -1710,4 +1734,4 @@ const steering = {
 	[REVIEW]: "review"
 };
 //#endregion
-export { normaliseCriteriaScript as $, buildReviewAwaitAfterDeferMessage as A, criterionLine as B, fixRisks as C, registryEntry as Ct, reviewing as D, reviewQuality as E, clearCriteriaMessage as F, finisherSystem as G, designGateAnswerMessage as H, clearCriteriaQuestion as I, idleMessage as J, fixReviewNotesPrompt as K, coverageMessage as L, buildReviewFixNitsPrompt as M, buildReviewTriageMessage as N, agentWithSkills as O, builderSystem as P, naivePassPrompt as Q, coverageQuestion as R, fixQuality as S, flipProblems as St, reviewMissing as T, designSystem as U, deferNotesScript as V, designTriagePrompt as W, implementFixPrompt as X, implementBuildingPrompt as Y, naiveApplyFailure as Z, REQUIREMENTS as _, defaults as _t, flagModeOn as a, refactorRules as at, coder as b, flagMentions as bt, baseline as c, reviewGateBlockedMessage as ct, guarded as d, seamByHandMessage as dt, qualityUnresolvedMessage as et, healthy as f, seamSteerMessage as ft, REFACTOR_NOTE as g, unwindFailure as gt, REFACTOR as h, unwindFailedMessage as ht, skills as i, refactorNotePrompt as it, buildReviewCollectingPrompt as j, buildReviewAnswerQuestionsPrompt as k, escalation as l, reviewNotesCapture as lt, QUALITY as m, uncoveredMessage as mt, summary as n, refactorDroppedRefusal as nt, flagShipped as o, reviewEditNotesCapture as ot, FEEDBACK as p, startGateBlockedMessage as pt, handOffAwaitReviewMessage as q, access as r, refactorFixPrompt as rt, shipped as s, reviewEditsCapture as st, steering as t, refactorBuildingPrompt as tt, gate as u, reviewerSystem as ut, REVIEW as v, envDefaults as vt, planner as w, requireFlag as wt, fixCheck as x, flagReferences as xt, awaitReview as y, testFileGlobs as yt, coveringPrompt as z };
+export { naivePassPrompt as $, buildReviewAnswerQuestionsPrompt as A, coveringPrompt as B, fixQuality as C, flagReferences as Ct, reviewQuality as D, reviewMissing as E, requireFlag as Et, builderSystem as F, designTriagePrompt as G, deferNotesScript as H, clearCriteriaMessage as I, handOffAwaitReviewMessage as J, finisherSystem as K, clearCriteriaQuestion as L, buildReviewCollectingPrompt as M, buildReviewFixNitsPrompt as N, reviewing as O, buildReviewTriageMessage as P, naiveApplyFailure as Q, coverageMessage as R, fixCheck as S, flagMentions as St, planner as T, registryEntry as Tt, designGateAnswerMessage as U, criterionLine as V, designSystem as W, implementBuildingPrompt as X, idleMessage as Y, implementFixPrompt as Z, REQUIREMENTS as _, unwindFailedMessage as _t, flagModeOn as a, refactorNotePrompt as at, awaitReview as b, envDefaults as bt, baseline as c, reviewEditsCapture as ct, guarded as d, reviewerSystem as dt, normaliseCriteriaScript as et, healthy as f, seamByHandMessage as ft, REFACTOR_NOTE as g, uncoveredMessage as gt, REFACTOR as h, startGateBlockedMessage as ht, skills as i, refactorFixPrompt as it, buildReviewAwaitAfterDeferMessage as j, agentWithSkills as k, escalation as l, reviewGateBlockedMessage as lt, QUALITY as m, slicingPrompt as mt, summary as n, refactorBuildingPrompt as nt, flagShipped as o, refactorRules as ot, FEEDBACK as p, seamSteerMessage as pt, fixReviewNotesPrompt as q, access as r, refactorDroppedRefusal as rt, shipped as s, reviewEditNotesCapture as st, steering as t, qualityUnresolvedMessage as tt, gate as u, reviewNotesCapture as ut, REVIEW as v, unwindFailure as vt, fixRisks as w, flipProblems as wt, coder as x, testFileGlobs as xt, SLICES as y, defaults as yt, coverageQuestion as z };

package/dist/chunks/{tail-BRC4DGdV.mjs → tail-Cgca5Gp-.mjs}

@@ -1,6 +1,6 @@
 import { read, refuse, removeScript, run, scope, showScript, vars } from "../flows.mjs";
 import { fixFindings, lensEntriesOf, lensOf, qualityLap as qualityLap$1, reviewToHandOff } from "../workflow-kit.mjs";
-import { C as fixRisks, D as reviewing, E as reviewQuality, S as fixQuality, T as reviewMissing, d as guarded, f as healthy, l as escalation, m as QUALITY, q as handOffAwaitReviewMessage, v as REVIEW, x as fixCheck, y as awaitReview } from "./reserved-zAfoJtR7.mjs";
+import { C as fixQuality, D as reviewQuality, E as reviewMissing, J as handOffAwaitReviewMessage, O as reviewing, S as fixCheck, b as awaitReview, d as guarded, f as healthy, l as escalation, m as QUALITY, v as REVIEW, w as fixRisks } from "./reserved-sfMdy7v7.mjs";
 //#region src/workflows/shared/tail.ts
 /** The reviewer's own `.gtd/REVIEW.md`, kept beside the human's notes so `fix` can tell them apart. */
 const REVIEW_ORIG = ".gtd/REVIEW.orig.md";

package/dist/workflows/cleanup.mjs

@@ -1,6 +1,6 @@
 import { agent, changes, glob, read, refuse, scope, start, vars } from "../flows.mjs";
-import { Ct as registryEntry, _t as defaults, b as coder, i as skills, n as summary, o as flagShipped, r as access, t as steering, vt as envDefaults, wt as requireFlag, xt as flagReferences } from "../chunks/reserved-zAfoJtR7.mjs";
-import { a as refusePendingHandOff, r as handOffTail } from "../chunks/tail-BRC4DGdV.mjs";
+import { Ct as flagReferences, Et as requireFlag, Tt as registryEntry, bt as envDefaults, i as skills, n as summary, o as flagShipped, r as access, t as steering, x as coder, yt as defaults } from "../chunks/reserved-sfMdy7v7.mjs";
+import { a as refusePendingHandOff, r as handOffTail } from "../chunks/tail-Cgca5Gp-.mjs";
 //#region src/workflows/cleanup/cleanup.ts
 const removingPrompt = (name, registry) => `Clean up the release flag "${name}", which is default-on: delete its entry in ${registry}, and remove every \`GTD_FLAG_${name.toUpperCase()}\` check from the shipped sources. Keep the flag-on path; delete code only the off path reached, including tests that pin the off path.`;
 const cleanupFlow = async () => {

package/dist/workflows/feature.mjs

@@ -1,7 +1,7 @@
 import { agent, answered, applyScript, changes, changesSince, check, codeChanges, env, hasThreadFor, head, human, judge, judgeDiffShape, kept, mark, matches, numeric, quote, read, refuse, removeScript, requireAnswers, requireProgress, requireReplies, requireRevert, requireThreadsClosed, restoreScript, revertScript, run, scope, slice, start, vars, wrote } from "../flows.mjs";
 import { lensEntriesOf, review as review$1 } from "../workflow-kit.mjs";
-import { $ as normaliseCriteriaScript, A as buildReviewAwaitAfterDeferMessage, B as criterionLine, C as fixRisks, D as reviewing, F as clearCriteriaMessage, H as designGateAnswerMessage, I as clearCriteriaQuestion, J as idleMessage, L as coverageMessage, M as buildReviewFixNitsPrompt, N as buildReviewTriageMessage, O as agentWithSkills, P as builderSystem, Q as naivePassPrompt, R as coverageQuestion, T as reviewMissing, U as designSystem, V as deferNotesScript, W as designTriagePrompt, X as implementFixPrompt, Y as implementBuildingPrompt, Z as naiveApplyFailure, _ as REQUIREMENTS, _t as defaults, a as flagModeOn, at as refactorRules, b as coder, d as guarded, dt as seamByHandMessage, et as qualityUnresolvedMessage, f as healthy, ft as seamSteerMessage, g as REFACTOR_NOTE, gt as unwindFailure, h as REFACTOR, ht as unwindFailedMessage, i as skills, it as refactorNotePrompt, j as buildReviewCollectingPrompt, k as buildReviewAnswerQuestionsPrompt, lt as reviewNotesCapture, m as QUALITY, mt as uncoveredMessage, n as summary, nt as refactorDroppedRefusal, ot as reviewEditNotesCapture, p as FEEDBACK, pt as startGateBlockedMessage, r as access, rt as refactorFixPrompt, s as shipped, st as reviewEditsCapture, t as steering, tt as refactorBuildingPrompt, u as gate, ut as reviewerSystem, v as REVIEW, vt as envDefaults, w as planner, x as fixCheck, y as awaitReview, yt as testFileGlobs, z as coveringPrompt } from "../chunks/reserved-zAfoJtR7.mjs";
-import { a as refusePendingHandOff, i as isOptionalObject, n as closeReview, o as tail } from "../chunks/tail-BRC4DGdV.mjs";
+import { $ as naivePassPrompt, A as buildReviewAnswerQuestionsPrompt, B as coveringPrompt, E as reviewMissing, F as builderSystem, G as designTriagePrompt, H as deferNotesScript, I as clearCriteriaMessage, L as clearCriteriaQuestion, M as buildReviewCollectingPrompt, N as buildReviewFixNitsPrompt, O as reviewing, P as buildReviewTriageMessage, Q as naiveApplyFailure, R as coverageMessage, S as fixCheck, T as planner, U as designGateAnswerMessage, V as criterionLine, W as designSystem, X as implementBuildingPrompt, Y as idleMessage, Z as implementFixPrompt, _ as REQUIREMENTS, _t as unwindFailedMessage, a as flagModeOn, at as refactorNotePrompt, b as awaitReview, bt as envDefaults, ct as reviewEditsCapture, d as guarded, dt as reviewerSystem, et as normaliseCriteriaScript, f as healthy, ft as seamByHandMessage, g as REFACTOR_NOTE, gt as uncoveredMessage, h as REFACTOR, ht as startGateBlockedMessage, i as skills, it as refactorFixPrompt, j as buildReviewAwaitAfterDeferMessage, k as agentWithSkills, m as QUALITY, mt as slicingPrompt, n as summary, nt as refactorBuildingPrompt, ot as refactorRules, p as FEEDBACK, pt as seamSteerMessage, r as access, rt as refactorDroppedRefusal, s as shipped, st as reviewEditNotesCapture, t as steering, tt as qualityUnresolvedMessage, u as gate, ut as reviewNotesCapture, v as REVIEW, vt as unwindFailure, w as fixRisks, x as coder, xt as testFileGlobs, y as SLICES, yt as defaults, z as coverageQuestion } from "../chunks/reserved-sfMdy7v7.mjs";
+import { a as refusePendingHandOff, i as isOptionalObject, n as closeReview, o as tail } from "../chunks/tail-Cgca5Gp-.mjs";
 import { posix } from "node:path";
 //#region src/workflows/shared/fences.ts
 const markFenced = (text) => {
@@ -17,13 +17,15 @@ const markFenced = (text) => {
 		};
 	});
 };
+/** A markdown heading: its `#` run, then its text. */
+const HEADING = /^ {0,3}(#{1,6})\s+(.*?)\s*#*\s*$/;
+/** A list item, its checkbox dropped: its text. */
+const ITEM = /^ ?(?:[-*+]|\d+[.)])\s+(?:\[[ xX]\]\s+)?(.*)$/;
 //#endregion
 //#region src/workflows/feature/criteria.ts
 /** Below this the judge's `yes` is not trusted: a wrong skip builds against criteria nobody can check. */
 const CLEAR_MIN_P = .8;
-const HEADING = /^ {0,3}(#{1,6})\s+(.*?)\s*#*\s*$/;
-const ITEM = /^ ?(?:[-*+]|\d+[.)])\s+(?:\[[ xX]\]\s+)?(.*)$/;
-const ID = /^(AC-\d+):\s*(.*)$/;
+const ID$1 = /^(AC-\d+):\s*(.*)$/;
 /** The list items under the first heading `title` matches (at `level` when given), up to the next heading; wrapped lines joined, fenced lines ignored. */
 const listUnder = (text, title, level) => {
 	const lines = markFenced(text);
@@ -51,7 +53,7 @@ const listUnder = (text, title, level) => {
 };
 /** The `- AC-<n>: …` list of `## Acceptance Criteria`, or `undefined` when the section is missing. */
 const criteriaOf = (text) => listUnder(text, /^acceptance criteria$/i, 2)?.map((item) => {
-	const id = ID.exec(item);
+	const id = ID$1.exec(item);
 	return id === null ? {
 		id: "",
 		text: item
@@ -60,16 +62,20 @@ const criteriaOf = (text) => listUnder(text, /^acceptance criteria$/i, 2)?.map((
 		text: id[2]
 	};
 });
+/** The ID'd criteria of `text`, only `slice`'s when given. */
+const criterionIds = (text, slice) => (criteriaOf(text) ?? []).map((c) => c.id).filter((id) => id !== "" && (slice?.only === void 0 || slice.only.includes(id)) && !(slice?.except ?? []).includes(id));
+/** `slice`'s IDs in `.gtd/REQUIREMENTS.md` as it is now; `undefined` for an unsliced change. */
+const sliceIds = (slice) => slice === void 0 ? void 0 : criterionIds(read(".gtd/REQUIREMENTS.md") ?? "", slice);
 /** Items numbered `AC-1`…, unless every one already carries its own distinct ID. */
 const numbered = (items) => {
-	const ids = items.map((item) => ID.exec(item));
+	const ids = items.map((item) => ID$1.exec(item));
 	const own = ids.every((id) => id !== null) && new Set(ids.map((id) => id[1])).size === ids.length;
 	return items.map((item, i) => own ? {
 		id: ids[i][1],
 		text: ids[i][2]
 	} : {
 		id: `AC-${i + 1}`,
-		text: item.replace(ID, "$2")
+		text: item.replace(ID$1, "$2")
 	});
 };
 const STATED = /^acceptance criteria:?$/i;
@@ -759,10 +765,12 @@ const green = (guard) => healthy(() => agentWithSkills("fix.suite.fixing", imple
 const testsSince = (base) => changesSince(base).filter((c) => c.after !== void 0 && isCode$1(c.path) && isTestFile(c.path)).sort((a, b) => Number(/\bAC-\d/.test(a.after)) - Number(/\bAC-\d/.test(b.after))).map((c) => `=== ${c.path} (${c.status})\n${c.after}`).join("\n");
 /**
 * The criterion IDs of `.gtd/REQUIREMENTS.md` — read afresh, never carried
-* over — no passing test since `base` covers, by the judge.
+* over, only `slice`'s when given — no passing test since `base` covers, by the judge.
 */
-const uncoveredSince = async (base) => {
-	const criteria = (criteriaOf(read(".gtd/REQUIREMENTS.md") ?? "") ?? []).filter((c) => c.id !== "");
+const uncoveredSince = async (base, slice) => {
+	const requirements = read(".gtd/REQUIREMENTS.md") ?? "";
+	const own = criterionIds(requirements, slice);
+	const criteria = (criteriaOf(requirements) ?? []).filter((c) => own.includes(c.id));
 	if (criteria.length === 0) return {
 		covered: [],
 		uncovered: []
@@ -789,14 +797,14 @@ const record = (covered, uncovered = []) => {
 * sending uncovered IDs back to a covering turn; marks the IDs covered on the
 * landing that ends it. A human may overrule once the retries are spent.
 */
-const requireCoverage = async (base = start()) => {
+const requireCoverage = async (base = start(), slice) => {
 	let retries = 0;
 	for (;;) {
-		const { covered, uncovered } = await uncoveredSince(base);
+		const { covered, uncovered } = await uncoveredSince(base, slice);
 		if (uncovered.length === 0) return record(covered);
 		if (retries < COVERING_RETRIES) {
 			retries++;
-			await agentWithSkills("covering", coveringPrompt(uncovered), {
+			await agentWithSkills("covering", coveringPrompt(uncovered, sliceIds(slice)), {
 				label: "Covering the acceptance criteria",
 				model: coder(),
 				system: builderSystem(),
@@ -827,7 +835,7 @@ const judgeSeam = (tip) => judgeDiffShape("judge", {
 	allow: (vars.seamAllow ?? defaults.seamAllow).split(",").map((glob) => glob.trim()).filter((glob) => glob !== ""),
 	exempt: tip.changes.filter((c) => c.status === "added").map((c) => c.path)
 });
-const naivePass = (retry) => agentWithSkills("naive", naivePassPrompt(retry), {
+const naivePass = (retry, slice) => agentWithSkills("naive", naivePassPrompt(retry, sliceIds(slice)), {
 	label: retry === void 0 ? "Writing the naive pass" : "Rewriting the naive pass",
 	keep: true,
 	model: coder(),
@@ -868,7 +876,7 @@ const addedLines = (change) => {
 	return change.after.split("\n").filter((line) => !before.has(line)).join("\n");
 };
 const acceptanceTests = (changes) => changes.filter((c) => c.after !== void 0 && isCode$1(c.path) && isTestFile(c.path));
-const idsOf = (file) => (criteriaOf(read(file) ?? "") ?? []).map((c) => c.id).filter((id) => id !== "");
+const idsOf = (file, slice) => criterionIds(read(file) ?? "", slice);
 const unnamed = (ids, tests) => {
 	const lines = tests.map(addedLines);
 	return ids.filter((id) => !lines.some((text) => named(id, text)));
@@ -878,9 +886,9 @@ const unnamed = (ids, tests) => {
 * test line of the pass names, or a test importing a file the pass added —
 * naive structure a reset and refactor replaces, which the tests must survive.
 */
-const acceptanceFault = (file, tip) => {
+const acceptanceFault = (file, tip, slice) => {
 	const tests = acceptanceTests(tip.changes);
-	const untested = unnamed(idsOf(file), tests);
+	const untested = unnamed(idsOf(file, slice), tests);
 	if (untested.length > 0) return `acceptance-tests: no test of the naive pass names ${untested.join(", ")} — write a behaviour-level test for each criterion with its ID in the test or scenario name, e.g. "[${untested[0]}] …"`;
 	const added = tip.changes.filter((c) => c.status === "added" && isCode$1(c.path) && !isTestFile(c.path)).map((c) => c.path);
 	const reaching = tests.filter((test) => holdsCallSites(test.path)).flatMap((test) => {
@@ -890,8 +898,8 @@ const acceptanceFault = (file, tip) => {
 	if (reaching.length > 0) return `acceptance-internals: these tests import files the naive pass added — test through code that existed before it (a public entry point, an existing module's exports):\n${reaching.join("\n")}`;
 };
 /** What a rebuild carries over from the naive pass `tip`: the IDs its tests name, and those test files. */
-const naiveAcceptance = (tip) => {
-	const ids = idsOf(REQUIREMENTS);
+const naiveAcceptance = (tip, slice) => {
+	const ids = idsOf(REQUIREMENTS, slice);
 	const perTest = acceptanceTests(tip.changes).map((c) => {
 		const lines = addedLines(c);
 		return {
@@ -970,7 +978,7 @@ function implement(first, tier, amend) {
 		const since = head();
 		const acceptance = options.rebuild?.acceptance;
 		const built = options.naive === void 0 || !await applied(options.naive);
-		if (built) await agentWithSkills("building", implementBuildingPrompt(options.reference, options.tier, options.amend, options.afterRefactor, flagModeOn(), options.rebuild), {
+		if (built) await agentWithSkills("building", implementBuildingPrompt(options.reference, options.tier, options.amend, options.afterRefactor, flagModeOn(), options.rebuild, sliceIds(options.slice)), {
 			label: "Implementing",
 			model: coder(),
 			system: builderSystem(),
@@ -979,10 +987,18 @@ function implement(first, tier, amend) {
 		requireCriteriaFrozen(REQUIREMENTS);
 		if (built && acceptance !== void 0) requireAcceptance(acceptance, since);
 		await green(built && acceptance !== void 0 ? () => requireAcceptanceKept(acceptance) : void 0);
-		await requireCoverage();
-		await run("closing", removeScript([REQUIREMENTS, REFACTOR_NOTE]), { label: "Closing out the implementation" });
+		await requireCoverage(options.base, options.slice);
+		await closing(options.more === true);
 	});
 }
+/** The last slice's closing, for a last slice a steer left with no criterion to build. */
+const closeOut = () => scope("implement", () => closing(false));
+/** A slice with `more` after it keeps the criteria and the slicing for the next one. */
+const closing = (more) => run("closing", removeScript(more ? [REFACTOR_NOTE] : [
+	REQUIREMENTS,
+	REFACTOR_NOTE,
+	SLICES
+]), { label: "Closing out the implementation" });
 /** Resolves `true` when the human steered (edited), `false` on a clean overrule. */
 const steer = async (retry) => {
 	await human("steer", {
@@ -1013,8 +1029,8 @@ const budget = () => {
 	};
 };
 /** Sends a pass whose tests fall short or run red back (`undefined`: it goes on, an overruled one as it is). */
-const vetted = async (tip, vetting) => {
-	const fault = vetting.waived ? void 0 : acceptanceFault(REQUIREMENTS, tip);
+const vetted = async (tip, vetting, slice) => {
+	const fault = vetting.waived ? void 0 : acceptanceFault(REQUIREMENTS, tip, slice);
 	if (fault !== void 0) {
 		const verdict = await vetting.again({
 			fault,
@@ -1048,16 +1064,16 @@ const ruled = async (tip, again) => {
 		tip
 	} : next;
 };
-const decide = () => scope("seam", async () => {
+const decide = (slice) => scope("seam", async () => {
 	const vetting = {
 		again: budget(),
 		waived: false
 	};
 	let retry;
 	for (;;) {
-		await naivePass(retry);
+		await naivePass(retry, slice);
 		const tip = kept("naive");
-		const outcome = await vetted(tip, vetting) ?? (flagModeOn() ? await ruled(tip, vetting.again) : {
+		const outcome = await vetted(tip, vetting, slice) ?? (flagModeOn() ? await ruled(tip, vetting.again) : {
 			reference: tip.hash,
 			tip
 		});
@@ -1078,8 +1094,8 @@ const refactorNote = async (reference, strays) => {
 	if (others.length > 0 || note.trim() === "") refuse(`gtd land: refactor-note: write ${REFACTOR_NOTE} and change nothing else${others.length > 0 ? ` — revert these:\n${others.map((path) => `  - ${path}`).join("\n")}` : ""}`);
 	return note;
 };
-const seamBuild = async (base) => {
-	const { reference, tip, shape } = await decide();
+const seamBuild = async (base, slice$1 = {}) => {
+	const { reference, tip, shape } = await decide(slice$1.criteria);
 	if (shape === void 0) return {
 		reference,
 		base,
@@ -1094,17 +1110,17 @@ const seamBuild = async (base) => {
 		return {
 			reference,
 			base,
-			rebuild: { acceptance: naiveAcceptance(tip) }
+			rebuild: { acceptance: naiveAcceptance(tip, slice$1.criteria) }
 		};
 	}
 	const strays = refactorStrays(shape);
 	if (strays.length === 0) return {
 		reference,
 		base,
-		rebuild: { acceptance: naiveAcceptance(tip) }
+		rebuild: { acceptance: naiveAcceptance(tip, slice$1.criteria) }
 	};
 	const note = await scope("seam", () => refactorNote(reference, strays));
-	const refactored = await slice("refactor", () => reviewedRefactor(shape, {
+	const refactored = await slice(slice$1.refactor ?? "refactor", () => reviewedRefactor(shape, {
 		reference,
 		note
 	}));
@@ -1114,34 +1130,143 @@ const seamBuild = async (base) => {
 		refactored,
 		rebuild: {
 			note,
-			acceptance: naiveAcceptance(tip)
+			acceptance: naiveAcceptance(tip, slice$1.criteria)
 		}
 	};
 };
 //#endregion
+//#region src/workflows/feature/slicing.ts
+const ID = /^(AC-\d+)(?![\w-])/;
+/** The `sliceMaxCriteria` setting. Anything but a positive integer fails rather than guess a cap. */
+const sliceCap = () => {
+	const value = vars.sliceMaxCriteria ?? defaults.sliceMaxCriteria;
+	if (!/^[1-9]\d*$/.test(value)) refuse(`gtd: sliceMaxCriteria must be a positive integer, got ${JSON.stringify(value)}`);
+	return Number(value);
+};
+/** Each `## ` heading of `text` with the list items under it; an item not led by an ID keeps an empty one. */
+const slicesOf = (text) => {
+	const slices = [];
+	let open = false;
+	for (const { line, fenced } of markFenced(text)) {
+		if (fenced) continue;
+		const heading = HEADING.exec(line);
+		if (heading !== null) {
+			open = heading[1] === "##";
+			if (open) slices.push({
+				title: heading[2],
+				ids: []
+			});
+			continue;
+		}
+		const item = ITEM.exec(line);
+		if (item !== null && open) slices.at(-1).ids.push(ID.exec(item[1])?.[1] ?? "");
+	}
+	return slices;
+};
+const twice = (list) => [...new Set(list.filter((id, i) => list.indexOf(id) !== i))];
+/** Why `slices` fail to put each of `ids` in exactly one slice of at most `cap`, or `undefined`. */
+const sliceFault = (slices, ids, cap) => {
+	const listed = slices.flatMap((s) => s.ids);
+	if (slices.length === 0) return `no "## " slice`;
+	const empty = slices.filter((s) => s.ids.length === 0).map((s) => s.title);
+	if (empty.length > 0) return `a slice with no criterion: ${empty.join(", ")}`;
+	if (listed.includes("")) return "a list item not led by a criterion ID";
+	const over = slices.filter((s) => s.ids.length > cap).map((s) => s.title);
+	if (over.length > 0) return `more than ${cap} criteria in: ${over.join(", ")}`;
+	const repeated = twice(listed);
+	if (repeated.length > 0) return `an ID in more than one slice: ${repeated.join(", ")}`;
+	const unknown = listed.filter((id) => !ids.includes(id));
+	if (unknown.length > 0) return `an ID ${REQUIREMENTS} does not list: ${unknown.join(", ")}`;
+	const missing = ids.filter((id) => !listed.includes(id));
+	if (missing.length > 0) return `no slice for: ${missing.join(", ")}`;
+};
+/** Refuse a turn whose `.gtd/SLICES.md` does not put each of `ids` in exactly one slice of at most `cap`. */
+const requireSlices = (ids, cap) => {
+	const slices = slicesOf(read(".gtd/SLICES.md") ?? "");
+	const why = sliceFault(slices, ids, cap);
+	if (why !== void 0) refuse(`gtd land: slices: ${SLICES} has ${why} — list each slice as a "## <title>" heading over "- AC-<n>" items, every criterion of ${REQUIREMENTS} in exactly one slice, at most ${cap} per slice`);
+	return slices;
+};
+/**
+* The slices to build, in order. Criteria within `sliceMaxCriteria` are one
+* slice and no turn; above it `design.slicing` groups them.
+*/
+const slicing = async () => {
+	const all = criterionIds(read(".gtd/REQUIREMENTS.md") ?? "");
+	const cap = sliceCap();
+	if (all.length <= cap) return [{
+		title: "",
+		ids: all
+	}];
+	return scope("design", async () => {
+		await agentWithSkills("slicing", slicingPrompt(cap), {
+			label: "Slicing the change",
+			file: SLICES,
+			model: planner(),
+			system: designSystem()
+		});
+		return requireSlices(all, cap);
+	});
+};
+/** Slice `i`'s criteria; `undefined` when `slices` is the one slice of an unsliced change. */
+const sliceCriteria = (slices, i) => slices.length === 1 ? void 0 : i < slices.length - 1 ? { only: slices[i].ids } : { except: slices.slice(0, -1).flatMap((s) => s.ids) };
+//#endregion
 //#region src/workflows/feature/feature.ts
 /** Revert the sketch that started the process out of the working tree; its intent survives in history. */
 const unwind = () => {
 	const commit = head();
 	return run("unwind", revertScript(commit, FEEDBACK, unwindFailure(commit)), { label: "Unwinding your input" });
 };
-/** A naive pass (judged only with `flagMode` on), then implement and the quality lap; design must have run since `firstBase`. */
+/**
+* The slices `design.slicing` grouped the criteria into, each built in turn
+* from where the previous one landed; design must have run since `firstBase`.
+*/
 const buildFeature = async (firstBase) => {
 	const tier = riskTierOn() ? recordRisk() : void 0;
-	const seam = await seamBuild(firstBase);
-	await slice("feature", async () => {
+	const slices = await slicing();
+	const one = slices.length === 1;
+	for (const i of slices.keys()) {
+		const more = i < slices.length - 1;
+		const criteria = sliceCriteria(slices, i);
+		if (sliceIds(criteria)?.length === 0) {
+			if (!more) await closeOut();
+			continue;
+		}
+		const n = one ? "" : `-${i + 1}`;
+		await buildSlice(i === 0 ? firstBase : head(), {
+			tier,
+			criteria,
+			refactor: `refactor${n}`,
+			feature: `feature${n}`,
+			more
+		});
+	}
+};
+/** A naive pass (judged only with `flagMode` on), then implement and the quality lap. */
+const buildSlice = async (sliceBase, build) => {
+	const seam = await seamBuild(sliceBase, {
+		criteria: build.criteria,
+		refactor: build.refactor
+	});
+	await slice(build.feature, async () => {
 		await implement({
 			reference: seam.reference,
-			tier,
+			tier: build.tier,
 			afterRefactor: seam.refactored,
 			naive: seam.land === true ? seam.reference : void 0,
-			rebuild: seam.rebuild
+			rebuild: seam.rebuild,
+			slice: build.criteria,
+			base: build.criteria === void 0 ? void 0 : sliceBase,
+			more: build.more
 		});
 		const carried = seam.rebuild?.acceptance?.tests ?? [];
-		const base = seam.refactored === true && !changesSince(seam.base).some((c) => isCode$1(c.path) && !carried.includes(c.path)) ? firstBase : seam.base;
+		const base = seam.refactored === true && !changesSince(seam.base).some((c) => isCode$1(c.path) && !carried.includes(c.path)) ? sliceBase : seam.base;
+		const guard = build.more ? () => requireCriteriaFrozen(REQUIREMENTS) : void 0;
 		await tail(settleQuality, {
 			green: true,
-			lensBase: base
+			lensBase: base,
+			guard,
+			guardRests: false
 		});
 	});
 };
@@ -1187,6 +1312,7 @@ const ordinaryStart = async () => {
 	});
 	refusePendingHandOff();
 	flagModeOn();
+	sliceCap();
 	const stated = statedCriteria(changes(), head());
 	await unwind();
 	if (changes(".gtd/FEEDBACK.md").some((c) => c.status !== "deleted")) await human("unwind-failed", {
@@ -1202,4 +1328,4 @@ const feature = shipped(ordinaryStart);
 //#region src/workflows/feature/index.ts
 var feature_default = feature;
 //#endregion
-export { COMMENT, REFACTOR_PACKAGE, acceptanceFault, access, afterTail, answerProductQuestions, answerReviewQuestions, buildFeature, buildTail, collecting, criteriaOf, feature_default as default, defaults, deferNotes, design, envDefaults, feature, fixNits, holdsCallSites, implement, isTestFile, judgeSeam, naiveAcceptance, naivePass, ordinaryStart, planAndBuild, reUnwind, refactorCollecting, refactorFirst, refactorNote, refactorStrays, requireAcceptance, requireAcceptanceKept, requireCriteria, requireCriteriaFrozen, requireNoNewFlags, requireNoTestFiles, requireTestCallSitesOnly, requireWithin, reviewedRefactor, seamBuild, skills, skipDesign, statedCriteria, steering, summary, triage, unwind };
+export { COMMENT, REFACTOR_PACKAGE, acceptanceFault, access, afterTail, answerProductQuestions, answerReviewQuestions, buildFeature, buildTail, closeOut, collecting, criteriaOf, criterionIds, feature_default as default, defaults, deferNotes, design, envDefaults, feature, fixNits, holdsCallSites, implement, isTestFile, judgeSeam, naiveAcceptance, naivePass, ordinaryStart, planAndBuild, reUnwind, refactorCollecting, refactorFirst, refactorNote, refactorStrays, requireAcceptance, requireAcceptanceKept, requireCriteria, requireCriteriaFrozen, requireNoNewFlags, requireNoTestFiles, requireSlices, requireTestCallSitesOnly, requireWithin, reviewedRefactor, seamBuild, skills, skipDesign, sliceCap, sliceCriteria, sliceIds, slicesOf, slicing, statedCriteria, steering, summary, triage, unwind };

package/dist/workflows/fix.mjs

@@ -1,7 +1,7 @@
 import { read, refuse, removeScript, run, scope, start } from "../flows.mjs";
 import { d as reviewNotes, f as reviewRisks } from "../chunks/steering-DVILanVf.mjs";
-import { G as finisherSystem, K as fixReviewNotesPrompt, O as agentWithSkills, _t as defaults, b as coder, c as baseline, i as skills, n as summary, r as access, s as shipped, t as steering, v as REVIEW, vt as envDefaults } from "../chunks/reserved-zAfoJtR7.mjs";
-import { r as handOffTail, t as REVIEW_ORIG } from "../chunks/tail-BRC4DGdV.mjs";
+import { K as finisherSystem, bt as envDefaults, c as baseline, i as skills, k as agentWithSkills, n as summary, q as fixReviewNotesPrompt, r as access, s as shipped, t as steering, v as REVIEW, x as coder, yt as defaults } from "../chunks/reserved-sfMdy7v7.mjs";
+import { r as handOffTail, t as REVIEW_ORIG } from "../chunks/tail-Cgca5Gp-.mjs";
 //#region src/workflows/fix/fix.ts
 /**
 * Fix every note a human left in a handed-off `.gtd/REVIEW.md` and every

package/dist/workflows/review.mjs

@@ -1,6 +1,6 @@
 import { start } from "../flows.mjs";
-import { _t as defaults, ct as reviewGateBlockedMessage, i as skills, n as summary, r as access, s as shipped, t as steering, u as gate, vt as envDefaults } from "../chunks/reserved-zAfoJtR7.mjs";
-import { a as refusePendingHandOff, r as handOffTail } from "../chunks/tail-BRC4DGdV.mjs";
+import { bt as envDefaults, i as skills, lt as reviewGateBlockedMessage, n as summary, r as access, s as shipped, t as steering, u as gate, yt as defaults } from "../chunks/reserved-sfMdy7v7.mjs";
+import { a as refusePendingHandOff, r as handOffTail } from "../chunks/tail-Cgca5Gp-.mjs";
 //#region src/workflows/review/review.ts
 /**
 * Pure review of everything since `reviewBase`: a green gate, the quality

package/dist/workflows/rollout.mjs

@@ -1,5 +1,5 @@
 import { agent, changesSince, glob, head, mark, read, refuse, removeScript, run, scope, vars } from "../flows.mjs";
-import { St as flipProblems, _t as defaults, b as coder, bt as flagMentions, i as skills, n as summary, o as flagShipped, p as FEEDBACK, r as access, t as steering, u as gate, vt as envDefaults, wt as requireFlag } from "../chunks/reserved-zAfoJtR7.mjs";
+import { Et as requireFlag, St as flagMentions, bt as envDefaults, i as skills, n as summary, o as flagShipped, p as FEEDBACK, r as access, t as steering, u as gate, wt as flipProblems, x as coder, yt as defaults } from "../chunks/reserved-sfMdy7v7.mjs";
 //#region src/workflows/rollout/rollout.ts
 const flippingPrompt = (name, registry) => `Roll out the release flag "${name}": in ${registry}, set \`defaultOn: true\` on its entry. Change nothing else — no other entry, no other field, no other file, no comments.`;
 const suiteBlockedMessage = () => "The suite is red after the rollout. Fix it by hand — a rollout may only touch the flag's registry entry — then land.";