@sayknow-cli/coding-agent 0.5.21 → 0.5.22

package/src/decisions/types.ts

@@ -0,0 +1,119 @@
+/**
+ * Typed decisions — "Jev-shaped" structured judgments for code to branch on.
+ *
+ * The request/response shape follows TypeSafe's System One API so a backend can be
+ * swapped without touching call sites: the hosted `jev` model, a self-hosted OpenJev
+ * daemon, or — the default — the model the user is already logged into.
+ *
+ * What this is NOT: a probability oracle. Only the hosted model returns calibrated
+ * probabilities. Backends that constrain an ordinary LLM return an ordinal value and
+ * report `calibrated: false`; treat those numbers as a ranking, never as P(correct).
+ */
+
+/** Pick exactly one option from a closed set. */
+export interface ChoiceQuestion {
+	type: "choice";
+	instructions: string;
+	/** option id -> what that option means. At least two. */
+	criteria: Record<string, string>;
+}
+
+/** Rate the state against ordered levels. Level 0 is the lowest. */
+export interface ScoreQuestion {
+	type: "score";
+	instructions: string;
+	/** Ordered level descriptions, lowest first. At least two. */
+	criteria: string[];
+}
+
+/** Is this statement true of the state? */
+export interface NoulQuestion {
+	type: "noul";
+	instructions: string;
+}
+
+export type Question = ChoiceQuestion | ScoreQuestion | NoulQuestion;
+
+export interface ChoiceAnswer {
+	type: "choice";
+	/** The selected option id. Always one of the declared `criteria` keys. */
+	choice: string;
+	/** Present only when the backend exposes a distribution. */
+	probabilities?: Record<string, number>;
+	/**
+	 * How certain the backend is, 0..1. Only meaningful when the result reports
+	 * `calibrated: true` — that is the difference between a number you can threshold on
+	 * and a number that merely ranks. Absent when the backend cannot supply one.
+	 */
+	confidence?: number;
+}
+
+export interface ScoreAnswer {
+	type: "score";
+	/** Level index. Fractional only when the backend returns a distribution. */
+	score: number;
+	/** Selected level index. */
+	level: number;
+	legend: Record<string, string>;
+	probabilities?: Record<string, number>;
+	/** See {@link ChoiceAnswer.confidence}. */
+	confidence?: number;
+}
+
+export interface NoulAnswer {
+	type: "noul";
+	/** 0 (no) .. 1 (yes). Ordinal unless `calibrated` is true. */
+	noul: number;
+}
+
+export type Answer = ChoiceAnswer | ScoreAnswer | NoulAnswer;
+
+export interface DecisionResult {
+	answers: Record<string, Answer>;
+	/** Which backend answered, for logging and A/B comparison. */
+	backend: string;
+	/** Model identifier the backend used. */
+	model: string;
+	/**
+	 * False means the numbers are ordinal rankings, not probabilities.
+	 * Only the hosted System One model reports true.
+	 */
+	calibrated: boolean;
+	durationMs: number;
+}
+
+export interface DecisionRequest {
+	/** The content to judge. Plain text, or JSON-serialisable structured state. */
+	state: string | Record<string, unknown> | unknown[];
+	/** Question id -> question. Answers come back under the same ids. */
+	questions: Record<string, Question>;
+	signal?: AbortSignal;
+}
+
+export interface DecisionBackend {
+	readonly name: string;
+	/** Resolves null when the backend is unavailable (no credentials, offline, disabled). */
+	decide(request: DecisionRequest): Promise<DecisionResult | null>;
+}
+
+export const MIN_OPTIONS = 2;
+/** Matches OpenJev's letter-slot ceiling so a graph stays portable across backends. */
+export const MAX_OPTIONS = 16;
+
+export function validateQuestions(questions: Record<string, Question>): void {
+	const entries = Object.entries(questions);
+	if (entries.length === 0) throw new Error("decisions: questions must not be empty");
+	for (const [key, question] of entries) {
+		if (question.type === "noul") {
+			if (!question.instructions?.trim()) throw new Error(`decisions: ${key} needs instructions`);
+			continue;
+		}
+		const size = question.type === "choice" ? Object.keys(question.criteria).length : question.criteria.length;
+		if (size < MIN_OPTIONS || size > MAX_OPTIONS)
+			throw new Error(`decisions: ${key} needs ${MIN_OPTIONS}-${MAX_OPTIONS} options, got ${size}`);
+	}
+}
+
+export function stateToText(state: DecisionRequest["state"]): string {
+	return typeof state === "string" ? state : JSON.stringify(state);
+}

