@junghanacs/entwurf 0.40.0 → 0.41.0

package/scripts/mutants/meta-identity.json

@@ -48,6 +48,63 @@
 			"timeoutSeconds": 120,
 			"signature": "[QK:META-CREATE-PUBLISHED-CLEANUP]",
 			"signatureSource": "scripts/check-meta-session.ts"
+		},
+		{
+			"claim": "META-V3-INCARNATION-ABSENT-NULL",
+			"title": "a V3 body without attachIncarnation is refused, so every untouched record becomes unreadable",
+			"subject": "pi-extensions/lib/meta-session.ts",
+			"find": [
+				"\t\tattachIncarnation: requireAttachIncarnation(obj.attachIncarnation === undefined ? null : obj.attachIncarnation),"
+			],
+			"replace": ["\t\tattachIncarnation: requireAttachIncarnation(obj.attachIncarnation),"],
+			"gate": ["bash", "run.sh", "check-meta-v3-record"],
+			"timeoutSeconds": 120,
+			"signature": "[QK:META-V3-INCARNATION-ABSENT-NULL]",
+			"signatureSource": "scripts/check-meta-v3-record.ts"
+		},
+		{
+			"claim": "META-V3-INCARNATION-MALFORMED",
+			"title": "any string is accepted as a binding",
+			"subject": "pi-extensions/lib/meta-session.ts",
+			"find": ["\tif (typeof value !== \"string\" || !ATTACH_INCARNATION_RE.test(value)) {"],
+			"replace": ["\tif (typeof value !== \"string\") {"],
+			"gate": ["bash", "run.sh", "check-meta-v3-record"],
+			"timeoutSeconds": 120,
+			"signature": "[QK:META-V3-INCARNATION-MALFORMED]",
+			"signatureSource": "scripts/check-meta-v3-record.ts"
+		},
+		{
+			"claim": "META-V3-INCARNATION-ALWAYS-EMITTED",
+			"title": "the serializer drops attachIncarnation, so a committed binding never reaches disk",
+			"subject": "pi-extensions/lib/meta-session.ts",
+			"find": ["\t\tattachIncarnation: identity.attachIncarnation,"],
+			"replace": [""],
+			"gate": ["bash", "run.sh", "check-meta-v3-record"],
+			"timeoutSeconds": 120,
+			"signature": "[QK:META-V3-INCARNATION-ALWAYS-EMITTED]",
+			"signatureSource": "scripts/check-meta-v3-record.ts"
+		},
+		{
+			"claim": "META-UPSERT-PRESERVES-INCARNATION",
+			"title": "an attach that does not mint clears the binding",
+			"subject": "pi-extensions/lib/meta-session.ts",
+			"find": ["\t\t\t? existing.attachIncarnation"],
+			"replace": ["\t\t\t? null"],
+			"gate": ["bash", "run.sh", "check-meta-v3-record"],
+			"timeoutSeconds": 120,
+			"signature": "[QK:META-UPSERT-PRESERVES-INCARNATION]",
+			"signatureSource": "scripts/check-meta-v3-record.ts"
+		},
+		{
+			"claim": "META-UPSERT-EXPECT-ACTION",
+			"title": "upsert ignores expectAction, so a raced create silently becomes an unlocked attach",
+			"subject": "pi-extensions/lib/meta-session.ts",
+			"find": ["\tif (opts.expectAction !== undefined && decision.action !== opts.expectAction) {"],
+			"replace": ["\tif (false) {"],
+			"gate": ["bash", "run.sh", "check-meta-session"],
+			"timeoutSeconds": 120,
+			"signature": "[QK:META-UPSERT-EXPECT-ACTION]",
+			"signatureSource": "scripts/check-meta-session.ts"
 		}
 	]
 }

package/scripts/mutants/mux-fresh-call.json

