@iowarp/clio-coder 0.3.0 → 0.3.1

package/src/interactive/application-controller.ts

@@ -0,0 +1,346 @@
+import type { ClioKeybinding } from "../domains/config/keybindings.js";
+import { isKeyRelease, matchesKey } from "../engine/tui.js";
+import type { LeaderKeyController } from "./leader-key.js";
+import { isEscapeKey, type OverlayState, overlayOwnsInput } from "./overlay-lifecycle.js";
+
+export const APPLICATION_DOUBLE_TAP_MS = 500;
+
+const CLOSED_ACTION_ORDER = [
+	"clio.notifications.dismiss",
+	"clio.tool.expand",
+	"clio.tool.expandAll",
+	"clio.tool.liveOutput",
+	"clio.editor.external",
+	"clio.message.followUp",
+	"clio.message.dequeue",
+	"clio.thinking.expand",
+	"clio.thinking.expandAll",
+] as const satisfies ReadonlyArray<ClioKeybinding>;
+
+const GLOBAL_ACTION_ORDER = [
+	"clio.status.toggle",
+	"clio.thinking.cycle",
+	"clio.session.tree",
+	"clio.dispatchBoard.toggle",
+	"clio.dispatch.background",
+	"clio.model.select",
+	// Backward stays ahead of forward so prefix-overlapping user bindings keep
+	// the same more-specific-first behavior as the original input listener.
+	"clio.model.cycleBackward",
+	"clio.model.cycleForward",
+	"clio.exit",
+] as const satisfies ReadonlyArray<ClioKeybinding>;
+
+export type CtrlCAction = "cancel-stream" | "close-overlay" | "clear-editor" | "arm-shutdown" | "shutdown";
+
+export interface CtrlCActionState {
+	overlayState: OverlayState;
+	streaming: boolean;
+	editorText: string;
+	lastCtrlCAt: number;
+	now: number;
+}
+
+function resolveApplicationCtrlCAction(state: CtrlCActionState): CtrlCAction {
+	if (state.overlayState !== "closed") return "close-overlay";
+	if (state.lastCtrlCAt > 0 && state.now - state.lastCtrlCAt <= APPLICATION_DOUBLE_TAP_MS) return "shutdown";
+	if (state.streaming) return "cancel-stream";
+	if (state.editorText.length > 0) return "clear-editor";
+	return "arm-shutdown";
+}
+
+export interface ApplicationClock {
+	now(): number;
+}
+
+export interface ApplicationSignalCoordinator {
+	/**
+	 * Take SIGINT from whatever armed it before this controller existed and
+	 * return the call that gives it back.
+	 */
+	takeInterruptOwnership(): () => void;
+	on(signal: "SIGINT", listener: () => void): void;
+	off(signal: "SIGINT", listener: () => void): void;
+}
+
+export interface ApplicationIntervalHandle {
+	unref?(): void;
+}
+
+export interface ApplicationIntervalCoordinator {
+	setInterval(callback: () => void, delayMs: number): ApplicationIntervalHandle;
+	clearInterval(handle: ApplicationIntervalHandle): void;
+}
+
+export interface ApplicationControllerDeps {
+	clock: ApplicationClock;
+	signals: ApplicationSignalCoordinator;
+	intervals: ApplicationIntervalCoordinator;
+	intervalsToClear: ReadonlyArray<ApplicationIntervalHandle>;
+	leaderKeys: LeaderKeyController;
+	getOverlayState: () => OverlayState;
+	routeOverlayKey: (data: string) => boolean;
+	matchesAction: (data: string, id: ClioKeybinding) => boolean;
+	dispatchAction: (id: ClioKeybinding) => boolean;
+	cancelActiveEditorBash: () => boolean;
+	isStreaming: () => boolean;
+	cancelActiveRun: () => void;
+	getEditorText: () => string;
+	clearEditor: () => void;
+	requestRender: () => void;
+	closeOverlay: () => void;
+	listNotifications: () => ReadonlyArray<{ id: string }>;
+	dismissNotification: (id: string) => void;
+	dismissAllNotifications: () => void;
+	toggleLastToolExpanded: () => boolean;
+	toggleAllToolsExpanded: () => boolean;
+	toggleLastThinking: () => boolean;
+	toggleAllThinking: () => boolean;
+	shutdownDisposers: ReadonlyArray<() => void>;
+	stopUi: () => void;
+	cancelParkedCalls: (reason: string) => void;
+	onShutdown: () => Promise<void>;
+	/**
+	 * Report a teardown step that failed. Deliberately not the UI notice channel:
+	 * interactive teardown disposes that before the application's own shutdown
+	 * runs, so a notice raised here would have nowhere to land.
+	 */
+	reportShutdownFailure: (step: string, error: unknown) => void;
+	/**
+	 * Register a terminal teardown to run on shutdown paths that never reach
+	 * this controller.
+	 *
+	 * `/quit` and Ctrl+C both come through here and stop the terminal on the
+	 * way out. A signal does not: SIGTERM goes straight to the termination
+	 * coordinator, which runs its hooks and calls process.exit with the TUI
+	 * still owning the screen. Measured on a pty, `kill -TERM` left the cursor
+	 * hidden, the last private-mode sequence on the wire being `?25l`, where
+	 * `/quit` on the same build ended with `?25h`.
+	 */
+	registerTerminalTeardown?: (teardown: () => void) => void;
+}
+
+export type ApplicationInputResult = { consume: true } | undefined;
+
+export interface ApplicationController {
+	run: Promise<number>;
+	handleInput(data: string): ApplicationInputResult;
+	handleCtrlC(): void;
+	dismissNotifications(): void;
+	toggleToolExpansion(): void;
+	toggleThinkingExpansion(): void;
+	shutdown(): Promise<void>;
+}
+
+/**
+ * Own the final application boundary: input precedence, double-tap clocks,
+ * SIGINT, and the one ordered path that releases process-level resources.
+ */
+export function createApplicationController(deps: ApplicationControllerDeps): ApplicationController {
+	let resolveRun: (code: number) => void = () => {};
+	const run = new Promise<number>((resolve) => {
+		resolveRun = resolve;
+	});
+	const keepAlive = deps.intervals.setInterval(() => {}, 1 << 30);
+	let shuttingDown = false;
+	let lastCtrlCAt = 0;
+	let lastNotificationDismissAt = 0;
+	let lastToolExpandAt = 0;
+	let lastThinkingExpandAt = 0;
+
+	const isDoubleTap = (lastAt: number, now: number): boolean => lastAt > 0 && now - lastAt <= APPLICATION_DOUBLE_TAP_MS;
+
+	/** Teardown steps that threw, held until the terminal is safe to write past. */
+	const failures: Array<{ step: string; error: unknown }> = [];
+
+	/**
+	 * Release one process-level resource. A step that throws has left a resource
+	 * either already released or beyond this boundary's reach; either way the
+	 * remaining steps still have to run. The terminal is the common case, since
+	 * it can close before shutdown begins and stopping it twice is harmless.
+	 * Continuing is not the same as calling it a success, so the failure is kept.
+	 */
+	const release = (step: string, action: () => void): void => {
+		try {
+			action();
+		} catch (error) {
+			failures.push({ step, error });
+		}
+	};
+
+	/**
+	 * Hand the collected failures to the diagnostic. Draining means a second call
+	 * cannot repeat what the first already reported.
+	 */
+	const reportFailures = (): void => {
+		for (const failure of failures.splice(0)) {
+			try {
+				deps.reportShutdownFailure(failure.step, failure.error);
+			} catch {
+				// A diagnostic that cannot report has nowhere left to report to.
+			}
+		}
+	};
+
+	const shutdown = async (): Promise<void> => {
+		if (shuttingDown) return;
+		shuttingDown = true;
+		let failed = false;
+		// The signal path calls this without awaiting it, so a failing step must
+		// not escape as an unhandled rejection, and `run` has to settle either
+		// way or the process hangs with nothing left to resolve it.
+		try {
+			release("signal handoff", () => deps.signals.off("SIGINT", handleCtrlC));
+			// Ownership goes back before teardown runs, so an interrupt during a
+			// slow release still reaches a handler that exits the process.
+			release("signal handoff", () => restoreInterruptOwner());
+			release("keep-alive interval", () => deps.intervals.clearInterval(keepAlive));
+			for (const interval of deps.intervalsToClear) {
+				release("owned interval", () => deps.intervals.clearInterval(interval));
+			}
+			for (const dispose of deps.shutdownDisposers) release("shutdown disposer", dispose);
+			release("terminal stop", () => deps.stopUi());
+			release("parked calls", () => deps.cancelParkedCalls("Clio Coder shutting down"));
+			// Reported here rather than as each step fails: the terminal is down by
+			// now, so a diagnostic cannot land on top of a TUI still painting. It
+			// also has to precede onShutdown, which exits the process.
+			failed = failures.length > 0;
+			reportFailures();
+			await deps.onShutdown();
+		} catch (error) {
+			failed = true;
+			failures.push({ step: "application shutdown", error });
+			reportFailures();
+		} finally {
+			// Nothing reads this code today, which is exactly why it should not
+			// claim a clean teardown that did not happen.
+			resolveRun(failed ? 1 : 0);
+		}
+	};
+
+	const handleCtrlC = (): void => {
+		const action = resolveApplicationCtrlCAction({
+			overlayState: deps.getOverlayState(),
+			streaming: deps.isStreaming(),
+			editorText: deps.getEditorText(),
+			lastCtrlCAt,
+			now: deps.clock.now(),
+		});
+		if (action === "shutdown") {
+			lastCtrlCAt = 0;
+			void shutdown();
+			return;
+		}
+		// Preserve the original second clock read. Production uses Date.now for
+		// both, while tests can expose ordering at millisecond boundaries.
+		lastCtrlCAt = deps.clock.now();
+		if (action === "cancel-stream") {
+			// A press that cancelled a run is not intent to quit, so it must not
+			// arm the shutdown clock. Leaving it armed meant the natural gesture
+			// of pressing again when the first press looked like it did nothing
+			// killed the application mid-turn, with the last frame still reading
+			// `writing` and no word about the session being saved. Quitting still
+			// works: once the run is cancelled, two presses inside the window do
+			// what they have always done.
+			lastCtrlCAt = 0;
+			deps.cancelActiveRun();
+			return;
+		}
+		if (action === "close-overlay") {
+			lastCtrlCAt = 0;
+			deps.closeOverlay();
+			return;
+		}
+		if (action === "clear-editor") {
+			deps.clearEditor();
+			deps.requestRender();
+		}
+	};
+
+	const dismissNotifications = (): void => {
+		const now = deps.clock.now();
+		const doubleTap = isDoubleTap(lastNotificationDismissAt, now);
+		lastNotificationDismissAt = now;
+		if (doubleTap) {
+			deps.dismissAllNotifications();
+			return;
+		}
+		const first = deps.listNotifications()[0];
+		if (first) deps.dismissNotification(first.id);
+	};
+
+	const toggleToolExpansion = (): void => {
+		const now = deps.clock.now();
+		const doubleTap = isDoubleTap(lastToolExpandAt, now);
+		lastToolExpandAt = now;
+		const changed = doubleTap ? deps.toggleAllToolsExpanded() : deps.toggleLastToolExpanded();
+		if (changed) deps.requestRender();
+	};
+
+	const toggleThinkingExpansion = (): void => {
+		const now = deps.clock.now();
+		const doubleTap = isDoubleTap(lastThinkingExpandAt, now);
+		lastThinkingExpandAt = now;
+		const changed = doubleTap ? deps.toggleAllThinking() : deps.toggleLastThinking();
+		if (changed) deps.requestRender();
+	};
+
+	const handleInput = (data: string): ApplicationInputResult => {
+		const initialOverlayState = deps.getOverlayState();
+		if (overlayOwnsInput(initialOverlayState) && deps.leaderKeys.isPending()) deps.leaderKeys.reset();
+		if (!overlayOwnsInput(initialOverlayState) && deps.leaderKeys.isPending() && deps.leaderKeys.route(data)) {
+			return { consume: true };
+		}
+
+		if (matchesKey(data, "ctrl+c") && !isKeyRelease(data)) {
+			handleCtrlC();
+			return { consume: true };
+		}
+		if (deps.routeOverlayKey(data)) return { consume: true };
+		if (overlayOwnsInput(deps.getOverlayState())) return undefined;
+		if (deps.getOverlayState() === "closed" && deps.leaderKeys.route(data)) return { consume: true };
+		if (isEscapeKey(data) && deps.cancelActiveEditorBash()) return { consume: true };
+		if (isEscapeKey(data) && deps.isStreaming()) {
+			deps.cancelActiveRun();
+			return { consume: true };
+		}
+
+		if (deps.getOverlayState() === "closed" && !isKeyRelease(data)) {
+			for (const id of CLOSED_ACTION_ORDER) {
+				if (!deps.matchesAction(data, id)) continue;
+				deps.dispatchAction(id);
+				return { consume: true };
+			}
+		}
+		for (const id of GLOBAL_ACTION_ORDER) {
+			if (!deps.matchesAction(data, id)) continue;
+			return deps.dispatchAction(id) ? { consume: true } : undefined;
+		}
+		return undefined;
+	};
+
+	// One owner holds SIGINT at a time. Boot arms process termination first and
+	// Node runs listeners in registration order, so this controller only sees the
+	// first press if the previous owner hands it over. Everything else on the
+	// signal stays put: clearing it wholesale would disarm handlers this process
+	// never installed, including an embedder's.
+	const restoreInterruptOwner = deps.signals.takeInterruptOwnership();
+	deps.signals.on("SIGINT", handleCtrlC);
+	// Every exit gives the terminal back, including the ones that never reach
+	// this controller. Stopping an already-stopped terminal is a no-op, so the
+	// ordinary path running both is harmless.
+	deps.registerTerminalTeardown?.(() => {
+		release("terminal stop", () => deps.stopUi());
+		reportFailures();
+	});
+
+	return {
+		run,
+		handleInput,
+		handleCtrlC,
+		dismissNotifications,
+		toggleToolExpansion,
+		toggleThinkingExpansion,
+		shutdown,
+	};
+}