package/src/decisions/typesafe-backend.ts

@@ -0,0 +1,168 @@
+/**
+ * Decision backend backed by TypeSafe's hosted System One model (`jev`).
+ *
+ * Unlike the LLM backend, this one returns **calibrated probabilities**: the model is
+ * trained to make the number mean what it says, so `confidence` is a value code can
+ * threshold on rather than a ranking. That is the whole reason to prefer it when a key
+ * is present — the type safety alone we already get from enum-constrained tool calls.
+ *
+ * Credentials ride the existing store (`ModelRegistry.getApiKeyForProvider`), so a key
+ * added through the normal "add model" flow turns this backend on and removing it turns
+ * it off. There is nothing extra to configure.
+ *
+ * Deliberately *not* registered in `packages/ai`'s provider registry: that registry is
+ * for streaming chat APIs, and this endpoint has no stream, no messages, and no text
+ * output. Wiring it there would force a `Model` shape onto something that is not a chat
+ * model. It stays a plain HTTP client behind the `DecisionBackend` interface.
+ */
+import { logger } from "@sayknow-cli/utils";
+import type { ModelRegistry } from "../config/model-registry";
+import {
+	type Answer,
+	type DecisionBackend,
+	type DecisionRequest,
+	type DecisionResult,
+	type Question,
+	validateQuestions,
+} from "./types";
+
+/** Provider id under which the key is stored and surfaced in the model list. */
+export const TYPESAFE_PROVIDER = "typesafe";
+const DEFAULT_BASE_URL = "https://api.typesafe.ai";
+const DEFAULT_MODEL = "jev-latest";
+/** The hosted model answers in well under a second; anything slower is a network fault. */
+const REQUEST_TIMEOUT_MS = 10_000;
+
+interface TypeSafeAnswer {
+	type?: string;
+	noul?: number;
+	choice?: string;
+	score?: number;
+	probabilities?: Record<string, number>;
+	legend?: Record<string, string>;
+	confidence?: number;
+}
+
+interface TypeSafeResponse {
+	model?: string;
+	answers?: Record<string, TypeSafeAnswer>;
+	usage?: { input_tokens?: number; output_tokens?: number };
+}
+
+/**
+ * Our question shape is already the System One shape, so this is a rename rather than a
+ * translation — `noul` carries no criteria, `choice` an id→meaning map, `score` an
+ * ordered level array. Keeping them aligned is what lets a caller switch backends
+ * without touching the call site.
+ */
+function toWireQuestions(questions: Record<string, Question>): Record<string, unknown> {
+	const wire: Record<string, unknown> = {};
+	for (const [key, question] of Object.entries(questions)) {
+		wire[key] =
+			question.type === "noul"
+				? { type: "noul", instructions: question.instructions }
+				: { type: question.type, instructions: question.instructions, criteria: question.criteria };
+	}
+	return wire;
+}
+
+/**
+ * Map a wire answer onto our typed answer.
+ *
+ * Anything that does not match the question we asked is dropped rather than coerced: a
+ * decision that looks typed but is not the one we requested is worse than a missing one,
+ * because the caller cannot tell the difference.
+ */
+function toAnswer(question: Question, raw: TypeSafeAnswer | undefined): Answer | null {
+	if (!raw) return null;
+	if (question.type === "noul") {
+		return typeof raw.noul === "number" ? { type: "noul", noul: raw.noul } : null;
+	}
+	if (question.type === "choice") {
+		if (typeof raw.choice !== "string" || !(raw.choice in question.criteria)) return null;
+		return {
+			type: "choice",
+			choice: raw.choice,
+			...(raw.probabilities ? { probabilities: raw.probabilities } : {}),
+			...(typeof raw.confidence === "number" ? { confidence: raw.confidence } : {}),
+		};
+	}
+	if (typeof raw.score !== "number") return null;
+	const level = Math.min(question.criteria.length - 1, Math.max(0, Math.round(raw.score)));
+	return {
+		type: "score",
+		score: raw.score,
+		level,
+		legend: raw.legend ?? Object.fromEntries(question.criteria.map((meaning, index) => [String(index), meaning])),
+		...(raw.probabilities ? { probabilities: raw.probabilities } : {}),
+		...(typeof raw.confidence === "number" ? { confidence: raw.confidence } : {}),
+	};
+}
+
+export interface TypeSafeBackendDeps {
+	registry: ModelRegistry;
+	sessionId?: string;
+	/** Override for self-hosted or proxied deployments. */
+	baseUrl?: string;
+	/** Model id sent in the request body. Named to avoid colliding with the LLM backend's `model`. */
+	modelId?: string;
+	/** Injected in tests; defaults to global fetch. */
+	fetchImpl?: typeof fetch;
+}
+
+export function createTypeSafeDecisionBackend(deps: TypeSafeBackendDeps): DecisionBackend {
+	const baseUrl = (deps.baseUrl ?? DEFAULT_BASE_URL).replace(/\/+$/, "");
+	const model = deps.modelId ?? DEFAULT_MODEL;
+	const doFetch = deps.fetchImpl ?? fetch;
+
+	return {
+		name: "typesafe",
+		async decide(request: DecisionRequest): Promise<DecisionResult | null> {
+			validateQuestions(request.questions);
+			const apiKey = await deps.registry.getApiKeyForProvider(TYPESAFE_PROVIDER, deps.sessionId);
+			// No key means the user never added TypeSafe. That is not an error — the next
+			// backend (their logged-in model) handles it.
+			if (!apiKey) return null;
+
+			const controller = new AbortController();
+			const abortOnCaller = () => controller.abort();
+			request.signal?.addEventListener("abort", abortOnCaller, { once: true });
+			const timer = setTimeout(() => controller.abort(), REQUEST_TIMEOUT_MS);
+			const started = Date.now();
+			try {
+				const response = await doFetch(`${baseUrl}/v1/systemone`, {
+					method: "POST",
+					headers: { Authorization: `Bearer ${apiKey}`, "Content-Type": "application/json" },
+					body: JSON.stringify({ state: request.state, model, questions: toWireQuestions(request.questions) }),
+					signal: controller.signal,
+				});
+				if (!response.ok) {
+					logger.debug("decisions/typesafe: request failed", {
+						status: response.status,
+						body: (await response.text().catch(() => "")).slice(0, 300),
+					});
+					return null;
+				}
+				const payload = (await response.json()) as TypeSafeResponse;
+				const answers: Record<string, Answer> = {};
+				for (const [key, question] of Object.entries(request.questions)) {
+					const answer = toAnswer(question, payload.answers?.[key]);
+					if (answer) answers[key] = answer;
+				}
+				if (Object.keys(answers).length === 0) return null;
+				return {
+					answers,
+					backend: "typesafe",
+					model: payload.model ?? model,
+					// The hosted System One model is trained for calibration; this is the one
+					// backend allowed to claim it.
+					calibrated: true,
+					durationMs: Date.now() - started,
+				};
+			} finally {
+				clearTimeout(timer);
+				request.signal?.removeEventListener("abort", abortOnCaller);
+			}
+		},
+	};
+}