@@ -151,7 +151,7 @@
 			"title": "MCP drops the required model field from fresh-call while the composition still expects one",
 			"subject": "mcp/entwurf-bridge/src/index.ts",
 			"find": [
-				"\t\tmodel: z\n\t\t\t.string()\n\t\t\t.min(1)\n\t\t\t.max(200)\n\t\t\t// The `\\[` below is USELESS TO JS AND LOAD-BEARING TO THE HOST. zod emits this source\n\t\t\t// text verbatim as the JSON Schema `pattern`, and the host's tool-schema validator is a\n\t\t\t// Rust regex engine that rejects an unescaped `[` inside a character class as \"unclosed\n\t\t\t// character class\" — a 400 on tools/list that stops EVERY Claude session from opening\n\t\t\t// (7-M-fix). Biome's safe fix removes it; do not accept that fix. The suppression must\n\t\t\t// stay on the line DIRECTLY above the expression, or it attaches to nothing and reads\n\t\t\t// as an unused suppression while the escape goes back to being fixable.\n\t\t\t// biome-ignore lint/complexity/noUselessEscapeInRegex: emitted to a Rust regex validator, see above\n\t\t\t.regex(/^[A-Za-z0-9][A-Za-z0-9._/:\\[\\]-]*$/)\n\t\t\t.describe(\n\t\t\t\t\"Required runtime model: canonical provider/model for pi, provider/<exact catalog model id> for pi-durable, a Claude Code model id/alias, or a Copilot/OMP/Codex model name.\",\n\t\t\t),\n"
+				"\t\tmodel: z\n\t\t\t.string()\n\t\t\t.min(1)\n\t\t\t.max(200)\n\t\t\t// The `\\[` below is USELESS TO JS AND LOAD-BEARING TO THE HOST. zod emits this source\n\t\t\t// text verbatim as the JSON Schema `pattern`, and the host's tool-schema validator is a\n\t\t\t// Rust regex engine that rejects an unescaped `[` inside a character class as \"unclosed\n\t\t\t// character class\" — a 400 on tools/list that stops EVERY Claude session from opening\n\t\t\t// (7-M-fix). Biome's safe fix removes it; do not accept that fix. The suppression must\n\t\t\t// stay on the line DIRECTLY above the expression, or it attaches to nothing and reads\n\t\t\t// as an unused suppression while the escape goes back to being fixable.\n\t\t\t// biome-ignore lint/complexity/noUselessEscapeInRegex: emitted to a Rust regex validator, see above\n\t\t\t.regex(/^[A-Za-z0-9][A-Za-z0-9._/:\\[\\]-]*$/)\n\t\t\t.describe(\n\t\t\t\t\"Required runtime model: canonical provider/model for pi (a bare alias is refused), provider/<exact catalog model id> for pi-durable, a Claude Code model id/alias, or a Copilot/OMP/Codex model name. Neither pi nor pi-durable may name the openrouter provider.\",\n\t\t\t),\n"
 			],
 			"replace": [""],
 			"gate": ["bash", "run.sh", "check-mux-fresh-call"],

package/scripts/mutants/mux-resume-call.json

@@ -72,8 +72,11 @@
 			"claim": "MUXRESUME-NO-IDENTITY",
 			"title": "identity vocabulary enters the placement module, which is the first step of a leaf learning whose citizen it is opening",
 			"subject": "pi-extensions/lib/mux-resume-call.ts",
-			"find": ["export const RESUME_CALL_RUNTIME = \"pi\";"],
-			"replace": ["export const RESUME_CALL_RUNTIME = \"pi\";\nexport const RESUME_CALL_TARGET_KEY = \"gardenId\";"],
+			"find": ["export const RESUME_CALL_RUNTIME = { pi: \"pi\", \"claude-code\": \"claude\" } as const;"],
+			"replace": [
+				"export const RESUME_CALL_RUNTIME = { pi: \"pi\", \"claude-code\": \"claude\" } as const;",
+				"export const RESUME_CALL_TARGET_KEY = \"gardenId\";"
+			],
 			"gate": ["bash", "run.sh", "check-mux-resume-call"],
 			"timeoutSeconds": 60,
 			"signature": "[QK:MUXRESUME-NO-IDENTITY]",
@@ -97,10 +100,10 @@
 			"title": "the MCP description drops the dormant-only scope, inviting callers to aim the verb at live citizens it will refuse",
 			"subject": "mcp/entwurf-bridge/src/index.ts",
 			"find": [
-				"\t\"Reopen ONE DORMANT pi citizen under its OWN garden id, in a visible window in the operator's own tmux \""
+				"\t\"Reopen ONE DORMANT pi or Claude Code citizen under its OWN garden id, in a visible window in the operator's \" +"
 			],
 			"replace": [
-				"\t\"Reopen ONE pi citizen under its OWN garden id, in a visible window in the operator's own tmux \""
+				"\t\"Reopen ONE pi or Claude Code citizen under its OWN garden id, in a visible window in the operator's \" +"
 			],
 			"gate": ["bash", "run.sh", "check-mux-resume-call"],
 			"timeoutSeconds": 60,
@@ -119,6 +122,39 @@
 			"timeoutSeconds": 60,
 			"signature": "[QK:MUXRESUME-MCP-TARGET-PASSTHROUGH]",
 			"signatureSource": "scripts/check-mux-resume-call.ts"
