pi-soly 2.1.1 → 2.1.3

package/README.md

@@ -29,6 +29,7 @@ Restart pi (`/reload`), and you have:
 - **Project management** — plans, state, phases, decisions
 - **Workflow engine** — runs inline (no subagent plugin). The model proposes the next step and drives it via the `soly_workflow` tool on your plain-language intent; the verbs `soly discuss` · `plan` · `execute` · `verify` · `pause`/`resume` still work as text
 - **Self-review loop** — `soly verify` re-reviews the work until "No issues found."
+- **Goal-aware verification** — at the end of every `soly execute` (task / plan / phase plan-level), the worker reads PLAN.md's `## Goal` + `## Acceptance` and judges each item against `git diff`. A `## Status` section is appended to PLAN.md with a PASS / BLOCKED verdict. On `BLOCKED` the worker halts before calling `soly done` — so you can't ship a plan whose goal isn't actually met.
 - **Visual chrome** — native footer, equalizer working spinner with live telemetry, gradient welcome banner
 - **Rules & docs modal** — `/rules` and `/docs` open a fuzzy list + preview panel (no chat dumps)
 - **Mandatory rules** — strict-mode directives injected every turn

package/ask/picker.ts

@@ -141,6 +141,11 @@ export class AskProComponent extends Container {
 	private selectedIndex = 0;
 	/** answers[questionIdx] = AskAnswer (single) or AskMultiAnswer (multi). */
 	private answers = new Map<number, AskAnswer | AskMultiAnswer>();
+	/** "questions" = tabbed flow; "summary" = read-only recap before submit.
+	 *  After the last question is answered, the picker transitions to "summary"
+	 *  so the user can review all answers before committing. Enter submits,
+	 *  Esc cancels. */
+	private viewMode: "questions" | "summary" = "questions";
 	/** notes[questionIdx] = free-text note added by user (via `n` key). */
 	private notes = new Map<number, string>();
 	/** Set true once `done` is called — further input is ignored. */
@@ -251,8 +256,21 @@ export class AskProComponent extends Container {
 
 	private repaint(): void {
 		this.tabsText.setText(this.renderTabs());
-		this.renderQuestionBody();
-		this.footerText.setText(this.renderFooter());
+		if (this.viewMode === "summary") {
+			this.renderSummaryBody();
+			this.footerText.setText(this.renderSummaryFooter());
+		} else {
+			this.renderQuestionBody();
+			this.footerText.setText(this.renderFooter());
+		}
+	}
+
+	/** Switch to the read-only recap view. Triggered when the user completes
+	 *  the last question and all answers are present. The actual submit() only
+	 *  fires when Enter is pressed in summary mode. */
+	private showSummary(): void {
+		this.viewMode = "summary";
+		this.repaint();
 	}
 
 	private renderTabs(): string {
@@ -602,6 +620,85 @@ export class AskProComponent extends Container {
 		return parts.join("   ");
 	}
 
+	// -------------------------------------------------------------------------
+	// Summary view rendering — read-only recap shown after the last question.
+	// One line per question: "<header>: <answer>". Skipped questions show a
+	// strike-through-like marker. Notes are shown indented below.
+	// -------------------------------------------------------------------------
+
+	/** Render the recap body into bodyContainer. Replaces renderQuestionBody
+	 *  while in summary mode. */
+	private renderSummaryBody(): void {
+		this.bodyContainer.clear();
+		this.bodyContainer.addChild(
+			new Text(
+				this.theme.bold("Review your answers") +
+					this.theme.fg("dim", " — press Enter to submit, Esc to cancel"),
+				1,
+				0,
+			),
+		);
+		this.bodyContainer.addChild(new Spacer(1));
+		for (let i = 0; i < this.questions.length; i++) {
+			const q = this.questions[i]!;
+			const answerText = this.formatAnswerForSummary(i);
+			const header = this.theme.bold(q.header);
+			const marker = this.theme.fg("accent", `Q${i + 1}:`);
+			this.bodyContainer.addChild(
+				new Text(`  ${marker} ${header}  →  ${answerText}`, 1, 0),
+			);
+			const note = this.notes.get(i);
+			if (note) {
+				this.bodyContainer.addChild(
+					new Text(this.theme.fg("dim", `      note: ${note}`), 1, 0),
+				);
+			}
+		}
+	}
+
+	/** Format a single question's answer for the recap line. Skipped
+	 *  questions show a strikethrough-style marker; free-text shows the
+	 *  typed string (or "—" if blank); option picks show the label. */
+	private formatAnswerForSummary(qIdx: number): string {
+		if (this.skipped.has(qIdx)) {
+			return this.theme.fg("dim", "— skipped —");
+		}
+		const q = this.questions[qIdx]!;
+		if (q.freeText) {
+			const v = this.answers.get(qIdx);
+			const text = typeof v === "string" && v.length > 0 ? v : "—";
+			return this.theme.fg("text", text);
+		}
+		const ans = this.answers.get(qIdx);
+		if (ans === undefined) {
+			return this.theme.fg("dim", "— no answer —");
+		}
+		if (q.multiSelect) {
+			const arr = ans as AskMultiAnswer;
+			if (arr.length === 0) return this.theme.fg("dim", "— none —");
+			const labels = arr.map((a) => this.formatOptionLabel(q, a));
+			return this.theme.fg("text", labels.join(", "));
+		}
+		return this.theme.fg("text", this.formatOptionLabel(q, ans as AskAnswer));
+	}
+
+	/** Resolve a single answer value (index or custom string) to a label. */
+	private formatOptionLabel(q: AskQuestion, ans: AskAnswer): string {
+		if (typeof ans === "string") {
+			return `Other: ${ans}`;
+		}
+		const opt = q.options[ans];
+		return opt ? opt.label : `option ${ans}`;
+	}
+
+	/** Footer for the summary view. */
+	private renderSummaryFooter(): string {
+		return [
+			this.theme.fg("accent", "⏎ submit"),
+			this.theme.fg("dim", "esc cancel"),
+		].join("   ");
+	}
+
 	private isAnswered(qIdx: number): boolean {
 		// Explicitly skipped questions never block submission.
 		if (this.skipped.has(qIdx)) return true;
@@ -633,6 +730,27 @@ export class AskProComponent extends Container {
 	handleInput(keyData: string): void {
 		if (this.completed) return;
 
+		// --- Summary view (read-only recap before submit) ------------------
+		// After the last question is answered, the picker shows a recap of
+		// all answers. Enter commits, Esc cancels. All other keys are
+		// ignored (no per-question editing in summary mode).
+		if (this.viewMode === "summary") {
+			if (keyData === KEY_ESC) {
+				this.completed = true;
+				this.done({ cancelled: true });
+				return;
+			}
+			if (
+				this.keybindings.matches(keyData, "tui.select.confirm") ||
+				keyData === KEY_ENTER ||
+				keyData === KEY_ENTER_CR
+			) {
+				this.submit();
+				return;
+			}
+			return;
+		}
+
 		// --- Inline text-input mode (note / Other…) --------------------------
 		// When active, all keys route to the embedded Input except the
 		// confirm/cancel gestures, which we intercept to commit or abort.
@@ -775,13 +893,14 @@ export class AskProComponent extends Container {
 
 			if (isMulti) {
 				// On the LAST question, if all questions are answered, Enter
-				// submits. Otherwise it advances (if not last) or stays put
+				// transitions to the summary view (where another Enter actually
+				// submits). Otherwise it advances (if not last) or stays put
 				// (on last + not all answered — user must finish first).
 				if (
 					this.currentIndex === this.questions.length - 1 &&
 					this.allAnswered()
 				) {
-					this.submit();
+					this.showSummary();
 					return;
 				}
 				if (this.currentIndex < this.questions.length - 1) {
@@ -790,14 +909,15 @@ export class AskProComponent extends Container {
 				}
 				this.repaint();
 			} else {
-				// Single-select: set current as answer, then advance or submit
+				// Single-select: set current as answer, then advance or transition
+				// to summary. The final submit happens after Enter in summary mode.
 				this.answers.set(this.currentIndex, this.selectedIndex);
 				if (this.currentIndex < this.questions.length - 1) {
 					this.currentIndex++;
 					this.selectedIndex = this.defaultIndexFor(this.currentIndex);
 					this.repaint();
 				} else if (this.allAnswered()) {
-					this.submit();
+					this.showSummary();
 				} else {
 					this.repaint();
 				}
@@ -846,8 +966,8 @@ export class AskProComponent extends Container {
 				this.selectedIndex = this.defaultIndexFor(this.currentIndex);
 				this.repaint();
 			} else if (this.allAnswered()) {
-				// Last question + all answered → submit
-				this.submit();
+				// Last question + all answered → summary view (Enter there submits)
+				this.showSummary();
 			} else {
 				this.repaint();
 			}
@@ -876,7 +996,7 @@ export class AskProComponent extends Container {
 			this.selectedIndex = this.defaultIndexFor(this.currentIndex);
 			this.repaint();
 		} else if (this.allAnswered()) {
-			this.submit();
+			this.showSummary();
 		} else {
 			this.repaint();
 		}

package/ask/tests/picker.test.ts

@@ -107,10 +107,13 @@ describe("AskProComponent — single-select (number keys)", () => {
 		expect(picker.getCurrentIndex()).toBe(1);
 	});
 
-	test("on last question, '1' picks AND submits", () => {
+	test("on last question, '1' picks AND transitions to summary view (Enter there submits)", () => {
 		const { picker, getDone } = setup();
 		picker.handleInput("1"); // Q1 → JWT cookie (recommended), advance
-		picker.handleInput("2"); // Q2 → Bearer header, submit (last)
+		picker.handleInput("2"); // Q2 → Bearer header, transitions to summary
+		// Now in summary view — Enter actually submits.
+		expect(getDone()).toBeNull();
+		picker.handleInput("\n"); // confirm summary
 		expect(getDone()).toEqual({ answers: { 0: 0, 1: 1 } });
 	});
 });
@@ -146,14 +149,16 @@ describe("AskProComponent — single-select (arrows + enter)", () => {
 		expect(picker.getSelectedIndex()).toBe(2);
 	});
 
-	test("Enter confirms current selection, advances or submits", () => {
+	test("Enter confirms current selection, advances or transitions to summary", () => {
 		const { picker, getDone } = setup();
 		picker.handleInput("j"); // selectedIndex = 1 (JWT localStorage)
 		picker.handleInput("\n"); // confirm
 		expect(picker.getAnswers().get(0)).toBe(1);
 		expect(picker.getCurrentIndex()).toBe(1); // advanced
 		expect(getDone()).toBeNull();
-		picker.handleInput("\n"); // confirm Q2 default (index 0)
+		picker.handleInput("\n"); // confirm Q2 default (index 0) → summary
+		expect(getDone()).toBeNull();
+		picker.handleInput("\n"); // confirm summary
 		expect(getDone()).toEqual({ answers: { 0: 1, 1: 0 } });
 	});
 });
@@ -275,17 +280,19 @@ describe("AskProComponent — multi-select", () => {
 		expect(picker.getAnswers().size).toBe(0); // nothing toggled
 	});
 
-	test("Submit only when all questions answered (multi on last)", () => {
+	test("Submit only when all questions answered (multi on last) — Enter there confirms summary", () => {
 		const { picker, getDone } = setup(multiQuestions);
 		picker.handleInput("1"); // Q1 multi: pick Auth
 		picker.handleInput("\t"); // → Q2
-		picker.handleInput("\n"); // Q2 single: confirm default (High)
+		picker.handleInput("\n"); // Q2 single: confirm default (High) → summary
+		expect(getDone()).toBeNull();
+		picker.handleInput("\n"); // confirm summary
 		expect(getDone()).toEqual({ answers: { 0: [0], 1: 0 } });
 	});
 
-	test("Enter on LAST multi question + all answered → submit (universal confirm)", () => {
+	test("Enter on LAST multi question + all answered → summary view (Enter there confirms)", () => {
 		// Multi-select LAST question: Enter is the universal confirm gesture.
-		// If all questions are answered, Enter submits.
+		// It transitions to the summary view; another Enter actually submits.
 		const TWO_MULTI: AskQuestion[] = [
 			{ header: "Tasks", question: "?", options: [{ label: "A" }, { label: "B" }], multiSelect: true },
 			{ header: "Priority", question: "?", options: [{ label: "H" }, { label: "L" }], multiSelect: true },
@@ -294,7 +301,10 @@ describe("AskProComponent — multi-select", () => {
 		picker.handleInput(" "); // Q1 multi: Space → toggle A
 		picker.handleInput("\t"); // → Q2
 		picker.handleInput(" "); // Q2 multi: Space → toggle H
-		// Now all answered, on last question, Enter should submit
+		// Now all answered, on last question, Enter transitions to summary.
+		picker.handleInput("\n");
+		expect(getDone()).toBeNull();
+		// Enter in summary view actually submits.
 		picker.handleInput("\n");
 		expect(getDone()).toEqual({ answers: { 0: [0], 1: [0] } });
 	});
@@ -662,8 +672,11 @@ describe("AskProComponent — notes (n key)", () => {
 		picker.handleInput("n");
 		for (const ch of "rotate keys monthly") picker.handleInput(ch);
 		picker.handleInput("\n"); // commit
-		// Submit Q2 (last question, all answered)
+		// Pick Q2 (last question, all answered) → summary view
 		picker.handleInput("1");
+		expect(doneResult).toBeNull();
+		// Enter in summary view actually submits.
+		picker.handleInput("\n");
 		expect(doneResult).not.toBeNull();
 		const result = doneResult as AskProResult | null;
 		expect(result?.notes).toBeDefined();
@@ -697,9 +710,12 @@ describe("AskProComponent — notes (n key)", () => {
 		picker.handleInput("n");
 		picker.handleInput("\x15"); // ^U — delete to line start
 		picker.handleInput("\n"); // commit empty → note cleared
-		// Pick Q1 → Q2 → submit; result must NOT carry notes
+		// Pick Q1 → Q2 → summary; Enter there actually submits. Result must
+		// NOT carry notes.
 		picker.handleInput("1");
 		picker.handleInput("1");
+		expect(doneResult).toBeNull();
+		picker.handleInput("\n");
 		expect(doneResult as AskProResult | null).toEqual({ answers: { 0: 0, 1: 0 } });
 	});
 
@@ -710,6 +726,97 @@ describe("AskProComponent — notes (n key)", () => {
 	});
 });
 
+// ---------------------------------------------------------------------------
+// Summary view: read-only recap shown after the last question is answered.
+// Enter there commits the answers; Esc cancels. Other keys are ignored.
+// ---------------------------------------------------------------------------
+
+describe("AskProComponent — summary view (post-last-question recap)", () => {
+	test("single-select last question transitions to summary (Enter submits)", () => {
+		const { picker, getDone } = setup();
+		picker.handleInput("1"); // Q1 → advance
+		picker.handleInput("2"); // Q2 → summary view
+		expect(getDone()).toBeNull();
+		picker.handleInput("\n"); // confirm summary
+		expect(getDone()).toEqual({ answers: { 0: 0, 1: 1 } });
+	});
+
+	test("Esc in summary view cancels the whole picker", () => {
+		const { picker, getDone } = setup();
+		picker.handleInput("1");
+		picker.handleInput("2"); // → summary
+		picker.handleInput("\x1b"); // Esc
+		expect(getDone()).toEqual({ cancelled: true });
+	});
+
+	test("multi-select last question transitions to summary", () => {
+		const TWO_MULTI: AskQuestion[] = [
+			{ header: "Tasks", question: "?", options: [{ label: "A" }, { label: "B" }], multiSelect: true },
+			{ header: "Priority", question: "?", options: [{ label: "H" }, { label: "L" }], multiSelect: true },
+		];
+		const { picker, getDone } = setup(TWO_MULTI);
+		picker.handleInput(" "); // Q1: toggle A
+		picker.handleInput("\t"); // → Q2
+		picker.handleInput(" "); // Q2: toggle H
+		picker.handleInput("\n"); // Enter on last multi → summary
+		expect(getDone()).toBeNull();
+		picker.handleInput("\n"); // confirm
+		expect(getDone()).toEqual({ answers: { 0: [0], 1: [0] } });
+	});
+
+	test("summary view ignores non-Enter/non-Esc keys", () => {
+		const { picker, getDone } = setup();
+		picker.handleInput("1");
+		picker.handleInput("2"); // → summary
+		// Junk keys: should NOT submit or cancel.
+		picker.handleInput("a");
+		picker.handleInput("\t");
+		picker.handleInput(" ");
+		expect(getDone()).toBeNull();
+		// Enter still works.
+		picker.handleInput("\n");
+		expect(getDone()).toEqual({ answers: { 0: 0, 1: 1 } });
+	});
+
+	test("summary view shows all answers in render()", () => {
+		const { picker } = setup();
+		picker.handleInput("1"); // Q1: JWT cookie (label index 0)
+		picker.handleInput("2"); // Q2: Bearer header (label index 1) → summary
+		const out = picker.render(80).join("\n");
+		// Recap shows both questions with their labels.
+		expect(out).toContain("JWT cookie");
+		expect(out).toContain("Bearer header");
+		// Header hint for the recap itself.
+		expect(out).toContain("Review your answers");
+	});
+
+	test("skipped questions render as '— skipped —' in summary", () => {
+		const { picker } = setup();
+		picker.handleInput("1"); // Q1 → advance
+		picker.handleInput("s"); // Q2: skip → advance (but already last; → summary)
+		// Q1 answered, Q2 skipped → allAnswered() returns true (skipped counts as answered).
+		const { getDone } = setup(); // re-setup for clarity
+		void getDone; // silence unused
+		// The above setup didn't help; let me assert against the original flow:
+		expect(picker.render(80).join("\n")).toContain("skipped");
+	});
+
+	test("free-text typed answer renders verbatim in summary", () => {
+		const FT: AskQuestion[] = [
+			{ header: "Title", question: "?", options: [{ label: "A" }] },
+			{ header: "Note", question: "?", options: [], freeText: true },
+		];
+		const { picker, getDone } = setup(FT);
+		picker.handleInput("1"); // Q1 → advance
+		picker.handleInput("hello world"); // free-text typing
+		picker.handleInput("\n"); // commit
+		// Q1 answered, Q2 answered → summary
+		expect(getDone()).toBeNull();
+		const out = picker.render(80).join("\n");
+		expect(out).toContain("hello world");
+	});
+});
+
 // ---------------------------------------------------------------------------
 // Regression: render() must NEVER emit a line wider than `width`.
 // Previously the side-by-side preview layout measured width with a regex

package/commands.ts

@@ -171,7 +171,7 @@ export function registerCommands(pi: ExtensionAPI, deps: CommandsDeps): void {
 				const rules = getRules();
 				const overridden = getOverridden();
 				if (rules.length === 0 && overridden.length === 0) {
-					ui.notify("no rules loaded from any source", "info");
+
 					return;
 				}
 				// Rich modal in the TUI; plain select elsewhere (RPC/print).
@@ -205,17 +205,11 @@ export function registerCommands(pi: ExtensionAPI, deps: CommandsDeps): void {
 					if (choice < rules.length) {
 						const rel = rules[choice];
 						if (rel) {
-							ui.notify(
-								`[${rel.sourceLabel}] ${rel.relPath}\n\n${rel.body}`,
-								"info",
-							);
+
 						}
 					} else {
 						const idx = choice - rules.length;
-						ui.notify(
-							`overridden: ${overridden[idx]} (skipped — a higher-priority source defines this rule)`,
-							"info",
-						);
+
 					}
 				}
 				return;
@@ -224,7 +218,7 @@ export function registerCommands(pi: ExtensionAPI, deps: CommandsDeps): void {
 			if (sub === "analytics") {
 				const rules = getRules();
 				const analytics = analyzeRules(rules, CONTEXT_WINDOW_TOKENS);
-				ui.notify(formatAnalyticsFull(analytics), "info");
+
 				return;
 			}
 
@@ -234,7 +228,7 @@ export function registerCommands(pi: ExtensionAPI, deps: CommandsDeps): void {
 				// Surfaces context bloat and verifies rules will actually fire.
 				const rules = getRules();
 				const stats = buildRulesContextStats(rules, CONTEXT_WINDOW_TOKENS);
-				ui.notify(formatRulesContextStats(stats), "info");
+
 				return;
 			}
 
@@ -250,13 +244,13 @@ export function registerCommands(pi: ExtensionAPI, deps: CommandsDeps): void {
 					ui.notify(`Rule not found: ${target}`, "error");
 					return;
 				}
-				ui.notify(`[${rule.sourceLabel}] ${rule.relPath}\n\n${rule.body}`, "info");
+
 				return;
 			}
 
 			if (sub === "reload") {
 				refreshRules();
-				ui.notify(`Reloaded ${getRules().length} rules`, "info");
+
 				updateStatus(ui);
 				return;
 			}
@@ -274,7 +268,7 @@ export function registerCommands(pi: ExtensionAPI, deps: CommandsDeps): void {
 					return;
 				}
 				rule.enabled = sub === "enable";
-				ui.notify(`${rule.relPath} ${sub}d`, "info");
+
 				updateStatus(ui);
 				return;
 			}
@@ -289,10 +283,7 @@ export function registerCommands(pi: ExtensionAPI, deps: CommandsDeps): void {
 						count++;
 					}
 				}
-				ui.notify(
-					`${count} rule(s) ${enable ? "enabled" : "disabled"} (${rules.length} total)`,
-					enable ? "info" : "warning",
-				);
+
 				updateStatus(ui);
 				return;
 			}
@@ -313,7 +304,7 @@ export function registerCommands(pi: ExtensionAPI, deps: CommandsDeps): void {
 				categories.map((c) => `${c.name} — ${c.description}`),
 			);
 			if (choice == null) {
-				ui.notify("cancelled", "info");
+
 				return;
 			}
 			const cat = categories[choice];
@@ -359,11 +350,7 @@ What must the LLM do?
 `;
 			try {
 				fs.writeFileSync(filePath, template, "utf-8");
-				ui.notify(
-					`soly: created ${path.relative(cwd, filePath)}\n\n` +
-						`Next: edit the file (description, globs, body), then \`/rules reload\` to load it.`,
-					"info",
-				);
+
 				refreshRules();
 				updateStatus(ui);
 			} catch (e) {
@@ -385,7 +372,7 @@ What must the LLM do?
 					ui.notify(`soly: only http(s) URLs are supported (got ${parsed.protocol})`, "error");
 					return;
 				}
-				ui.notify(`soly: downloading ${url}…`, "info");
+
 				const res = await fetch(url, {
 					signal: AbortSignal.timeout(10_000),
 					headers: { "user-agent": "soly-extension/1.0" },
@@ -420,16 +407,13 @@ What must the LLM do?
 						`${fileName} already exists. Overwrite?`,
 					);
 					if (!overwrite) {
-						ui.notify("soly: add cancelled", "info");
+
 						return;
 					}
 				}
 				fs.writeFileSync(targetFile, text, "utf-8");
 				refreshRules();
-				ui.notify(
-					`soly: installed ${path.relative(process.cwd(), targetFile)} (${(text.length / 1024).toFixed(1)}KB)`,
-					"info",
-				);
+
 				updateStatus(ui);
 			} catch (e) {
 				ui.notify(`soly: download failed: ${(e as Error).message}`, "error");
@@ -466,7 +450,7 @@ What must the LLM do?
 			if (sub === "list") {
 				const docs = getIntentDocs();
 				if (docs.length === 0) {
-					ui.notify("no intent docs found in .agents/docs/ — drop your vision/domain docs there", "info");
+
 					return;
 				}
 				if (ctx.mode === "tui") {
@@ -493,15 +477,11 @@ What must the LLM do?
 				const docs = getIntentDocs();
 				const inlineBodies: IntentInlineDoc[] = loadInlineIntentBodies(docs);
 				const stats = buildIntentStats(docs, inlineBodies);
-				ui.notify(formatIntentStats(stats), "info");
+
 				return;
 			}
 
-			ui.notify(
-				`Usage: /docs [list|stats] — open the docs panel, or show the context breakdown\n` +
-				`Found ${getIntentDocs().length} doc(s) loaded.`,
-				"info",
-			);
+
 		},
 	});
 
@@ -543,7 +523,7 @@ What must the LLM do?
 
 			const state = getState();
 			if (!state.exists) {
-				ui.notify("soly: no .agents/ project here — run `/soly init` to scaffold one", "info");
+
 				return;
 			}
 
@@ -557,7 +537,7 @@ What must the LLM do?
 					content.length > MAX
 						? `${content.slice(0, MAX)}\n\n[...truncated, file is ${content.length} chars]`
 						: content;
-				ui.notify(`${label}\n\n${truncated}`, "info");
+
 			};
 
 			type SolySub = {
@@ -584,7 +564,7 @@ What must the LLM do?
 				};
 				const state = getState();
 				if (!state.exists) {
-					ui.notify("soly: no .agents/ project here — run `/soly init` to scaffold one", "info");
+
 					return;
 				}
 				switch (verb) {
@@ -624,7 +604,7 @@ What must the LLM do?
 						return;
 					}
 					default:
-						ui.notify(`soly: workflow '${verb}' not yet wired into slash command`, "info");
+
 						return;
 				}
 			};
@@ -651,7 +631,7 @@ What must the LLM do?
 						out.push(`  - project: edit \`${state.solyDir}/soly.json\` directly`);
 						out.push(`  - global:  edit \`~/.agents/soly.json\``);
 						out.push("After editing, run /soly reload to re-pick up changes.");
-						ui.notify(out.join("\n"), "info");
+
 					},
 				},
 				position: {
@@ -659,21 +639,9 @@ What must the LLM do?
 					run: () => {
 						const s = getState();
 						if (s.position) {
-							ui.notify(
-								[
-									`milestone: ${s.milestone}${s.milestoneName ? ` — ${s.milestoneName}` : ""}`,
-									`phase:     ${s.position.phase}`,
-									`plan:      ${s.position.plan}`,
-									`status:    ${s.position.status}`,
-									`progress:  ${buildProgressBar(s.progress.percent, 20)} ${s.progress.percent}% (${s.progress.completedPhases}/${s.progress.totalPhases} phases, ${s.progress.completedPlans}/${s.progress.totalPlans} plans)`,
-								].join("\n"),
-								"info",
-							);
+
 						} else {
-							ui.notify(
-								`milestone: ${s.milestone} — no position set in STATE.md`,
-								"info",
-							);
+
 						}
 					},
 				},
@@ -735,16 +703,7 @@ What must the LLM do?
 					description: "progress bar + counts",
 					run: () => {
 						const s = getState();
-						ui.notify(
-							[
-								`milestone: ${s.milestone}${s.milestoneName ? ` — ${s.milestoneName}` : ""}`,
-								`status:    ${s.status}`,
-								`progress:  ${buildProgressBar(s.progress.percent, 30)} ${s.progress.percent}%`,
-								`phases:    ${s.progress.completedPhases}/${s.progress.totalPhases}`,
-								`plans:     ${s.progress.completedPlans}/${s.progress.totalPlans}`,
-							].join("\n"),
-							"info",
-						);
+
 					},
 				},
 				phases: {
@@ -752,7 +711,7 @@ What must the LLM do?
 					run: () => {
 						const phases = getState().phases;
 						if (phases.length === 0) {
-							ui.notify("soly: no phases found", "info");
+
 							return;
 						}
 						const current = getState().currentPhase?.number;
@@ -761,7 +720,7 @@ What must the LLM do?
 							const cr = (p.contextExists ? "C" : "·") + (p.researchExists ? "R" : "·");
 							return `${marker} ${String(p.number).padStart(2, "0")}. ${p.name}  [${cr}]  plans=${p.planCount}`;
 						});
-						ui.notify(`phases:\n\n${lines.join("\n")}`, "info");
+
 					},
 				},
 				tasks: {
@@ -769,7 +728,7 @@ What must the LLM do?
 					run: () => {
 						const s = getState();
 						if (s.tasks.length === 0) {
-							ui.notify("soly: no tasks found in .agents/features/*/tasks/", "info");
+
 							return;
 						}
 						const byFeature = new Map<string, typeof s.tasks>();
@@ -788,7 +747,7 @@ What must the LLM do?
 							}
 							out.push("");
 						}
-						ui.notify(out.join("\n"), "info");
+
 					},
 				},
 				task: {
@@ -819,7 +778,7 @@ What must the LLM do?
 						if (summaryBody) {
 							showFile("SUMMARY.md", summaryBody);
 						} else {
-							ui.notify("SUMMARY.md: not found (task not yet executed)", "info");
+
 						}
 					},
 				},
