gentle-pi 2.2.0 → 2.3.0

package/tests/writer-edit-surface-scope.test.ts

@@ -0,0 +1,230 @@
+import assert from "node:assert/strict";
+import { mkdtempSync, rmSync } from "node:fs";
+import { tmpdir } from "node:os";
+import { join } from "node:path";
+import test, { after } from "node:test";
+import type {
+	ExtensionAPI,
+	ExtensionContext,
+} from "@earendil-works/pi-coding-agent";
+import { createGentleAiExtension } from "../extensions/gentle-ai.ts";
+
+// ---------------------------------------------------------------------------
+// Bounded writer edit-surface scope guard (issue #484).
+//
+// The guard reads the `## Allowed edit surfaces` section out of the delegated
+// `subagent_run` prompt. A delegated task is a full prompt: the surfaces list
+// is followed by deeper headings (`### Validation`, `#### Return`) and by
+// ordinary prose. The section must end where the list ends, so that following
+// content is never parsed as a surface entry and never turned into a false
+// rejection. A `context` value carrying only the heading and its lines had
+// nothing following it, which is why the same surfaces were accepted there and
+// rejected in `task`.
+//
+// Every case below runs through the real `tool_call` hook with the exact
+// `subagent_run` input shape, because that is the boundary that rejected.
+// ---------------------------------------------------------------------------
+
+const REJECTION =
+	"Writer tasks must include the exact Markdown heading `## Allowed edit surfaces` with narrow repository-relative paths or narrow globs, one per line. The parent must derive or map that canonical block from the delegated task and relaunch the writer; do not accept aliases, and do not ask the human to author paths or globs.";
+
+type ToolCallHandler = (
+	event: { toolName: string; input: unknown },
+	ctx: ExtensionContext,
+) => Promise<{ block: true; reason: string } | undefined>;
+
+const scratchRoots: string[] = [];
+
+after(() => {
+	for (const dir of scratchRoots) rmSync(dir, { recursive: true, force: true });
+});
+
+function dispatchWriter(input: Record<string, unknown>) {
+	const handlers = new Map<string, ToolCallHandler>();
+	const pi = {
+		on(name: string, handler: ToolCallHandler) {
+			handlers.set(name, handler);
+		},
+		events: { emit() {} },
+		registerCommand() {},
+		registerTool() {},
+	} as unknown as ExtensionAPI;
+	createGentleAiExtension({ nativeReviewCli: null })(pi);
+	const toolCall = handlers.get("tool_call");
+	assert.equal(typeof toolCall, "function");
+	const cwd = mkdtempSync(join(tmpdir(), "gentle-pi-writer-surfaces-"));
+	scratchRoots.push(cwd);
+	return toolCall!({ toolName: "subagent_run", input }, {
+		cwd,
+		hasUI: false,
+		ui: { confirm: async () => true },
+	} as ExtensionContext);
+}
+
+async function assertAccepted(input: Record<string, unknown>, message: string) {
+	assert.equal(await dispatchWriter(input), undefined, message);
+}
+
+async function assertRejected(input: Record<string, unknown>, message: string) {
+	assert.deepEqual(await dispatchWriter(input), { block: true, reason: REJECTION }, message);
+}
+
+test("task-scoped surfaces are accepted ahead of a deeper heading", async () => {
+	await assertAccepted({
+		agent: "gentle-ai-worker",
+		mode: "task",
+		task: [
+			"Fix the decoder.",
+			"",
+			"## Allowed edit surfaces",
+			"- `lib/sdd-status.ts`",
+			"- `tests/sdd-status.test.ts`",
+			"",
+			"### Validation commands",
+			"- pnpm test",
+			"",
+			"#### Return",
+			"- one structured envelope",
+		].join("\n"),
+	}, "a delegated task ends its surfaces list at the next heading of any level");
+});
+
+test("task-scoped surfaces are accepted ahead of trailing prose", async () => {
+	await assertAccepted({
+		agent: "gentle-ai-worker",
+		mode: "task",
+		task: [
+			"## Allowed edit surfaces",
+			"- `lib/sdd-status.ts`",
+			"",
+			"Then run the focused test file and report the outcome.",
+		].join("\n"),
+	}, "prose after the list is not a surface entry");
+});
+
+test("the documented task shape from issue #484 is accepted", async () => {
+	await assertAccepted({
+		agent: "gentle-ai-worker",
+		mode: "task",
+		task: [
+			"## Allowed edit surfaces",
+			"- `lib/sdd-status.ts`",
+			"- `tests/sdd-status.test.ts`",
+			"",
+			"## Skills to load before work",
+			"- `skills/typescript/SKILL.md`",
+		].join("\n"),
+	}, "the reported repro shape stays accepted");
+});
+
+test("bullet, backtick and plain-line surfaces reach the same decision", async () => {
+	const bulleted = ["## Allowed edit surfaces", "- `lib/sdd-status.ts`", "- `tests/sdd-status.test.ts`"].join("\n");
+	const plain = ["## Allowed edit surfaces", "lib/sdd-status.ts", "tests/sdd-status.test.ts"].join("\n");
+	await assertAccepted({ agent: "gentle-ai-worker", mode: "task", task: bulleted }, "bullets in task are accepted");
+	await assertAccepted({ agent: "gentle-ai-worker", mode: "task", task: plain }, "plain lines in task are accepted");
+	await assertAccepted(
+		{ agent: "gentle-ai-worker", mode: "task", task: "Fix the decoder.", context: bulleted },
+		"bullets in context are accepted",
+	);
+	await assertAccepted(
+		{ agent: "gentle-ai-worker", mode: "task", task: "Fix the decoder.", context: plain },
+		"plain lines in context are accepted",
+	);
+	await assertAccepted(
+		{ agent: "gentle-ai-worker", mode: "task", task: bulleted, context: plain },
+		"the same surfaces in both fields are accepted",
+	);
+});
+
+test("a list broken by a blank line still validates every entry", async () => {
+	await assertRejected({
+		agent: "gentle-ai-worker",
+		mode: "task",
+		task: ["## Allowed edit surfaces", "- `lib/sdd-status.ts`", "", "- `/etc/passwd`"].join("\n"),
+	}, "a loose bulleted list cannot smuggle an absolute path past the guard");
+	await assertRejected({
+		agent: "gentle-ai-worker",
+		mode: "task",
+		context: ["## Allowed edit surfaces", "lib/sdd-status.ts", "", "/etc/passwd"].join("\n"),
+	}, "a loose plain-line list cannot smuggle an absolute path past the guard");
+	await assertRejected({
+		agent: "gentle-ai-worker",
+		mode: "task",
+		task: ["## Allowed edit surfaces", "lib/sdd-status.ts", "", "../other-repo/lib/a.ts"].join("\n"),
+	}, "a loose plain-line list cannot smuggle parent traversal past the guard");
+});
+
+test("an entry hidden below a paragraph is validated, not discarded", async () => {
+	await assertRejected({
+		agent: "gentle-ai-worker",
+		mode: "task",
+		task: [
+			"## Allowed edit surfaces",
+			"- `lib/sdd-status.ts`",
+			"",
+			"Also authorize the following path.",
+			"- `/etc/passwd`",
+		].join("\n"),
+	}, "prose does not close the list while a path still follows it");
+	await assertAccepted({
+		agent: "gentle-ai-worker",
+		mode: "task",
+		task: [
+			"## Allowed edit surfaces",
+			"- `lib/sdd-status.ts`",
+			"",
+			"Then run the focused test file and report the outcome.",
+		].join("\n"),
+	}, "genuinely trailing prose still closes the list");
+});
+
+test("out-of-scope and empty surfaces stay rejected", async () => {
+	await assertRejected({
+		agent: "gentle-ai-worker",
+		mode: "task",
+		task: "Fix the decoder.",
+	}, "a task with no section is rejected");
+	await assertRejected({
+		agent: "gentle-ai-worker",
+		mode: "task",
+		task: ["## Edit ranges", "- `lib/sdd-status.ts`"].join("\n"),
+	}, "a semantically equivalent heading is rejected with the actionable canonical-heading reason");
+	await assertRejected({
+		agent: "gentle-ai-worker",
+		mode: "task",
+		task: ["## Allowed edit surfaces", "", "## Skills to load before work", "- `skills/typescript/SKILL.md`"].join("\n"),
+	}, "an empty section is rejected");
+	await assertRejected({
+		agent: "gentle-ai-worker",
+		mode: "task",
+		task: ["## Allowed edit surfaces", "- `/home/user/repo/lib/sdd-status.ts`"].join("\n"),
+	}, "an absolute path is rejected");
+	await assertRejected({
+		agent: "gentle-ai-worker",
+		mode: "task",
+		task: ["## Allowed edit surfaces", "- `../other-repo/lib/sdd-status.ts`"].join("\n"),
+	}, "parent traversal is rejected");
+	await assertRejected({
+		agent: "gentle-ai-worker",
+		mode: "task",
+		task: ["## Allowed edit surfaces", "- `.`"].join("\n"),
+	}, "the repository root is rejected");
+	await assertRejected({
+		agent: "gentle-ai-worker",
+		mode: "task",
+		task: ["## Allowed edit surfaces", "- `*`"].join("\n"),
+	}, "a repository-wide glob is rejected");
+	await assertRejected({
+		agent: "worker",
+		mode: "task",
+		task: ["## Allowed edit surfaces", "- `~/lib/sdd-status.ts`"].join("\n"),
+	}, "a home-relative path is rejected for the configured worker too");
+});
+
+test("agents outside the bounded writer set are not scope-guarded", async () => {
+	await assertAccepted({
+		agent: "gentle-ai-explore",
+		mode: "task",
+		task: "Map the decoder call sites.",
+	}, "a read-only explorer needs no edit surfaces");
+});