+		},
+		{
+			"claim": "MUXRESUME-RUNTIME-TABLE",
+			"title": "a Claude Code resume is started under pi, so the window opens the wrong runtime on the right session id",
+			"subject": "pi-extensions/lib/mux-resume-call.ts",
+			"find": ["export const RESUME_CALL_RUNTIME = { pi: \"pi\", \"claude-code\": \"claude\" } as const;"],
+			"replace": ["export const RESUME_CALL_RUNTIME = { pi: \"pi\", \"claude-code\": \"pi\" } as const;"],
+			"gate": ["bash", "run.sh", "check-mux-resume-call"],
+			"timeoutSeconds": 60,
+			"signature": "[QK:MUXRESUME-RUNTIME-TABLE]",
+			"signatureSource": "scripts/check-mux-resume-call.ts"
+		},
+		{
+			"claim": "MUXRESUME-HERDR-REFUSED",
+			"title": "inside herdr the tmux resume rail no longer refuses, so an ambient TMUX opens the window where the operator is not looking",
+			"subject": "pi-extensions/lib/mux-resume-call.ts",
+			"find": ["\tif (env.HERDR_ENV === \"1\") return { ok: false, reason: \"herdr-resume-unsupported\" };"],
+			"replace": [""],
+			"gate": ["bash", "run.sh", "check-mux-resume-call"],
+			"timeoutSeconds": 60,
+			"signature": "[QK:MUXRESUME-HERDR-REFUSED]",
+			"signatureSource": "scripts/check-mux-resume-call.ts"
+		},
+		{
+			"claim": "MUXRESUME-ARGV-IDENTITY-SCRUB",
+			"title": "the resume window stops emptying the inherited pi identity carriers, so a resumed Claude Code presents a stale identity to its bridge",
+			"subject": "pi-extensions/lib/mux-resume-call.ts",
+			"find": ["\t\t...SCRUBBED_INHERITED_ENV.flatMap((assignment) => [\"-e\", assignment]),"],
+			"replace": [""],
+			"gate": ["bash", "run.sh", "check-mux-resume-call"],
+			"timeoutSeconds": 60,
+			"signature": "[QK:MUXRESUME-ARGV-IDENTITY-SCRUB]",
+			"signatureSource": "scripts/check-mux-resume-call.ts"
 		}
 	]
 }

package/scripts/mutants/pi-durable.json

@@ -2,6 +2,61 @@
 	"schemaVersion": 1,
 	"lane": "pi-durable",
 	"mutants": [
+		{
+			"claim": "PI-DURABLE-RETIRE-CALL",
+			"title": "retirement alone drops the actual request cancellation signal",
+			"subject": "pi-extensions/meta-bridge-pi-durable.ts",
+			"find": [
+				"\t\t\tconst call = () => client.callTool(name, (args ?? {}) as Record<string, unknown>, context?.abortSignal);"
+			],
+			"replace": [
+				"\t\t\tconst call = () => client.callTool(name, (args ?? {}) as Record<string, unknown>, name === \"entwurf_retire_call\" ? undefined : context?.abortSignal);"
+			],
+			"gate": ["bash", "run.sh", "check-pi-durable-beside"],
+			"timeoutSeconds": 300,
+			"signature": "[QK:PI-DURABLE-RETIRE-CALL]",
+			"signatureSource": "pi-extensions/meta-bridge-pi-durable.test.ts",
+			"build": {
+				"argv": ["bash", "scripts/build-bridge.sh"],
+				"output": "mcp/entwurf-bridge/dist"
+			}
+		},
+		{
+			"claim": "PI-DURABLE-RETIRE-POLICY",
+			"title": "the native retirement description treats actor identity as a standing grant",
+			"subject": "pi-extensions/meta-bridge-pi-durable.ts",
+			"find": [
+				"\t\t\"Only when the human operator explicitly requested this particular target/work: make ONE retirement attempt for that request \" +"
+			],
+			"replace": [
+				"\t\t\"A caller record alone authorizes this target/work: make ONE retirement attempt for that request \" +"
+			],
+			"gate": ["bash", "run.sh", "check-pi-durable-beside"],
+			"timeoutSeconds": 300,
+			"signature": "[QK:PI-DURABLE-RETIRE-POLICY]",
+			"signatureSource": "pi-extensions/meta-bridge-pi-durable.test.ts",
+			"build": {
+				"argv": ["bash", "scripts/build-bridge.sh"],
+				"output": "mcp/entwurf-bridge/dist"
+			}
+		},
+		{
+			"claim": "PI-DURABLE-RETIRE-CALL-REACHES-BRIDGE",
+			"title": "the compiled retirement handler discards the actual host-authoritative caller",
+			"subject": "mcp/entwurf-bridge/src/index.ts",
+			"find": [
+				"\t\t\t\t\tresolveCaller: async () => (await resolveAuthoritativeSender({ requestMeta: extra._meta }))?.envelope ?? null,"
+			],
+			"replace": ["\t\t\t\t\tresolveCaller: async () => null,"],
+			"gate": ["bash", "run.sh", "check-pi-durable-beside"],
+			"timeoutSeconds": 300,
+			"signature": "[QK:PI-DURABLE-RETIRE-CALL-REACHES-BRIDGE]",
+			"signatureSource": "pi-extensions/meta-bridge-pi-durable.test.ts",
+			"build": {
+				"argv": ["bash", "scripts/build-bridge.sh"],
+				"output": "mcp/entwurf-bridge/dist"
+			}
+		},
 		{
 			"claim": "PI-DURABLE-ENTRY-GUARD-FLOOR-SAFE",
 			"title": "the verifier's entry guard goes back to import.meta.main, which the floor's runner can misread as the process entry",
@@ -1223,6 +1278,30 @@
 			"signature": "[QK:PI-DURABLE-RESUME-CANCEL-OPENS-NOTHING]",
 			"signatureSource": "pi-extensions/lib/pi-durable-carrier.test.ts",
 			"build": { "argv": ["bash", "scripts/build-bridge.sh"], "output": "mcp/entwurf-bridge/dist" }
+		},
+		{
+			"claim": "PI-DURABLE-RESUME-CALL-EXPOSED",
+			"title": "entwurf_resume_call drops out of the durable contact's tools, so the coordinator citizen cannot reopen a dormant pi sibling",
+			"subject": "pi-extensions/meta-bridge-pi-durable.ts",
+			"find": ["\t\ttools: PI_DURABLE_TOOL_NAMES.map(tool),"],
+			"replace": ["\t\ttools: PI_DURABLE_TOOL_NAMES.filter((name) => name !== \"entwurf_resume_call\").map(tool),"],
+			"gate": ["bash", "run.sh", "check-pi-durable-beside"],
+			"timeoutSeconds": 300,
+			"signature": "[QK:PI-DURABLE-RESUME-CALL-EXPOSED]",
+			"signatureSource": "pi-extensions/meta-bridge-pi-durable.test.ts",
+			"build": { "argv": ["bash", "scripts/build-bridge.sh"], "output": "mcp/entwurf-bridge/dist" }
+		},
+		{
+			"claim": "PI-DURABLE-RESUME-CALL-REACHES-BRIDGE",
+			"title": "the production stdio connector stops carrying a tool's arguments: every stub-bridge case still passes, but the real bridge never sees the target the model named",
+			"subject": "pi-extensions/meta-bridge-pi-durable.ts",
+			"find": ["const result = await client.callTool({ name, arguments: args }, undefined, { signal });"],
+			"replace": ["const result = await client.callTool({ name, arguments: {} }, undefined, { signal });"],
+			"gate": ["bash", "run.sh", "check-pi-durable-beside"],
+			"timeoutSeconds": 300,
+			"signature": "[QK:PI-DURABLE-RESUME-CALL-REACHES-BRIDGE]",
+			"signatureSource": "pi-extensions/meta-bridge-pi-durable.test.ts",
+			"build": { "argv": ["bash", "scripts/build-bridge.sh"], "output": "mcp/entwurf-bridge/dist" }
 		}
 	]
 }

