@pmelab/gtd 50.0.0 → 51.0.1

package/dist/workflows/feature.mjs

@@ -1,8 +1,8 @@
 import { agent, answered, applyScript, changes, changesSince, check, codeChanges, env, hasThreadFor, head, human, judge, judgeDiffShape, kept, mark, matches, quote, read, refuse, removeScript, requireAnswers, requireProgress, requireReplies, requireThreadsClosed, revertScript, run, scope, slice, start, vars, wrote } from "../flows.mjs";
 import { lensEntriesOf } from "../workflow-kit.mjs";
-import { $ as naiveApplyFailure, At as defaults, B as coverageMessage, C as collecting, Ct as uncoveredMessage, Et as unwindFailure, F as builderSystem, G as designSystem, H as coveringPrompt, K as designTriagePrompt, L as clearCriteriaMessage, M as agentWithSkills, Mt as testFileGlobs, N as buildReviewCollectingPrompt, O as planner, Q as implementFixPrompt, R as clearCriteriaQuestion, S as coder, T as fixNits, Tt as unwindFailedMessage, U as criterionLine, V as coverageQuestion, W as designGateAnswerMessage, X as idleMessage, Z as implementBuildingPrompt, _ as REQUIREMENTS, _t as reviewerSystem, a as flagModeOn, b as answerReviewQuestions, bt as slicingPrompt, ct as refactorFixPrompt, d as healthy, et as naivePassPrompt, f as FEEDBACK, g as REFACTOR_NOTE, h as REFACTOR, i as skills, jt as envDefaults, l as gate, lt as refactorNotePrompt, n as summary, nt as oversizedMessage, ot as refactorBuildingPrompt, p as HANDOFF, r as access, s as shipped, st as refactorDroppedRefusal, t as steering, tt as normaliseCriteriaScript, ut as refactorRules, vt as seamByHandMessage, xt as startGateBlockedMessage, y as SLICES, yt as seamSteerMessage } from "../chunks/reserved-CdOzKFVX.mjs";
-import { a as refusePendingHandOff, c as joinReports, o as tail } from "../chunks/tail-DRM2eC1z.mjs";
-import { i as reUnwind, n as humanReview, r as isCode$1, t as buildTail } from "../chunks/review-BChXEl2Y.mjs";
+import { $ as implementFixPrompt, C as coder, Ct as seamByHandMessage, Dt as testerSystem, E as fixNits, Et as startGateBlockedMessage, G as designGateAnswerMessage, H as coverageQuestion, I as builderSystem, It as defaults, K as designSystem, Lt as envDefaults, Mt as unwindFailure, N as agentWithSkills, P as buildReviewCollectingPrompt, Q as implementBuildingPrompt, R as clearCriteriaMessage, Rt as testFileGlobs, St as reviewerSystem, Tt as slicingPrompt, U as coveringPrompt, V as coverageMessage, W as criterionLine, Z as idleMessage, _ as REFACTOR_NOTE, a as flagModeOn, at as prototypeOpenMessage, b as SLICES, d as healthy, dt as refactorBuildingPrompt, et as naiveApplyFailure, f as FEEDBACK, ft as refactorDroppedRefusal, g as REFACTOR, ht as refactorRules, i as skills, it as prototypeFixingPrompt, jt as unwindFailedMessage, k as planner, kt as uncoveredMessage, l as gate, m as PROTOTYPE, mt as refactorNotePrompt, n as summary, nt as normaliseCriteriaScript, ot as prototypeTestingPrompt, p as HANDOFF, pt as refactorFixPrompt, q as designTriagePrompt, r as access, rt as oversizedMessage, s as shipped, st as prototypeUnguidedMessage, t as steering, tt as naivePassPrompt, v as REQUIREMENTS, w as collecting, wt as seamSteerMessage, x as answerReviewQuestions, z as clearCriteriaQuestion } from "../chunks/reserved-CUkk9XgL.mjs";
+import { a as refusePendingHandOff, c as joinReports, o as tail } from "../chunks/tail-CX6Pdsql.mjs";
+import { i as reUnwind, n as humanReview, r as isCode$1, t as buildTail } from "../chunks/review-BaCXlIT2.mjs";
 import { posix } from "node:path";
 //#region src/workflows/shared/fences.ts
 const markFenced = (text) => {
@@ -561,7 +561,9 @@ const reviewedRefactor = async (shape, options = {}) => {
 				feedback,
 				fixAccess: strayAccess(p.strays),
 				lensBase: entry,
-				rules: refactorRules(p.strays, p.pattern)
+				rules: refactorRules(p.strays, p.pattern),
+				walkthrough: true,
+				lap: "refactor"
 			});
 			if (outcome.verdict === "signoff") return true;
 			await reUnwind(outcome);