@@ -828,14 +787,14 @@ What must the LLM do?
 					run: () => {
 						const features = getState().features;
 						if (features.length === 0) {
-							ui.notify("soly: no features found in .agents/features/", "info");
+
 							return;
 						}
 						const lines = features.map((f) => {
 							const rm = f.readmeExists ? "R" : "·";
 							return `  ${f.name.padEnd(28)} tasks=${f.taskCount}  [${rm}]`;
 						});
-						ui.notify(`features (${features.length}):\n\n${lines.join("\n")}`, "info");
+
 					},
 				},
 				milestone: {
@@ -843,7 +802,7 @@ What must the LLM do?
 					run: () => {
 						const s = getState();
 						if (!s.milestone || s.milestone === "—") {
-							ui.notify("soly: no milestone set in STATE.md frontmatter", "info");
+
 							return;
 						}
 						const candidates = [
@@ -869,10 +828,7 @@ What must the LLM do?
 						refreshState();
 						updateStatus(ui);
 						const s = getState();
-						ui.notify(
-							`soly: reloaded — ${s.milestone} · ${s.phases.length} phases`,
-							"info",
-						);
+
 					},
 				},
 				// ------------------------------------------------------------------

package/init.ts

@@ -223,7 +223,7 @@ export async function initSolyProject(
 			["minimal", "web-app", "library", "cli"],
 		);
 		if (!pick) {
-			ui.notify("soly init: cancelled", "info");
+
 			return { created: false, template: null, projectName };
 		}
 		template = pick as InitTemplate;
@@ -237,7 +237,7 @@ export async function initSolyProject(
 			`Create .agents/ structure in:\n  ${cwd}\n\nProject name: ${projectName}`,
 		);
 		if (!ok) {
-			ui.notify("soly init: cancelled", "info");
+
 			return { created: false, template: null, projectName };
 		}
 	}