package/src/hooks/skill-keywords.ts

@@ -36,6 +36,26 @@ export const SKC_SKILL_KEYWORD_DEFINITIONS: readonly SkillKeywordDefinition[] =
 		priority: 8,
 		guidance: "Activate SKC deep-interview requirements workflow",
 	},
+	// Korean counterparts. The table was English-only, which is why the deterministic
+	// stage recalled 0/9 on Korean prompts while scoring 4/8 on English ones — the gap
+	// was never about phrasing being harder to detect, it was about nobody enumerating it.
+	//
+	// These stay deliberately narrow. A keyword fires with full authority and no
+	// confidence to fall back on, so a loose phrase here activates a workflow the user
+	// never asked for — worse than missing one, because the semantic stage still catches
+	// paraphrases behind it.
+	{
+		keyword: "추측하지 말",
+		skill: "deep-interview",
+		priority: 8,
+		guidance: "Activate SKC deep-interview requirements workflow",
+	},
+	{
+		keyword: "인터뷰하듯",
+		skill: "deep-interview",
+		priority: 8,
+		guidance: "Activate SKC deep-interview requirements workflow",
+	},
 	{
 		keyword: "$ralplan",
 		skill: "ralplan",
@@ -48,6 +68,18 @@ export const SKC_SKILL_KEYWORD_DEFINITIONS: readonly SkillKeywordDefinition[] =
 		priority: 9,
 		guidance: "Activate SKC ralplan planning workflow",
 	},