package/scripts/mutants/pi-retire-request.json

@@ -0,0 +1,72 @@
+{
+	"schemaVersion": 1,
+	"lane": "pi-retire-request",
+	"mutants": [
+		{
+			"claim": "PI-RETIRE-PREFLIGHT",
+			"title": "a mismatched native session escapes preflight and sends a retirement RPC",
+			"subject": "pi-extensions/lib/pi-retire-request.ts",
+			"find": ["\t\ttarget.nativeSessionId !== expected.nativeSessionId ||\n"],
+			"replace": [""],
+			"gate": ["bash", "run.sh", "check-pi-retire-request"],
+			"timeoutSeconds": 600,
+			"signature": "[QK:PI-RETIRE-PREFLIGHT]",
+			"signatureSource": "pi-extensions/lib/pi-retire-request.test.ts"
+		},
+		{
+			"claim": "PI-RETIRE-WIRE",
+			"title": "the one fixed retirement request carries a different native session than the certified record",
+			"subject": "pi-extensions/lib/pi-retire-request.ts",
+			"find": ["{ type: \"retire\", gardenId: target.gardenId, nativeSessionId: target.nativeSessionId }"],
+			"replace": ["{ type: \"retire\", gardenId: target.gardenId, nativeSessionId: \"wrong-native-id\" }"],
+			"gate": ["bash", "run.sh", "check-pi-retire-request"],
+			"timeoutSeconds": 600,
+			"signature": "[QK:PI-RETIRE-WIRE]",
+			"signatureSource": "pi-extensions/lib/pi-retire-request.test.ts"
+		},
+		{
+			"claim": "PI-RETIRE-PARSE-CLOSED",
+			"title": "a failure response with a requested boundary is incorrectly accepted",
+			"subject": "pi-extensions/lib/pi-retire-request.ts",
+			"find": ["if (response.success === true && data.boundary === \"shutdown-requested\") {"],
+			"replace": ["if (data.boundary === \"shutdown-requested\") {"],
+			"gate": ["bash", "run.sh", "check-pi-retire-request"],
+			"timeoutSeconds": 600,
+			"signature": "[QK:PI-RETIRE-PARSE-CLOSED]",
+			"signatureSource": "pi-extensions/lib/pi-retire-request.test.ts"
+		},
+		{
+			"claim": "PI-RETIRE-REFUSALS",
+			"title": "the known receiver refusal domain is dropped and every named refusal becomes unknown",
+			"subject": "pi-extensions/lib/pi-retire-request.ts",
+			"find": ["if (data.boundary === \"refused\" && RECEIVER_REFUSALS.includes(data.reason as ReceiverRefusal)) {"],
+			"replace": ["if (false) {"],
+			"gate": ["bash", "run.sh", "check-pi-retire-request"],
+			"timeoutSeconds": 600,
+			"signature": "[QK:PI-RETIRE-REFUSALS]",
+			"signatureSource": "pi-extensions/lib/pi-retire-request.test.ts"
+		},
+		{
+			"claim": "PI-RETIRE-TRANSPORT",
+			"title": "a timeout or lost response is misreported as a certain receiver refusal",
+			"subject": "pi-extensions/lib/pi-retire-request.ts",
+			"find": ["\t\treturn { boundary: \"unknown\", reason: \"transport-error\" };"],
+			"replace": ["\t\treturn { boundary: \"refused\", phase: \"receiver\", reason: \"target-closing\" };"],
+			"gate": ["bash", "run.sh", "check-pi-retire-request"],
+			"timeoutSeconds": 600,
+			"signature": "[QK:PI-RETIRE-TRANSPORT]",
+			"signatureSource": "pi-extensions/lib/pi-retire-request.test.ts"
+		},
+		{
+			"claim": "PI-RETIRE-ENVELOPE",
+			"title": "the production receiver drops its error reason so the strict adapter cannot interpret refusals",
+			"subject": "pi-extensions/lib/control-retire.ts",
+			"find": ["\t\t...(result.boundary !== \"shutdown-requested\" ? { error: result.reason } : {}),\n"],
+			"replace": [""],
+			"gate": ["bash", "run.sh", "check-pi-retire-request"],
+			"timeoutSeconds": 600,
+			"signature": "[QK:PI-RETIRE-ENVELOPE]",
+			"signatureSource": "pi-extensions/lib/pi-retire-request.test.ts"
+		}
+	]
+}