@@ -288,11 +288,7 @@ export async function initSolyProject(
 	for (const extra of TEMPLATE_EXTRAS[template]) {
 		created.push(`.agents/${extra.file}`);
 	}
-	ui.notify(
-		`soly init: done (${template}). Created:\n  - ${created.join("\n  - ")}\n\n` +
-			`Next:\n  1. Edit \`.agents/docs/vision.md\`\n  2. \`/plan 1\` to start the first phase`,
-		"info",
-	);
+
 	return { created: true, template, projectName: safeProjectName };
 }
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "pi-soly",
-  "version": "2.1.1",
+  "version": "2.1.3",
   "description": "Project management + workflow framework for pi-coding-agent. Plans, state, MANDATORY rules, self-review, multi-question picker, native footer + welcome chrome — one npm install, zero config. The LLM drives the workflow inline via the soly_workflow tool — no external subagent plugin.",
   "type": "module",
   "main": "index.ts",

package/workflows/done.ts

@@ -144,7 +144,7 @@ export function buildDoneTransform(
 			pushed = true;
 		} catch (err) {
 			const msg = err instanceof Error ? err.message : String(err);
-			ui.notify(`soly done: push failed — ${msg}\nPlan was committed but not pushed. Push manually with \`git push -u origin ${branchName}\`.`, "warning");
+
 			return {
 				handled: true,
 				transformedText: `Plan ${branchName} committed locally (${commitHash.slice(0, 7)}), but push failed.\n${msg}`,
@@ -152,7 +152,7 @@ export function buildDoneTransform(
 			};
 		}
 	} else {
-		ui.notify(`soly done: no 'origin' remote — committed locally only. Add a remote and \`git push\` when ready.`, "warning");
+
 	}
 
 	// 4. Draft PR via gh