package/src/interactive/bus-notices.ts

@@ -0,0 +1,265 @@
+/**
+ * Payload→notice formatters for bus channels the interactive layer renders
+ * as operator notices. Validation lives here so malformed payloads are
+ * dropped in one place and the index.ts subscribers stay wiring-only.
+ * Returning null means "ignore the event".
+ */
+
+import type {
+	BudgetAlertPayload,
+	MiddlewareHookFailedPayload,
+	PermissionRequestedPayload,
+	SafetyBlockedPayload,
+} from "../core/bus-events.js";
+import type { SafetyDecision } from "../domains/safety/contract.js";
+import { askAxis } from "./permission-overlay.js";
+
+export interface BusNotice {
+	level: "warn" | "error";
+	text: string;
+}
+
+export interface MiddlewareHookFailedNoticeOptions {
+	noteBudgetWarningSuppression?: boolean;
+}
+
+function isBudgetAlertPayload(value: unknown): value is BudgetAlertPayload {
+	if (!value || typeof value !== "object") return false;
+	const p = value as Record<string, unknown>;
+	if (p.level !== "at" && p.level !== "over") return false;
+	if (typeof p.currentUsd !== "number" || !Number.isFinite(p.currentUsd)) return false;
+	if (typeof p.ceilingUsd !== "number" || !Number.isFinite(p.ceilingUsd)) return false;
+	return true;
+}
+
+export function budgetAlertNotice(payload: unknown): BusNotice | null {
+	if (!isBudgetAlertPayload(payload)) return null;
+	const spend = `$${payload.currentUsd.toFixed(2)} of $${payload.ceilingUsd.toFixed(2)} ceiling`;
+	if (payload.level === "over") {
+		return {
+			level: "error",
+			text: `[budget] session spend ${spend} exceeded. New dispatches are denied at admission; raise budget.sessionCeilingUsd or wind down.`,
+		};
+	}
+	return { level: "warn", text: `[budget] session spend ${spend} reached. New dispatches are denied at admission.` };
+}
+
+/**
+ * Restart-required settings changed under a running session. The level is
+ * always a warning; only the text varies, so this returns the text or null.
+ */
+export function restartRequiredNotice(payload: unknown): string | null {
+	const diff = (payload as { diff?: { restartRequired?: unknown } } | null | undefined)?.diff;
+	const raw = diff?.restartRequired;
+	if (!Array.isArray(raw)) return null;
+	const paths = raw.filter((p): p is string => typeof p === "string" && p.length > 0);
+	if (paths.length === 0) return null;
+	const label = paths.length === 1 ? "setting" : "settings";
+	return `[config] ${label} ${paths.join(", ")} changed; restart Clio to apply.`;
+}
+
+function isSafetyBlockedPayload(value: unknown): value is SafetyBlockedPayload {
+	if (!value || typeof value !== "object") return false;
+	const p = value as Record<string, unknown>;
+	if (typeof p.tool !== "string" || p.tool.length === 0) return false;
+	if (typeof p.actionClass !== "string" || p.actionClass.length === 0) return false;
+	if (p.ruleId !== undefined && typeof p.ruleId !== "string") return false;
+	if (typeof p.policySource !== "string" || p.policySource.length === 0) return false;
+	if (typeof p.reasonCode !== "string" || p.reasonCode.length === 0) return false;
+	return true;
+}
+
+function isMiddlewareHookFailedPayload(value: unknown): value is MiddlewareHookFailedPayload {
+	if (!value || typeof value !== "object") return false;
+	const p = value as Record<string, unknown>;
+	if (p.kind !== "hook_failed" && p.kind !== "budget_exceeded") return false;
+	if (typeof p.registrationId !== "string" || p.registrationId.length === 0) return false;
+	if (typeof p.hook !== "string" || p.hook.length === 0) return false;
+	if (p.message !== undefined && typeof p.message !== "string") return false;
+	if (p.elapsedMs !== undefined && typeof p.elapsedMs !== "number") return false;
+	if (p.budgetMs !== undefined && typeof p.budgetMs !== "number") return false;
+	if (p.steadyStateWarn !== undefined && typeof p.steadyStateWarn !== "boolean") return false;
+	if (p.p95Ms !== undefined && typeof p.p95Ms !== "number") return false;
+	if (p.overCount !== undefined && typeof p.overCount !== "number") return false;
+	if (p.windowSamples !== undefined && typeof p.windowSamples !== "number") return false;
+	return true;
+}
+
+function isWorkerEscalationPayload(value: unknown): value is PermissionRequestedPayload {
+	if (!value || typeof value !== "object") return false;
+	const p = value as Record<string, unknown>;
+	if (typeof p.requestId !== "string" || p.requestId.length === 0) return false;
+	if (typeof p.tool !== "string" || p.tool.length === 0) return false;
+	if (typeof p.actionClass !== "string" || p.actionClass.length === 0) return false;
+	if (p.origin !== undefined) {
+		if (typeof p.origin !== "string" || !p.origin.startsWith("worker:")) return false;
+	} else if (typeof p.requestedBy !== "string" || p.requestedBy.length === 0) {
+		return false;
+	}
+	if (p.agentId !== undefined && typeof p.agentId !== "string") return false;
+	if (p.axis !== undefined && typeof p.axis !== "string") return false;
+	if (p.ruleId !== undefined && typeof p.ruleId !== "string") return false;
+	if (p.reasonCode !== undefined && typeof p.reasonCode !== "string") return false;
+	return true;
+}
+
+function workerRunId(payload: PermissionRequestedPayload): string {
+	if (payload.origin?.startsWith("worker:")) return payload.origin.slice("worker:".length);
+	return payload.requestedBy ?? "worker";
+}
+
+function workerEscalationAxis(
+	payload: PermissionRequestedPayload,
+): { kind: "net"; ruleId: string } | { kind: "autonomy"; level: string } | null {
+	if (payload.axis?.startsWith("net:")) {
+		const ruleId = payload.axis.slice("net:".length);
+		return ruleId.length > 0 ? { kind: "net", ruleId } : null;
+	}
+	if (payload.axis?.startsWith("autonomy:")) {
+		const level = payload.axis.slice("autonomy:".length);
+		return level.length > 0 ? { kind: "autonomy", level } : null;
+	}
+	if (payload.ruleId !== undefined && payload.ruleId.length > 0) {
+		return { kind: "net", ruleId: payload.ruleId };
+	}
+	return null;
+}
+
+export function middlewareBudgetWarningKey(payload: unknown): string | null {
+	if (!isMiddlewareHookFailedPayload(payload)) return null;
+	if (payload.kind !== "budget_exceeded") return null;
+	return `${payload.registrationId}\u0000${payload.hook}`;
+}
+
+/**
+ * A middleware hook registration threw (its effects were discarded) or
+ * overran the soft budget (its effects still applied). The turn proceeded
+ * either way; this warn notice is the operator's only interactive signal
+ * that a guard or assessor is misbehaving.
+ */
+export function middlewareHookFailedNotice(
+	payload: unknown,
+	options: MiddlewareHookFailedNoticeOptions = {},
+): BusNotice | null {
+	if (!isMiddlewareHookFailedPayload(payload)) return null;
+	if (payload.kind === "hook_failed") {
+		const detail = payload.message !== undefined && payload.message.length > 0 ? `: ${payload.message}` : "";
+		return {
+			level: "warn",
+			text: `[middleware] hook '${payload.registrationId}' failed on ${payload.hook}${detail}. Its effects were skipped; the turn continued.`,
+		};
+	}
+	const elapsed = payload.elapsedMs !== undefined ? `${payload.elapsedMs.toFixed(1)}ms` : "unknown";
+	const budget = payload.budgetMs !== undefined ? `${payload.budgetMs}ms` : "budget";
+	const trend =
+		payload.overCount !== undefined && payload.windowSamples !== undefined && payload.windowSamples > 0
+			? ` slow on ${payload.overCount} of the last ${payload.windowSamples} ${payload.hook} calls${
+					payload.p95Ms !== undefined ? `, p95 ${payload.p95Ms.toFixed(1)}ms` : ""
+				};`
+			: ";";
+	const suffix = options.noteBudgetWarningSuppression ? " further budget warnings for this hook suppressed" : "";
+	return {
+		level: "warn",
+		text:
+			`[middleware] hook '${payload.registrationId}' consistently exceeds its soft budget on ${payload.hook} (${elapsed} > ${budget})${trend}${suffix}`.trimEnd(),
+	};
+}
+
+/**
+ * Interactive-notice gate. Only steady-state slowness surfaces to the operator.
+ * Notice gating relies on `steadyStateWarn`; a false value suppresses a lone
+ * post-warmup spike that still rides the bus for telemetry. The warning set
+ * ensures each registration and hook pair is shown only once.
+ */
+export function middlewareHookFailedSessionNotice(payload: unknown, seenBudgetWarnings: Set<string>): BusNotice | null {
+	if (
+		isMiddlewareHookFailedPayload(payload) &&
+		payload.kind === "budget_exceeded" &&
+		payload.steadyStateWarn === false
+	) {
+		return null;
+	}
+	const key = middlewareBudgetWarningKey(payload);
+	if (key !== null) {
+		if (seenBudgetWarnings.has(key)) return null;
+		seenBudgetWarnings.add(key);
+	}
+	return middlewareHookFailedNotice(payload, { noteBudgetWarningSuppression: key !== null });
+}
+
+/**
+ * A tool call parked for one-shot approval (sd-01 §3.3). The text names the
+ * axis that produced the ask: a safety-net rail asks at every level, while an
+ * autonomy ask exists only because of the current level and can be widened in
+ * .clio-coder/safety.yaml when it is an execute action.
+ */
+export function approvalParkedNotice(tool: string, decision: SafetyDecision, autonomy: string): BusNotice {
+	const actionClass = decision.classification.actionClass;
+	const axis = askAxis(decision);
+	if (axis.kind === "net") {
+		return {
+			level: "warn",
+			text: `[approval] ${tool} parked (${actionClass}): safety-net rail ${axis.ruleId} asks for confirmation. Approve once, or Esc to deny this call.`,
+		};
+	}
+	const widen =
+		actionClass === "execute"
+			? " Approve once, or add it to .clio-coder/safety.yaml commands."
+			: " Approve once, or Esc to deny this call.";
+	return {
+		level: "warn",
+		text: `[approval] ${tool} parked (${actionClass}): asks at autonomy ${autonomy}.${widen}`,
+	};
+}
+
+export function workerEscalationNotice(payload: unknown): BusNotice | null {
+	if (!isWorkerEscalationPayload(payload)) return null;
+	const axis = workerEscalationAxis(payload);
+	if (axis === null) return null;
+	const agentId = payload.agentId ?? "worker";
+	const runId = workerRunId(payload);
+	if (axis.kind === "net") {
+		return {
+			level: "warn",
+			text: `[approval] worker ${agentId} (run ${runId}) asks to run ${payload.tool} (${payload.actionClass}): safety-net rail ${axis.ruleId} asks for confirmation. Approve once, or Esc to deny this call.`,
+		};
+	}
+	return {
+		level: "warn",
+		text: `[approval] worker ${agentId} (run ${runId}) asks to run ${payload.tool} (${payload.actionClass}): asks at autonomy ${axis.level}. Approve once, or Esc to deny this call.`,
+	};
+}
+
+/**
+ * The autonomy mapping auto-denied a call (deny dispositions; today only the
+ * read-only level). The transcript shows the rejection the model received;
+ * this notice names the level so the operator knows the dial, not a safety
+ * rail, refused the action.
+ */
+export function autonomyDeniedNotice(decision: SafetyDecision, level: string): BusNotice {
+	const actionClass = decision.classification.actionClass;
+	return {
+		level: "warn",
+		text: `[autonomy] denied ${actionClass} (${level}): Clio proposes changes at this level.`,
+	};
+}
+
+/**
+ * The transcript already shows the rejection text the model received
+ * (rejection.short names the tool and action class), so this notice aims at
+ * the policy dimension the transcript omits: which rule fired and from which
+ * policy source. The closing sentence states that these gates are
+ * level-independent, so the notice never reads as a contradiction of the
+ * autonomy level shown in the dashboards (sd-01).
+ */
+export function safetyBlockedNotice(payload: unknown): BusNotice | null {
+	if (!isSafetyBlockedPayload(payload)) return null;
+	const rule =
+		payload.ruleId !== undefined && payload.ruleId !== payload.reasonCode
+			? `rule ${payload.ruleId} (${payload.reasonCode})`
+			: payload.reasonCode;
+	return {
+		level: "warn",
+		text: `[safety-net] blocked ${payload.tool} (${payload.actionClass}): ${rule} via ${payload.policySource}. This gate applies at every autonomy level.`,
+	};
+}