@pmelab/gtd 62.1.0 → 63.0.0

package/dist/gtd.bundle.mjs

@@ -29501,9 +29501,9 @@ const withoutPath = (tree, hidden) => {
 const OLDEST_READABLE_FORMAT = 1;
 const short$1 = (hash) => hash.slice(0, 7);
 const formatFault = (commits) => {
-	const foreign = commits.find((c) => c.format < OLDEST_READABLE_FORMAT || c.format > 2);
+	const foreign = commits.find((c) => c.format < OLDEST_READABLE_FORMAT || c.format > 3);
 	if (foreign === void 0) return void 0;
-	return `gtd: commit ${short$1(foreign.hash)} is written in history format ${foreign.format}, but this gtd reads formats ${OLDEST_READABLE_FORMAT} to 2 — run a gtd release that reads format ${foreign.format} to continue this process`;
+	return `gtd: commit ${short$1(foreign.hash)} is written in history format ${foreign.format}, but this gtd reads formats ${OLDEST_READABLE_FORMAT} to 3 — run a gtd release that reads format ${foreign.format} to continue this process`;
 };
 //#endregion
 //#region src/replay/Trailers.ts
@@ -29634,6 +29634,9 @@ const TRAILER_READERS = {
 	"Gtd-Pin": (value, into) => {
 		if (value === "add" || value === "remove") into.pin ??= value;
 	},
+	"Gtd-Anchor": (value, into) => {
+		if (HASH_RE.test(value)) into.anchor ??= value;
+	},
 	"Gtd-Format": (value, into) => {
 		if (FORMAT_RE.test(value)) into.format ??= Number(value);
 	},
@@ -29657,6 +29660,7 @@ const parseCommitMessage = (message) => {
 		kept: void 0,
 		approved: void 0,
 		pin: void 0,
+		anchor: void 0,
 		judge: [],
 		marks: [],
 		vars: {},
@@ -29686,9 +29690,10 @@ const formatCommitMessage = (spec) => {
 		...(spec.marks ?? []).map((m) => `Gtd-Mark: ${m.name}=${m.value}`),
 		...trailer("Approved", spec.approved && encodeApproval(spec.approved)),
 		...trailer("Pin", spec.pin),
+		...trailer("Anchor", spec.anchor),
 		...trailer("Branch", spec.branch),
 		...trailer("Version", spec.version),
-		`Gtd-Format: 2`
+		`Gtd-Format: 3`
 	];
 	return `${formatSubject(spec.actor, spec.to, spec.from)}\n\n${lines.join("\n")}`;
 };
@@ -29782,6 +29787,27 @@ const budgeted = (evidence, budgetBytes) => {
 };
 const sameSkills = (a, b) => (a?.length ?? 0) === (b?.length ?? 0) && (a ?? []).every((skill, i) => skill === b?.[i]);
 const samePersona = (a, b) => a.model === b.model && a.system === b.system && sameSkills(a.skills, b.skills) && sameAccess(a.access, b.access);
+const anchorOf = (parsed) => parsed.pin === "add" ? parsed.anchor : void 0;
+const isAnchor = (commit) => anchorOf(commit.parsed) !== void 0;
+/**
+* The commits every anchor sets aside — those between the commit it names and
+* itself — or a fault for an anchor naming no commit still read.
+*/
+const setAsideBy = (base, all) => {
+	const setAside = /* @__PURE__ */ new Set();
+	if (all.every((c) => anchorOf(c.parsed) === void 0)) return { setAside };
+	let kept = [];
+	for (const commit of all) {
+		const anchor = anchorOf(commit.parsed);
+		if (anchor !== void 0) {
+			const at = anchor === base ? -1 : kept.indexOf(anchor);
+			if (anchor !== base && at === -1) return { fault: `gtd: commit ${short(commit.hash)} anchors the process at ${short(anchor)}, which is no commit replay reads in this episode` };
+			for (const hash of kept.splice(at + 1)) setAside.add(hash);
+		}
+		kept.push(commit.hash);
+	}
+	return { setAside };
+};
 /**
 * Replay one episode: run its entry flow, answering each step from the
 * episode's commits in order, until a step has no commit left — the rest.
@@ -29855,19 +29881,39 @@ const withoutPin = (input) => {
 };
 const replay = async (raw) => {
 	const input = withoutPin(raw);
-	const commits = input.episode.commits.map((c) => ({
+	const all = input.episode.commits.map((c) => ({
 		...c,
 		parsed: parseCommitMessage(c.message)
 	}));
+	const resolved = setAsideBy(input.episode.base.hash, all);
+	if ("fault" in resolved) return {
+		kind: "failed",
+		message: resolved.fault
+	};
+	const setAside = resolved.setAside;
+	const commits = all.filter((c) => !setAside.has(c.hash));
+	const pinned = (raw.episode.commits.at(-1)?.tree ?? raw.episode.base.tree).paths().includes(PIN_PATH);
 	const treeAt = (hash) => hash === input.episode.base.hash ? input.episode.base.tree : commits.find((c) => c.hash === hash)?.tree ?? (hash === input.start ? input.startTree : void 0);
 	let cursor = 0;
 	let pendingUsed = false;
 	let position = input.episode.base;
 	const skipPins = () => {
-		while (cursor < commits.length && commits[cursor].parsed.pin !== void 0) cursor++;
+		while (cursor < commits.length && commits[cursor].parsed.pin !== void 0) {
+			const commit = commits[cursor];
+			cursor++;
+			if (!isAnchor(commit)) continue;
+			position = commit;
+			const to = commit.parsed.parsed?.to;
+			expectedNext = to === void 0 || to === UNPIN_STATE ? void 0 : {
+				name: to,
+				hash: commit.hash
+			};
+			anchorPending = expectedNext !== void 0;
+		}
 	};
 	let previousPosition = input.episode.base;
 	let expectedNext;
+	let anchorPending = false;
 	const occurrences = /* @__PURE__ */ new Map();
 	const personas = /* @__PURE__ */ new Map();
 	const scopes = [];
@@ -30010,14 +30056,18 @@ const replay = async (raw) => {
 		}
 		return samePersona(seen, identity) ? void 0 : `gtd: "${step.name}" runs with a different model, system prompt, skills or file access than an earlier agent step in its conversation in memory scope "${step.memoryScope || "root"}" — a conversation has one identity`;
 	};
-	const DIVERGED = "the workflow changed under this process; run `gtd abandon` to start over";
+	const DIVERGED = pinned ? "the workflow changed under this process; run `gtd repin` to continue under it from there, or `gtd abandon` to start over" : "the workflow changed under this process; run `gtd abandon` to start over";
+	const diverged = (message, reached) => ({
+		kind: "divergence",
+		message: `${message} — ${DIVERGED}`,
+		at: position.hash,
+		reached: reached?.name
+	});
 	const blockerAt = (step) => {
 		const expected = expectedNext;
 		expectedNext = void 0;
-		if (expected !== void 0 && expected.name !== step.name) return {
-			kind: "divergence",
-			message: `gtd: commit ${short(expected.hash)} names "${expected.name}" as the next step, but replay reached "${step.name}" — ${DIVERGED}`
-		};
+		anchorPending = false;
+		if (expected !== void 0 && expected.name !== step.name) return diverged(`gtd: commit ${short(expected.hash)} names "${expected.name}" as the next step, but replay reached "${step.name}"`, step);
 		const error = unknownOptions(step) ?? approveConflict(step) ?? modeWithoutFile(step) ?? checkIdentity(step);
 		return error === void 0 ? void 0 : {
 			kind: "failed",
@@ -30028,33 +30078,30 @@ const replay = async (raw) => {
 		if (step.request.kind !== "human" || step.request.options.approve !== true) return void 0;
 		const approved = commit.parsed.approved;
 		if (approved !== void 0 && formatStepId(approved.step) === expected) return void 0;
-		return {
-			kind: "divergence",
-			message: `gtd: commit ${short(commit.hash)} completes approval gate "${expected}" but records no Gtd-Approved for it — ${DIVERGED}`
-		};
+		return diverged(`gtd: commit ${short(commit.hash)} completes approval gate "${expected}" but records no Gtd-Approved for it`, step);
 	};
 	const consumeCommit = (step, commit) => {
 		const recorded = commit.parsed.step;
 		const expected = formatStepId(step.id);
 		if (recorded === void 0 || formatStepId(recorded) !== expected) {
 			const what = recorded === void 0 ? "records no step" : `records step "${formatStepId(recorded)}"`;
-			return finish({
-				kind: "divergence",
-				message: `gtd: commit ${short(commit.hash)} ${what}, but replay expected "${expected}" — ${DIVERGED}`
-			});
+			return finish(diverged(`gtd: commit ${short(commit.hash)} ${what}, but replay expected "${expected}"`, step));
 		}
 		const unapproved = missingApproval(step, commit, expected);
 		if (unapproved !== void 0) return finish(unapproved);
 		cursor++;
 		advance(commit);
+		expectNextOf(commit);
 		skipPins();
 		noteKept(step, commit);
+		return replyFor(step.request, commit.parsed.judge);
+	};
+	const expectNextOf = (commit) => {
 		const to = commit.parsed.parsed?.to;
 		if (to !== void 0 && to !== UNPIN_STATE) expectedNext = {
 			name: to,
 			hash: commit.hash
 		};
-		return replyFor(step.request, commit.parsed.judge);
 	};
 	const noteKept = (step, commit) => {
 		if (commit.parsed.kept === void 0) return;
@@ -30126,10 +30173,8 @@ const replay = async (raw) => {
 	};
 	const endOfFlow = (via) => {
 		skipPins();
-		return cursor < commits.length ? {
-			kind: "divergence",
-			message: `gtd: the flow ended, but commit ${short(commits[cursor].hash)} continues the episode — ${DIVERGED}`
-		} : {
+		if (anchorPending && cursor === commits.length) return diverged(`gtd: the flow ended, but commit ${short(expectedNext.hash)} continues the process at "${expectedNext.name}"`, void 0);
+		return cursor < commits.length ? diverged(`gtd: the flow ended, but commit ${short(commits[cursor].hash)} continues the episode`, void 0) : {
 			kind: "ended",
 			via,
 			trace,
@@ -30139,6 +30184,7 @@ const replay = async (raw) => {
 	};
 	const changesSince = (hash) => {
 		const tree = treeAt(hash);
+		if (setAside.has(hash)) throw new Error(`gtd: changesSince(${hash}): a repin set ${short(hash)} aside — pass a hash this run read from head() or start()`);
 		if (tree === void 0) throw new Error(`gtd: changesSince(${hash}): ${hash} is not the episode base or one of its commits — pass a hash this run read from head() or start(), not one captured earlier, read from state, or from another branch`);
 		return changesBetween(tree, position.tree);
 	};
@@ -32096,11 +32142,21 @@ const approvalEntryOf = (hash, message) => message.approved === void 0 ? [] : [{
 	email: message.approved.email,
 	commit: hash
 }];
+const setAsideIn = (history, location) => {
+	const anchored = setAsideBy(hashAt(history, location.baseIndex) ?? EMPTY_TREE$1, history.slice(location.baseIndex + 1).map((c) => ({
+		hash: c.hash,
+		parsed: parseCommitMessage(c.message)
+	})));
+	return "setAside" in anchored ? anchored.setAside : /* @__PURE__ */ new Set();
+};
 const buildRun = (history, location, closingHash) => {
 	const allProcessCommits = history.slice(location.processStart);
 	const allParsed = allProcessCommits.map((c) => parseCommitMessage(c.message));
 	const processCommits = allProcessCommits.filter((_, i) => allParsed[i].pin !== "add");
 	const parsed = allParsed.filter((m) => m.pin !== "add");
+	const setAside = setAsideIn(history, location);
+	const answering = parsed.filter((_, i) => !setAside.has(processCommits[i].hash));
+	const answeringCommits = processCommits.filter((c) => !setAside.has(c.hash));
 	const first = parsed[0];
 	const startParentHash = hashAt(history, location.processStart - 1) ?? EMPTY_TREE$1;
 	const head = history[history.length - 1];
@@ -32112,10 +32168,10 @@ const buildRun = (history, location, closingHash) => {
 		diffBase: first?.reviewBase ?? startParentHash,
 		trace: processCommits.map((c, i) => traceEntryOf(c.hash, parsed[i])),
 		costEntries: parsed.flatMap((m, i) => costEntriesOf(processCommits[i].hash, m)),
-		judgeVerdicts: parsed.flatMap((m) => m.judge),
+		judgeVerdicts: answering.flatMap((m) => m.judge),
 		pinCommitted: allParsed.some((m) => m.pin === "add"),
-		marks: parsed.flatMap((m) => m.marks),
-		approvals: processCommits.flatMap((c, i) => approvalEntryOf(c.hash, parsed[i])),
+		marks: answering.flatMap((m) => m.marks),
+		approvals: answeringCommits.flatMap((c, i) => approvalEntryOf(c.hash, answering[i])),
 		pinnedVars: { ...first?.vars },
 		headTurn: headTurnOf(head),
 		closingHash,
@@ -32544,6 +32600,43 @@ const restAt = (ref, startOverrides = {}) => gen(function* () {
 	};
 });
 const currentRest = restAt(void 0);
+/**
+* Where `gtd repin` anchors a pinned process the live workflow no longer
+* replays: the commit replay last stood on, and the step the live workflow
+* reaches from there on HEAD's tree — the unpin when the flow ends instead.
+* `undefined` when there is nothing to anchor: no divergence, or no pin.
+*/
+const repinAnchor = gen(function* () {
+	const git = yield* GitService;
+	const config = yield* (yield* ConfigService).load;
+	const workspace = yield* Workspace;
+	const run = yield* computeProcessRun(git, config.workflow);
+	const { def, setup } = yield* setupFor(config, run, workspace, yield* Host);
+	const diverged = yield* promise(() => replayFor(setup));
+	if (diverged.kind !== "divergence" || !headHasPin(workspace, run)) return void 0;
+	const trial = {
+		hash: "",
+		message: formatCommitMessage({
+			actor: "check",
+			from: PIN_STATES.add,
+			to: PIN_STATES.add,
+			pin: "add",
+			anchor: diverged.at
+		}),
+		tree: setup.episode.at(-1)?.tree ?? setup.base.tree
+	};
+	const outcome = yield* promise(() => replayFor({
+		...setup,
+		episode: [...setup.episode, trial]
+	}));
+	if (outcome.kind !== "divergence") return yield* fail$8(replayError(outcome) ?? /* @__PURE__ */ new Error("gtd repin: replay found no step"));
+	const to = outcome.reached ?? PIN_STATES.remove;
+	if (run.workflow === void 0 && to === def.initial) return yield* fail$8(/* @__PURE__ */ new Error(`gtd repin: the live workflow continues this process at "${to}", the default workflow's first step, where a finished process waits — run \`gtd abandon\` to start over`));
+	return {
+		at: diverged.at,
+		to
+	};
+});
 /** The step the process rests at and the trace that reached it — at an unpin, the flow's last step. */
 const restingOn = (outcome, pin) => {
 	if (outcome.kind === "rest") return {
@@ -34066,20 +34159,28 @@ const runRestoreCommand = (json, out) => gen(function* () {
 	]).required;
 	yield* writeScript(json, out, combinedScript(required, ""));
 });
-/**
-* `gtd repin`: the pin beat's script and landing, on demand. It runs live,
-* so reading the rest first refuses a live workflow that cannot replay the
-* process before any pin is written.
-*/
-const runRepinCommand = (json, out) => gen(function* () {
+/** The step an ordinary repin rests at — the one the process rests at now. */
+const repinTarget = gen(function* () {
 	const rest = yield* currentRest;
 	const refusal = rest.pin === "add" ? "the next beat pins the process already — run it (`gtd next --json=content`), then land" : rest.pin === "remove" ? "the flow has ended — its unpin beat is next, so there is nothing to repin" : noProcessUnderway(rest) ? "no gtd process is underway — nothing to repin" : void 0;
 	if (refusal !== void 0) return yield* fail$8(/* @__PURE__ */ new Error(`gtd repin: ${refusal}`));
+	return rest.step.name;
+});
+/**
+* `gtd repin`: the pin beat's script and landing, on demand. It runs live: a
+* pinned process the live workflow no longer replays is anchored where it
+* diverged, and any other failure to read the rest refuses before any pin is
+* written.
+*/
+const runRepinCommand = (json, out) => gen(function* () {
+	const anchor = yield* repinAnchor;
+	const to = anchor?.to ?? (yield* repinTarget);
 	const message = formatCommitMessage({
 		actor: "check",
 		from: PIN_STATES.add,
-		to: rest.step.name,
-		pin: "add"
+		to,
+		pin: "add",
+		...anchor !== void 0 ? { anchor: anchor.at } : {}
 	});
 	yield* writeScript(json, out, combinedScript(emitScripts([
 		{
@@ -34092,7 +34193,7 @@ const runRepinCommand = (json, out) => gen(function* () {
 		},
 		{
 			kind: "outcome",
-			command: transitionOutcome(PIN_STATES.add, rest.step.name)
+			command: transitionOutcome(PIN_STATES.add, to)
 		}
 	]).required, ""));
 });
@@ -34767,7 +34868,7 @@ With no <name>, list every workflow and door it can start. An unknown <name>, th
 		arity: "none",
 		group: "Start and stop",
 		summary: "Pin the process to the live gtd and workflow",
-		details: `Switch the process underway to the live engine and workflow, the way out when the workflow needs a fix mid-process: the printed script runs the pin beat again, writing \`gtd bundle\`'s output to .gtd/process.gtdpin and committing that file alone. Always runs on the gtd on PATH, never on the pin. Refuses when no process is underway, when the next beat is a pin or unpin beat already, or when the live workflow does not replay the process.
+		details: `Switch the process underway to the live engine and workflow, the way out when the workflow needs a fix mid-process: the printed script runs the pin beat again, writing \`gtd bundle\`'s output to .gtd/process.gtdpin and committing that file alone. Always runs on the gtd on PATH, never on the pin. When the live workflow no longer replays the process, the commit continues from the divergence: a Gtd-Anchor trailer names the last commit it replays, the later commits stay as files only, and the process rests at the step the live workflow reached there. Refuses when no process is underway, when the next beat is a pin or unpin beat already, when an unpinned process diverges, or when the live workflow would continue at the default workflow's first step.
 
   s=$(gtd repin --json=script) && sh -c "$s"`
 	},