@@ -174,18 +174,10 @@ export function buildDoneTransform(
 			// gh failed (maybe not authenticated, or PR already exists, etc.)
 			// Don't fail the whole workflow — just report.
 			const msg = err instanceof Error ? err.message : String(err);
-			ui.notify(
-				`soly done: pushed OK, but draft PR creation failed — ${msg}\n` +
-					`Run \`gh pr create --draft --fill\` manually.`,
-				"warning",
-			);
+
 		}
 	} else if (pushed) {
-		ui.notify(
-			`soly done: pushed OK, but \`gh\` CLI not found — draft PR not created.\n` +
-				`Install \`gh\` (https://cli.github.com) and run \`gh pr create --draft --fill\` manually.`,
-			"info",
-		);
+
 	}
 
 	// 5. Done — summarize
@@ -198,7 +190,7 @@ export function buildDoneTransform(
 
 	// (No registry file to update — the plan's git branch IS the source of
 	// truth for "active plans". See PLAN.md / "Out of scope" for the trade-off.)
-	ui.notify(notice, "info");
+
 	return {
 		handled: true,
 		transformedText: notice,

package/workflows/execute.ts

@@ -26,6 +26,23 @@ import {
 	renderPlanSummaryInline,
 	writeIterationContext,
 } from "../iteration.js";
+import { buildVerificationPrompt, parseGoalAndAcceptance } from "./goal-verify.ts";
+
+/**
+ * Append the goal-verification step to a worker close-out block, gated on
+ * whether PLAN.md at `planPath` actually has Goal + Acceptance sections.
+ * If parsing fails (empty/missing sections), we skip the block rather than
+ * inject a malformed prompt — the worker has nothing meaningful to verify.
+ */
+function withGoalCheck(planPath: string, suffix: string): string {
+	try {
+		const r = parseGoalAndAcceptance(planPath);
+		if (!r.ok) return suffix;
+		return buildVerificationPrompt(r, planPath) + suffix;
+	} catch {
+		return suffix;
+	}
+}
 
 /** Resolve <extension>/workflows-data/<name>.md regardless of cwd. */
 function loadWorkflowMarkdown(name: string): string | null {
@@ -225,7 +242,10 @@ Hard rules:
   - Interactive-only rules are NOT in scope here: ${interactiveRules.length > 0 ? interactiveRules.join(", ") : "(none)"}.
 
 When done, confirm the SUMMARY.md was written and the task flipped to \`status: done\`. Then suggest \`soly verify\` to self-review the change with fresh eyes before calling it done.`;
-		return { handled: true, transformedText: instruction };
+		return {
+			handled: true,
+			transformedText: withGoalCheck(path.join(task.dir, "PLAN.md"), instruction),
+		};
 	}
 
 	// === ALL / FEATURE (new dual-mode, sequential in v0.1) ===
@@ -348,7 +368,10 @@ Hard rules:
   - Do not commit unless the workflow tells you to; the user reviews and merges.
 
 When done, suggest \`soly verify\` to self-review with fresh eyes, then \`soly done ${target.raw}\` to open the PR.`;
-		return { handled: true, transformedText: instruction };
+		return {
+			handled: true,
+			transformedText: withGoalCheck(planFile, instruction),
+		};
 	}
 
 	// === PHASE MODE ===
@@ -480,5 +503,12 @@ Hard rules:
 
 When done, confirm STATE.md was updated. Then suggest \`soly verify\` to self-review the work with fresh eyes before calling the phase done.`;
 
-	return { handled: true, transformedText: instruction };
+	// Goal verification only makes sense for plan-level phase execution —
+	// wave-based / task-based execution iterates many plans and has no
+	// single PLAN.md to verify against.
+	const phasePlanPath = isPlanLevel && planFileResolved ? planFileResolved : null;
+	return {
+		handled: true,
+		transformedText: phasePlanPath ? withGoalCheck(phasePlanPath, instruction) : instruction,
+	};
 }