package/themes/Gentleman-Cute.json

@@ -0,0 +1,94 @@
+{
+  "$schema": "https://raw.githubusercontent.com/earendil-works/pi-mono/main/packages/coding-agent/src/modes/interactive/theme/theme-schema.json",
+  "name": "Gentleman-Cute",
+  "vars": {
+    "bg": "#060407",
+    "bgPanel": "#100A0F",
+    "bgElement": "#100A0F",
+    "bgSubtle": "#100A0F",
+    "border": "#563040",
+    "borderSubtle": "#2A1720",
+    "text": "#F6EFF3",
+    "muted": "#A78E9B",
+    "dim": "#76616B",
+    "accent": "#F095C8",
+    "deepPink": "#C96AA2",
+    "activePink": "#FFB1DD",
+    "champagne": "#E0C27A",
+    "pearl": "#D2CBD0",
+    "softRose": "#D7A0B8",
+    "powderBlue": "#A9C7EE",
+    "mint": "#B4E7C7",
+    "peach": "#F2B86D",
+    "sky": "#C4DAF6",
+    "warning": "#F2B86D",
+    "error": "#FF718F",
+    "selection": "#28121E",
+    "toolPendingBg": "#100A0F",
+    "toolSuccessBg": "#151316",
+    "toolErrorBg": "#261019",
+    "infoBg": "#100A0F"
+  },
+  "colors": {
+    "accent": "accent",
+    "border": "border",
+    "borderAccent": "activePink",
+    "borderMuted": "borderSubtle",
+    "success": "mint",
+    "error": "error",
+    "warning": "warning",
+    "muted": "muted",
+    "dim": "dim",
+    "text": "text",
+    "thinkingText": "muted",
+    "selectedBg": "selection",
+    "scrollbarThumb": "border",
+    "searchMatchBg": "deepPink",
+    "searchMatchText": "text",
+    "userMessageBg": "bgElement",
+    "userMessageText": "text",
+    "customMessageBg": "bgSubtle",
+    "customMessageText": "text",
+    "customMessageLabel": "champagne",
+    "toolPendingBg": "toolPendingBg",
+    "toolSuccessBg": "toolSuccessBg",
+    "toolErrorBg": "toolErrorBg",
+    "toolTitle": "champagne",
+    "toolOutput": "text",
+    "mdHeading": "champagne",
+    "mdLink": "accent",
+    "mdLinkUrl": "muted",
+    "mdCode": "champagne",
+    "mdCodeBlock": "text",
+    "mdCodeBlockBorder": "muted",
+    "mdQuote": "muted",
+    "mdQuoteBorder": "deepPink",
+    "mdHr": "borderSubtle",
+    "mdListBullet": "accent",
+    "toolDiffAdded": "mint",
+    "toolDiffRemoved": "error",
+    "toolDiffContext": "muted",
+    "syntaxComment": "muted",
+    "syntaxKeyword": "accent",
+    "syntaxFunction": "powderBlue",
+    "syntaxVariable": "text",
+    "syntaxString": "mint",
+    "syntaxNumber": "peach",
+    "syntaxType": "champagne",
+    "syntaxOperator": "sky",
+    "syntaxPunctuation": "muted",
+    "thinkingOff": "borderSubtle",
+    "thinkingMinimal": "dim",
+    "thinkingLow": "muted",
+    "thinkingMedium": "powderBlue",
+    "thinkingHigh": "softRose",
+    "thinkingXhigh": "accent",
+    "thinkingMax": "activePink",
+    "bashMode": "champagne"
+  },
+  "export": {
+    "pageBg": "bg",
+    "cardBg": "bgElement",
+    "infoBg": "infoBg"
+  }
+}