+	{
+		keyword: "합의된 계획",
+		skill: "ralplan",
+		priority: 9,
+		guidance: "Activate SKC ralplan planning workflow",
+	},
+	{
+		keyword: "계획서 만들",
+		skill: "ralplan",
+		priority: 9,
+		guidance: "Activate SKC ralplan planning workflow",
+	},
 	{
 		keyword: "$ultragoal",
 		skill: "ultragoal",
@@ -60,6 +92,18 @@ export const SKC_SKILL_KEYWORD_DEFINITIONS: readonly SkillKeywordDefinition[] =
 		priority: 8,
 		guidance: "Activate SKC ultragoal durable goal workflow",
 	},
+	{
+		keyword: "끝까지 추적",
+		skill: "ultragoal",
+		priority: 8,
+		guidance: "Activate SKC ultragoal durable goal workflow",
+	},
+	{
+		keyword: "장기 목표로",
+		skill: "ultragoal",
+		priority: 8,
+		guidance: "Activate SKC ultragoal durable goal workflow",
+	},
 	{
 		keyword: "$team",
 		skill: "team",
@@ -72,6 +116,18 @@ export const SKC_SKILL_KEYWORD_DEFINITIONS: readonly SkillKeywordDefinition[] =
 		priority: 8,
 		guidance: "Activate SKC team workflow",
 	},