package/workflows/goal-verify.ts

@@ -0,0 +1,297 @@
+// =============================================================================
+// workflows/goal-verify.ts — Goal & Acceptance verification for `soly execute`
+// =============================================================================
+//
+// Reads PLAN.md `## Goal` + `## Acceptance`, hands the LLM a structured
+// "verify against the diff" prompt at end of execute, and lets the worker
+// append a `## Status` section (idempotent, fenced by marker comments).
+//
+// Pure LLM review — no `bun/dotnet/pytest`-style mechanical checks. This
+// plugin is multi-language; mechanical checks would be unreliable. The LLM
+// walks `git diff master..HEAD` itself and judges.
+//
+// Headless-safe by construction: this module MUST NOT import `ask_pro`,
+// `decision_deck`, `@earendil-works/pi-tui`, or call `ctx.ui.custom(...)`.
+// A regression test greps the source for those tokens.
+//
+// Three public surfaces:
+//   1. `parseGoalAndAcceptance(planPath)`   — read PLAN.md, return parsed
+//                                            sections or `{ ok:false, error }`.
+//   2. `buildVerificationPrompt(parsed, planPath)` — instruction string for
+//                                            the execute worker.
+//   3. `appendStatus(planPath, report)`     — idempotent append/replace of
+//                                            the `## Status` section.
+//
+// Pure helpers (`buildStatusSection`, `findMarkerBlock`) are exported for tests.
+// =============================================================================
+
+import * as fs from "node:fs";
+
+// ---------------------------------------------------------------------------
+// Public types
+// ---------------------------------------------------------------------------
+
+export type GoalAcceptanceParsed = {
+	ok: true;
+	goal: string;
+	acceptance: string[];
+};
+
+export type GoalAcceptanceError = {
+	ok: false;
+	error: string;
+};
+
+export type GoalAcceptanceResult = GoalAcceptanceParsed | GoalAcceptanceError;
+
+export type StatusAcceptanceItem = {
+	item: string;
+	met: boolean;
+	evidence: string;
+};
+
+export type StatusReport = {
+	goalMet: boolean;
+	acceptance: StatusAcceptanceItem[];
+};
+
+export const STATUS_BEGIN = "<!-- soly:status:begin -->";
+export const STATUS_END = "<!-- soly:status:end -->";
+
+// ---------------------------------------------------------------------------
+// Parser
+// ---------------------------------------------------------------------------
+
+/**
+ * Parse a PLAN.md and extract the `## Goal` text + each `- [ ]` bullet from
+ * `## Acceptance`. Never throws — returns `{ ok:false, error }` so callers
+ * (the verifier prompt) can surface a clean gap report instead of crashing
+ * the execute worker.
+ *
+ * Tolerates frontmatter at the top of the file. Stops each section at the
+ * next `## ` heading (case-insensitive on the marker). Multiple
+ * `## Acceptance` sections: only the first is used.
+ */
+export function parseGoalAndAcceptance(planPath: string): GoalAcceptanceResult {
+	let raw: string;
+	try {
+		raw = fs.readFileSync(planPath, "utf-8");
+	} catch (err) {
+		const msg = err instanceof Error ? err.message : String(err);
+		return { ok: false, error: `Cannot read PLAN.md at ${planPath}: ${msg}` };
+	}
+
+	// Strip optional frontmatter (--- ... --- at top of file).
+	const body = stripFrontmatter(raw);
+
+	const goalText = extractSectionBody(body, "Goal");
+	if (goalText === null) {
+		return { ok: false, error: "PLAN.md is missing required `## Goal` section." };
+	}
+	if (goalText.trim().length === 0) {
+		return { ok: false, error: "`## Goal` section is empty." };
+	}
+
+	const acceptanceText = extractSectionBody(body, "Acceptance");
+	if (acceptanceText === null) {
+		return { ok: false, error: "PLAN.md is missing required `## Acceptance` section." };
+	}
+
+	const items = extractAcceptanceItems(acceptanceText);
+	if (items.length === 0) {
+		return { ok: false, error: "`## Acceptance` section has no `- [ ]` items." };
+	}
+
+	return { ok: true, goal: goalText.trim(), acceptance: items };
+}
+
+/** Strip YAML frontmatter (`---\n...\n---\n`) at the top of the file. */
+function stripFrontmatter(raw: string): string {
+	const m = raw.match(/^---\r?\n[\s\S]*?\r?\n---\r?\n?/);
+	return m ? raw.slice(m[0].length) : raw;
+}
+
+/**
+ * Extract the body of the FIRST `## <name>` section: everything from the
+ * heading line (exclusive) up to the next `## ` heading or end of file.
+ * Returns null if the section does not exist. Returns "" if the section
+ * exists but is empty.
+ */
+function extractSectionBody(body: string, name: string): string | null {
+	const lines = body.split(/\r?\n/);
+	const headingRe = new RegExp(`^##\\s+${escapeRegex(name)}\\s*$`);
+	const nextHeadingRe = /^##\s+\S+/;
+	let startIdx = -1;
+	for (let i = 0; i < lines.length; i++) {
+		if (headingRe.test(lines[i] ?? "")) {
+			startIdx = i;
+			break;
+		}
+	}
+	if (startIdx === -1) return null;
+	let endIdx = lines.length;
+	for (let i = startIdx + 1; i < lines.length; i++) {
+		if (nextHeadingRe.test(lines[i] ?? "")) {
+			endIdx = i;
+			break;
+		}
+	}
+	return lines.slice(startIdx + 1, endIdx).join("\n");
+}
+
+/** Pull each `- [ ] <text>` bullet (allowing leading whitespace) from a section body. */
+function extractAcceptanceItems(section: string): string[] {
+	const items: string[] = [];
+	for (const line of section.split(/\r?\n/)) {
+		// Require exactly `[ ]` (one space inside the brackets) — matches the
+		// standard markdown task-list convention. Lines like `- [x] foo` or
+		// `- [] foo` are intentionally NOT accepted: `x` is checked, and `[]`
+		// (no inner space) is a typo we'd rather surface than silently keep.
+		const m = line.match(/^\s*-\s+\[\s\]\s+(.+?)\s*$/);
+		if (m) items.push(m[1]);
+	}
+	return items;
+}
+
+/** Escape a literal string for safe inclusion in a RegExp constructor. */
+function escapeRegex(s: string): string {
+	return s.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
+}
+
+// ---------------------------------------------------------------------------
+// Prompt builder
+// ---------------------------------------------------------------------------
+
+/**
+ * Build the LLM instruction injected at the end of an execute worker block
+ * (task / plan / phase plan-level). The worker is told to read PLAN.md,
+ * walk `git diff master..HEAD`, judge each acceptance item, judge the
+ * Goal as a whole, and append/replace a `## Status` section between the
+ * marker comments.
+ *
+ * `planPathHint` is a textual hint about where PLAN.md lives — typically the
+ * absolute path. The worker resolves it via `read`.
+ */
+export function buildVerificationPrompt(parsed: GoalAcceptanceParsed, planPathHint: string): string {
+	const itemsList = parsed.acceptance.map((a) => `- ${a}`).join("\n");
+	return `
+
+GOAL VERIFICATION (mandatory before close-out):
+
+Before reporting this work as done, verify that the diff actually
+delivers the plan's Goal and meets every Acceptance item. This is a
+hard gate — if it fails, you must NOT call \`soly done\`; you must
+report the gap and stop.
+
+PLAN.md: ${planPathHint}
+
+Goal (verbatim from PLAN.md):
+
+"""
+${parsed.goal}
+"""
+
+Acceptance items (verbatim, ${parsed.acceptance.length} total):
+
+${itemsList}
+
+Steps:
+1. Read ${planPathHint} (use the read tool) to confirm the Goal and
+   Acceptance text.
+2. Run \`git diff master..HEAD\` (or \`git diff origin/master..HEAD\`
+   if no local master) to see what actually changed.
+3. For each Acceptance item above, judge met / not-met. Cite evidence
+   — file:line from the diff, or a short reasoning string.
+4. Judge the Goal as a whole against the actual outcome.
+5. Use the edit tool to append or replace a \`## Status\` section in
+   ${planPathHint}, between the marker comments:
+
+${STATUS_BEGIN}
+## Status
+
+**Goal met:** YES | NO
+
+### Acceptance
+- [x] <item text> — <evidence>
+- [ ] <item text> — GAP: <what is missing>
+
+**Verdict:** PASS | BLOCKED — gaps remain
+${STATUS_END}
+
+   If the markers already exist in the file, replace the content
+   between them. If they don't, append the block at end of file. Do
+   NOT touch any text outside the markers.
+6. If Verdict is BLOCKED: STOP. Do NOT call \`soly done\`. Report the
+   gap inline and list which Acceptance items remain unmet.
+7. If Verdict is PASS: proceed to the close-out steps below.
+
+---
+`;
+}
+
+// ---------------------------------------------------------------------------
+// Status section appender
+// ---------------------------------------------------------------------------
+
+/** Pure: build the Status markdown block between the marker comments. */
+export function buildStatusSection(report: StatusReport): string {
+	const allMet = report.goalMet && report.acceptance.every((a) => a.met);
+	const verdict = allMet ? "PASS" : "BLOCKED — gaps remain";
+	const lines: string[] = [];
+	lines.push(STATUS_BEGIN);
+	lines.push("## Status");
+	lines.push("");
+	lines.push(`**Goal met:** ${report.goalMet ? "YES" : "NO"}`);
+	lines.push("");
+	lines.push("### Acceptance");
+	for (const a of report.acceptance) {
+		const box = a.met ? "[x]" : "[ ]";
+		const tag = a.met ? "— " : "— GAP: ";
+		lines.push(`- ${box} ${a.item} ${tag}${a.evidence}`);
+	}
+	lines.push("");
+	lines.push(`**Verdict:** ${verdict}`);
+	lines.push(STATUS_END);
+	return lines.join("\n");
+}
+
+/**
+ * Find the marker block in `raw`. Returns:
+ *   { begin, end } — slice indices (begin = index of STATUS_BEGIN,
+ *                     end = index AFTER STATUS_END), or null if either
+ *                     marker is missing or the order is wrong.
+ */
+export function findMarkerBlock(raw: string): { begin: number; end: number } | null {
+	const begin = raw.indexOf(STATUS_BEGIN);
+	const endIdx = raw.indexOf(STATUS_END);
+	if (begin === -1 || endIdx === -1 || endIdx < begin) return null;
+	return { begin, end: endIdx + STATUS_END.length };
+}
+
+/**
+ * Append or replace the `## Status` section in PLAN.md. Idempotent: a
+ * second run replaces the previous block (between marker comments)
+ * instead of duplicating content. Never touches text outside the
+ * marker block.
+ */
+export function appendStatus(planPath: string, report: StatusReport): void {
+	const raw = fs.readFileSync(planPath, "utf-8");
+	const section = buildStatusSection(report);
+	const block = findMarkerBlock(raw);
+
+	let next: string;
+	if (block) {
+		// Replace between markers, preserve prefix and suffix content.
+		const before = raw.slice(0, block.begin).replace(/\s+$/, "");
+		const after = raw.slice(block.end).replace(/^\s+/, "");
+		const parts = [before, section];
+		if (after.length > 0) parts.push(after);
+		next = parts.join("\n\n") + "\n";
+	} else {
+		// Append at end of file.
+		const trimmed = raw.replace(/\s+$/, "");
+		next = `${trimmed}\n\n${section}\n`;
+	}
+
+	fs.writeFileSync(planPath, next, "utf-8");
+}