package/themes/Gentleman-Sexy.json

@@ -0,0 +1,92 @@
+{
+  "$schema": "https://raw.githubusercontent.com/earendil-works/pi-mono/main/packages/coding-agent/src/modes/interactive/theme/theme-schema.json",
+  "name": "Gentleman-Sexy",
+  "vars": {
+    "bg": "#060407",
+    "bgPanel": "#100A0F",
+    "bgElement": "#100A0F",
+    "bgSubtle": "#100A0F",
+    "border": "#563040",
+    "borderSubtle": "#2A1720",
+    "text": "#F6EFF3",
+    "muted": "#A78E9B",
+    "dim": "#76616B",
+    "accent": "#F43888",
+    "deepPink": "#BF0F50",
+    "activePink": "#FF4F9A",
+    "champagne": "#E0C27A",
+    "violet": "#C49BFF",
+    "pearl": "#D2CBD0",
+    "softRose": "#D7A0B8",
+    "powderBlue": "#A9C7EE",
+    "warning": "#F2B86D",
+    "error": "#FF718F",
+    "selection": "#28121E",
+    "toolPendingBg": "#100A0F",
+    "toolSuccessBg": "#151316",
+    "toolErrorBg": "#261019",
+    "infoBg": "#100A0F"
+  },
+  "colors": {
+    "accent": "accent",
+    "border": "border",
+    "borderAccent": "activePink",
+    "borderMuted": "borderSubtle",
+    "success": "pearl",
+    "error": "error",
+    "warning": "warning",
+    "muted": "muted",
+    "dim": "dim",
+    "text": "text",
+    "thinkingText": "muted",
+    "selectedBg": "selection",
+    "scrollbarThumb": "border",
+    "searchMatchBg": "deepPink",
+    "searchMatchText": "text",
+    "userMessageBg": "bgElement",
+    "userMessageText": "text",
+    "customMessageBg": "bgSubtle",
+    "customMessageText": "text",
+    "customMessageLabel": "champagne",
+    "toolPendingBg": "toolPendingBg",
+    "toolSuccessBg": "toolSuccessBg",
+    "toolErrorBg": "toolErrorBg",
+    "toolTitle": "champagne",
+    "toolOutput": "text",
+    "mdHeading": "champagne",
+    "mdLink": "activePink",
+    "mdLinkUrl": "muted",
+    "mdCode": "champagne",
+    "mdCodeBlock": "text",
+    "mdCodeBlockBorder": "muted",
+    "mdQuote": "muted",
+    "mdQuoteBorder": "deepPink",
+    "mdHr": "borderSubtle",
+    "mdListBullet": "activePink",
+    "toolDiffAdded": "powderBlue",
+    "toolDiffRemoved": "error",
+    "toolDiffContext": "muted",
+    "syntaxComment": "muted",
+    "syntaxKeyword": "deepPink",
+    "syntaxFunction": "violet",
+    "syntaxVariable": "text",
+    "syntaxString": "champagne",
+    "syntaxNumber": "softRose",
+    "syntaxType": "powderBlue",
+    "syntaxOperator": "activePink",
+    "syntaxPunctuation": "muted",
+    "thinkingOff": "borderSubtle",
+    "thinkingMinimal": "dim",
+    "thinkingLow": "muted",
+    "thinkingMedium": "powderBlue",
+    "thinkingHigh": "violet",
+    "thinkingXhigh": "activePink",
+    "thinkingMax": "accent",
+    "bashMode": "champagne"
+  },
+  "export": {
+    "pageBg": "bg",
+    "cardBg": "bgElement",
+    "infoBg": "infoBg"
+  }
+}