@junghanacs/entwurf 0.13.0 → 0.14.0

package/scripts/check-acp-stream-hooks.ts

@@ -0,0 +1,504 @@
+// Deterministic gate for the pi 0.84 streamSimple HOOK contract on the ACP rail
+// (#63; upstream pi-mono #7372 → doc-only PR #7576).
+//
+// What the contract is, measured, not assumed:
+//
+//   onPayload   maps TRUTHFULLY: the provider request on this rail is the ACP
+//               `session/prompt` params, so the hook receives the EXACT
+//               `{sessionId, prompt}` object after the wire content is fully
+//               built (augment / reuse delta included) and immediately before
+//               `connection.prompt`; a returned replacement becomes the wire
+//               params. Integrity is fail-closed: a replacement must be a
+//               non-null, non-array object keeping the bootstrapped sessionId
+//               and carrying a non-empty prompt array — prompt rewriting is
+//               upstream-granted power, session identity and this rail's own
+//               non-empty-prompt invariant are not.
+//   onResponse  is an EXPLICIT LOCAL NON-HTTP EXEMPTION: pi hard-types it as
+//               HTTP `{status, headers}` and ACP's terminal result arrives only
+//               after the session-update body was consumed — any invocation
+//               would fabricate HTTP evidence. This gate pins the ABSENCE
+//               behaviorally across success, error, and abort turns.
+//
+// Every cell drives `streamAcpTurn` against a fake ACP child/connection with
+// handlers registered for BOTH hooks, and judges what actually reached the wire.
+//
+// backend.ts imports its siblings with `.js` suffixes (the root/jiti runtime
+// convention), so — like check-acp-prompt-lifecycle — we tsc-emit the project
+// and import the COMPILED backend.js whose `.js` imports resolve to real siblings.
+
+import { strict as assert } from "node:assert";
+import { execFileSync } from "node:child_process";
+import { copyFileSync, mkdirSync, mkdtempSync, rmdirSync, rmSync } from "node:fs";
+import { tmpdir } from "node:os";
+import { resolve } from "node:path";
+import { pathToFileURL } from "node:url";
+import type { Api, AssistantMessageEvent, Context, Message, Model } from "@earendil-works/pi-ai";
+
+const sonnet = { id: "claude-sonnet-5" } as unknown as Model<Api>;
+
+type Stream = AsyncIterable<AssistantMessageEvent>;
+
+interface Deferred<T> {
+	promise: Promise<T>;
+	resolve: (value: T) => void;
+	reject: (err: unknown) => void;
+}
+
+function deferred<T>(): Deferred<T> {
+	let res!: (value: T) => void;
+	let rej!: (err: unknown) => void;
+	const promise = new Promise<T>((a, b) => {
+		res = a;
+		rej = b;
+	});
+	return { promise, resolve: res, reject: rej };
+}
+
+function makeFakeChild() {
+	const pipe = () => ({ destroy() {}, unref() {} });
+	return {
+		pid: undefined as number | undefined,
+		exitCode: null as number | null,
+		signalCode: null as NodeJS.Signals | null,
+		stdin: pipe(),
+		stdout: pipe(),
+		stderr: { on() {}, destroy() {}, unref() {} },
+		kill() {
+			return true;
+		},
+		unref() {},
+		once() {},
+	};
+}
+
+const EMPTY_MCP_HASH = "4f53cda18c2baa0c0354bb5f9a3ecbe5ed12ab4d8e11ba873c2f11161202b945";
+const DEFAULT_RESOLVED_CONFIG: any = {
+	settingSources: [],
+	strictMcpConfig: true,
+	showToolNotifications: true,
+	mcpServers: [],
+	mcpServersHash: EMPTY_MCP_HASH,
+	tools: ["Read"],
+	skillPlugins: [],
+	permissionAllow: ["Read(*)"],
+	disallowedTools: [],
+};
+
+/** One backend world whose fake connection CAPTURES the raw wire prompt params. */
+function makeHarness(recordDir: string) {
+	const children: ReturnType<typeof makeFakeChild>[] = [];
+	const promptCalls: Array<{ sessionId: string; prompt: Array<{ type: string; text: string }> }> = [];
+
+	const makeConnection = (_handlers: any) => ({
+		initialize: async () => ({ agentCapabilities: {} }),
+		newSession: async () => ({ sessionId: "ACP-1" }),
+		setSessionConfigOption: async () => ({}),
+		prompt: async (params: any) => {
+			// Deep-cloned: the capture must be the bytes that crossed the seam, not a
+			// live reference a later mutation could rewrite.
+			promptCalls.push(structuredClone(params));
+			return { stopReason: "end_turn" };
+		},
+		cancel: async () => {},
+		close: () => {},
+	});
+
+	return {
+		children,
+		promptCalls,
+		deps: {
+			resolveLaunch: () => ({ command: "node", args: ["fake"] }),
+			ensureOverlay: () => {},
+			spawnChild: () => {
+				const c = makeFakeChild();
+				children.push(c);
+				return c;
+			},
+			createConnection: (_child: any, handlers: any) => makeConnection(handlers),
+			lifecyclePolicy: () => "process-scoped",
+			loadConfig: () => DEFAULT_RESOLVED_CONFIG,
+			now: () => "2026-08-07T00:00:00Z",
+			sessionDir: recordDir,
+			abortGraceMs: 40,
+		},
+	};
+}
+
+async function collect(stream: Stream): Promise<AssistantMessageEvent[]> {
+	const events: AssistantMessageEvent[] = [];
+	for await (const ev of stream) events.push(ev);
+	return events;
+}
+
+const sealed = (events: AssistantMessageEvent[]) =>
+	events.filter((e) => e.type === "done" || e.type === "error") as any[];
+
+const userCtx = (text: string): Context => ({ messages: [{ role: "user", content: text, timestamp: 0 }] }) as Context;
+
+function reuseCtx(prior: string, latest: string): Context {
+	return {
+		messages: [
+			{ role: "user", content: prior, timestamp: 0 },
+			{
+				role: "assistant",
+				content: [{ type: "text", text: "ok" }],
+				api: "x",
+				provider: "x",
+				model: "x",
+				usage: {
+					input: 0,
+					output: 0,
+					cacheRead: 0,
+					cacheWrite: 0,
+					totalTokens: 0,
+					cost: { input: 0, output: 0, cacheRead: 0, cacheWrite: 0, total: 0 },
+				},
+				stopReason: "stop",
+				timestamp: 0,
+			} as unknown as Message,
+			{ role: "user", content: latest, timestamp: 0 },
+		],
+	} as Context;
+}
+
+// EVERY cell registers onResponse; the exemption claim at the end judges the sum.
+let onResponseCalls = 0;
+const onResponse = () => {
+	onResponseCalls++;
+};
+
+const TMP_EMIT = ".tmp-verify/acp-stream-hooks";
+rmSync(TMP_EMIT, { recursive: true, force: true });
+const recordDir = mkdtempSync(resolve(tmpdir(), "acp-stream-hooks-"));
+
+try {
+	execFileSync("node_modules/.bin/tsc", ["--outDir", TMP_EMIT, "--rootDir", ".", "--noEmit", "false"], {
+		stdio: "pipe",
+	});
+	const promptsOut = resolve(TMP_EMIT, "pi-extensions/lib/acp/prompts");
+	mkdirSync(promptsOut, { recursive: true });
+	copyFileSync("pi-extensions/lib/acp/prompts/engraving.md", resolve(promptsOut, "engraving.md"));
+	const backend = (await import(pathToFileURL(resolve(TMP_EMIT, "pi-extensions/lib/acp/backend.js")).href)) as any;
+
+	// ----------------------------------------------------------------------
+	// CELL 1 — NEW turn: the hook sees the EXACT wire params; undefined keeps them.
+	// ----------------------------------------------------------------------
+	{
+		const h = makeHarness(recordDir);
+		const seen: any[] = [];
+		const events = await collect(
+			backend.streamAcpTurn(
+				sonnet,
+				userCtx("NONCE-FIRST-TURN"),
+				{
+					sessionId: "hooks-new",
+					onPayload: (payload: unknown) => {
+						seen.push(structuredClone(payload));
+						return undefined;
+					},
+					onResponse,
+				},
+				h.deps,
+			) as Stream,
+		);
+		assert.equal(sealed(events)[0]?.type, "done", "the pass-through turn completes normally");
+		assert.ok(
+			seen.length === 1 && JSON.stringify(seen[0]) === JSON.stringify(h.promptCalls[0]),
+			"[QK:ACPHOOK-PAYLOAD-EXACT-WIRE] before_provider_request must run exactly once and receive the EXACT ACP " +
+				"session/prompt params that then cross the wire — same bootstrapped sessionId, same fully-built prompt " +
+				"(augment included) — and an undefined return must leave those params untouched; a skipped hook or a " +
+				"divergent payload means extensions observe a fiction",
+		);
+		assert.ok(
+			JSON.stringify(seen[0].prompt).includes("NONCE-FIRST-TURN"),
+			"the observed payload really carries this turn's user content",
+		);
+	}
+
+	// ----------------------------------------------------------------------
+	// CELL 2 — NEW turn: a returned replacement becomes the wire params.
+	// ----------------------------------------------------------------------
+	{
+		const h = makeHarness(recordDir);
+		const events = await collect(
+			backend.streamAcpTurn(
+				sonnet,
+				userCtx("NONCE-ORIGINAL"),
+				{
+					sessionId: "hooks-replace",
+					onPayload: (payload: any) => ({
+						sessionId: payload.sessionId,
+						prompt: [{ type: "text", text: "NONCE-REPLACED-WIRE" }],
+					}),
+					onResponse,
+				},
+				h.deps,
+			) as Stream,
+		);
+		assert.equal(sealed(events)[0]?.type, "done", "the replaced turn completes normally");
+		assert.equal(h.promptCalls.length, 1, "exactly one prompt crossed the wire");
+		const wire = JSON.stringify(h.promptCalls[0]);
+		assert.ok(
+			wire.includes("NONCE-REPLACED-WIRE") && !wire.includes("NONCE-ORIGINAL"),
+			"[QK:ACPHOOK-REPLACEMENT-ON-WIRE] a replacement returned by before_provider_request must BE the wire params — " +
+				"the upstream contract says 'use any returned replacement payload', and ignoring it is exactly the " +
+				"pi-vertex defect (#7372) that silently breaks payload-hooking extensions",
+		);
+	}
+
+	// ----------------------------------------------------------------------
+	// CELL 3 — REUSE turn parity: same boundary, delta params, replacement honored.
+	// ----------------------------------------------------------------------
+	{
+		const h = makeHarness(recordDir);
+		const seen: any[] = [];
+		let replaceReuse = false;
+		const options = {
+			sessionId: "hooks-reuse",
+			onPayload: (payload: any) => {
+				seen.push(structuredClone(payload));
+				if (!replaceReuse) return undefined;
+				return { sessionId: payload.sessionId, prompt: [{ type: "text", text: "NONCE-REUSE-REPLACED" }] };
+			},
+			onResponse,
+		};
+		const first = await collect(backend.streamAcpTurn(sonnet, userCtx("NONCE-TURN-ONE"), options, h.deps) as Stream);
+		assert.equal(sealed(first)[0]?.type, "done", "turn 1 (new) completes");
+		replaceReuse = true;
+		const second = await collect(
+			backend.streamAcpTurn(sonnet, reuseCtx("NONCE-TURN-ONE", "NONCE-TURN-TWO"), options, h.deps) as Stream,
+		);
+		assert.equal(sealed(second)[0]?.type, "done", "turn 2 (reuse) completes");
+		assert.equal(h.children.length, 1, "turn 2 reused the live session — no second child");
+		const reuseSeen = JSON.stringify(seen[1] ?? null);
+		const reuseWire = JSON.stringify(h.promptCalls[1] ?? null);
+		assert.ok(
+			seen.length === 2 &&
+				reuseSeen.includes("NONCE-TURN-TWO") &&
+				!reuseSeen.includes("NONCE-TURN-ONE") &&
+				reuseWire.includes("NONCE-REUSE-REPLACED") &&
+				!reuseWire.includes("NONCE-TURN-TWO"),
+			"[QK:ACPHOOK-REUSE-PARITY] the reuse turn owes the hook the SAME truthful boundary as a new turn — the payload " +
+				"it sees is the actual delta-only wire params for the live session, and its replacement crosses the wire; " +
+				"a hook that only fires on cold turns would hide every resident-session request from extensions",
+		);
+	}
+
+	// ----------------------------------------------------------------------
+	// CELL 4 — a rejecting hook fails the turn LOUD, nothing is sent.
+	// (Ordered before the refusal cells: a silent-fallback defect at the call
+	// site must die here, at its own claim, before an integrity cell can trip.)
+	// ----------------------------------------------------------------------
+	{
+		const h = makeHarness(recordDir);
+		const events = await collect(
+			backend.streamAcpTurn(
+				sonnet,
+				userCtx("hook rejection"),
+				{
+					sessionId: "hooks-reject",
+					onPayload: () => Promise.reject(new Error("NONCE-HOOK-EXPLODED")),
+					onResponse,
+				},
+				h.deps,
+			) as Stream,
+		);
+		const seal = sealed(events)[0];
+		assert.ok(
+			seal?.type === "error" &&
+				String(seal.error?.errorMessage ?? "").includes("NONCE-HOOK-EXPLODED") &&
+				h.promptCalls.length === 0,
+			"[QK:ACPHOOK-REJECTION-FAILS-LOUD] pi's own runner already swallows extension handler errors, so a rejection " +
+				"reaching this seam is a real failure — it must seal the turn loudly with the original message and send " +
+				"nothing, never be silently caught into a fallback send",
+		);
+	}
+
+	// ----------------------------------------------------------------------
+	// CELL 5 — a non-object replacement is refused LOUD, nothing is sent.
+	// ----------------------------------------------------------------------
+	{
+		const h = makeHarness(recordDir);
+		const events = await collect(
+			backend.streamAcpTurn(
+				sonnet,
+				userCtx("invalid replacement"),
+				{ sessionId: "hooks-invalid", onPayload: () => 42, onResponse },
+				h.deps,
+			) as Stream,
+		);
+		const seal = sealed(events)[0];
+		assert.ok(
+			seal?.type === "error" &&
+				String(seal.error?.errorMessage ?? "").includes("non-object replacement") &&
+				h.promptCalls.length === 0,
+			"[QK:ACPHOOK-INVALID-REPLACEMENT-REFUSED] a replacement that is not a non-null, non-array object must seal " +
+				"the turn as a loud error BEFORE anything reaches the wire — silently falling back to the original params " +
+				"would hide a broken extension exactly where it thinks it is rewriting requests",
+		);
+	}
+
+	// ----------------------------------------------------------------------
+	// CELL 6 — a sessionId-tampering replacement is refused LOUD, nothing is sent.
+	// ----------------------------------------------------------------------
+	{
+		const h = makeHarness(recordDir);
+		const events = await collect(
+			backend.streamAcpTurn(
+				sonnet,
+				userCtx("tampered sessionId"),
+				{
+					sessionId: "hooks-tamper",
+					onPayload: (payload: any) => ({ sessionId: "SOMEONE-ELSE", prompt: payload.prompt }),
+					onResponse,
+				},
+				h.deps,
+			) as Stream,
+		);
+		const seal = sealed(events)[0];
+		assert.ok(
+			seal?.type === "error" &&
+				String(seal.error?.errorMessage ?? "").includes("changed the ACP sessionId") &&
+				h.promptCalls.length === 0,
+			"[QK:ACPHOOK-SESSIONID-TAMPER-REFUSED] a replacement that changes the bootstrapped sessionId must refuse the " +
+				"turn before the wire — entwurf cannot truthfully deliver to an ACP session it did not open, and silently " +
+				"sending there would corrupt session identity while reporting success",
+		);
+	}
+
+	// ----------------------------------------------------------------------
+	// CELL 7 — a replacement that empties the prompt is refused LOUD, nothing sent.
+	// ----------------------------------------------------------------------
+	{
+		const h = makeHarness(recordDir);
+		const events = await collect(
+			backend.streamAcpTurn(
+				sonnet,
+				userCtx("emptied prompt"),
+				{
+					sessionId: "hooks-empty",
+					onPayload: (payload: any) => ({ sessionId: payload.sessionId, prompt: [] }),
+					onResponse,
+				},
+				h.deps,
+			) as Stream,
+		);
+		const seal = sealed(events)[0];
+		assert.ok(
+			seal?.type === "error" &&
+				String(seal.error?.errorMessage ?? "").includes("non-empty prompt array") &&
+				h.promptCalls.length === 0,
+			"[QK:ACPHOOK-EMPTY-PROMPT-REFUSED] a replacement whose prompt is missing, non-array, or empty must refuse " +
+				"the turn by name before the wire — this rail already owns a non-empty-prompt invariant on the built " +
+				"params, and a replacement must not be able to undo it into an empty ACP send",
+		);
+	}
+
+	// ----------------------------------------------------------------------
+	// CELL 8 — abort raised WHILE the hook is awaited wins before the wire (NEW turn).
+	// ----------------------------------------------------------------------
+	{
+		const h = makeHarness(recordDir);
+		const gate = deferred<undefined>();
+		const controller = new AbortController();
+		const turn = collect(
+			backend.streamAcpTurn(
+				sonnet,
+				userCtx("abort during hook"),
+				{
+					sessionId: "hooks-abort",
+					signal: controller.signal,
+					onPayload: () => gate.promise,
+					onResponse,
+				},
+				h.deps,
+			) as Stream,
+		);
+		// Let the turn reach the awaited hook, abort, THEN let the hook resolve.
+		await new Promise((r) => setTimeout(r, 25));
+		controller.abort();
+		gate.resolve(undefined);
+		const events = await turn;
+		const seal = sealed(events)[0];
+		assert.ok(
+			seal?.type === "error" && seal.reason === "aborted" && h.promptCalls.length === 0,
+			"[QK:ACPHOOK-ABORT-DURING-HOOK-WINS] an abort raised while onPayload is awaited must win before the wire " +
+				"write — the turn seals aborted and NO prompt is sent, because a slow handler must never turn a cancelled " +
+				"turn into a delivered one",
+		);
+	}
+
+	// ----------------------------------------------------------------------
+	// CELL 9 — abort during the awaited hook wins on the REUSE path too: the
+	// resident session's bootstrap prompt is the control, and no SECOND prompt
+	// may cross the wire.
+	// ----------------------------------------------------------------------
+	{
+		const h = makeHarness(recordDir);
+		const gate = deferred<undefined>();
+		const controller = new AbortController();
+		let deferReuseHook = false;
+		const options: Record<string, unknown> = {
+			sessionId: "hooks-reuse-abort",
+			signal: controller.signal,
+			onPayload: () => (deferReuseHook ? gate.promise : undefined),
+			onResponse,
+		};
+		const first = await collect(
+			backend.streamAcpTurn(sonnet, userCtx("NONCE-REUSE-ABORT-ONE"), options, h.deps) as Stream,
+		);
+		assert.equal(sealed(first)[0]?.type, "done", "turn 1 (new) establishes the resident session");
+		assert.equal(h.promptCalls.length, 1, "the bootstrap prompt is the control send");
+		deferReuseHook = true;
+		const turn = collect(
+			backend.streamAcpTurn(
+				sonnet,
+				reuseCtx("NONCE-REUSE-ABORT-ONE", "NONCE-REUSE-ABORT-TWO"),
+				options,
+				h.deps,
+			) as Stream,
+		);
+		await new Promise((r) => setTimeout(r, 25));
+		controller.abort();
+		gate.resolve(undefined);
+		const events = await turn;
+		const seal = sealed(events)[0];
+		assert.ok(
+			seal?.type === "error" && seal.reason === "aborted" && h.promptCalls.length === 1 && h.children.length === 1,
+			"[QK:ACPHOOK-REUSE-ABORT-WINS] an abort raised while the REUSE turn's onPayload is awaited must win before " +
+				"the wire write — the turn seals aborted and the resident session's bootstrap prompt stays the ONLY send; " +
+				"the reuse path owes the same abort-over-slow-handler guarantee as a cold turn",
+		);
+	}
+
+	// ----------------------------------------------------------------------
+	// CELL 10 — the onResponse exemption, judged across every cell above.
+	// ----------------------------------------------------------------------
+	assert.equal(
+		onResponseCalls,
+		0,
+		"[QK:ACPHOOK-ONRESPONSE-NEVER-CALLED] onResponse was registered on every turn above — success, replacement, " +
+			"reuse, refusals, rejection, and both abort paths — and must have been invoked ZERO times: ACP has no " +
+			"truthful HTTP {status, headers} and its terminal result arrives after the body was consumed, so any " +
+			"invocation is fabricated evidence; the exemption is deliberate and this is its behavioral pin",
+	);
+} finally {
+	rmSync(TMP_EMIT, { recursive: true, force: true });
+	try {
+		// A leftover EMPTY parent dir reads as IMPURE tree drift in the
+		// qualification harness; a concurrent sibling gate's emit keeps it alive
+		// and this rmdir simply fails.
+		rmdirSync(".tmp-verify");
+	} catch {
+		// non-empty or already gone — fine either way
+	}
+	rmSync(recordDir, { recursive: true, force: true });
+}
+
+console.log(
+	"[check-acp-stream-hooks] ok — before_provider_request receives the exact ACP session/prompt wire params on new " +
+		"AND reuse turns and its replacement is honored fail-closed (non-null non-array object, sessionId invariant, " +
+		"non-empty prompt array, loud refusal with zero sends otherwise, rejection loud, abort-during-hook wins on " +
+		"BOTH paths), and after_provider_response is a deliberate non-HTTP exemption invoked zero times across " +
+		"success/error/abort",
+);