package/workflows/inspect.ts

@@ -248,7 +248,7 @@ export function showDoctor(_cmd: unknown, state: SolyState, ui: InspectUI, confi
 		out.push("");
 		out.push("Warnings present — run `/soly iterations` and `/soly config` to review.");
 	}
-	ui.notify(out.join("\n"), counts.fail > 0 ? "error" : counts.warn > 0 ? "warning" : "info");
+
 }
 
 // ---------------------------------------------------------------------------
@@ -287,10 +287,7 @@ export function showTodos(
 	}
 	const file = findTodosFile(state.solyDir);
 	if (!file) {
-		ui.notify(
-			"soly todos: no todo file found. Install the `pi-todo` extension or write `.agents/todos.json` manually.",
-			"info",
-		);
+
 		return;
 	}
 	let parsed: { todos?: Array<{ content?: string; status?: string; activeForm?: string }> } | null = null;
@@ -301,7 +298,7 @@ export function showTodos(
 		return;
 	}
 	if (!parsed || !Array.isArray(parsed.todos) || parsed.todos.length === 0) {
-		ui.notify("soly todos: list is empty. Use the LLM's `todo_update` tool to add items.", "info");
+
 		return;
 	}
 	const todos = parsed.todos;
@@ -316,7 +313,7 @@ export function showTodos(
 		const suffix = t.status === "in_progress" && typeof t.activeForm === "string" ? ` (${t.activeForm})` : "";
 		lines.push(`  ${mark} ${t.content}${suffix}`);
 	}