+	{
+		keyword: "병렬로 돌려",
+		skill: "team",
+		priority: 8,
+		guidance: "Activate SKC team workflow",
+	},
+	{
+		keyword: "팀 구성해서",
+		skill: "team",
+		priority: 8,
+		guidance: "Activate SKC team workflow",
+	},
 ] as const;
 
 export function isSkcWorkflowSkill(value: string): value is SkcWorkflowSkill {

package/src/hooks/skill-state.ts

@@ -121,6 +121,12 @@ export interface RecordSkillActivationInput {
 	turnId?: string;
 	nowIso?: string;
 	stateDir?: string;
+	/**
+	 * Semantic fallback, consulted only when no keyword matched. Supplying it turns the
+	 * literal keyword table into a two-stage router; omitting it keeps the historical
+	 * keyword-only behaviour byte for byte.
+	 */
+	resolveSkillSemantically?: (text: string) => Promise<SkcWorkflowSkill | null>;
 }
 
 export interface StopHookInput {
@@ -471,8 +477,18 @@ async function seedSkillActivationState(
 // real /skill dispatch paths resolve sub-skill activation before prompt construction.
 export async function recordSkillActivation(input: RecordSkillActivationInput): Promise<SkillActiveState | null> {
 	const match = detectPrimarySkillKeyword(input.text);
-	if (!match) return null;
-	return await seedSkillActivationState(match.skill, match.keyword, "skc-skill-state-hook", input);
+	if (match) return await seedSkillActivationState(match.skill, match.keyword, "skc-skill-state-hook", input);
+	if (!input.resolveSkillSemantically) return null;
+	// The semantic stage is advisory: any failure leaves routing to the system prompt,
+	// exactly as it behaved before this stage existed.
+	let semantic: SkcWorkflowSkill | null = null;
+	try {
+		semantic = await input.resolveSkillSemantically(input.text);
+	} catch {
+		return null;
+	}
+	if (!semantic) return null;
+	return await seedSkillActivationState(semantic, `semantic:${semantic}`, "skc-skill-decision", input);
 }
 
 export interface EnsureWorkflowSkillActivationInput {

package/src/modes/components/provider-onboarding-selector.ts

@@ -4,7 +4,12 @@ import { matchesSelectCancel } from "../../modes/utils/keybinding-matchers";
 import { formatModelOnboardingGuidance } from "../../setup/model-onboarding-guidance";
 import { DynamicBorder } from "./dynamic-border";
 
-export type ProviderOnboardingAction = "custom-provider-wizard" | "oauth-login" | "import-credentials" | "api-guide";
+export type ProviderOnboardingAction =
+	| "custom-provider-wizard"
+	| "oauth-login"
+	| "import-credentials"
+	| "api-guide"
+	| "typesafe-key";
 
 interface ProviderOnboardingOption {
 	label: string;
@@ -28,6 +33,13 @@ const PROVIDER_ONBOARDING_OPTIONS: ProviderOnboardingOption[] = [
 		description: "Show the /provider add and skc setup provider commands.",
 		action: "api-guide",
 	},
+	{
+		// Not a chat model, so it never shows in the model picker — but this list is where
+		// users come to add a key, and a CLI-only path means nobody turns it on.
+		label: "Add TypeSafe key (typed decisions)",
+		description: "Route workflow decisions through the hosted System One model. Off entirely without a key.",
+		action: "typesafe-key",
+	},
 	{
 		label: "Import existing credentials",
 		description: "Detect and import Claude Code / Codex CLI logins already on this machine.",

package/src/modes/components/typesafe-key-prompt.ts

@@ -0,0 +1,108 @@
+/**
+ * Key entry for TypeSafe, reachable from the same place models are added.
+ *
+ * TypeSafe is not a chat model, so it never appears in the model picker — but the place
+ * users look when they want to "add a model with a key" is this onboarding list, and
+ * making them find a CLI subcommand instead would mean most users never enable it.
+ *
+ * The key is taken through {@link SecretInput} and consumed once: it is never rendered,
+ * never placed in a flag, and never written anywhere but the credential store.
+ */
+import { Container, type Input, matchesKey, SecretInput, Spacer, Text, TruncatedText } from "@sayknow-cli/tui";
+import { theme } from "../theme/theme";
+import { matchesSelectCancel } from "../utils/keybinding-matchers";
+import { DynamicBorder } from "./dynamic-border";
+
+export interface TypeSafeKeyPromptResult {
+	apiKey: string;
+}
+
+export class TypeSafeKeyPromptComponent extends Container {
+	#content: Container;
+	#input: SecretInput | null = null;
+	#onSubmit: (result: TypeSafeKeyPromptResult) => void;
+	#onCancel: () => void;
+	#onRender: () => void;
+	#busy = false;
+	#error: string | null = null;
+
+	constructor(
+		onSubmit: (result: TypeSafeKeyPromptResult) => void,
+		onCancel: () => void,
+		onRender: () => void = () => {},
+	) {
+		super();
+		this.#onSubmit = onSubmit;
+		this.#onCancel = onCancel;
+		this.#onRender = onRender;
+		this.#content = new Container();
+		this.addChild(new DynamicBorder());
+		this.addChild(new Spacer(1));
+		this.addChild(new TruncatedText(theme.bold("TypeSafe (typed decisions)")));
+		this.addChild(
+			new TruncatedText(
+				theme.fg(
+					"muted",
+					"  Routes workflow decisions through the hosted System One model instead of your chat model.",
+				),
+				0,
+				0,
+			),
+		);
+		this.addChild(
+			new TruncatedText(theme.fg("muted", "  Without a key this stays off and nothing else changes."), 0, 0),
+		);
+		this.addChild(new Spacer(1));
+		this.addChild(this.#content);
+		this.addChild(new Spacer(1));
+		this.addChild(new DynamicBorder());
+		this.#render();
+	}
+
+	/** Shown while the key is being checked against the live API. */
+	setBusy(busy: boolean): void {
+		this.#busy = busy;
+		this.#render();
+	}
+
+	/** Keeps the prompt open so a rejected key can be corrected without restarting. */
+	setError(message: string): void {
+		this.#busy = false;
+		this.#error = message;
+		this.#render();
+	}
+
+	#render(): void {
+		this.#content.clear();
+		if (this.#busy) {
+			this.#input = null;
+			this.#content.addChild(new Text(theme.fg("muted", "Verifying key against TypeSafe…"), 0, 0));
+			this.#onRender();
+			return;
+		}
+		if (this.#error) {
+			this.#content.addChild(new Text(theme.fg("error", this.#error), 0, 0));
+			this.#content.addChild(new Spacer(1));
+		}
+		this.#content.addChild(new Text("Paste your TypeSafe API key:", 0, 0));
+		this.#content.addChild(new Spacer(1));
+		const input = new SecretInput();
+		input.onSubmit = secret => {
+			const apiKey = secret.consume().trim();
+			if (!apiKey) return;
+			this.#error = null;
+			this.#onSubmit({ apiKey });
+		};
+		this.#input = input;
+		this.#content.addChild(input);
+		this.#onRender();
+	}
+
+	handleInput(keyData: string): void {
+		if (matchesSelectCancel(keyData) || matchesKey(keyData, "escape")) {
+			this.#onCancel();
+			return;
+		}
+		(this.#input as Input | SecretInput | null)?.handleInput(keyData);
+	}
+}

package/src/modes/controllers/selector-controller.ts

@@ -150,6 +150,7 @@ import { ToolExecutionComponent } from "../components/tool-execution";
 import type { StatusLineSettings } from "../components/tool-status-header";
 import { TranscriptViewerOverlay, transcriptViewerEntries } from "../components/transcript-viewer-overlay";
 import { TreeSelectorComponent } from "../components/tree-selector";
+import { TypeSafeKeyPromptComponent } from "../components/typesafe-key-prompt";
 import { UserMessageSelectorComponent } from "../components/user-message-selector";
 import type { JobsObserver } from "../jobs-observer";
 import type { SessionObserverRegistry } from "../session-observer-registry";
@@ -879,6 +880,8 @@ export class SelectorController {
 						void this.showOAuthSelector("login");
 					} else if (action === "import-credentials") {
 						void this.#handleCredentialImport();
+					} else if (action === "typesafe-key") {
+						this.#showTypeSafeKeyPrompt();
 					} else {
 						this.ctx.showStatus(formatProviderOnboardingCommandGuide());
 					}
@@ -892,6 +895,47 @@ export class SelectorController {
 		});
 	}
 
+	/**
+	 * Take a TypeSafe key and verify it before storing.
+	 *
+	 * Verification is not optional here. The decision service fails open by design, so an
+	 * unverified bad key produces no error anywhere: decisions silently keep coming from
+	 * the user's own model while the UI claims TypeSafe is on. Better to keep the prompt
+	 * open and say the key was rejected.
+	 */
+	#showTypeSafeKeyPrompt(): void {
+		this.showSelector(done => {
+			let prompt: TypeSafeKeyPromptComponent | undefined;
+			prompt = new TypeSafeKeyPromptComponent(
+				({ apiKey }) => {
+					prompt?.setBusy(true);
+					void (async () => {
+						try {
+							const { formatTypeSafeKeyResult, setTypeSafeKey } = await import("../../setup/decision-provider");
+							const result = await setTypeSafeKey({ apiKey });
+							if (result.error) {
+								prompt?.setError(result.error);
+								this.ctx.ui.requestRender();
+								return;
+							}
+							done();
+							this.ctx.showStatus(formatTypeSafeKeyResult(result));
+						} catch (error) {
+							prompt?.setError(error instanceof Error ? error.message : String(error));
+							this.ctx.ui.requestRender();
+						}
+					})();
+				},
+				() => {
+					done();
+					this.ctx.ui.requestRender();
+				},
+				() => this.ctx.ui.requestRender(),
+			);
+			return { component: prompt, focus: prompt };
+		});
+	}
+
 	async #handleCredentialImport(): Promise<void> {
 		this.ctx.showStatus("Scanning for existing Claude Code / Codex CLI credentials…");
 		const preview = await runExternalCredentialAutoImport({

package/src/sdk/bus/native-runtime-compatibility.ts

@@ -1,3 +1,5 @@
+import { fileURLToPath } from "node:url";
+
 const REQUIRED_WORKFLOW_ARBITRATION_METHODS = ["registerArbitratedAsk", "retireIfUnclaimed", "stopAndWait"] as const;
 
 export class NativeRuntimeCompatibilityError extends Error {
@@ -8,12 +10,20 @@ export class NativeRuntimeCompatibilityError extends Error {
 		readonly runtimeVersion: string,
 		readonly nativeVersion: string,
 		readonly workflowArbitrationAvailable: boolean,
+		readonly nativeModulePath: string | null = null,
 	) {
+		const loadedFrom = nativeModulePath ? ` (loaded from ${nativeModulePath})` : "";
+		const causes = [
+			...(runtimeVersion === nativeVersion
+				? []
+				: [`loaded native version is ${nativeVersion}${loadedFrom}, expected ${runtimeVersion}`]),
+			...(workflowArbitrationAvailable ? [] : [`required workflow arbitration methods are missing${loadedFrom}`]),
+		];
 		super(
 			`Incompatible @sayknow-cli/natives for @sayknow-cli/coding-agent@${runtimeVersion}: ` +
-				`loaded native version is ${nativeVersion}, and required workflow arbitration methods are ` +
-				`${workflowArbitrationAvailable ? "available" : "missing"}. ` +
-				`Reinstall matching @sayknow-cli/coding-agent and @sayknow-cli/natives packages.`,
+				`${causes.join("; ")}. ` +
+				`Reinstall matching @sayknow-cli/coding-agent and @sayknow-cli/natives packages, ` +
+				`and remove any stale nested node_modules copy of @sayknow-cli/natives that shadows it.`,
 		);
 		this.name = "NativeRuntimeCompatibilityError";
 	}
@@ -27,10 +37,26 @@ function hasWorkflowArbitrationMethods(notificationServer: unknown): boolean {
 	);
 }
 
+/**
+ * Where the process actually loaded `@sayknow-cli/natives` from. Diagnostic only:
+ * a nested `node_modules` copy wins resolution over a workspace link, so the path
+ * is the difference between "reinstall something" and a one-line fix.
+ */
+function resolveNativeModulePath(): string | null {
+	try {
+		const resolved = import.meta.resolve?.("@sayknow-cli/natives");
+		if (typeof resolved !== "string") return null;
+		return resolved.startsWith("file:") ? fileURLToPath(resolved) : resolved;
+	} catch {
+		return null;
+	}
+}
+
 export function assertNativeRuntimeCompatibility(input: {
 	runtimeVersion: string;
 	nativeVersion: string;
 	notificationServer: unknown;
+	nativeModulePath?: string | null;
 }): void {
 	const workflowArbitrationAvailable = hasWorkflowArbitrationMethods(input.notificationServer);
 	if (input.runtimeVersion !== input.nativeVersion || !workflowArbitrationAvailable)
@@ -38,5 +64,6 @@ export function assertNativeRuntimeCompatibility(input: {
 			input.runtimeVersion,
 			input.nativeVersion,
 			workflowArbitrationAvailable,
+			input.nativeModulePath ?? resolveNativeModulePath(),
 		);
 }