package/scripts/mutants/resume-launch-identity.json

@@ -55,14 +55,8 @@
 			"claim": "RESUME-ID-GATE-SSOT",
 			"title": "the preserved leaf's header stops naming the gate that certifies it, so a consumer-zero identity module ships on prose again",
 			"subject": "pi-extensions/lib/resume-launch-identity.ts",
-			"find": [
-				" * So this leaf is preserved deliberately, with no consumer in the shipped tree today.",
-				" * `check-resume-launch-identity` holds its contract so the record-integrity rules below —"
-			],
-			"replace": [
-				" * So this leaf is preserved deliberately for the later visible lane.",
-				" * The record-integrity rules below —"
-			],
+			"find": [" * `check-resume-launch-identity` holds the record-integrity rules below — the transcript header id"],
+			"replace": [" * the record-integrity rules below — the transcript header id"],
 			"gate": ["bash", "run.sh", "check-resume-launch-identity"],
 			"timeoutSeconds": 60,
 			"signature": "[QK:RESUME-ID-GATE-SSOT]",
@@ -106,6 +100,39 @@
 			"timeoutSeconds": 60,
 			"signature": "[QK:RESUME-ID-ACP-EXACT-CURATION]",
 			"signatureSource": "scripts/check-resume-launch-identity.ts"