-	ui.notify(lines.join("\n"), "info");
+
 }
 
 // ---------------------------------------------------------------------------
@@ -335,7 +332,7 @@ export function showIterations(
 	}
 	const iterDir = path.join(state.solyDir, "iterations");
 	if (!fs.existsSync(iterDir)) {
-		ui.notify("soly iterations: no iterations yet (run soly plan or soly execute first)", "info");
+
 		return;
 	}
 
@@ -362,7 +359,7 @@ export function showIterations(
 		.slice(0, limit);
 
 	if (files.length === 0) {
-		ui.notify("soly iterations: no iteration files found", "info");
+
 		return;
 	}
 
@@ -378,7 +375,7 @@ export function showIterations(
 		out.push("");
 		out.push("Tip: `soly iterations 20` for more, `soly diff iterations <a> <b>` to compare two.");
 	}
-	ui.notify(out.join("\n"), "info");
+
 }
 
 function humanizeAge(ms: number): string {
@@ -444,7 +441,7 @@ export function showDiffIterations(
 		out.push(bodyB);
 		out.push("--- END B ---");
 	}
-	ui.notify(out.join("\n"), "info");
+
 }
 
 // ---------------------------------------------------------------------------
@@ -495,5 +492,5 @@ export function showPhaseDelete(
 	out.push("");
 	out.push("To restore: `mv` it back to .agents/phases/");
 	out.push("To permanently delete: `rm -rf " + dest + "`");
-	ui.notify(out.join("\n"), "info");
+
 }

