@pmelab/gtd 37.0.0 → 38.1.0

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 naiveApplyFailure, A as agentWithSkills, B as coverageQuestion, C as fixCheck, Ct as testFileGlobs, D as reviewMissing, E as planner, F as buildReviewTriageMessage, G as designSystem, H as criterionLine, I as builderSystem, K as designTriagePrompt, L as clearCriteriaMessage, M as buildReviewAwaitAfterDeferMessage, N as buildReviewCollectingPrompt, P as buildReviewFixNitsPrompt, Q as implementFixPrompt, R as clearCriteriaQuestion, S as coder, St as envDefaults, T as fixRisks, U as deferNotesScript, V as coveringPrompt, W as designGateAnswerMessage, X as idleMessage, Z as implementBuildingPrompt, _ as REFACTOR_NOTE, _t as startGateBlockedMessage, a as flagModeOn, at as refactorDroppedRefusal, b as SLICES, bt as unwindFailure, ct as refactorRules, d as guarded, et as naivePassPrompt, f as healthy, ft as reviewNotesCapture, g as REFACTOR, gt as slicingPrompt, h as QUALITY, ht as seamSteerMessage, i as skills, it as refactorBuildingPrompt, j as buildReviewAnswerQuestionsPrompt, k as reviewing, lt as reviewEditNotesCapture, m as HANDOFF, mt as seamByHandMessage, n as summary, nt as oversizedMessage, ot as refactorFixPrompt, p as FEEDBACK, pt as reviewerSystem, r as access, rt as qualityUnresolvedMessage, s as shipped, st as refactorNotePrompt, t as steering, tt as normaliseCriteriaScript, u as gate, ut as reviewEditsCapture, v as REQUIREMENTS, vt as uncoveredMessage, x as awaitReview, xt as defaults, y as REVIEW, yt as unwindFailedMessage, z as coverageMessage } from "../chunks/reserved-CfQ8eurM.mjs";
+import { a as refusePendingHandOff, i as isOptionalObject, n as closeReview, o as tail } from "../chunks/tail-C7yaWvaS.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;
@@ -139,6 +145,13 @@ const skipDesign = (stated) => stated === void 0 ? Promise.resolve(false) : scop
 	});
 	return true;
 });
+/** After a gate that invites narrowing the requirements: an edit must leave valid criteria. */
+const requireCriteriaIfEdited = () => {
+	const change = changes().get(REQUIREMENTS);
+	if (change === void 0) return;
+	if (change.status === "deleted") refuse(`gtd land: criteria-missing: ${REQUIREMENTS} must stay — narrow its criteria, never delete it`);
+	requireCriteria(REQUIREMENTS);
+};
 //#endregion
 //#region src/workflows/feature/tier.ts
 /** GTD_FLAG_RISK_TIER: pinned at process start, so a mid-process flip never moves a process. */
@@ -487,6 +500,53 @@ const reUnwind = async (feedback) => {
 	requireRevert(edited, base);
 };
 //#endregion
+//#region src/workflows/shared/continuation.ts
+const phase = (name, steered) => ({
+	name,
+	spent: false,
+	count: 0,
+	stalled: 0,
+	steered
+});
+const own = (fn) => fn();
+const continued = (fn) => scope("continue", fn);
+const afresh = (fn) => scope("fresh", fn);
+const setting = (name, least) => {
+	const raw = vars[name] ?? defaults[name];
+	const n = Number(raw);
+	if (raw.trim() === "" || !Number.isInteger(n) || n < least) refuse(`gtd: ${name} must be a whole number of at least ${least}, got ${JSON.stringify(raw)}`);
+	return n;
+};
+/**
+* Run `turn` until one ends without a handoff note: each stopped turn is picked
+* up by a continuation in a fresh conversation. Past `continuations` of them in
+* the phase, or after `continuationStall` in a row that close nothing still
+* open, the phase rests at `oversized` for a person; landing there grants a new round.
+*/
+const continuing = async (phase, turn) => {
+	const cap = setting("continuations", 0);
+	const stall = setting("continuationStall", 1);
+	let last = await turn(void 0, phase.spent ? afresh : own);
+	while (last.handoff !== void 0) {
+		phase.spent = true;
+		const from = last.handoff;
+		if (phase.count >= cap || phase.stalled >= stall) {
+			await human("oversized", {
+				message: oversizedMessage(phase.name, from, phase.count >= cap ? { cap } : { stall }, phase.steered !== void 0),
+				label: "Too big for its context",
+				acceptClean: true
+			});
+			phase.steered?.();
+			phase.count = 0;
+			phase.stalled = 0;
+		}
+		last = await turn(from, continued);
+		phase.count++;
+		phase.stalled = from.open.length === 0 || from.open.some((item) => !(last.handoff?.open ?? []).includes(item)) ? 0 : phase.stalled + 1;
+	}
+	return last.result;
+};
+//#endregion
 //#region src/workflows/feature/refactor.ts
 const REFACTOR_PACKAGE = REFACTOR;
 const isCode = (path) => path !== ".gtd" && !path.startsWith(".gtd/");