@@ -576,7 +578,7 @@ const reviewedRefactor = async (shape, options = {}) => {
 const COVERED_MIN_P = .7;
 /** Covering turns before the process rests at `uncovered`; a human edit there refills them. */
 const COVERING_RETRIES = 2;
-const frozen = () => requireCriteriaFrozen(REQUIREMENTS);
+const frozen$1 = () => requireCriteriaFrozen(REQUIREMENTS);
 const green = (guard) => healthy(() => agentWithSkills("fix.suite.fixing", implementFixPrompt(), {
 	label: "Fixing the check",
 	file: FEEDBACK,
@@ -584,7 +586,7 @@ const green = (guard) => healthy(() => agentWithSkills("fix.suite.fixing", imple
 	system: builderSystem()
 }), {
 	guard: () => {
-		frozen();
+		frozen$1();
 		guard?.();
 	},
 	guardRests: false
@@ -637,7 +639,7 @@ const requireCoverage = async (base = start(), slice) => {
 				system: builderSystem(),
 				allowEmpty: true
 			});
-			frozen();
+			frozen$1();
 		} else {
 			await human("uncovered", {
 				message: uncoveredMessage(uncovered),
@@ -646,13 +648,136 @@ const requireCoverage = async (base = start(), slice) => {
 				acceptClean: true
 			});
 			if (!changes().some((c) => isCode$1(c.path))) return record(covered, uncovered);
-			frozen();
+			frozen$1();
 			retries = 0;
 		}
 		await green();
 	}
 };
 //#endregion
+//#region src/workflows/feature/prototype.ts
+/** The `prototypeRounds` setting. Anything but a non-negative integer fails rather than guess a cap. */
+const prototypeRounds = () => {
+	const value = vars.prototypeRounds ?? defaults.prototypeRounds;
+	if (!/^(0|[1-9]\d*)$/.test(value)) refuse(`gtd: prototypeRounds must be a non-negative integer, got ${JSON.stringify(value)}`);
+	return Number(value);
+};
+const CHUNK = /^(AC-\d+|Problem\b.*?)\s*:\s*(pass|fail|blocked)$/i;
+const UNGUIDED = /^no testing instructions$/i;
+/** The `## ` chunks of a prototype report; a heading in neither shape is prose, not an item. */
+const reportOf = (text) => {
+	let unguided = false;
+	const items = [];
+	const malformed = [];
+	for (const { line, fenced } of markFenced(text)) {
+		const heading = fenced ? null : HEADING.exec(line);
+		if (heading?.[1] !== "##") continue;
+		if (UNGUIDED.test(heading[2])) unguided = true;
+		const chunk = CHUNK.exec(heading[2]);
+		if (chunk === null && /^(ac-\d|problem)/i.test(heading[2])) malformed.push(heading[2]);
+		if (chunk !== null) items.push({
+			subject: /^ac-/i.test(chunk[1]) ? chunk[1].toUpperCase() : chunk[1],
+			verdict: chunk[2].toLowerCase()
+		});
+	}
+	return {
+		unguided,
+		items,
+		malformed
+	};
+};
+/**
+* The report the testing turn left, refused unless it is the only change and
+* names every criterion once, with its open items: another slice's criteria
+* are not this slice's to fix.
+*/
+const requireReport = (slice, retest) => {
+	const others = changes().map((c) => c.path).filter((path) => path !== PROTOTYPE);
+	if (others.length > 0) refuse(`gtd land: prototype-report: test in a disposable place and change nothing but ${PROTOTYPE} — revert these:\n${others.map((path) => `  - ${path}`).join("\n")}`);
+	const text = read(PROTOTYPE);
+	if (text === void 0) return refuse(`gtd land: prototype-report: write ${PROTOTYPE}`);
+	const report = reportOf(text);
+	if (report.malformed.length > 0) refuse(`gtd land: prototype-report: head each chunk \`## <ID>: pass|fail|blocked\` or \`## Problem <title>: pass|fail|blocked\` — these miss it:\n${report.malformed.map((h) => `  - ${h}`).join("\n")}`);
+	if (report.unguided && report.items.length === 0 && !retest) return {
+		unguided: true,
+		open: []
+	};
+	const requirements = read(".gtd/REQUIREMENTS.md") ?? "";
+	const ids = criterionIds(requirements, slice);
+	const elsewhere = criterionIds(requirements).filter((id) => !ids.includes(id));
+	const count = (id) => report.items.filter((i) => i.subject === id).length;
+	const wrong = ids.filter((id) => count(id) !== 1);
+	if (wrong.length > 0) refuse(`gtd land: prototype-report: ${PROTOTYPE} needs exactly one chunk headed \`## <ID>: pass|fail|blocked\` for ${wrong.join(", ")}`);
+	return {
+		unguided: false,
+		open: report.items.filter((i) => i.verdict !== "pass" && !elsewhere.includes(i.subject))
+	};
+};
+const frozen = () => requireCriteriaFrozen(REQUIREMENTS);
+const testing = async (slice, retest) => {
+	await agentWithSkills("testing", prototypeTestingPrompt(sliceIds(slice), retest), {
+		label: retest ? "Re-testing the slice by hand" : "Testing the slice by hand",
+		file: PROTOTYPE,
+		model: coder(),
+		system: testerSystem(),
+		allowEmpty: true
+	});
+	return requireReport(slice, retest);
+};
+const fixing = async (slice, guard) => {
+	await scope("fix", () => agentWithSkills("fixing", prototypeFixingPrompt(sliceIds(slice)), {
+		label: "Fixing what the hands-on test found",
+		file: PROTOTYPE,
+		model: coder(),
+		system: builderSystem(),
+		allowEmpty: true
+	}));
+	if (changes().some((c) => c.path === ".gtd/PROTOTYPE.md")) refuse(`gtd land: prototype-fix: leave ${PROTOTYPE} as it is — the next round re-tests from it`);
+	frozen();
+	guard?.();
+};
+/** A person's rest; resolves `true` when they changed something to test again, `false` on a clean overrule. */
+const askPerson = async (name, message, label) => {
+	await human(name, {
+		message,
+		label,
+		file: PROTOTYPE,
+		acceptClean: true
+	});
+	if (!changes().some((c) => c.path !== ".gtd/PROTOTYPE.md")) return false;
+	frozen();
+	return true;
+};
+/**
+* Use the slice by hand: a testing turn reports on every criterion, a fix turn
+* takes each failure, and the slice is tested again — until the report is
+* clean, or `prototypeRounds` fixes are spent and a person decides. `guard`
+* holds every fix turn, as it holds the implementation's.
+*/
+const prototypeTest = async (slice, guard) => {
+	const cap = prototypeRounds();
+	if (cap === 0) return;
+	await scope("prototype", async () => {
+		let fixes = 0;
+		let retest = false;
+		for (;;) {
+			const { unguided, open } = await testing(slice, retest);
+			retest = !unguided;
+			if (unguided) {
+				if (!await askPerson("unguided", prototypeUnguidedMessage(), "No way to test by hand")) return;
+			} else if (open.length === 0) return;
+			else if (fixes < cap && open.some((i) => i.verdict === "fail")) {
+				fixes++;
+				await fixing(slice, guard);
+			} else {
+				if (!await askPerson("open", prototypeOpenMessage(open, fixes), "Hands-on test still failing")) return;
+				fixes = 0;
+			}
+			await green(guard);
+		}
+	});
+};
+//#endregion
 //#region src/workflows/feature/seam.ts
 /** Naive-pass retries after a `reject` or a red suite; the next one rests at `seam.steer`. */
 const NAIVE_RETRIES = 2;
@@ -859,8 +984,10 @@ const implementing = (options) => scope("implement", async () => {
 		...acceptance,
 		ids: settled(acceptance.ids, options.slice)
 	}, since);
-	await green(built && acceptance !== void 0 ? () => requireAcceptanceKept(acceptance) : void 0);
+	const keepsTests = built && acceptance !== void 0 ? () => requireAcceptanceKept(acceptance) : void 0;
+	await green(keepsTests);
 	await requireCoverage(options.base, options.slice);
+	await prototypeTest(options.slice, keepsTests);
 	const ids = criterionIds(read(".gtd/REQUIREMENTS.md") ?? "");
 	await closing(moreToBuild(options.more));
 	return ids;
@@ -869,11 +996,16 @@ const moreToBuild = (more) => typeof more === "function" ? more() : more === tru
 /** 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] : [
+const closing = (more) => run("closing", removeScript(more ? [
+	REFACTOR_NOTE,
+	HANDOFF,
+	PROTOTYPE
+] : [
 	REQUIREMENTS,
 	REFACTOR_NOTE,
 	SLICES,
-	HANDOFF
+	HANDOFF,
+	PROTOTYPE
 ]), { label: "Closing out the implementation" });
 /** Resolves `true` when the human steered (edited), `false` on a clean overrule. */
 const steer = async (retry) => {
@@ -1238,6 +1370,7 @@ const ordinaryStart = async () => {
 	refusePendingHandOff();
 	flagModeOn();
 	sliceCap();
+	prototypeRounds();
 	const stated = statedCriteria(changes(), head());
 	await unwind();
 	if (changes(".gtd/FEEDBACK.md").some((c) => c.status !== "deleted")) await human("unwind-failed", {

package/dist/workflows/fix.mjs

@@ -1,7 +1,7 @@
 import { read, refuse, removeScript, run, scope, start } from "../flows.mjs";
 import { _ as reviewRisks, g as reviewNotes } from "../chunks/steering-DtUVUz9l.mjs";
-import { At as defaults, J as fixReviewNotesPrompt, M as agentWithSkills, S as coder, c as baseline, i as skills, jt as envDefaults, n as summary, q as finisherSystem, r as access, s as shipped, t as steering, v as REVIEW } from "../chunks/reserved-CdOzKFVX.mjs";
-import { r as handOffTail, t as REVIEW_ORIG } from "../chunks/tail-DRM2eC1z.mjs";
+import { C as coder, It as defaults, J as finisherSystem, Lt as envDefaults, N as agentWithSkills, Y as fixReviewNotesPrompt, c as baseline, i as skills, n as summary, r as access, s as shipped, t as steering, y as REVIEW } from "../chunks/reserved-CUkk9XgL.mjs";
+import { r as handOffTail, t as REVIEW_ORIG } from "../chunks/tail-CX6Pdsql.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,7 +1,7 @@
 import { read, refuse, removeScript, run, start } from "../flows.mjs";
-import { At as defaults, M as agentWithSkills, S as coder, _ as REQUIREMENTS, i as skills, jt as envDefaults, l as gate, mt as reviewGateBlockedMessage, n as summary, pt as reviewFeedbackFixPrompt, q as finisherSystem, r as access, s as shipped, t as steering } from "../chunks/reserved-CdOzKFVX.mjs";
-import { a as refusePendingHandOff } from "../chunks/tail-DRM2eC1z.mjs";
-import { i as reUnwind, t as buildTail } from "../chunks/review-BChXEl2Y.mjs";
+import { C as coder, It as defaults, J as finisherSystem, Lt as envDefaults, N as agentWithSkills, i as skills, l as gate, n as summary, r as access, s as shipped, t as steering, v as REQUIREMENTS, vt as reviewFeedbackFixPrompt, yt as reviewGateBlockedMessage } from "../chunks/reserved-CUkk9XgL.mjs";
+import { a as refusePendingHandOff } from "../chunks/tail-CX6Pdsql.mjs";
+import { i as reUnwind, t as buildTail } from "../chunks/review-BaCXlIT2.mjs";
 //#region src/workflows/review/review.ts
 const fixFeedback = async () => {
 	await agentWithSkills("feedback.fixing", reviewFeedbackFixPrompt(), {

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 { At as defaults, Ht as flagMentions, Kt as requireFlag, S as coder, Wt as flipProblems, f as FEEDBACK, i as skills, jt as envDefaults, l as gate, n as summary, o as flagShipped, r as access, t as steering } from "../chunks/reserved-CdOzKFVX.mjs";
+import { C as coder, It as defaults, Jt as flagMentions, Lt as envDefaults, Qt as requireFlag, Xt as flipProblems, f as FEEDBACK, i as skills, l as gate, n as summary, o as flagShipped, r as access, t as steering } from "../chunks/reserved-CUkk9XgL.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.";

package/dist/workflows.mjs

@@ -17241,6 +17241,7 @@ const defaults = {
 	qualityReviews: "correctness, owasp-security, ponytail-review, test-audit, conventions, spec-challenge",
 	refactorQualityReviews: "correctness, ponytail-review, conventions",
 	continuations: "3",
+	prototypeRounds: "3",
 	continuationStall: "2"
 };
 /** Environment settings. */
@@ -17318,6 +17319,11 @@ task in front of you end to end, tests first, and come back to fix
 things when redirected — a failing check, or reviewer feedback. Stay
 strictly inside that task; never touch code outside it. Treat feedback as the
 diagnosis to act on; discard it, with reason, only when simply wrong.`;
+const testerPersona = `You are the hands-on tester in gtd's build pipeline: use what was just
+built the way a person would — run the real program, open the real
+page, call the real endpoint — and report exactly what you did and
+what you saw. Never fix anything yourself, and never pass a criterion
+you did not watch hold.`;
 const finisherPersona = `You are the closing identity in gtd's build pipeline — the last coder
 before it closes. Fix a late-breaking failing check after sign-off,
 focused and minimal. Every turn lands its own commit — nothing here
@@ -17743,8 +17749,11 @@ const acceptanceCriteriaBlock = `
 Whichever lap this is, \`.gtd/REQUIREMENTS.md\` carries a
 \`## Acceptance Criteria\` section: one \`- AC-<n>: <criterion>\` line
 per criterion, numbered from \`AC-1\`. They bind every later step —
-the build is done when each one holds — so each must be checkable: a
-test or a command shows it holds or not. A later lap keeps every ID:
+the build is done when each one holds — so each must be behaviour a
+test can pin: one that fails when it does not hold. A green suite, a
+passing typecheck or lint, a generator or build that runs — the health
+check enforces those on every lap, so none is a criterion; fold what it
+must produce into a behaviour a test can observe. A later lap keeps every ID:
 reword a criterion in place, append a new one with the next unused
 number, delete a dropped one — never renumber, never reuse an ID. When
 the file holds no list (a review loop-back rewrites it), recover the
@@ -17852,7 +17861,7 @@ const clearCriteriaQuestion = {
 	id: "clear",
 	primitive: "noul",
 	instructions: "state.criteria lists the acceptance criteria the human's sketch (state.sketch) stated, as gtd numbered them. Decide whether they can stand as the binding definition of done, with no design conversation.",
-	criteria: "yes: every criterion is clear and checkable — a test or a command can show it holds or not — and together they say what to build. no: any one criterion is vague, subjective or untestable, or the sketch leaves an open product question. Unsure means no."
+	criteria: "yes: every criterion is clear behaviour a test can pin — a test would fail if it did not hold — and together they say what to build. no: any one criterion is vague, subjective or untestable, only a command can check it (a suite, typecheck, lint, build or generator run that passes), or the sketch leaves an open product question. Unsure means no."
 };
 const clearCriteriaMessage = () => `The sketch stated its own acceptance criteria. Run \`gtd judge answer\` and
 pipe \`yes\` when every one is clear and checkable, so design is skipped and
@@ -18771,6 +18780,80 @@ Two ways forward (then run \`gtd land\`):
 - **Overrule** — land a clean tree to finish without them. The slice records
   the IDs it covers and, as \`uncovered\`, the ones it does not
 `;
+const testerSystem = () => `${testerPersona}
+
+${agentConduct}`;
+const PROTOTYPE_FORMAT = `- Write \`.gtd/PROTOTYPE.md\`, replacing any earlier report: one \`## \` chunk
+  per criterion, headed \`## AC-<n>: pass\`, \`## AC-<n>: fail\` or
+  \`## AC-<n>: blocked\`, then one chunk per problem you found outside any
+  criterion, headed \`## Problem <short title>: fail\` (\`: pass\` once a
+  re-test shows it fixed). Under each: the exact steps you ran, what you
+  observed (output, a screenshot path, the error), and for a failure what
+  you expected instead
+- \`blocked\` is for a criterion you could not exercise, or one whose
+  expected behaviour itself looks wrong — say which and why: a person
+  decides it, never a fixer`;
+const prototypeTestingPrompt = (slice, retest) => `${stateFileRules}
+- Read \`.gtd/REQUIREMENTS.md\`: the settled requirements for this change
+${sliceLine(slice)}- The change is built and its suite is green. Now test it by hand: use
+  every acceptance criterion the way a person would and watch what
+  happens. Running the test suite is not this — it already ran
+- Find how this project is exercised for real, in this order: a project
+  skill that launches or drives it (e.g. \`.claude/skills/*\`); a manual
+  testing or running section in \`AGENTS.md\`, \`CLAUDE.md\` or \`README.md\`;
+  failing those, the project's shape — a browser or Playwright for a web
+  project, the built CLI in a scratch directory for a CLI, a request client
+  for an API
+- Found none and recognised no shape: write only a chunk headed
+  \`## No testing instructions\` saying what you looked for, and finish —
+  a person is asked; never guess
+- Test in a disposable place only — a scratch directory outside this
+  repository, a throwaway repository, a dev server on a free port — never
+  against the user's real data or this working tree. Point every tool's
+  output (screenshots, traces, test results) outside the repository too
+${retest ? `- This is a re-test: \`.gtd/PROTOTYPE.md\` holds the last round's report and
+  a fix turn or a person has changed the code since. Re-test every failed or blocked criterion and
+  every problem it lists in full, then re-run the passed ones quickly
+` : ""}${PROTOTYPE_FORMAT}
+- Change nothing but \`.gtd/PROTOTYPE.md\` — a turn that does is refused
+- Leave everything uncommitted and finish your turn — do not commit
+`;
+const prototypeFixingPrompt = (slice) => `${stateFileRules}
+- Read \`.gtd/REQUIREMENTS.md\`: the settled requirements for this change
+${sliceLine(slice)}${criteriaBinding(true)}
+- Read \`.gtd/PROTOTYPE.md\`: a hands-on test of the change. Fix every
+  \`fail\` chunk of this change's criteria${slice === void 0 ? "" : " (this slice's only)"} or a problem found
+  beside them, at its cause, with a test that shows it; leave \`blocked\`
+  ones to the person
+- A \`fail\` the code does not explain (the tester misread what it saw) has
+  nothing to fix: leave it and change nothing for it — the next round re-tests
+- Leave \`.gtd/PROTOTYPE.md\` as it is: the next round re-tests from it
+- Run \`${env.testCommand}\` and finish only once it is green
+- Leave everything uncommitted and finish your turn — do not commit
+`;
+const openItems = (items) => items.map((item) => `- ${item.subject}: ${item.verdict}`).join("\n");
+const prototypeOpenMessage = (items, rounds) => `The hands-on test of this slice still has open items${rounds > 0 ? ` after ${rounds} fix round${rounds === 1 ? "" : "s"}` : ", and none a fixer can take"}:
+${openItems(items)}
+
+\`.gtd/PROTOTYPE.md\` holds the last report: the steps run and what was seen.
+
+Two ways forward (then run \`gtd land\`):
+- **Fix** — change the code, or the testing instructions, yourself (the
+  criteria are settled: an edit to them is refused); the suite runs and the
+  slice is tested again, with a fresh round budget
+- **Overrule** — land a clean tree to go on to the quality lap with these
+  items open
+`;
+const prototypeUnguidedMessage = () => `The hands-on test found no way to exercise this project for real — no
+project skill, no manual testing section in \`AGENTS.md\`, \`CLAUDE.md\` or
+\`README.md\`, and no project shape it recognised. \`.gtd/PROTOTYPE.md\` says
+what it looked for.
+
+Two ways forward (then run \`gtd land\`):
+- **Instruct** — add testing instructions (a project skill, or a manual
+  testing section); the slice is tested again
+- **Skip** — land a clean tree to go on to the quality lap untested
+`;
 //#endregion
 //#region src/workflows/shared/steps.ts
 const FEEDBACK = ".gtd/FEEDBACK.md";
@@ -18782,6 +18865,7 @@ const REFACTOR_NOTE = ".gtd/REFACTOR-NOTE.md";
 const QUALITY = ".gtd/QUALITY.md";
 const SLICES = ".gtd/SLICES.md";
 const HANDOFF = ".gtd/HANDOFF.md";
+const PROTOTYPE = ".gtd/PROTOTYPE.md";
 const planner = () => env.plannerModel ?? "";
 const coder = () => env.coderModel ?? "";
 const fixCheck = (rules) => agentWithSkills("fix", buildFixPrompt(rules), {
@@ -38499,6 +38583,7 @@ const ShippedOptions = Struct({
 	qualityReviews: setting$1,
 	refactorQualityReviews: setting$1,
 	continuations: setting$1,
+	prototypeRounds: setting$1,
 	continuationStall: setting$1,
 	testCommand: setting$1,
 	plannerModel: setting$1,
@@ -39748,7 +39833,9 @@ const reviewedRefactor = async (shape, options = {}) => {
 				feedback,
 				fixAccess: strayAccess(p.strays),
 				lensBase: entry,
-				rules: refactorRules(p.strays, p.pattern)
+				rules: refactorRules(p.strays, p.pattern),
+				walkthrough: true,
+				lap: "refactor"
 			});
 			if (outcome.verdict === "signoff") return true;
 			await reUnwind(outcome);
@@ -39763,7 +39850,7 @@ const reviewedRefactor = async (shape, options = {}) => {
 const COVERED_MIN_P = .7;
 /** Covering turns before the process rests at `uncovered`; a human edit there refills them. */
 const COVERING_RETRIES = 2;
-const frozen = () => requireCriteriaFrozen(REQUIREMENTS);
+const frozen$1 = () => requireCriteriaFrozen(REQUIREMENTS);
 const green = (guard) => healthy(() => agentWithSkills("fix.suite.fixing", implementFixPrompt(), {
 	label: "Fixing the check",
 	file: FEEDBACK,
@@ -39771,7 +39858,7 @@ const green = (guard) => healthy(() => agentWithSkills("fix.suite.fixing", imple
 	system: builderSystem()
 }), {
 	guard: () => {
-		frozen();
+		frozen$1();
 		guard?.();
 	},
 	guardRests: false
@@ -39824,7 +39911,7 @@ const requireCoverage = async (base = start(), slice) => {
 				system: builderSystem(),
 				allowEmpty: true
 			});
-			frozen();
+			frozen$1();
 		} else {
 			await human("uncovered", {
 				message: uncoveredMessage(uncovered),
@@ -39833,13 +39920,136 @@ const requireCoverage = async (base = start(), slice) => {
 				acceptClean: true
 			});
 			if (!changes().some((c) => isCode$1(c.path))) return record(covered, uncovered);
-			frozen();
+			frozen$1();
 			retries = 0;
 		}
 		await green();
 	}
 };
 //#endregion
+//#region src/workflows/feature/prototype.ts
+/** The `prototypeRounds` setting. Anything but a non-negative integer fails rather than guess a cap. */
+const prototypeRounds = () => {
+	const value = vars.prototypeRounds ?? defaults.prototypeRounds;
+	if (!/^(0|[1-9]\d*)$/.test(value)) refuse(`gtd: prototypeRounds must be a non-negative integer, got ${JSON.stringify(value)}`);
+	return Number(value);
+};
+const CHUNK = /^(AC-\d+|Problem\b.*?)\s*:\s*(pass|fail|blocked)$/i;
+const UNGUIDED = /^no testing instructions$/i;
+/** The `## ` chunks of a prototype report; a heading in neither shape is prose, not an item. */
+const reportOf = (text) => {
+	let unguided = false;
+	const items = [];
+	const malformed = [];
+	for (const { line, fenced } of markFenced(text)) {
+		const heading = fenced ? null : HEADING.exec(line);
+		if (heading?.[1] !== "##") continue;
+		if (UNGUIDED.test(heading[2])) unguided = true;
+		const chunk = CHUNK.exec(heading[2]);
+		if (chunk === null && /^(ac-\d|problem)/i.test(heading[2])) malformed.push(heading[2]);
+		if (chunk !== null) items.push({
+			subject: /^ac-/i.test(chunk[1]) ? chunk[1].toUpperCase() : chunk[1],
+			verdict: chunk[2].toLowerCase()
+		});
+	}
+	return {
+		unguided,
+		items,
+		malformed
+	};
+};
+/**
+* The report the testing turn left, refused unless it is the only change and
+* names every criterion once, with its open items: another slice's criteria
+* are not this slice's to fix.
+*/
+const requireReport = (slice, retest) => {
+	const others = changes().map((c) => c.path).filter((path) => path !== PROTOTYPE);
+	if (others.length > 0) refuse(`gtd land: prototype-report: test in a disposable place and change nothing but ${PROTOTYPE} — revert these:\n${others.map((path) => `  - ${path}`).join("\n")}`);
+	const text = read(PROTOTYPE);
+	if (text === void 0) return refuse(`gtd land: prototype-report: write ${PROTOTYPE}`);
+	const report = reportOf(text);
+	if (report.malformed.length > 0) refuse(`gtd land: prototype-report: head each chunk \`## <ID>: pass|fail|blocked\` or \`## Problem <title>: pass|fail|blocked\` — these miss it:\n${report.malformed.map((h) => `  - ${h}`).join("\n")}`);
+	if (report.unguided && report.items.length === 0 && !retest) return {
+		unguided: true,
+		open: []
+	};
+	const requirements = read(".gtd/REQUIREMENTS.md") ?? "";
+	const ids = criterionIds(requirements, slice);
+	const elsewhere = criterionIds(requirements).filter((id) => !ids.includes(id));
+	const count = (id) => report.items.filter((i) => i.subject === id).length;
+	const wrong = ids.filter((id) => count(id) !== 1);
+	if (wrong.length > 0) refuse(`gtd land: prototype-report: ${PROTOTYPE} needs exactly one chunk headed \`## <ID>: pass|fail|blocked\` for ${wrong.join(", ")}`);
+	return {
+		unguided: false,
+		open: report.items.filter((i) => i.verdict !== "pass" && !elsewhere.includes(i.subject))
+	};
+};
+const frozen = () => requireCriteriaFrozen(REQUIREMENTS);
+const testing = async (slice, retest) => {
+	await agentWithSkills("testing", prototypeTestingPrompt(sliceIds(slice), retest), {
+		label: retest ? "Re-testing the slice by hand" : "Testing the slice by hand",
+		file: PROTOTYPE,
+		model: coder(),
+		system: testerSystem(),
+		allowEmpty: true
+	});
+	return requireReport(slice, retest);
+};
+const fixing = async (slice, guard) => {
+	await scope("fix", () => agentWithSkills("fixing", prototypeFixingPrompt(sliceIds(slice)), {
+		label: "Fixing what the hands-on test found",
+		file: PROTOTYPE,
+		model: coder(),
+		system: builderSystem(),
+		allowEmpty: true
+	}));
+	if (changes().some((c) => c.path === ".gtd/PROTOTYPE.md")) refuse(`gtd land: prototype-fix: leave ${PROTOTYPE} as it is — the next round re-tests from it`);
+	frozen();
+	guard?.();
+};
+/** A person's rest; resolves `true` when they changed something to test again, `false` on a clean overrule. */
+const askPerson = async (name, message, label) => {
+	await human(name, {
+		message,
+		label,
+		file: PROTOTYPE,
+		acceptClean: true
+	});
+	if (!changes().some((c) => c.path !== ".gtd/PROTOTYPE.md")) return false;
+	frozen();
+	return true;
+};
+/**
+* Use the slice by hand: a testing turn reports on every criterion, a fix turn
+* takes each failure, and the slice is tested again — until the report is
+* clean, or `prototypeRounds` fixes are spent and a person decides. `guard`
+* holds every fix turn, as it holds the implementation's.
+*/
+const prototypeTest = async (slice, guard) => {
+	const cap = prototypeRounds();
+	if (cap === 0) return;
+	await scope("prototype", async () => {
+		let fixes = 0;
+		let retest = false;
+		for (;;) {
+			const { unguided, open } = await testing(slice, retest);
+			retest = !unguided;
+			if (unguided) {
+				if (!await askPerson("unguided", prototypeUnguidedMessage(), "No way to test by hand")) return;
+			} else if (open.length === 0) return;
+			else if (fixes < cap && open.some((i) => i.verdict === "fail")) {
+				fixes++;
+				await fixing(slice, guard);
+			} else {
+				if (!await askPerson("open", prototypeOpenMessage(open, fixes), "Hands-on test still failing")) return;
+				fixes = 0;
+			}
+			await green(guard);
+		}
+	});
+};
+//#endregion
 //#region src/workflows/feature/seam.ts
 /** Naive-pass retries after a `reject` or a red suite; the next one rests at `seam.steer`. */
 const NAIVE_RETRIES = 2;
@@ -40046,8 +40256,10 @@ const implementing = (options) => scope("implement", async () => {
 		...acceptance,
 		ids: settled(acceptance.ids, options.slice)
 	}, since);
-	await green(built && acceptance !== void 0 ? () => requireAcceptanceKept(acceptance) : void 0);
+	const keepsTests = built && acceptance !== void 0 ? () => requireAcceptanceKept(acceptance) : void 0;
+	await green(keepsTests);
 	await requireCoverage(options.base, options.slice);
+	await prototypeTest(options.slice, keepsTests);
 	const ids = criterionIds(read(".gtd/REQUIREMENTS.md") ?? "");
 	await closing(moreToBuild(options.more));
 	return ids;
@@ -40056,11 +40268,16 @@ const moreToBuild = (more) => typeof more === "function" ? more() : more === tru
 /** 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] : [
+const closing = (more) => run("closing", removeScript(more ? [
+	REFACTOR_NOTE,
+	HANDOFF,
+	PROTOTYPE
+] : [
 	REQUIREMENTS,
 	REFACTOR_NOTE,
 	SLICES,
-	HANDOFF
+	HANDOFF,
+	PROTOTYPE
 ]), { label: "Closing out the implementation" });
 /** Resolves `true` when the human steered (edited), `false` on a clean overrule. */
 const steer = async (retry) => {
@@ -40425,6 +40642,7 @@ const ordinaryStart = async () => {
 	refusePendingHandOff();
 	flagModeOn();
 	sliceCap();
+	prototypeRounds();
 	const stated = statedCriteria(changes(), head$1());
 	await unwind();
 	if (changes(".gtd/FEEDBACK.md").some((c) => c.status !== "deleted")) await human("unwind-failed", {
@@ -40459,6 +40677,10 @@ const skills = (vars) => {
 		seam: ["incremental-implementation"],
 		implement: ["test-driven-development", "incremental-implementation"],
 		"implement.fix.suite": ["debugging-and-error-recovery"],
+		"implement.prototype": [],
+		"implement.prototype.fix": ["test-driven-development", "incremental-implementation"],
+		"implement.prototype.fix.suite": ["debugging-and-error-recovery"],
+		"implement.prototype.health": ["debugging-and-error-recovery"],
 		"implement.health": ["debugging-and-error-recovery"],
 		...lensScopes("build.quality", lensesOf(vars.qualityReviews ?? ""), (lens) => builtInLenses[lens]?.skills ?? [lens]),
 		...lensScopes("refactor.build.quality", lensesOf(vars.refactorQualityReviews ?? ""), (lens) => builtInLenses[lens]?.skills ?? [lens])
@@ -40636,4 +40858,4 @@ var workflows_default = feature;
 */
 const doors = {};
 //#endregion
-export { COMMENT, ESCALATION, FEEDBACK, FIX_CAP, FlagOptions, HANDOFF, QUALITY, REFACTOR, REFACTOR_NOTE, REFACTOR_PACKAGE, REQUIREMENTS, REVIEW, REVIEW_ORIG, SLICES, ShippedOptions, acceptanceFault, access, afterTail, agentWithSkills, answerProductQuestions, answerReviewQuestions, awaitReview, base, baseline, buildFeature, buildTail, builtInLenses, cleanup, cleanupFlow, closeOut, closeReview, coder, collecting, criteriaOf, criterionIds, workflows_default as default, defaults, describeEscalation, design, doors, envDefaults, escalate, escalation, escalationExhausted, feature, fix, fixCheck, fixFlow, fixNits, fixQuality, fixReviewNotes, fixRisks, gate, guarded, handOffReview, handOffTail, healthy, holdsCallSites, implement, implementing, isTestFile, judgeSeam, lensEntriesOf, lensOf, lensesOf, naiveAcceptance, naivePass, ordinaryStart, planAndBuild, planner, qualityLap, reUnwind, recheck, refactorCollecting, refactorFirst, refactorNote, refactorStrays, requireAcceptance, requireAcceptanceKept, requireCriteria, requireCriteriaFrozen, requireCriteriaIfEdited, requireNoNewFlags, requireNoTestFiles, requireSlices, requireStableIds, requireTestCallSitesOnly, requireWithin, retryQuestion, review, reviewFlow, reviewMissing, reviewQuality, reviewedRefactor, reviewing, rollout, rolloutFlow, seamBuild, skills, skipDesign, sliceCap, sliceCriteria, sliceIds, slicesOf, slicing, statedCriteria, steering, summary, tail, threads, triage, unstableIds, unwind };
+export { COMMENT, ESCALATION, FEEDBACK, FIX_CAP, FlagOptions, HANDOFF, PROTOTYPE, QUALITY, REFACTOR, REFACTOR_NOTE, REFACTOR_PACKAGE, REQUIREMENTS, REVIEW, REVIEW_ORIG, SLICES, ShippedOptions, acceptanceFault, access, afterTail, agentWithSkills, answerProductQuestions, answerReviewQuestions, awaitReview, base, baseline, buildFeature, buildTail, builtInLenses, cleanup, cleanupFlow, closeOut, closeReview, coder, collecting, criteriaOf, criterionIds, workflows_default as default, defaults, describeEscalation, design, doors, envDefaults, escalate, escalation, escalationExhausted, feature, fix, fixCheck, fixFlow, fixNits, fixQuality, fixReviewNotes, fixRisks, gate, guarded, handOffReview, handOffTail, healthy, holdsCallSites, implement, implementing, isTestFile, judgeSeam, lensEntriesOf, lensOf, lensesOf, naiveAcceptance, naivePass, ordinaryStart, planAndBuild, planner, qualityLap, reUnwind, recheck, refactorCollecting, refactorFirst, refactorNote, refactorStrays, requireAcceptance, requireAcceptanceKept, requireCriteria, requireCriteriaFrozen, requireCriteriaIfEdited, requireNoNewFlags, requireNoTestFiles, requireSlices, requireStableIds, requireTestCallSitesOnly, requireWithin, retryQuestion, review, reviewFlow, reviewMissing, reviewQuality, reviewedRefactor, reviewing, rollout, rolloutFlow, seamBuild, skills, skipDesign, sliceCap, sliceCriteria, sliceIds, slicesOf, slicing, statedCriteria, steering, summary, tail, threads, triage, unstableIds, unwind };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@pmelab/gtd",
-  "version": "50.0.0",
+  "version": "51.0.1",
   "private": false,
   "description": "Git-aware CLI that emits the next prompt for an autonomous coding agent based on the current repository state",
   "bin": {