+		},
+		{
+			"claim": "RESUME-ID-CC-RESOLVES",
+			"title": "a claude-code record falls back to the out-of-domain refusal, so the widened domain exists only in prose",
+			"subject": "pi-extensions/lib/resume-launch-identity.ts",
+			"find": ["\tif (record.backend === \"claude-code\") return resolveClaudeCodeLaunchIdentity(gardenId, record);"],
+			"replace": [""],
+			"gate": ["bash", "run.sh", "check-resume-launch-identity"],
+			"timeoutSeconds": 60,
+			"signature": "[QK:RESUME-ID-CC-RESOLVES]",
+			"signatureSource": "scripts/check-resume-launch-identity.ts"
+		},
+		{
+			"claim": "RESUME-ID-CC-SESSION-GRAMMAR",
+			"title": "a recorded Claude Code session id outside the UUID grammar reaches claude --resume, where a value like --dangerously-skip-permissions would be read as a flag",
+			"subject": "pi-extensions/lib/resume-launch-identity.ts",
+			"find": ["\tif (!CLAUDE_SESSION_ID.test(record.nativeSessionId)) {"],
+			"replace": ["\tif (false && !CLAUDE_SESSION_ID.test(record.nativeSessionId)) {"],
+			"gate": ["bash", "run.sh", "check-resume-launch-identity"],
+			"timeoutSeconds": 60,
+			"signature": "[QK:RESUME-ID-CC-SESSION-GRAMMAR]",
+			"signatureSource": "scripts/check-resume-launch-identity.ts"
+		},
+		{
+			"claim": "RESUME-ID-CC-TRANSCRIPT-PRESENT",
+			"title": "a Claude Code record whose transcript is gone still resolves, so the window opens on a session the vendor cannot find",
+			"subject": "pi-extensions/lib/resume-launch-identity.ts",
+			"find": ["\tif (!isFile) {"],
+			"replace": ["\tif (false && !isFile) {"],
+			"gate": ["bash", "run.sh", "check-resume-launch-identity"],
+			"timeoutSeconds": 60,
+			"signature": "[QK:RESUME-ID-CC-TRANSCRIPT-PRESENT]",
+			"signatureSource": "scripts/check-resume-launch-identity.ts"
 		}
 	]
 }

package/scripts/mutants/retirement-event.json

