@gajae-code/coding-agent 0.12.5 → 0.12.6

package/scripts/capture-sticky-viewport-showcase.ts

@@ -1,5 +1,6 @@
 import * as fs from "node:fs/promises";
 import * as path from "node:path";
+
 import {
 	renderStickyViewportShowcase,
 	STICKY_VIEWPORT_SHOWCASE_ENTRIES,
@@ -7,6 +8,10 @@ import {
 	type StickyViewportShowcaseEntry,
 } from "../test/fixtures/tui/sticky-viewport-showcase";
 
+export const REPOSITORY_ROOT = path.resolve(import.meta.dir, "../../..");
+export const resolveRepositoryPath = (repositoryRelativePath: string): string =>
+	path.join(REPOSITORY_ROOT, repositoryRelativePath);
+
 const COMMAND =
 	"bun packages/coding-agent/scripts/capture-sticky-viewport-showcase.ts --out .gjc/qa/sticky-viewport-<run>";
 const REVISION = "sticky-viewport-showcase-v2";
@@ -168,17 +173,126 @@ export function ansiToHtml(value: string): string {
 	return `<!doctype html><html lang="en"><meta charset="utf-8"><title>Sticky viewport showcase</title><style>body{margin:0;background:#110b0b;color:#ffe7dc}pre{white-space:pre;font-family:ui-monospace,monospace}@keyframes blink{50%{visibility:hidden}}</style><pre>${body}</pre></html>\n`;
 }
 const json = (value: unknown) => `${JSON.stringify(value, null, 2)}\n`;
-const hash = (value: string) => new Bun.CryptoHasher("sha256").update(value).digest("hex");
+const hash = (value: string | Uint8Array) => new Bun.CryptoHasher("sha256").update(value).digest("hex");
+const PROVENANCE_SOURCES = [
+	"packages/coding-agent/test/fixtures/tui/sticky-viewport-showcase.ts",
+	"packages/coding-agent/scripts/capture-sticky-viewport-showcase.ts",
+	"packages/coding-agent/scripts/verify-sticky-viewport-showcase.ts",
+	"packages/coding-agent/src/modes/interactive-mode.ts",
+	"packages/coding-agent/src/modes/components/irc-sidebar.ts",
+	"packages/tui/src/tui.ts",
+] as const;
+// Working-tree scope for `git_diff_binary_sha256`, persisted alongside the digest
+// as `git_diff_scope` so a reviewer reads the covered surface off the bundle
+// instead of inferring it.
+//
+// This digest used to hash `git diff --binary HEAD --` over the ENTIRE worktree.
+// The verifier recomputes it live at verify time, so that coupled bundle validity
+// to every tracked file in the repo: an unrelated edit anywhere — a doc typo,
+// another package's test — retroactively made every already-captured bundle
+// "stale". Those are false positives, and they are nondeterministic, because any
+// write landing in the capture→verify window flips the digest mid-run and masks
+// whichever guard was actually under test.
+//
+// The scope below is the transitive render-dependency closure of the fixture:
+// every workspace package the capture reaches (coding-agent → agent, ai,
+// bridge-client, natives, stats, tui, utils), the fixture plus the virtual
+// terminal it paints into, both showcase scripts, and the lockfile pinning the
+// installed dependency versions. Uncommitted edits inside this closure still
+// invalidate a bundle — that is the property the staleness guard exists to
+// enforce. Edits outside it no longer can, because they cannot change the paint.
+export const PROVENANCE_DIFF_SCOPE = [
+	"Cargo.lock",
+	"Cargo.toml",
+	"bun.lock",
+	"crates",
+
+	"packages/agent/src",
+	"packages/ai/src",
+	"packages/bridge-client/src",
+	"packages/coding-agent/scripts/capture-sticky-viewport-showcase.ts",
+	"packages/coding-agent/scripts/verify-sticky-viewport-showcase.ts",
+	"packages/coding-agent/src",
+	"packages/coding-agent/test/fixtures/tui/sticky-viewport-showcase.ts",
+	"packages/natives/native",
+	"packages/stats/src",
+	"packages/tui/src",
+	"packages/tui/test/virtual-terminal.ts",
+	"packages/utils/src",
+] as const;
+async function git(args: string[]): Promise<Uint8Array> {
+	const result = Bun.spawn(["git", ...args], { cwd: REPOSITORY_ROOT, stdout: "pipe", stderr: "pipe" });
+	if ((await result.exited) !== 0)
+		throw new Error(`git ${args.join(" ")} failed: ${await new Response(result.stderr).text()}`);
+	return new Uint8Array(await new Response(result.stdout).arrayBuffer());
+}
+
+// Digest of a path's COMMITTED blob at a given commit, read straight out of the
+// object database. This is the only provenance input a bundle author cannot
+// restamp: `captureProvenance()` hashes the worktree, so mutating an oracle file
+// and re-running it yields a self-consistent stamp. The committed blob is fixed
+// by the commit id, so changing it requires a new commit -- which changes
+// `git_head` and is therefore visible to the reviewer.
+/** sha256 of every distinct blob this path has ever had in any ref-reachable commit. */
+export async function gitObjectType(commitish: string): Promise<string | null> {
+	try {
+		const out = new TextDecoder().decode(await git(["cat-file", "-t", commitish])).trim();
+		return out || null;
+	} catch {
+		return null;
+	}
+}
+export async function committedBlobSha256(commit: string, filePath: string): Promise<string | null> {
+	const result = Bun.spawn(["git", "cat-file", "blob", `${commit}:${filePath}`], {
+		cwd: REPOSITORY_ROOT,
+		stdout: "pipe",
+		stderr: "pipe",
+	});
+	const bytes = new Uint8Array(await new Response(result.stdout).arrayBuffer());
+	if ((await result.exited) !== 0) return null;
+	return hash(bytes);
+}
+export type CaptureProvenance = {
+	git_head: string;
+	oracle_commit: string;
+	git_diff_scope: readonly string[];
+	git_diff_binary_sha256: string;
+	source_sha256: Record<string, string>;
+};
+
+// Single source of truth: the verifier imports this so capture and verify can
+// never drift into computing the field two different ways.
+export async function captureProvenance(): Promise<CaptureProvenance> {
+	const gitHead = new TextDecoder().decode(await git(["rev-parse", "HEAD"])).trim();
+	const sourceSha256 = Object.fromEntries(
+		await Promise.all(
+			PROVENANCE_SOURCES.map(async source => [
+				source,
+				hash(new Uint8Array(await Bun.file(resolveRepositoryPath(source)).arrayBuffer())),
+			]),
+		),
+	);
+	return {
+		git_head: gitHead,
+		oracle_commit: process.env.GJC_STICKY_VIEWPORT_ORACLE_COMMIT?.trim() ?? gitHead,
+		git_diff_scope: PROVENANCE_DIFF_SCOPE,
+		git_diff_binary_sha256: hash(await git(["diff", "--binary", "HEAD", "--", ...PROVENANCE_DIFF_SCOPE])),
+		source_sha256: sourceSha256,
+	};
+}
 function out(args: string[]): string {
 	if (args.length !== 2 || args[0] !== "--out" || !args[1]) throw new Error(`Usage: ${COMMAND}`);
 	return args[1];
 }
-async function capture(entry: StickyViewportShowcaseEntry, root: string) {
+async function capture(entry: StickyViewportShowcaseEntry, root: string, sourceProvenance: CaptureProvenance) {
 	const rendered = await renderStickyViewportShowcase(entry);
 	if (!rendered.state.composer_visible)
 		throw new Error(`${entry.key}: focused composer was not visible in production frame`);
-	if (entry.stateId === "manual-new-output" && rendered.state.notice !== true)
-		throw new Error(`${entry.key}: manual output notice precondition failed`);
+	if (
+		(entry.stateId === "manual-new-output" && rendered.state.notice !== true) ||
+		(entry.stateId !== "manual-new-output" && rendered.state.notice !== false)
+	)
+		throw new Error(`${entry.key}: renderer-owned output notice precondition failed`);
 	if (
 		JSON.stringify(rendered.cjkPhraseBoundaries) !==
 		JSON.stringify(entry.stateId === "narrow-cjk" ? CJK_PHRASE_BOUNDARIES : [])
@@ -210,6 +324,7 @@ async function capture(entry: StickyViewportShowcaseEntry, root: string) {
 			fixed_clock: true,
 			author_identity: "capture-sticky-viewport-showcase",
 			executor_identity: "capture-sticky-viewport-showcase",
+			...sourceProvenance,
 		},
 		cjk_phrase_boundaries: rendered.cjkPhraseBoundaries,
 	});
@@ -241,8 +356,9 @@ async function capture(entry: StickyViewportShowcaseEntry, root: string) {
 async function main() {
 	const root = path.resolve(out(process.argv.slice(2)));
 	await fs.mkdir(root, { recursive: true });
+	const sourceProvenance = await captureProvenance();
 	const entries = [];
-	for (const entry of STICKY_VIEWPORT_SHOWCASE_ENTRIES) entries.push(await capture(entry, root));
+	for (const entry of STICKY_VIEWPORT_SHOWCASE_ENTRIES) entries.push(await capture(entry, root, sourceProvenance));
 	const manifest = json({
 		schema_version: 2,
 		fixture_revision: REVISION,
@@ -258,6 +374,7 @@ async function main() {
 			fixed_clock: true,
 			author_identity: "capture-sticky-viewport-showcase",
 			executor_identity: "capture-sticky-viewport-showcase",
+			...sourceProvenance,
 		},
 		review_input_file: "review-input.json",
 		entries,
@@ -281,6 +398,15 @@ async function main() {
 			acceptance_version: ACCEPTANCE_VERSION,
 			design_version: DESIGN_VERSION,
 			host_matrix: HOST_MATRIX,
+			provenance: {
+				capture_mode: "production-tui-virtual-terminal",
+				live_pty: false,
+				network: false,
+				fixed_clock: true,
+				author_identity: "capture-sticky-viewport-showcase",
+				executor_identity: "capture-sticky-viewport-showcase",
+				...sourceProvenance,
+			},
 			narrow_cjk: {
 				entry_key: "narrow-cjk/48x10/unicode-color",
 				phrase_boundaries: ["의미 있는 문장 경계", "意味のある文の境界", "保留语义短语边界"],

package/scripts/verify-gjc-sdk-canonicalization.ts

@@ -1421,13 +1421,6 @@ function braceBlockRange(contents: string, openingBrace: number): ShellRange | u
 	return undefined;
 }
 
-function scopeMatches<T extends RegExpMatchArray>(matches: T[], range: ShellRange): T[] {
-	return matches.filter(match => {
-		const index = match.index ?? -1;
-		return index >= range.start && index < range.end;
-	});
-}
-
 function findFunctionRange(contents: string, headerPattern: RegExp): ShellRange | undefined {
 	const header = headerPattern.exec(contents);
 	if (!header) return undefined;
@@ -1504,121 +1497,62 @@ function exactMemoryGuardSendKeysRanges(contents: string): ShellRange[] {
 	];
 }
 function exactTeamRuntimeSendKeysRanges(contents: string): ShellRange[] {
-	// Scope the loop-dispatch counts to `startTmuxSession` so the second
-	// sanctioned call site (`relaunchWorkerPaneForMemoryGuard`, matched by
-	// `exactMemoryGuardSendKeysRanges`) does not read as a duplicate. Fixtures
-	// that carry the canonical shape without the enclosing function keep the
-	// original whole-file scope, so exact-match strictness is unchanged.
-	const mainFnRange = findFunctionRange(
+	const executor =
+		/function\s+executeTeamTmuxMutation\s*\([\s\S]*?\)\s*:\s*Bun\.SyncSubprocess<"pipe",\s*"pipe">\s*\{/.exec(
+			contents,
+		);
+	const continuation = /async\s+function\s+continueStalledGjcTeamWorkers\s*\([^)]*\)\s*:\s*Promise<void>\s*\{/.exec(
 		contents,
-		/async\s+function\s+startTmuxSession\s*\([\s\S]{0,600}?\)\s*:\s*Promise<GjcTeamWorker\[\]>\s*\{/,
-	) ?? { start: 0, end: contents.length };
-	const guardMatches = scopeMatches([...contents.matchAll(/if\s*\(\s*useSendKeysFallback\s*\)\s*\{/g)], mainFnRange);
-	const payloadMatches = scopeMatches(
-		[
-			...contents.matchAll(
-				/Bun\.spawnSync\(\s*\[\s*config\.tmux_command\s*,\s*["']send-keys["']\s*,\s*["']-l["']\s*,\s*["']-t["']\s*,\s*paneId\s*,\s*workerCommand\s*\]\s*,\s*\{[\s\S]{0,200}?stdout\s*:\s*["']ignore["'][\s\S]{0,200}?stderr\s*:\s*["']ignore["'][\s\S]{0,100}?\}\s*\)\s*;/g,
-			),
-		],
-		mainFnRange,
-	);
-	const continuationPromptMatches = [
-		...contents.matchAll(
-			/(?:const\s+GJC_TEAM_CONTINUATION_PROMPT\s*=\s*["']Continue only your current claimed GJC team task\. Re-read current GJC team state; do not replay prior output; report status\.["']\s*;|import\s*\{[\s\S]{0,1000}?\bGJC_TEAM_CONTINUATION_PROMPT\b[\s\S]{0,1000}?\}\s*from\s*["']\.\/team-workers["']\s*;)/g,
-		),
-	];
-	const continuationMatches = [
-		...contents.matchAll(
-			/const\s+args\s*=\s*Object\.freeze\(\s*\[\s*["']send-keys["']\s*,\s*["']-l["']\s*,\s*["']-t["']\s*,\s*worker\.pane_id\s*,\s*GJC_TEAM_CONTINUATION_PROMPT\s*,\s*["'];["']\s*,\s*["']send-keys["']\s*,\s*["']-t["']\s*,\s*worker\.pane_id\s*,\s*["']Enter["']\s*,?\s*\]\s*\)\s*;\s*const\s+dispatch\s*=\s*gjcTeamRuntimeTestSeams\?\.continuationTmuxDispatch\s*\?\s*gjcTeamRuntimeTestSeams\.continuationTmuxDispatch\(config\.tmux_command\s*,\s*args\)\s*:\s*Bun\.spawnSync\(\[config\.tmux_command\s*,\s*\.\.\.args\]\s*,\s*\{\s*stdout\s*:\s*["']ignore["']\s*,\s*stderr\s*:\s*["']ignore["']\s*,\s*timeout\s*:\s*GJC_TEAM_CONTINUATION_DISPATCH_TIMEOUT_MS\s*,?\s*\}\s*\)\s*;/g,
-		),
-	];
-	const enterMatches = scopeMatches(
-		[
-			...contents.matchAll(
-				/const\s+sendKeys\s*=\s*Bun\.spawnSync\(\s*\[\s*config\.tmux_command\s*,\s*["']send-keys["']\s*,\s*["']-t["']\s*,\s*paneId\s*,\s*["']Enter["']\s*\]\s*,\s*\{[\s\S]{0,200}?stdout\s*:\s*["']ignore["'][\s\S]{0,200}?stderr\s*:\s*["']ignore["'][\s\S]{0,100}?\}\s*\)\s*;/g,
-			),
-		],
-		mainFnRange,
-	);
-	const fallbackPredicateMatches = [
-		...contents.matchAll(
-			/function\s+shouldDispatchWorkerWithSendKeys\([^)]*\)\s*:\s*boolean\s*\{\s*return\s+platform\s*===\s*["']win32["']\s*\|\|\s*path\.basename\(tmuxCommand\)\.toLowerCase\(\)\s*===\s*["']psmux["']\s*;\s*\}/g,
-		),
-	];
-	const useFallbackMatches = scopeMatches(
-		[
-			...contents.matchAll(
-				/const\s+useSendKeysFallback\s*=\s*shouldDispatchWorkerWithSendKeys\(config\.tmux_command\)\s*;/g,
-			),
-		],
-		mainFnRange,
-	);
-	const splitWorkerCommandMatches = scopeMatches(
-		[...contents.matchAll(/\.\.\.\(useSendKeysFallback\s*\?\s*\[\]\s*:\s*\[workerCommand\]\)\s*,/g)],
-		mainFnRange,
 	);
+	if (!executor || !continuation) return [];
+
+	const executorRange = braceBlockRange(contents, (executor.index ?? 0) + executor[0].lastIndexOf("{"));
+	const continuationRange = braceBlockRange(contents, (continuation.index ?? 0) + continuation[0].lastIndexOf("{"));
+	if (!executorRange || !continuationRange) return [];
+
+	const executorBody = contents.slice(executorRange.start, executorRange.end);
+	const literalSend =
+		/\?\s*\[\s*["']send-keys["']\s*,\s*["']-l["']\s*,\s*["']-t["']\s*,\s*operation\.paneId\s*,\s*operation\.text\s*\]/.exec(
+			executorBody,
+		);
+	const keySend =
+		/operation\.type\s*===\s*["']key-send["']\s*\?\s*\[\s*["']send-keys["']\s*,\s*["']-t["']\s*,\s*operation\.paneId\s*,\s*operation\.key\s*\]/.exec(
+			executorBody,
+		);
+	const authorityChecks = executorBody.match(/assertGjcTmuxMutationAuthoritySync\(authority\)/g) ?? [];
 	if (
-		guardMatches.length !== 1 ||
-		payloadMatches.length !== 1 ||
-		enterMatches.length !== 1 ||
-		continuationPromptMatches.length !== 1 ||
-		continuationMatches.length !== 1 ||
-		fallbackPredicateMatches.length !== 1 ||
-		useFallbackMatches.length !== 1 ||
-		splitWorkerCommandMatches.length !== 1
+		!literalSend ||
+		!keySend ||
+		!executorBody.includes("const authority = teamProviderAuthority(config);") ||
+		!executorBody.includes("assertTeamTmuxMutationPreproof(config, operation);") ||
+		authorityChecks.length < 2 ||
+		!executorBody.includes("Bun.spawnSync(")
 	)
 		return [];
-	const guardStart = guardMatches[0].index ?? 0;
-	const payloadStart = payloadMatches[0].index ?? 0;
-	const enterStart = enterMatches[0].index ?? 0;
-	const voidStart = contents.indexOf("void sendKeys.exitCode;", enterStart);
+
+	const continuationBody = contents.slice(continuationRange.start, continuationRange.end);
+	const continuationArgs =
+		/const\s+args\s*=\s*Object\.freeze\(\s*\[\s*["']send-keys["']\s*,\s*["']-l["']\s*,\s*["']-t["']\s*,\s*worker\.pane_id\s*,\s*continuationPrompt\s*,\s*["'];["']\s*,\s*["']send-keys["']\s*,\s*["']-t["']\s*,\s*worker\.pane_id\s*,\s*["']Enter["']\s*,?\s*\]\s*\)\s*;/.exec(
+			continuationBody,
+		);
 	if (
-		(useFallbackMatches[0].index ?? 0) >= (splitWorkerCommandMatches[0].index ?? 0) ||
-		(splitWorkerCommandMatches[0].index ?? 0) >= guardStart ||
-		payloadStart >= enterStart ||
-		voidStart < enterStart
-	)
-		return [];
-	const guard = guardMatches[0];
-	const openingBrace = (guard.index ?? 0) + guard[0].lastIndexOf("{");
-	const range = braceBlockRange(contents, openingBrace);
-	const continuationFunction =
-		/async\s+function\s+continueStalledGjcTeamWorkers\s*\([^)]*\)\s*:\s*Promise<void>\s*\{/.exec(contents);
-	const monitorFence = /await\s+withGjcTeamTaskMutation\([\s\S]{0,500}?async\s+capability\s*=>\s*\{/.exec(contents);
-	if (!range || !continuationFunction || !monitorFence) return [];
-	const continuationOpeningBrace = (continuationFunction.index ?? 0) + continuationFunction[0].lastIndexOf("{");
-	const continuationRange = braceBlockRange(contents, continuationOpeningBrace);
-	const monitorOpeningBrace = (monitorFence.index ?? 0) + monitorFence[0].lastIndexOf("{");
-	const monitorRange = braceBlockRange(contents, monitorOpeningBrace);
-	if (!continuationRange || !monitorRange) return [];
-	const monitorBody = contents.slice(monitorRange.start, monitorRange.end);
-	const continuationCall = /await\s+continueStalledGjcTeamWorkers\s*\(/.exec(monitorBody);
-	const reconciliationCall = /await\s+reconcileGjcTeamStaleClaimsUnlocked\s*\(/.exec(monitorBody);
-	const continuationStart = continuationMatches[0].index ?? 0;
-	const finalValidationStart = contents.lastIndexOf("const revalidationReason =", continuationStart);
-	const skippedBranch = finalValidationStart === -1 ? "" : contents.slice(finalValidationStart, continuationStart);
-	if (
-		payloadStart < range.start ||
-		payloadStart >= range.end ||
-		enterStart < range.start ||
-		enterStart >= range.end ||
-		contents.indexOf("void sendKeys.exitCode;", enterStart) >= range.end ||
-		continuationStart < continuationRange.start ||
-		continuationStart >= continuationRange.end ||
-		finalValidationStart < continuationRange.start ||
-		!continuationCall ||
-		!reconciliationCall ||
-		(continuationCall.index ?? 0) >= (reconciliationCall.index ?? 0) ||
-		!/if\s*\(\s*revalidationReason\s*\)[\s\S]*?return\s*;/.test(skippedBranch)
+		!continuationArgs ||
+		!continuationBody.includes("const revalidationReason =") ||
+		!continuationBody.includes("await createJsonNoClobber(") ||
+		!continuationBody.includes('type: "literal-send"') ||
+		!continuationBody.includes('type: "key-send"') ||
+		!continuationBody.includes('deferredProof: "continuation-outcome"') ||
+		/args\s*\.\s*(?:push|unshift|splice)\s*\(/.test(continuationBody)
 	)
 		return [];
+
+	const literalStart = executorRange.start + (literalSend.index ?? 0);
+	const keyStart = executorRange.start + (keySend.index ?? 0);
+	const argsStart = continuationRange.start + (continuationArgs.index ?? 0);
 	return [
-		{ start: payloadStart, end: payloadStart + payloadMatches[0][0].length },
-		{ start: enterStart, end: enterStart + enterMatches[0][0].length },
-		{
-			start: continuationMatches[0].index ?? 0,
-			end: (continuationMatches[0].index ?? 0) + continuationMatches[0][0].length,
-		},
+		{ start: literalStart, end: literalStart + literalSend[0].length },
+		{ start: keyStart, end: keyStart + keySend[0].length },
+		{ start: argsStart, end: argsStart + continuationArgs[0].length },
 	];
 }
 
@@ -3219,47 +3153,68 @@ fi
 		"tmux send-keys content injection is outside sanctioned process lifecycle",
 	);
 	const canonicalTeamRuntimeSendKeysFixture = `
-async function continueStalledGjcTeamWorkers(): Promise<void> {
-	const revalidationReason = null;
-	if (revalidationReason) return;
-function shouldDispatchWorkerWithSendKeys(tmuxCommand: string, platform: NodeJS.Platform = process.platform): boolean {
-	return platform === "win32" || path.basename(tmuxCommand).toLowerCase() === "psmux";
-}
-const useSendKeysFallback = shouldDispatchWorkerWithSendKeys(config.tmux_command);
-const splitArgs = [...(useSendKeysFallback ? [] : [workerCommand]),];
-if (useSendKeysFallback) {
-	Bun.spawnSync([config.tmux_command, "send-keys", "-l", "-t", paneId, workerCommand], {
-		stdout: "ignore",
-		stderr: "ignore",
-	});
-	const sendKeys = Bun.spawnSync([config.tmux_command, "send-keys", "-t", paneId, "Enter"], {
-		stdout: "ignore",
-		stderr: "ignore",
-	});
-	void sendKeys.exitCode;
+type TeamTmuxMutation =
+	| { type: "literal-send"; paneId: string; text: string; deferredProof: "continuation-outcome" }
+	| { type: "key-send"; paneId: string; key: string; deferredProof: "continuation-outcome" };
+function executeTeamTmuxMutation(
+	config: GjcTeamConfig,
+	operation: TeamTmuxMutation,
+): Bun.SyncSubprocess<"pipe", "pipe"> {
+	const authority = teamProviderAuthority(config);
+	assertTeamTmuxMutationPreproof(config, operation);
+	const args =
+		operation.type === "literal-send"
+			? ["send-keys", "-l", "-t", operation.paneId, operation.text]
+			: operation.type === "key-send"
+				? ["send-keys", "-t", operation.paneId, operation.key]
+				: [];
+	assertGjcTmuxMutationAuthoritySync(authority);
+	const result = Bun.spawnSync(args);
+	assertGjcTmuxMutationAuthoritySync(authority);
+	return result;
 }
-const GJC_TEAM_CONTINUATION_PROMPT = "Continue only your current claimed GJC team task. Re-read current GJC team state; do not replay prior output; report status.";
-const GJC_TEAM_CONTINUATION_DISPATCH_TIMEOUT_MS = 5_000;
-const args = Object.freeze([
-	"send-keys",
-	"-l",
-	"-t",
-	worker.pane_id,
-	GJC_TEAM_CONTINUATION_PROMPT,
-	";",
-	"send-keys",
-	"-t",
-	worker.pane_id,
-	"Enter",
-]);
-
-const dispatch = gjcTeamRuntimeTestSeams?.continuationTmuxDispatch
-	? gjcTeamRuntimeTestSeams.continuationTmuxDispatch(config.tmux_command, args)
-	: Bun.spawnSync([config.tmux_command, ...args], {
-		stdout: "ignore",
-		stderr: "ignore",
-		timeout: GJC_TEAM_CONTINUATION_DISPATCH_TIMEOUT_MS,
-	});
+async function continueStalledGjcTeamWorkers(): Promise<void> {
+	const reservationPath = "reservation";
+	const reservation = {};
+	await createJsonNoClobber(
+		reservationPath,
+		reservation,
+		stateWriterOptions(reservationPath, "state", "continuation-reservation"),
+	);
+	const continuationPrompt = "Continue only your current claimed GJC team task. Re-read current GJC team state; do not replay prior output; report status.";
+	const revalidationReason = await validateGjcContinuationEligibility(dir, config, worker);
+	if (revalidationReason) {
+		return;
+	}
+	const args = Object.freeze([
+		"send-keys",
+		"-l",
+		"-t",
+		worker.pane_id,
+		continuationPrompt,
+		";",
+		"send-keys",
+		"-t",
+		worker.pane_id,
+		"Enter",
+	]);
+	const dispatch = gjcTeamRuntimeTestSeams?.continuationTmuxDispatch
+		? gjcTeamRuntimeTestSeams.continuationTmuxDispatch(config.tmux_command, args)
+		: (() => {
+				executeTeamTmuxMutation(config, {
+					type: "literal-send",
+					paneId: worker.pane_id!,
+					text: continuationPrompt,
+					deferredProof: "continuation-outcome",
+				});
+				return executeTeamTmuxMutation(config, {
+					type: "key-send",
+					paneId: worker.pane_id!,
+					key: "Enter",
+					deferredProof: "continuation-outcome",
+				});
+			})();
+	void dispatch;
 }
 async function monitorGjcTeam(): Promise<void> {
 	await withGjcTeamTaskMutation(taskStore(dir), async capability => {
@@ -3275,18 +3230,8 @@ async function monitorGjcTeam(): Promise<void> {
 	await runSelfTestFixture(
 		{
 			"packages/coding-agent/src/gjc-runtime/team-runtime.ts": canonicalTeamRuntimeSendKeysFixture.replace(
-				"async function continueStalledGjcTeamWorkers(): Promise<void>",
-				"async function relocatedContinuation(): Promise<void>",
-			),
-		},
-		1,
-		"tmux send-keys content injection is outside sanctioned process lifecycle",
-	);
-	await runSelfTestFixture(
-		{
-			"packages/coding-agent/src/gjc-runtime/team-runtime.ts": canonicalTeamRuntimeSendKeysFixture.replace(
-				"if (revalidationReason) return;",
-				"if (revalidationReason) {}",
+				"\tassertTeamTmuxMutationPreproof(config, operation);\n",
+				"",
 			),
 		},
 		1,
@@ -3295,8 +3240,8 @@ async function monitorGjcTeam(): Promise<void> {
 	await runSelfTestFixture(
 		{
 			"packages/coding-agent/src/gjc-runtime/team-runtime.ts": canonicalTeamRuntimeSendKeysFixture.replace(
-				"await continueStalledGjcTeamWorkers();",
-				"",
+				"\tassertGjcTmuxMutationAuthoritySync(authority);\n\treturn result;",
+				"\treturn result;",
 			),
 		},
 		1,
@@ -3305,8 +3250,8 @@ async function monitorGjcTeam(): Promise<void> {
 	await runSelfTestFixture(
 		{
 			"packages/coding-agent/src/gjc-runtime/team-runtime.ts": canonicalTeamRuntimeSendKeysFixture.replace(
-				"await continueStalledGjcTeamWorkers();\n\t\tawait reconcileGjcTeamStaleClaimsUnlocked(workerOrchestrationRuntime, teamName, dir, config, env, capability);",
-				"await reconcileGjcTeamStaleClaimsUnlocked(workerOrchestrationRuntime, teamName, dir, config, env, capability);\n\t\tawait continueStalledGjcTeamWorkers();",
+				"async function continueStalledGjcTeamWorkers(): Promise<void>",
+				"async function relocatedContinuation(): Promise<void>",
 			),
 		},
 		1,
@@ -3315,8 +3260,8 @@ async function monitorGjcTeam(): Promise<void> {
 	await runSelfTestFixture(
 		{
 			"packages/coding-agent/src/gjc-runtime/team-runtime.ts": canonicalTeamRuntimeSendKeysFixture.replace(
-				"const dispatch =",
-				'args.push("forged");\nconst dispatch =',
+				"if (revalidationReason) {\n\t\treturn;\n\t}",
+				"if (revalidationReason) {}",
 			),
 		},
 		1,
@@ -3325,8 +3270,8 @@ async function monitorGjcTeam(): Promise<void> {
 	await runSelfTestFixture(
 		{
 			"packages/coding-agent/src/gjc-runtime/team-runtime.ts": canonicalTeamRuntimeSendKeysFixture.replace(
-				"report status.",
-				"report injected status.",
+				"await continueStalledGjcTeamWorkers();",
+				"",
 			),
 		},
 		1,
@@ -3335,8 +3280,8 @@ async function monitorGjcTeam(): Promise<void> {
 	await runSelfTestFixture(
 		{
 			"packages/coding-agent/src/gjc-runtime/team-runtime.ts": canonicalTeamRuntimeSendKeysFixture.replace(
-				'return platform === "win32" || path.basename(tmuxCommand).toLowerCase() === "psmux";',
-				"return true;",
+				"await continueStalledGjcTeamWorkers();\n\t\tawait reconcileGjcTeamStaleClaimsUnlocked(workerOrchestrationRuntime, teamName, dir, config, env, capability);",
+				"await reconcileGjcTeamStaleClaimsUnlocked(workerOrchestrationRuntime, teamName, dir, config, env, capability);\n\t\tawait continueStalledGjcTeamWorkers();",
 			),
 		},
 		1,
@@ -3345,8 +3290,8 @@ async function monitorGjcTeam(): Promise<void> {
 	await runSelfTestFixture(
 		{
 			"packages/coding-agent/src/gjc-runtime/team-runtime.ts": canonicalTeamRuntimeSendKeysFixture.replace(
-				'return platform === "win32" || path.basename(tmuxCommand).toLowerCase() === "psmux";',
-				'return platform === "win32" || path.basename(tmuxCommand).toLowerCase() === "psmux" || tmuxCommand === "tmux";',
+				"const dispatch =",
+				'args.push("forged");\nconst dispatch =',
 			),
 		},
 		1,
@@ -3372,8 +3317,8 @@ async function monitorGjcTeam(): Promise<void> {
 	await runSelfTestFixture(
 		{
 			"packages/coding-agent/src/gjc-runtime/team-runtime.ts": canonicalTeamRuntimeSendKeysFixture.replace(
-				'GJC_TEAM_CONTINUATION_PROMPT,\n\t";",',
-				"`$" + "{GJC_TEAM_CONTINUATION_PROMPT}" + '`,\n\t";",',
+				'continuationPrompt,\n\t\t";",',
+				"`$" + "{continuationPrompt}" + '`,\n\t\t";",',
 			),
 		},
 		1,
@@ -3382,8 +3327,8 @@ async function monitorGjcTeam(): Promise<void> {
 	await runSelfTestFixture(
 		{
 			"packages/coding-agent/src/gjc-runtime/team-runtime.ts": canonicalTeamRuntimeSendKeysFixture.replace(
-				'"send-keys",\n\t"-l",\n\t"-t",\n\tworker.pane_id,\n\tGJC_TEAM_CONTINUATION_PROMPT,\n\t";",\n\t"send-keys",\n\t"-t",\n\tworker.pane_id,\n\t"Enter",',
-				'"send-keys", "-t", worker.pane_id, "Enter", ";", "send-keys", "-l", "-t", worker.pane_id, GJC_TEAM_CONTINUATION_PROMPT,',
+				'"send-keys",\n\t\t"-l",\n\t\t"-t",\n\t\tworker.pane_id,\n\t\tcontinuationPrompt,\n\t\t";",\n\t\t"send-keys",\n\t\t"-t",\n\t\tworker.pane_id,\n\t\t"Enter",',
+				'"send-keys", "-t", worker.pane_id, "Enter", ";", "send-keys", "-l", "-t", worker.pane_id, continuationPrompt,',
 			),
 		},
 		1,
@@ -3392,8 +3337,8 @@ async function monitorGjcTeam(): Promise<void> {
 	await runSelfTestFixture(
 		{
 			"packages/coding-agent/src/gjc-runtime/team-runtime.ts": canonicalTeamRuntimeSendKeysFixture.replace(
-				"Bun.spawnSync([config.tmux_command, ...args]",
-				'Bun.spawnSync([config.tmux_command, "run-shell", ...args]',
+				": (() => {",
+				": Bun.spawnSync([config.tmux_command, ...args])",
 			),
 		},
 		1,