package/scripts/check-elapsed.sh

@@ -0,0 +1,25 @@
+#!/usr/bin/env bash
+# check-elapsed — total wall-time reporter for the tiered check entrypoints (#70).
+#
+# Usage: bash scripts/check-elapsed.sh <label> <pnpm-script>...
+#
+# Runs each named pnpm script IN ORDER (fail-fast), then prints exactly one
+# summary line — total elapsed wall seconds plus the exit code — on success AND
+# on failure, and exits with the first failing script's code. Tier MEMBERSHIP
+# lives in package.json (the executable SSOT); this wrapper owns only the
+# wall-clock line. It is deliberately not a profiler: no per-step timing, no
+# cache, no history, no thresholds. The core tier's ≤60s acceptance is an
+# operator measurement on the reference host (oracle), never a hard fail here —
+# an arbitrary CI host's variance must not turn wall time into a flaky gate.
+set -u
+
+label="$1"
+shift
+start=$(date +%s)
+code=0
+for script in "$@"; do
+	pnpm run "$script" || { code=$?; break; }
+done
+elapsed=$(($(date +%s) - start))
+echo "[${label}] total elapsed ${elapsed}s exit ${code}"
+exit "$code"

package/scripts/check-entwurf-bridge-boot.ts

@@ -5,7 +5,7 @@
  * runtime contract that the source-shape gate `check-entwurf-v2-surface` cannot:
  *
  *   - G1a: the server actually BOOTS. start.sh static-imports the whole v2 fence