@@ -0,0 +1,195 @@
+{
+	"schemaVersion": 1,
+	"lane": "retirement-event",
+	"mutants": [
+		{
+			"claim": "RETIRE-EVENT-FD-KIND",
+			"title": "an opened non-regular inode passes admission and reaches write",
+			"subject": "pi-extensions/lib/retirement-event.ts",
+			"find": ["\t\tif (!st.isFile()) throw new RetirementEventError(`${path.basename(file)} is not a regular file`);"],
+			"replace": ["\t\t// MUTANT: opened inode kind is not checked."],
+			"gate": ["bash", "run.sh", "check-retirement-event"],
+			"timeoutSeconds": 120,
+			"signature": "[QK:RETIRE-EVENT-FD-KIND]",
+			"signatureSource": "pi-extensions/lib/retirement-event.test.ts"
+		},
+		{
+			"claim": "RETIRE-EVENT-CLOSED-KEYS",
+			"title": "serialized event grows an undeclared field",
+			"subject": "pi-extensions/lib/retirement-event.ts",
+			"find": ["\tconst base = { v, kind, eventId, at, actorGardenId, targetGardenId, targetBackend };"],
+			"replace": [
+				"\tconst base = { v, kind, eventId, at, actorGardenId, targetGardenId, targetBackend, extra: true };"
+			],
+			"gate": ["bash", "run.sh", "check-retirement-event"],
+			"timeoutSeconds": 120,
+			"signature": "[QK:RETIRE-EVENT-CLOSED-KEYS]",
+			"signatureSource": "pi-extensions/lib/retirement-event.test.ts"
+		},
+		{
+			"claim": "RETIRE-EVENT-FORBIDDEN",
+			"title": "free text is admitted as a retirement reason",
+			"subject": "pi-extensions/lib/retirement-event.ts",
+			"find": ["\tif (reason !== null && (typeof reason !== \"string\" || !REASON_RE.test(reason))) {"],
+			"replace": ["\tif (false) {"],
+			"gate": ["bash", "run.sh", "check-retirement-event"],
+			"timeoutSeconds": 120,
+			"signature": "[QK:RETIRE-EVENT-FORBIDDEN]",
+			"signatureSource": "pi-extensions/lib/retirement-event.test.ts"
+		},
+		{
+			"claim": "RETIRE-EVENT-INSTANT",
+			"title": "calendar rollover is accepted as an ISO instant",
+			"subject": "pi-extensions/lib/retirement-event.ts",
+			"find": ["\treturn !Number.isNaN(ms) && new Date(ms).toISOString() === value;"],
+			"replace": ["\treturn !Number.isNaN(ms);"],
+			"gate": ["bash", "run.sh", "check-retirement-event"],
+			"timeoutSeconds": 120,
+			"signature": "[QK:RETIRE-EVENT-INSTANT]",
+			"signatureSource": "pi-extensions/lib/retirement-event.test.ts"
+		},
+		{
+			"claim": "RETIRE-EVENT-BACKEND-DOMAIN",
+			"title": "one backend records the other backend's outcome as its own",
+			"subject": "pi-extensions/lib/retirement-event.ts",
+			"find": ["\tconst allowed: readonly unknown[] = RETIREMENT_OUTCOME_STATUSES_BY_BACKEND[targetBackend];"],
+			"replace": [
+				"\tconst allowed: readonly unknown[] = [\"shutdown-requested\", \"exited\", \"refused\", \"not-signalled\", \"unknown\"];"
+			],
+			"gate": ["bash", "run.sh", "check-retirement-event"],
+			"timeoutSeconds": 120,
+			"signature": "[QK:RETIRE-EVENT-BACKEND-DOMAIN]",
+			"signatureSource": "pi-extensions/lib/retirement-event.test.ts"
+		},
+		{
+			"claim": "RETIRE-EVENT-SNAPSHOT",
+			"title": "foreign prototypes stop being refused at the snapshot boundary",
+			"subject": "pi-extensions/lib/retirement-event.ts",
+			"find": [
+				"\tif (proto !== Object.prototype && proto !== null) throw new RetirementEventError(`${what} must be a plain object`);"
+			],
+			"replace": ["\t// MUTANT: foreign prototype admitted."],
+			"gate": ["bash", "run.sh", "check-retirement-event"],
+			"timeoutSeconds": 120,
+			"signature": "[QK:RETIRE-EVENT-SNAPSHOT]",
+			"signatureSource": "pi-extensions/lib/retirement-event.test.ts"
+		},
+		{
+			"claim": "RETIRE-EVENT-ONE-SNAPSHOT",
+			"title": "filename re-reads the original object after validating a different target snapshot",
+			"subject": "pi-extensions/lib/retirement-event.ts",
+			"find": ["\tconst file = retirementEventFile(retirementsDir, targetGardenId);"],
+			"replace": ["\tconst file = retirementEventFile(retirementsDir, event.targetGardenId);"],
+			"gate": ["bash", "run.sh", "check-retirement-event"],
+			"timeoutSeconds": 120,
+			"signature": "[QK:RETIRE-EVENT-ONE-SNAPSHOT]",
+			"signatureSource": "pi-extensions/lib/retirement-event.test.ts"
+		},
+		{
+			"claim": "RETIRE-EVENT-APPEND",
+			"title": "an append opens at offset zero and overwrites the preserved prefix",
+			"subject": "pi-extensions/lib/retirement-event.ts",
+			"find": ["\tconst fd = fs.openSync(file, O_WRONLY | O_APPEND | O_CREAT | O_NOFOLLOW | O_NONBLOCK, 0o600);"],
+			"replace": ["\tconst fd = fs.openSync(file, O_WRONLY | O_CREAT | O_NOFOLLOW | O_NONBLOCK, 0o600);"],
+			"gate": ["bash", "run.sh", "check-retirement-event"],
+			"timeoutSeconds": 120,
+			"signature": "[QK:RETIRE-EVENT-APPEND]",
+			"signatureSource": "pi-extensions/lib/retirement-event.test.ts"
+		},
+		{
+			"claim": "RETIRE-EVENT-CREATE",
+			"title": "new event files abandon the literal target-gid JSONL filename contract",
+			"subject": "pi-extensions/lib/retirement-event.ts",
+			"find": ["export const RETIREMENT_EVENT_SUFFIX = \".jsonl\";"],
+			"replace": ["export const RETIREMENT_EVENT_SUFFIX = \".log\";"],
+			"gate": ["bash", "run.sh", "check-retirement-event"],
+			"timeoutSeconds": 120,
+			"signature": "[QK:RETIRE-EVENT-CREATE]",
+			"signatureSource": "pi-extensions/lib/retirement-event.test.ts"
+		},
+		{
+			"claim": "RETIRE-EVENT-NOFOLLOW",
+			"title": "a final symlink is followed and its victim is appended to",
+			"subject": "pi-extensions/lib/retirement-event.ts",
+			"find": ["\tconst fd = fs.openSync(file, O_WRONLY | O_APPEND | O_CREAT | O_NOFOLLOW | O_NONBLOCK, 0o600);"],
+			"replace": ["\tconst fd = fs.openSync(file, O_WRONLY | O_APPEND | O_CREAT | O_NONBLOCK, 0o600);"],
+			"gate": ["bash", "run.sh", "check-retirement-event"],
+			"timeoutSeconds": 120,
+			"signature": "[QK:RETIRE-EVENT-NOFOLLOW]",
+			"signatureSource": "pi-extensions/lib/retirement-event.test.ts"
+		},
+		{
+			"claim": "RETIRE-EVENT-NONREGULAR",
+			"title": "a multiply linked event inode can be appended to",
+			"subject": "pi-extensions/lib/retirement-event.ts",
+			"find": [
+				"\t\tif (st.nlink !== 1) throw new RetirementEventError(`${path.basename(file)} has ${st.nlink} links; refusing`);"
+			],
+			"replace": ["\t\t// MUTANT: hardlink guard omitted."],
+			"gate": ["bash", "run.sh", "check-retirement-event"],
+			"timeoutSeconds": 120,
+			"signature": "[QK:RETIRE-EVENT-NONREGULAR]",
+			"signatureSource": "pi-extensions/lib/retirement-event.test.ts"
+		},
+		{
+			"claim": "RETIRE-EVENT-DIR",
+			"title": "a symlinked retirement directory is admitted",
+			"subject": "pi-extensions/lib/retirement-event.ts",
+			"find": ["\tif (st.isSymbolicLink() || !st.isDirectory()) {"],
+			"replace": ["\tif (false) {"],
+			"gate": ["bash", "run.sh", "check-retirement-event"],
+			"timeoutSeconds": 120,
+			"signature": "[QK:RETIRE-EVENT-DIR]",
+			"signatureSource": "pi-extensions/lib/retirement-event.test.ts"
+		},
+		{
+			"claim": "RETIRE-EVENT-PATH",
+			"title": "a relative sessions directory becomes an ambient-CWD-dependent path",
+			"subject": "pi-extensions/lib/retirement-event.ts",
+			"find": [
+				"\tif (!path.isAbsolute(sessionsDir)) throw new RetirementEventError(\"sessionsDir must be an absolute path\");"
+			],
+			"replace": ["\t// MUTANT: relative sessions directory admitted."],
+			"gate": ["bash", "run.sh", "check-retirement-event"],
+			"timeoutSeconds": 120,
+			"signature": "[QK:RETIRE-EVENT-PATH]",
+			"signatureSource": "pi-extensions/lib/retirement-event.test.ts"
+		},
+		{
+			"claim": "RETIRE-EVENT-NO-AMBIENT",
+			"title": "the append leaf begins reading ambient environment",
+			"subject": "pi-extensions/lib/retirement-event.ts",
+			"find": ["export function retirementsDirBesideSessions(sessionsDir: string): string {"],
+			"replace": [
+				"export function retirementsDirBesideSessions(sessionsDir: string): string {",
+				"\tvoid process.env.HOME;"
+			],
+			"gate": ["bash", "run.sh", "check-retirement-event"],
+			"timeoutSeconds": 120,
+			"signature": "[QK:RETIRE-EVENT-NO-AMBIENT]",
+			"signatureSource": "pi-extensions/lib/retirement-event.test.ts"
+		},
+		{
+			"claim": "RETIRE-EVENT-PRIMITIVES",
+			"title": "FIFO admission loses NONBLOCK without a semantic open-flag assertion",
+			"subject": "pi-extensions/lib/retirement-event.ts",
+			"find": ["\tconst fd = fs.openSync(file, O_WRONLY | O_APPEND | O_CREAT | O_NOFOLLOW | O_NONBLOCK, 0o600);"],
+			"replace": ["\tconst fd = fs.openSync(file, O_WRONLY | O_APPEND | O_CREAT | O_NOFOLLOW, 0o600);"],
+			"gate": ["bash", "run.sh", "check-retirement-event"],
+			"timeoutSeconds": 120,
+			"signature": "[QK:RETIRE-EVENT-PRIMITIVES]",
+			"signatureSource": "pi-extensions/lib/retirement-event.test.ts"
+		},
+		{
+			"claim": "RETIRE-EVENT-FAILURE-MATRIX",
+			"title": "the file flush disappears so a flush failure cannot be reported",
+			"subject": "pi-extensions/lib/retirement-event.ts",
+			"find": ["\t\tfs.fsyncSync(fd);"],
+			"replace": ["\t\t// MUTANT: file flush omitted."],
+			"gate": ["bash", "run.sh", "check-retirement-event"],
+			"timeoutSeconds": 120,
+			"signature": "[QK:RETIRE-EVENT-FAILURE-MATRIX]",
+			"signatureSource": "pi-extensions/lib/retirement-event.test.ts"
+		}
+	]
+}