@@ -632,7 +692,7 @@ const guardOf = ({ pattern, strays }, entry) => () => {
 	requireNoNewFlags(pattern, entry);
 };
 /** Derive, build, check and close one refactor lap; `feedback` is the collected review text of the lap before. */
-const refactorLap = async (p, guard, feedback) => {
+const refactorLap = async (p, guard, refactor, feedback) => {
 	const { pattern, strays, reference, note } = p;
 	await run("deriving", deriveScript([
 		...packageLines(strays, pattern, reference),
@@ -652,32 +712,48 @@ const refactorLap = async (p, guard, feedback) => {
 		label: "Deriving the refactor package",
 		file: REFACTOR_PACKAGE
 	});
-	await agentWithSkills("building", refactorBuildingPrompt({
-		pkg: REFACTOR_PACKAGE,
-		strays,
-		pattern,
-		reference,
-		feedback: feedback !== void 0,
-		note: note !== void 0
-	}), {
-		label: "Refactoring",
-		model: coder(),
-		system: builderSystem()
-	});
-	guard();
-	await healthy(async () => {
-		await agentWithSkills("fix.suite.fixing", refactorFixPrompt(strays, pattern), {
-			label: "Fixing the check",
-			file: FEEDBACK,
+	const reached = /* @__PURE__ */ new Set();
+	await continuing(refactor, async (from, fresh) => {
+		await fresh(() => agentWithSkills("building", refactorBuildingPrompt({
+			pkg: REFACTOR_PACKAGE,
+			strays,
+			pattern,
+			reference,
+			feedback: feedback !== void 0,
+			note: note !== void 0,
+			from
+		}), {
+			label: from === void 0 ? "Refactoring" : "Continuing the refactor",
 			model: coder(),
 			system: builderSystem()
-		});
+		}));
+		const left = read(HANDOFF);
 		guard();
-	}, {
-		describeGuard: guard,
-		rules: refactorRules(strays, pattern)
+		const snapshot = head();
+		for (const c of changes()) reached.add(c.path);
+		await healthy(async () => {
+			await agentWithSkills("fix.suite.fixing", refactorFixPrompt(strays, pattern), {
+				label: "Fixing the check",
+				file: FEEDBACK,
+				model: coder(),
+				system: builderSystem()
+			});
+			guard();
+		}, {
+			describeGuard: guard,
+			rules: refactorRules(strays, pattern)
+		});
+		if (left === void 0) return { result: void 0 };
+		return {
+			result: void 0,
+			handoff: {
+				snapshot,
+				note: left.trim(),
+				open: strays.filter((path) => !reached.has(path))
+			}
+		};
 	});
-	await run("closing", removeScript([REFACTOR_PACKAGE]), { label: "Closing out the refactor" });
+	await run("closing", removeScript([REFACTOR_PACKAGE, HANDOFF]), { label: "Closing out the refactor" });
 };
 const strayAccess = (strays) => ({ write: [
 	...strays,
@@ -691,7 +767,7 @@ const refactorFirst = async (shape, options = {}) => {
 		name: "refactor",
 		access: strayAccess(p.strays)
 	}, async () => {
-		await refactorLap(p, guardOf(p, head()));
+		await refactorLap(p, guardOf(p, head()), phase("refactor"));
 		return true;
 	});
 };
@@ -716,9 +792,10 @@ const reviewedRefactor = async (shape, options = {}) => {
 			unmatched: "gtd land: refactor-feedback: the review feedback changed files but wrote no .gtd/REFACTOR.md — a refactor cannot act on it; revert the change, or `gtd abandon` and restart",
 			dropped: refactorDroppedRefusal
 		};
+		const refactor = phase("refactor");
 		let collected;
 		for (;;) {
-			await refactorLap(p, guard, collected);
+			await refactorLap(p, guard, refactor, collected);
 			const outcome = await buildTail(entry, {
 				green: true,
 				guard,
@@ -759,10 +836,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 +868,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,12 +906,32 @@ 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), {
-	label: retry === void 0 ? "Writing the naive pass" : "Rewriting the naive pass",
+const naivePass = (retry, slice, from) => agentWithSkills("naive", naivePassPrompt(retry, sliceIds(slice), from), {
+	label: from !== void 0 ? "Continuing the naive pass" : retry === void 0 ? "Writing the naive pass" : "Rewriting the naive pass",
 	keep: true,
 	model: coder(),
 	system: builderSystem()
 });
+const handoffOf = (tip, slice) => {
+	const note = tip.changes.find((c) => c.path === ".gtd/HANDOFF.md" && c.after !== void 0);
+	if (note === void 0) return void 0;
+	return {
+		snapshot: tip.hash,
+		note: note.after.trim(),
+		open: unnamed(idsOf(REQUIREMENTS, slice), acceptanceTests(tip.changes))
+	};
+};
+/** A naive pass, continued until a pass ends without a handoff note: the snapshot is its kept tip. */
+const naiveContinued = (retry, slice, naive) => continuing(naive, async (from, fresh) => {
+	const tip = await fresh(async () => {
+		await naivePass(retry, slice, from);
+		return kept("naive");
+	});
+	return {
+		result: tip,
+		handoff: handoffOf(tip, slice)
+	};
+});
 const IMPORTED = /(?:\bfrom|\bimport|\brequire\s*\(|\bmock\s*\()\s*\(?\s*(["'`])([^"'`\n]+)\1/g;
 const EXTENSION = /\.[\w-]+$/;
 const ALIAS = /^(?:[@~]\/|#)/;
@@ -868,7 +967,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 +977,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 +989,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 {
@@ -960,6 +1059,32 @@ const applied = async (tip) => {
 	await run("applying", applyScript(tip, FEEDBACK, naiveApplyFailure(tip), [".gtd"]), { label: "Applying the naive pass" });
 	return !wrote(".gtd/FEEDBACK.md") && codeChanges().length > 0;
 };
+/** `carried` limited to the criteria `.gtd/REQUIREMENTS.md` lists now; a file listing none narrows nothing. */
+const settled = (carried, slice) => {
+	const listed = idsOf(REQUIREMENTS, slice);
+	if (carried === void 0) return listed;
+	return listed.length === 0 ? carried : carried.filter((id) => listed.includes(id));
+};
+const build = (options) => continuing(phase("build", requireCriteriaIfEdited), async (from, fresh) => {
+	await fresh(() => agentWithSkills("building", implementBuildingPrompt(options.reference, options.tier, options.amend, options.afterRefactor, flagModeOn(), options.rebuild, sliceIds(options.slice), from), {
+		label: from === void 0 ? "Implementing" : "Continuing the implementation",
+		model: coder(),
+		system: builderSystem(),
+		...options.afterRefactor === true ? { allowEmpty: true } : {}
+	}));
+	requireCriteriaFrozen(REQUIREMENTS);
+	const note = read(HANDOFF);
+	if (note === void 0) return { result: void 0 };
+	const ids = settled(options.rebuild?.acceptance?.ids, options.slice);
+	return {
+		result: void 0,
+		handoff: {
+			snapshot: head(),
+			note: note.trim(),
+			open: unnamed(ids, acceptanceTests(changesSince(start())))
+		}
+	};
+});
 function implement(first, tier, amend) {
 	const options = typeof first === "object" && first !== null ? first : {
 		reference: first,
@@ -970,19 +1095,26 @@ 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), {
-			label: "Implementing",
-			model: coder(),
-			system: builderSystem(),
-			...options.afterRefactor === true ? { allowEmpty: true } : {}
-		});
-		requireCriteriaFrozen(REQUIREMENTS);
-		if (built && acceptance !== void 0) requireAcceptance(acceptance, since);
+		if (built) await build(options);
+		else requireCriteriaFrozen(REQUIREMENTS);
+		if (built && acceptance !== void 0) requireAcceptance({
+			...acceptance,
+			ids: settled(acceptance.ids, options.slice)
+		}, 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, HANDOFF] : [
+	REQUIREMENTS,
+	REFACTOR_NOTE,
+	SLICES,
+	HANDOFF
+]), { 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 +1145,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 +1180,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
 	};
+	const naive = phase("naive pass", requireCriteriaIfEdited);
 	let retry;
 	for (;;) {
-		await naivePass(retry);
-		const tip = kept("naive");
-		const outcome = await vetted(tip, vetting) ?? (flagModeOn() ? await ruled(tip, vetting.again) : {
+		const tip = await naiveContinued(retry, slice, naive);
+		const outcome = await vetted(tip, vetting, slice) ?? (flagModeOn() ? await ruled(tip, vetting.again) : {
 			reference: tip.hash,
 			tip
 		});
@@ -1078,8 +1210,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 +1226,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 +1246,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 +1428,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 +1444,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, requireCriteriaIfEdited, 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 { A as agentWithSkills, J as fixReviewNotesPrompt, S as coder, St as envDefaults, c as baseline, i as skills, n as summary, q as finisherSystem, r as access, s as shipped, t as steering, xt as defaults, y as REVIEW } from "../chunks/reserved-CfQ8eurM.mjs";
+import { r as handOffTail, t as REVIEW_ORIG } from "../chunks/tail-C7yaWvaS.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 { St as envDefaults, dt as reviewGateBlockedMessage, i as skills, n as summary, r as access, s as shipped, t as steering, u as gate, xt as defaults } from "../chunks/reserved-CfQ8eurM.mjs";
+import { a as refusePendingHandOff, r as handOffTail } from "../chunks/tail-C7yaWvaS.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 flipProblems, Ot as requireFlag, S as coder, St 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 flagMentions, xt as defaults } from "../chunks/reserved-CfQ8eurM.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.";