- *     graph (entwurf-v2-surface → runner → production → decider/lock/send/spawn/
+ *     graph (entwurf-v2-surface → runner → production → decider/lock/send/
  *     mailbox/control-rpc) at top level under strip-types; a strip-types-hostile
  *     construct (enum / namespace / parameter property / `import =`) anywhere in
  *     that graph would crash the server at boot. A parseable tools/list (id:2)
@@ -19,7 +19,7 @@
  * Scope boundary (D1=A안): this gate owns boot + current tool registration/schema.
  * The broad protocol/negative suite stays in check-bridge/test.sh. Only a
  * `tools/list` is sent — no `tools/call` — so there is NO lock/filesystem side
- * effect and no auth/model is needed; it lives in `pnpm check`.
+ * effect and no auth/model is needed; it lives in `pnpm run check:full`.
  */
 
 import { spawn } from "node:child_process";
@@ -175,8 +175,8 @@ async function main(): Promise<void> {
 		ok(`G1b: entwurf_v2 schema requires '${r}'`, required.includes(r), `--- inputSchema ---\n${rawSchema}`);
 	}
 	ok(
-		"G1b: entwurf_v2 intent enum == {fire-and-forget, owned-outcome}",
-		setEq(props.intent?.enum, ["fire-and-forget", "owned-outcome"]),
+		"G1b: entwurf_v2 intent enum == {fire-and-forget} (owned-outcome withdrawn: visible-first cut)",
+		setEq(props.intent?.enum, ["fire-and-forget"]),
 		`--- inputSchema ---\n${rawSchema}`,
 	);
 	ok(
@@ -190,6 +190,30 @@ async function main(): Promise<void> {
 		`--- inputSchema ---\n${rawSchema}`,
 	);
 
+	// G1e — the S1 resume verb, judged on the RUNTIME surface rather than on source wiring. A
+	// source-level check would still pass if the registration were deleted and only the import
+	// remained; this is the oracle that says the tool is actually registered and its schema has
+	// the shape claimed.
+	//
+	// What it does NOT prove: that a host will ACCEPT that schema. This gate reads the emitted
+	// JSON, it does not run a provider's validator — which is exactly why 7-M-fix's unescaped `[`
+	// got past every gate here while breaking real sessions. Host/provider acceptance is an
+	// uncovered axis, tracked as issue #61, and nothing below should be read as standing in for it.
+	const resume = tools.find((t) => t?.name === "entwurf_resume_call");
+	ok(
+		"[QK:BRIDGEBOOT-RESUME-CALL-REGISTERED] G1e: entwurf_resume_call is registered on the runtime tools/list surface — not merely imported",
+		!!resume,
+	);
+	const resumeSchema = resume?.inputSchema ?? {};
+	const rawResume = JSON.stringify(resumeSchema);
+	const resumeProps = resumeSchema.properties ?? {};
+	const resumeRequired = Array.isArray(resumeSchema.required) ? resumeSchema.required.map(String) : [];
+	ok(
+		"[QK:BRIDGEBOOT-RESUME-CALL-TARGET-ONLY] G1e: entwurf_resume_call takes EXACTLY one required input, target — a model, task or prompt knob here would be a second way to decide what a resumed citizen is, when the record already decided",
+		setEq(Object.keys(resumeProps), ["target"]) && setEq(resumeRequired, ["target"]),
+		`--- inputSchema ---\n${rawResume}`,
+	);
+
 	ok(
 		"G1c: native registration fallback is present",
 		tools.some((t) => t?.name === "entwurf_register_native"),
@@ -199,6 +223,29 @@ async function main(): Promise<void> {
 		!tools.some((t) => ["entwurf", "entwurf_resume", "entwurf_send"].includes(String(t?.name))),
 	);
 
+	// G1f — the public surface is an EXACT set, judged last so the named assertions above
+	// keep their own diagnosis. Every check before this one is existential: each names one
+	// verb it cares about, so a verb nobody named could be dropped (entwurf_fresh_call was
+	// exactly that) or an undecided one added, with the gate still green. "A narrow tool
+	// surface is discipline" (AGENTS North Star) is a statement about the WHOLE set, and
+	// only equality can carry it. The expected list is written here rather than derived
+	// from the server: an oracle computed from the subject proves nothing.
+	const publicSurface = tools.map((t) => String(t?.name)).sort();
+	const expectedSurface = [
+		"entwurf_fresh_call",
+		"entwurf_inbox_read",
+		"entwurf_peers",
+		"entwurf_register_native",
+		"entwurf_resume_call",
+		"entwurf_self",
+		"entwurf_v2",
+	];
+	ok(
+		"[QK:BRIDGEBOOT-PUBLIC-SURFACE-EXACT-SET] G1f: the runtime tools/list surface is EXACTLY the seven shipped garden verbs — no missing verb, no undecided extra, no duplicate",
+		publicSurface.length === expectedSurface.length && expectedSurface.every((n, i) => publicSurface[i] === n),
+		`--- want ---\n${expectedSurface.join(",")}\n--- got ---\n${publicSurface.join(",")}`,
+	);
+
 	console.log(`\ncheck-entwurf-bridge-boot: ${passed} checks passed`);
 }
 

package/scripts/check-entwurf-bridge-pi-free.ts

@@ -21,9 +21,11 @@
 //   - `await import("x")` (dynamic)  → INTENDED lazy boundary       → NOT followed
 //
 // The dynamic-import exemption is deliberate: B-2 makes the pi-coding-agent
-// `preflight` a lazy `await import("./entwurf-preflight.ts")` reached ONLY on an
-// owned-outcome spawn-bg resume, so it is allowed to pull pi at runtime in that
-// one branch. The runtime boot smoke (separate half) is the final authority that
+// `preflight` a lazy `await import("./entwurf-preflight.ts")`, so it is allowed to
+// pull pi at runtime behind that lazy edge. The branch that used to reach it — the
+// owned-outcome resume verdict — is gone, which makes the exemption WIDER than its
+// current need, not narrower: nothing on the v2 dispatch path pulls pi now. The
+// runtime boot smoke (separate half) is the final authority that
 // peers/self/list/mailbox-deliver come up pi-free.
 
 import { existsSync, readFileSync } from "node:fs";
@@ -135,8 +137,7 @@ if (violations.length > 0) {
 	}
 	console.error(
 		"\n  The entwurf-bridge MCP server must boot pi-free. Move the pi value-import behind a\n" +
-			"  type-only import, a pi-side module the bridge does not reach, or a lazy `await import()`\n" +
-			"  on the owned-outcome resume branch only.",
+			"  type-only import, a pi-side module the bridge does not reach, or a lazy `await import()`.",
 	);
 	process.exit(1);
 }

package/scripts/check-entwurf-control-rpc.ts

@@ -17,7 +17,7 @@
  *      receiver-stuck backstop the settled-guard preserves).
  *   5. get_info runtime helper parses/formats cwd/model/idle once for every caller.
  *
- * No model / auth / pi process — only `net.Server` on a tmp socket, so it rides `pnpm check`.
+ * No model / auth / pi process — only `net.Server` on a tmp socket, so it rides `pnpm run check:full`.
  */
 
 import assert from "node:assert/strict";
@@ -191,8 +191,9 @@ async function main(): Promise<void> {
 	}
 
 	// ── 6. formatSenderInfoBlock — THE <sender_info> synthesis (#50 C3) ─────────
-	// One formatter feeds BOTH rails (live receiver + dormant resume prompt), so
-	// the exact string shape is a contract, not an implementation detail.
+	// ONE formatter, and since the visible-first cut exactly one consumer (the live
+	// receiver) — the dormant resume prompt that shared it is gone. The exact string
+	// shape stays a contract so a future VISIBLE resume renders through it, not beside it.
 	{
 		const base = {
 			sessionId: "20260613T091000-98363c",