package/scripts/mutants/v2-surface.json

@@ -2,6 +2,22 @@
 	"schemaVersion": 1,
 	"lane": "v2-surface",
 	"mutants": [
+		{
+			"claim": "V2SURF-RESUME-HINT-SCOPE",
+			"title": "the dormant capability hint returns to a Pi-only automatic-resume invitation",
+			"subject": "pi-extensions/lib/entwurf-v2-surface.ts",
+			"find": [
+				"\t\t\t\t\"Only on an explicit operator request, use entwurf_resume_call {target} for Pi or Claude Code; \" +",
+				"\t\t\t\t\"it submits no prompt. This capability hint is not permission to resume automatically.\""
+			],
+			"replace": [
+				"\t\t\t\t\"Reopen the citizen with entwurf_resume_call {target} (pi targets only; it runs no turn), then dispatch again.\""
+			],
+			"gate": ["bash", "run.sh", "check-entwurf-v2-surface"],
+			"timeoutSeconds": 60,
+			"signature": "[QK:V2SURF-RESUME-HINT-SCOPE]",
+			"signatureSource": "scripts/check-entwurf-v2-surface.ts"
+		},
 		{
 			"claim": "V2SURF-MCP-LOCK-DOMAIN",
 			"title": "MCP long description reverts to the false \"socket paths take a per-target lock\" claim",