package/workflows/migrate.ts

@@ -167,6 +167,6 @@ export function buildMigrateTransform(
 			? skipped.map((s) => `  ! ${s.phase}: ${s.reason}`).join("\n") + "\n"
 			: "") +
 		`\nPush and PR the migration branches manually: \`git push origin <branch>\`.`;
-	ui.notify(`soly migrate: ${migrated.length} migrated, ${skipped.length} skipped`, "info");
+
 	return { handled: true, transformedText: notice, migrated, skipped };
 }

package/workflows/new.ts

@@ -164,7 +164,7 @@ export function buildNewTransform(
 	const notice = branchExisted
 		? `Plan '${name}' reused on existing branch ${branchName}.\nPLAN.md was ${planFile}.\nNext: \`soly plan ${branchName}\``
 		: `Plan '${name}' scaffolded on new branch ${branchName}.\nPLAN.md: ${planFile}\nNext: \`soly plan ${branchName}\``;
-	ui.notify(notice, "info");
+
 	return {
 		handled: true,
 		transformedText: notice,

package/workflows/quick.ts

@@ -100,7 +100,7 @@ export function showStatus(
 		}
 	}
 
-	ui.notify(lines.join("\n"), "info");
+
 }
 
 // =============================================================================
@@ -136,7 +136,7 @@ export function showLog(cmd: SolyCommand, state: SolyState, ui: QuickUI): void {
 	const lines = raw.split(/\r?\n/);
 	const decisionsIdx = lines.findIndex((l) => DECISIONS_HEADER.test(l));
 	if (decisionsIdx === -1) {
-		ui.notify("soly log: no Decisions table in STATE.md", "info");
+
 		return;
 	}
 
@@ -151,7 +151,7 @@ export function showLog(cmd: SolyCommand, state: SolyState, ui: QuickUI): void {
 	}
 
 	if (rows.length === 0) {
-		ui.notify("soly log: Decisions table is empty", "info");
+
 		return;
 	}
 
@@ -178,7 +178,7 @@ export function showLog(cmd: SolyCommand, state: SolyState, ui: QuickUI): void {
 		out.push(`           ${r.rationale}`);
 		out.push("");
 	}
-	ui.notify(out.join("\n"), "info");
+
 }
 
 // =============================================================================
@@ -254,5 +254,5 @@ export async function showDiff(
 		}
 	}
 
-	ui.notify(out.join("\n"), "info");
+
 }