@okfit/cli 0.6.12 → 0.8.0

package/commands/verify-picker.js

@@ -0,0 +1,75 @@
+import { Cancelled } from "@effected/cli";
+import { loadPickerCandidates } from "@okfit/engine";
+import { Console, Effect } from "effect";
+import { CliUi, Confirm, MultiSelect } from "@effected/cli/ui";
+
+//#region src/commands/verify-picker.ts
+/** One compact row: id, status and how many other actors already attested it. */
+const pickerLabel = (candidate) => candidate.otherAttestations === 0 ? `${candidate.id}  ${candidate.status}` : `${candidate.id}  ${candidate.status}  ${candidate.otherAttestations} other attestation(s)`;
+const detailOf = (candidate) => {
+	const { title, description } = candidate;
+	if (title !== null && description !== null) return `${title} — ${description}`;
+	return title ?? description ?? void 0;
+};
+/** Candidates grouped into one section per type, in candidate order. */
+const pickerSections = (candidates) => {
+	const byType = /* @__PURE__ */ new Map();
+	for (const candidate of candidates) {
+		const rows = byType.get(candidate.type);
+		if (rows === void 0) byType.set(candidate.type, [candidate]);
+		else rows.push(candidate);
+	}
+	return [...byType].map(([type, rows]) => ({
+		title: type,
+		items: rows.map((candidate) => {
+			const detail = detailOf(candidate);
+			return {
+				key: candidate.id,
+				label: pickerLabel(candidate),
+				value: candidate.id,
+				...detail === void 0 ? {} : { detail }
+			};
+		})
+	}));
+};
+/**
+* Bare `okfit verify` on a terminal: list what `by` has not attested, let the
+* person pick, confirm. Resolves to `undefined` (after printing why) when there
+* is nothing to do; fails `Cancelled` on Esc, `q`, Ctrl-C or a "no" answer, and
+* `NotInteractive` when no screen can mount. Writes nothing itself.
+*/
+const pickConcepts = (options) => Effect.gen(function* () {
+	const { by, candidates } = yield* loadPickerCandidates(options);
+	if (candidates.length === 0) {
+		yield* Console.log(`nothing to verify: every require_verified concept is already attested by ${by}`);
+		return;
+	}
+	const ids = yield* CliUi.prompt(MultiSelect.screen({
+		message: "Attest which concepts?",
+		sections: pickerSections(candidates)
+	}));
+	if (ids.length === 0) {
+		yield* Console.log("nothing selected; nothing written");
+		return;
+	}
+	const chosen = new Set(ids);
+	const drafts = candidates.filter((candidate) => chosen.has(candidate.id) && candidate.status === "draft").length;
+	const answer = yield* CliUi.prompt(Confirm.screen({
+		message: `Attest ${ids.length} concept(s) as ${by}?`,
+		initial: true,
+		toggles: drafts > 0 ? [{
+			key: "promote",
+			label: `promote ${drafts} draft(s) to stable`,
+			value: true
+		}] : []
+	}));
+	if (!answer.confirmed) return yield* new Cancelled({ reason: "escape" });
+	return {
+		by,
+		ids,
+		promote: answer.toggles.promote ?? false
+	};
+});
+
+//#endregion
+export { pickConcepts, pickerLabel, pickerSections };

package/commands/verify.js

@@ -1,10 +1,11 @@
-import { setExitCode } from "../internal/exit.js";
 import { CLI_VERSION } from "../version.js";
 import { displayRoot } from "../render/human.js";
 import { humanVerify, humanVerifyBatch } from "../render/verify.js";
+import { pickConcepts } from "./verify-picker.js";
+import { CliInteractive } from "@effected/cli";
 import { Argument, Command, Flag } from "effect/cli";
 import { CurrentDistribution } from "@effected/engine";
-import { Now, VerifyBatchEnvelope, VerifyEnvelope, VerifySelectionError, jsonError, provideConfig, resolveProjectConfig, runVerify, runVerifyBatch, verifyBatchEnvelope, verifyEnvelope } from "@okfit/engine";
+import { Now, VerifyBatchEnvelope, VerifyEnvelope, VerifySelectionError, jsonError, provideConfig, resolveProjectConfig, runVerify, runVerifyBatch, runVerifyIds, verifyBatchEnvelope, verifyEnvelope } from "@okfit/engine";
 import { Console, DateTime, Effect, Option, Path, Schema } from "effect";
 import { Timestamp } from "@okfit/core";
 import { Git } from "@effected/git";
@@ -20,6 +21,10 @@ const idArg = Argument.String("id").pipe(Argument.optional, Argument.withDescrip
 const allFlag = Flag.Boolean("all").pipe(Flag.withDefault(false), Flag.withDescription("verify every concept whose type sets require_verified and that you have not verified yet; drafts are skipped"));
 /** Issue #138: narrow (or, without --all, define) the batch to these types. */
 const typeFlag = Flag.String("type").pipe(Flag.atLeast(0), Flag.withDescription("verify every unverified concept of this type (repeatable); implies --all's selection rule for the named types"));
+/** Issue #185: settle the concept in the same write as the attestation. */
+const stableFlag = Flag.Boolean("stable").pipe(Flag.withDefault(false), Flag.withDescription("also set status: stable in the same write; needs a concept id"));
+/** Issue #185: record a review without settling. */
+const draftFlag = Flag.Boolean("draft").pipe(Flag.withDefault(false), Flag.withDescription("also set (or keep) status: draft in the same write; needs a concept id"));
 /** K-2: `[path]` is the PROJECT root, byte-identical to validate/init/context's. */
 const pathArg = Argument.Path("path", { pathType: "directory" }).pipe(Argument.optional, Argument.withDescription("project root to start config discovery from (default: current directory); never the bundle root"));
 /** K-1: no `mustExist`; the handler stats it via `provideConfig`. */
@@ -30,8 +35,8 @@ const atFlag = Flag.String("at").pipe(Flag.optional, Flag.withDescription("ISO 8
 const dryRunFlag = Flag.Boolean("dry-run").pipe(Flag.withDefault(false), Flag.withDescription("print the exact fragment a real run would splice in; write nothing"));
 const formatFlag = Flag.Literals("format", ["human", "json"]).pipe(Flag.withDefault("human"), Flag.withDescription("output format: human (default) or json"));
 /**
-* `okfit verify [<id>] [path] [--all] [--type <Type>]... [--config <file>]
-* [--at <iso>] [--dry-run] [--format human|json]`.
+* `okfit verify [<id>] [path] [--all] [--type <Type>]... [--stable|--draft]
+* [--config <file>] [--at <iso>] [--dry-run] [--format human|json]`.
 *
 * Handler order fixed by contract §2.3. Steps 1–3 are `context`'s handler
 * in substance — stat `--config` (K-1) via `provideConfig`, discover,
@@ -51,6 +56,8 @@ const verifyCommand = Command.make("verify", {
 	config: configFlag,
 	all: allFlag,
 	type: typeFlag,
+	stable: stableFlag,
+	draft: draftFlag,
 	at: atFlag,
 	dryRun: dryRunFlag,
 	format: formatFlag
@@ -69,7 +76,35 @@ const verifyCommand = Command.make("verify", {
 		});
 		const at = Option.isNone(input.at) ? DateTime.startOf(yield* Now, "second") : yield* Schema.decodeUnknownEffect(Timestamp)(input.at.value);
 		if (Option.isSome(input.id) && Option.isSome(input.path) && batch) return yield* new VerifySelectionError({ reason: "id-and-batch" });
-		if (Option.isNone(input.id) && !batch) return yield* new VerifySelectionError({ reason: "no-selection" });
+		if (input.stable && input.draft) return yield* new VerifySelectionError({ reason: "status-conflict" });
+		const status = input.stable ? "stable" : input.draft ? "draft" : void 0;
+		if (status !== void 0 && (batch || Option.isNone(input.id))) return yield* new VerifySelectionError({ reason: "status-and-batch" });
+		if (Option.isNone(input.id) && !batch) {
+			if (!(yield* CliInteractive)) return yield* new VerifySelectionError({ reason: "no-selection" });
+			const picked = yield* pickConcepts({
+				bundleRoot: resolved.bundleRoot,
+				projectRoot: resolved.projectRoot,
+				config: resolved.config
+			}).pipe(Effect.catchTag("NotInteractive", () => Effect.fail(new VerifySelectionError({ reason: "no-selection" }))));
+			if (picked === void 0) return;
+			const result = yield* runVerifyIds({
+				bundleRoot: resolved.bundleRoot,
+				projectRoot: resolved.projectRoot,
+				config: resolved.config,
+				at,
+				dryRun: input.dryRun,
+				ids: picked.ids,
+				promote: picked.promote
+			});
+			for (const line of humanVerifyBatch({
+				by: result.by,
+				at: result.at,
+				dryRun: result.dryRun,
+				verified: result.verified,
+				skipped: result.skipped
+			})) yield* Console.log(line);
+			return;
+		}
 		if (batch) {
 			const result = yield* runVerifyBatch({
 				bundleRoot: resolved.bundleRoot,
@@ -101,7 +136,6 @@ const verifyCommand = Command.make("verify", {
 				verified: result.verified,
 				skipped: result.skipped
 			})) yield* Console.log(line);
-			setExitCode(0);
 			return;
 		}
 		if (Option.isNone(input.id)) return yield* new VerifySelectionError({ reason: "no-selection" });
@@ -111,7 +145,8 @@ const verifyCommand = Command.make("verify", {
 			projectRoot: resolved.projectRoot,
 			config: resolved.config,
 			at,
-			dryRun: input.dryRun
+			dryRun: input.dryRun,
+			...status === void 0 ? {} : { status }
 		});
 		const displayPath = `${displayRoot(cwd, result.bundleRoot, path)}/${result.conceptPath}`;
 		if (input.format === "json") {
@@ -122,6 +157,7 @@ const verifyCommand = Command.make("verify", {
 				by: result.by,
 				at: result.at,
 				dryRun: result.dryRun,
+				status: result.status,
 				...Option.isSome(distribution) ? { distribution: distribution.value } : {}
 			});
 			yield* Console.log(JSON.stringify(Schema.encodeSync(VerifyEnvelope)(envelope)));
@@ -131,16 +167,17 @@ const verifyCommand = Command.make("verify", {
 			at: result.at,
 			priorAt: result.priorAt,
 			dryRun: result.dryRun,
-			fragment: result.fragment
+			fragment: result.fragment,
+			status: result.status,
+			statusFragment: result.statusFragment
 		})) yield* Console.log(line);
-		setExitCode(0);
 	}).pipe(Effect.provide(Git.layer), provideConfig({
 		explicitConfigPath: input.config,
 		discoveryCwd
-	}));
+	}), CliInteractive.unless(input.format === "json"));
 	if (input.format === "json") return yield* body.pipe(Effect.tapError((error) => Console.log(JSON.stringify(jsonError(error, CLI_VERSION, Option.getOrUndefined(distribution))))));
 	return yield* body;
-})).pipe(Command.withDescription("Record a human's attestation that a concept has been reviewed: append one verified entry, { by: human:<id>, at: <now> }, to its frontmatter. The actor is always your own git identity; there is no --by. Give a concept id, or --all/--type <Type> (repeatable) to attest a batch of unverified concepts at once; exactly one of the two selections is required. This is a human-run command: no agent, hook, or MCP tool ever invokes it."));
+})).pipe(Command.withDescription("Record a human's attestation that a concept has been reviewed: append one verified entry, { by: human:<id>, at: <now> }, to its frontmatter. The actor is always your own git identity; there is no --by. Give a concept id, or --all/--type <Type> (repeatable) to attest a batch of unverified concepts at once; exactly one of the two selections is required. With a concept id, --stable or --draft also sets its status in the same write. This is a human-run command: no agent, hook, or MCP tool ever invokes it."));
 
 //#endregion
 export { verifyCommand };

package/errors.js

@@ -1,6 +1,7 @@
+import { InitBundleDirError } from "./internal/initWizard.js";
 import { DocumentStdinIsTerminalError } from "./internal/stdin.js";
-import { ConfigMalformedError, ConfigPathNotFoundError, DocumentPathError, InitOverwriteError, SyncStagedLogError, VerifyConceptNotFoundError, VerifySelectionError, VerifyUnsupportedFrontmatterError } from "@okfit/engine";
-import { ConfigIssueRenderer } from "@effected/cli";
+import { Cancelled, ConfigIssueRenderer, NotInteractive } from "@effected/cli";
+import { ConfigMalformedError, ConfigPathNotFoundError, DocumentPathError, InitOverwriteError, QueryConceptNotFoundError, QuerySelectionError, QueryUnknownVocabularyError, SyncStagedLogError, VerifyConceptNotFoundError, VerifySelectionError, VerifyUnsupportedFrontmatterError } from "@okfit/engine";
 
 //#region src/errors.ts
 const hasTag = (error, tag) => typeof error === "object" && error !== null && "_tag" in error && error._tag === tag;
@@ -38,6 +39,8 @@ const relativeToCwd = (path, cwd) => {
 *    type-only import — this is the "path unknown" case, K-46) renders as
 *    `error: ${String(error)}` followed by one two-space-indented
 *    `ConfigIssueRenderer.render(error)` line per entry.
+* 4a. `InitBundleDirError` (`okfit init --bundle`, exit 64) renders as one
+*    `error: <message>` line.
 * 5. `VerifyConceptNotFoundError` and `VerifyUnsupportedFrontmatterError`
 *    each render as their own `error: <message>` line; both messages
 *    already name the concept id and what to do about it, and neither
@@ -50,6 +53,9 @@ const relativeToCwd = (path, cwd) => {
 *    contradictory, empty, or named an undeclared type.
 * 5c. `DocumentPathError` and `DocumentStdinIsTerminalError` (`--document`)
 *    each render as one `error: <message>` line.
+* 5d. `QueryUnknownVocabularyError`, `QueryConceptNotFoundError` and
+*    `QuerySelectionError` (`okfit query`) each render as one
+*    `error: <message>` line.
 * 6. Everything else — core's `BundleRootNotFoundError`/`BundleReadError`/
 *    `BundleDepthExceededError`, config-file's other errors, `XdgEnvError`
 *    (the K-13 `HOME`-unset case) — renders as the single line
@@ -61,6 +67,7 @@ const relativeToCwd = (path, cwd) => {
 */
 const renderFailure = (error) => {
 	if (hasTag(error, "ShowHelp")) return [];
+	if (error instanceof Cancelled || error instanceof NotInteractive) return [error.message];
 	if (error instanceof ConfigPathNotFoundError) return [`error: ${error.message}`];
 	if (error instanceof ConfigMalformedError) return [`error: ${error.message}`];
 	if (error instanceof InitOverwriteError) return [
@@ -68,10 +75,14 @@ const renderFailure = (error) => {
 		...error.paths.map((path) => `  ${relativeToCwd(path, error.cwd)}`),
 		"Nothing was written."
 	];
+	if (error instanceof InitBundleDirError) return [`error: ${error.message}`];
 	if (error instanceof VerifyConceptNotFoundError) return [`error: ${error.message}`];
 	if (error instanceof VerifyUnsupportedFrontmatterError) return [`error: ${error.message}`];
 	if (error instanceof SyncStagedLogError) return [`error: ${error.message}`];
 	if (error instanceof VerifySelectionError) return [`error: ${error.message}`];
+	if (error instanceof QueryUnknownVocabularyError) return [`error: ${error.message}`];
+	if (error instanceof QueryConceptNotFoundError) return [`error: ${error.message}`];
+	if (error instanceof QuerySelectionError) return [`error: ${error.message}`];
 	if (error instanceof DocumentPathError) return [`error: ${error.message}`];
 	if (error instanceof DocumentStdinIsTerminalError) return [`error: ${error.message}`];
 	if (hasTag(error, "ConfigValidationError")) {

package/index.d.ts

@@ -1,4 +1,5 @@
 import { Command } from "effect/cli";
+import "@effected/cli";
 import { Runtime, Schema } from "effect";
 import { ContextEnvelope, RenderedDiagnostic } from "@okfit/engine";
 //#region src/commands/root.d.ts
@@ -10,8 +11,9 @@ import { ContextEnvelope, RenderedDiagnostic } from "@okfit/engine";
  * `okfit` therefore prints the root help and exits `0` with no code in this
  * package at all.
  *
- * `validate`, `init`, `context`, `verify`, `sync`, `lint`, `graph`, and
- * `stale` are the whole command tree; nothing else is registered here.
+ * `validate`, `init`, `context`, `verify`, `sync`, `lint`, `graph`,
+ * `stale`, and `query` (with its `list`/`get`/`neighbors`) are the whole
+ * command tree; nothing else is registered here.
  * Each is appended in introduction order, never reordered in, so
  * `--help`'s subcommand list reads that way too (contract §4.2). The
  * top-level description is left unchanged: neither `context` nor `verify`
@@ -20,7 +22,22 @@ import { ContextEnvelope, RenderedDiagnostic } from "@okfit/engine";
  *
  * @public
  */
-export declare const rootCommand: Command.Command<"okfit", {} | {}, {}, import("@okfit/profiles").AgentActorUnconfiguredError | import("@okfit/core").BundleDepthExceededError | import("@okfit/core").BundleReadError | import("@okfit/core").BundleRootNotFoundError | import("@effected/config-file").ConfigCodecError | import("@effected/config-file").ConfigFileReadError | import("@effected/config-file").ConfigFileWriteError | import("@okfit/engine").ConfigMalformedError | import("@okfit/engine").ConfigPathNotFoundError | import("@effected/config-file").ConfigValidationError | import("@okfit/engine").DocumentPathError | DocumentStdinIsTerminalError | import("@effected/markdown").FrontmatterEncodeError | import("@effected/markdown").FrontmatterFormatMismatchError | import("@effected/markdown").FrontmatterValidationError | import("@effected/git").GitCommandError | import("@okfit/profiles").GitHistoryError | import("@okfit/profiles").HumanActorUnresolvedError | import("@okfit/engine").InitOverwriteError | import("@effected/markdown").MarkdownParseError | import("@effected/git").NotARepositoryError | import("effect/PlatformError").PlatformError | import("effect/Schema").SchemaError | import("@okfit/engine").SyncStagedLogError | import("@effected/git").UnknownRefError | import("@okfit/engine").VerifyConceptNotFoundError | import("@okfit/engine").VerifySelectionError | import("@okfit/engine").VerifyUnsupportedFrontmatterError | import("@effected/yaml").YamlParseError, import("@effected/xdg").AppDirs | import("effect/process/ChildProcessSpawner").ChildProcessSpawner | import("effect/Crypto").Crypto | import("effect/FileSystem").FileSystem | import("@okfit/engine").Now | import("effect/Path").Path | import("effect/Stdio").Stdio | import("@effected/xdg").Xdg>;
+export declare const rootCommand: Command.Command<"okfit", {
+  readonly audience: readonly import("@effected/env").AudienceKind[];
+  readonly human: readonly boolean[];
+  readonly agent: readonly boolean[];
+  readonly ci: readonly boolean[];
+} | {
+  readonly audience: readonly import("@effected/env").AudienceKind[];
+  readonly human: readonly boolean[];
+  readonly agent: readonly boolean[];
+  readonly ci: readonly boolean[];
+}, {
+  readonly audience: readonly import("@effected/env").AudienceKind[];
+  readonly human: readonly boolean[];
+  readonly agent: readonly boolean[];
+  readonly ci: readonly boolean[];
+}, import("@okfit/profiles").AgentActorUnconfiguredError | import("@okfit/core").BundleDepthExceededError | import("@okfit/core").BundleReadError | import("@okfit/core").BundleRootNotFoundError | import("@effected/cli").Cancelled | import("@effected/config-file").ConfigCodecError | import("@effected/config-file").ConfigFileReadError | import("@effected/config-file").ConfigFileWriteError | import("@okfit/engine").ConfigMalformedError | import("@okfit/engine").ConfigPathNotFoundError | import("@effected/config-file").ConfigValidationError | import("@okfit/engine").DocumentPathError | DocumentStdinIsTerminalError | import("@effected/markdown").FrontmatterEncodeError | import("@effected/markdown").FrontmatterFormatMismatchError | import("@effected/markdown").FrontmatterValidationError | import("@effected/git").GitCommandError | import("@okfit/profiles").GitHistoryError | import("@okfit/profiles").HumanActorUnresolvedError | InitBundleDirError | import("@okfit/engine").InitOverwriteError | import("@effected/markdown").MarkdownParseError | import("@effected/git").NotARepositoryError | import("@effected/cli").NotInteractive | import("effect/PlatformError").PlatformError | import("@okfit/engine").QueryConceptNotFoundError | import("@okfit/engine").QuerySelectionError | import("@okfit/engine").QueryUnknownVocabularyError | import("effect/Schema").SchemaError | import("@okfit/engine").SyncStagedLogError | import("@effected/git").UnknownRefError | import("@okfit/engine").VerifyConceptNotFoundError | import("@okfit/engine").VerifySelectionError | import("@okfit/engine").VerifyUnsupportedFrontmatterError | import("@effected/yaml").YamlParseError, import("@effected/xdg").AppDirs | import("effect/process/ChildProcessSpawner").ChildProcessSpawner | import("@effected/cli").CliExit | import("@effected/cli").CliTheme | import("effect/Crypto").Crypto | import("effect/FileSystem").FileSystem | import("@okfit/engine").Now | import("effect/Path").Path | import("effect/Stdio").Stdio | import("@effected/xdg").Xdg>;
 //#endregion
 //#region src/errors.d.ts
 /**
@@ -51,6 +68,8 @@ export declare const rootCommand: Command.Command<"okfit", {} | {}, {}, import("
  *    type-only import — this is the "path unknown" case, K-46) renders as
  *    `error: ${String(error)}` followed by one two-space-indented
  *    `ConfigIssueRenderer.render(error)` line per entry.
+ * 4a. `InitBundleDirError` (`okfit init --bundle`, exit 64) renders as one
+ *    `error: <message>` line.
  * 5. `VerifyConceptNotFoundError` and `VerifyUnsupportedFrontmatterError`
  *    each render as their own `error: <message>` line; both messages
  *    already name the concept id and what to do about it, and neither
@@ -63,6 +82,9 @@ export declare const rootCommand: Command.Command<"okfit", {} | {}, {}, import("
  *    contradictory, empty, or named an undeclared type.
  * 5c. `DocumentPathError` and `DocumentStdinIsTerminalError` (`--document`)
  *    each render as one `error: <message>` line.
+ * 5d. `QueryUnknownVocabularyError`, `QueryConceptNotFoundError` and
+ *    `QuerySelectionError` (`okfit query`) each render as one
+ *    `error: <message>` line.
  * 6. Everything else — core's `BundleRootNotFoundError`/`BundleReadError`/
  *    `BundleDepthExceededError`, config-file's other errors, `XdgEnvError`
  *    (the K-13 `HOME`-unset case) — renders as the single line
@@ -74,6 +96,23 @@ export declare const rootCommand: Command.Command<"okfit", {} | {}, {}, import("
  */
 export declare const renderFailure: (error: unknown) => ReadonlyArray<string>;
 //#endregion
+//#region src/internal/initWizard.d.ts
+declare const InitBundleDirError_base: Schema.Class<InitBundleDirError, Schema.TaggedStruct<"InitBundleDirError", {
+  readonly value: Schema.String;
+  readonly reason: Schema.String;
+}>, import("effect/Cause").YieldableError>;
+/**
+ * `okfit init --bundle <dir>` named a directory that is not a usable
+ * project-relative path: empty, absolute, the project root itself, or
+ * escaping it. A usage error (exit 64).
+ *
+ * @public
+ */
+export declare class InitBundleDirError extends InitBundleDirError_base {
+  readonly [Runtime.errorExitCode] = 64;
+  get message(): string;
+}
+//#endregion
 //#region src/internal/stdin.d.ts
 declare const DocumentStdinIsTerminalError_base: Schema.Class<DocumentStdinIsTerminalError, Schema.TaggedStruct<"DocumentStdinIsTerminalError", {
   readonly path: Schema.String;
@@ -112,19 +151,27 @@ interface Counts {
   readonly info: number;
   readonly concepts: number;
 }
+/**
+ * Paints one severity word. `CliTheme`'s `paint` fits as-is: severities are
+ * a subset of its token names, and it is the identity when colour is `none`
+ * (#217 retired this module's hand-rolled ANSI table onto the theme).
+ *
+ * @public
+ */
+type SeverityPaint = (severity: RenderedDiagnostic["severity"], text: string) => string;
 /**
  * K-16. With a range:
  * `<file>:<range.line + 1>:<range.character + 1> <severity> <code> <message>`.
  * Without one: `<file> <severity> <code> <message>`. `file: ""` renders as
  * the literal `(bundle)`. Core's range is zero-based (D-32,
  * `CORE/Diagnostic.ts:49-57`); the `+ 1`s here are the only place it becomes
- * one-based. Colour, when `color` is `true`, wraps ONLY the severity word
+ * one-based. Colour, when a `paint` is given, wraps ONLY the severity word
  * (K-19) — never the code, the path, or the message.
  *
  * @public
  */
 export declare const line: (diagnostic: RenderedDiagnostic, options?: {
-  readonly color?: boolean;
+  readonly paint?: SeverityPaint;
 }) => string;
 /**
  * `sort` then `line` over the whole set: the exact stdout body of
@@ -133,7 +180,7 @@ export declare const line: (diagnostic: RenderedDiagnostic, options?: {
  * @public
  */
 export declare const human: (diagnostics: ReadonlyArray<RenderedDiagnostic>, options?: {
-  readonly color?: boolean;
+  readonly paint?: SeverityPaint;
 }) => ReadonlyArray<string>;
 /**
  * K-20, verbatim and unpluralised —
@@ -156,6 +203,13 @@ interface VerifyLines {
   readonly dryRun: boolean;
   /** The exact bytes a real run would splice in; printed only when `dryRun`. */
   readonly fragment: string;
+  /** Issue #185: the status change requested, or `null` when no status flag was given. */
+  readonly status: {
+    readonly from: string | null;
+    readonly to: string;
+  } | null;
+  /** The exact status bytes a real run would splice in; printed only when `dryRun`. */
+  readonly statusFragment: string | null;
 }
 /**
  * V-11's human output: one line per fact. One `already verified` line per
@@ -185,5 +239,5 @@ export declare const humanVerify: (input: VerifyLines) => ReadonlyArray<string>;
  */
 export declare const CLI_VERSION: string;
 //#endregion
-export type { Counts, VerifyLines };
+export type { Counts, SeverityPaint, VerifyLines };
 //# sourceMappingURL=index.d.ts.map

package/index.js

@@ -1,9 +1,10 @@
 import { humanContext } from "./render/context.js";
 import { CLI_VERSION } from "./version.js";
+import { InitBundleDirError } from "./internal/initWizard.js";
 import { human, line, summary } from "./render/human.js";
 import { DocumentStdinIsTerminalError } from "./internal/stdin.js";
 import { humanVerify } from "./render/verify.js";
 import { rootCommand } from "./commands/root.js";
 import { renderFailure } from "./errors.js";
 
-export { CLI_VERSION, DocumentStdinIsTerminalError, human, humanContext, humanVerify, line, renderFailure, rootCommand, summary };
+export { CLI_VERSION, DocumentStdinIsTerminalError, InitBundleDirError, human, humanContext, humanVerify, line, renderFailure, rootCommand, summary };

package/internal/initWizard.js

@@ -0,0 +1,121 @@
+import { Effect, Option, Runtime, Schema } from "effect";
+import { PROFILE_NAMES } from "@okfit/profiles";
+import { posix } from "node:path";
+import { CliUi, Select, TextInput } from "@effected/cli/ui";
+
+//#region src/internal/initWizard.ts
+/**
+* The three project-level config names `okfit` discovers (C-1), in the order
+* the wizard offers them; the first is the default (`CONFIG_RELATIVE_PATH`).
+*
+* @public
+*/
+const INIT_CONFIG_LOCATIONS = [
+	".config/okfit.toml",
+	"okfit.toml",
+	".okfit.toml"
+];
+/**
+* `okfit init --bundle <dir>` named a directory that is not a usable
+* project-relative path: empty, absolute, the project root itself, or
+* escaping it. A usage error (exit 64).
+*
+* @public
+*/
+var InitBundleDirError = class extends Schema.TaggedError()("InitBundleDirError", {
+	value: Schema.String,
+	reason: Schema.String
+}) {
+	[Runtime.errorExitCode] = 64;
+	get message() {
+		return `invalid bundle directory "${this.value}": ${this.reason}`;
+	}
+};
+/**
+* Validate and normalise a project-relative bundle directory. `Right`-like
+* result: the normalised directory (`./docs//kb/` becomes `docs/kb`), or the
+* reason it is unusable.
+*/
+const checkBundleDir = (value) => {
+	const trimmed = value.trim();
+	if (trimmed === "") return {
+		ok: false,
+		reason: "must not be empty"
+	};
+	if (posix.isAbsolute(trimmed) || /^[A-Za-z]:[\\/]/.test(trimmed)) return {
+		ok: false,
+		reason: "must be relative to the project root"
+	};
+	const normal = posix.normalize(trimmed.replaceAll("\\", "/")).replace(/\/+$/, "");
+	if (normal === "" || normal === ".") return {
+		ok: false,
+		reason: "must name a subdirectory of the project root"
+	};
+	if (normal === ".." || normal.startsWith("../")) return {
+		ok: false,
+		reason: "must not escape the project root"
+	};
+	return {
+		ok: true,
+		dir: normal
+	};
+};
+/**
+* The `okfit init` wizard: profile, bundle directory, config location, in
+* that order. A setting is prompted for only when its flag was not given and
+* the run is interactive; otherwise its flag value or default is used
+* (`CliUi.prompt`'s `otherwise`, so a non-interactive run never loads Ink).
+*
+* A bad `--bundle` flag fails with {@link InitBundleDirError} before any
+* screen mounts. In the prompt, a bad entry is rejected inline by the text
+* input and the question stays open. Esc, `q` or Ctrl-C on any screen fails
+* with the kit's `Cancelled`; the caller performs every write only after this
+* returns, so a cancel writes nothing.
+*
+* Answered screens stay in scrollback (no `clear`): three short screens read
+* as a record of the answers, and erasing them leaves the terminal looking
+* as if nothing had been asked.
+*/
+const initWizard = (given, defaults) => Effect.gen(function* () {
+	let flagBundle;
+	if (Option.isSome(given.bundle)) {
+		const checked = checkBundleDir(given.bundle.value);
+		if (!checked.ok) return yield* new InitBundleDirError({
+			value: given.bundle.value,
+			reason: checked.reason
+		});
+		flagBundle = checked.dir;
+	}
+	return {
+		profile: Option.isSome(given.profile) ? given.profile.value : yield* CliUi.prompt(Select.screen({
+			message: "Profile to scaffold with",
+			choices: PROFILE_NAMES.map((name) => ({
+				label: name,
+				value: name
+			})),
+			initial: Math.max(0, PROFILE_NAMES.indexOf(defaults.profile))
+		}), { otherwise: defaults.profile }),
+		bundle: flagBundle ?? (yield* CliUi.prompt(TextInput.screen({
+			message: "Bundle directory (relative to the project root)",
+			initial: defaults.bundle,
+			validate: (entered) => {
+				const checked = checkBundleDir(entered);
+				return checked.ok ? void 0 : checked.reason;
+			}
+		}), { otherwise: defaults.bundle }).pipe(Effect.map((entered) => {
+			const checked = checkBundleDir(entered);
+			return checked.ok ? checked.dir : defaults.bundle;
+		}))),
+		location: Option.isSome(given.location) ? given.location.value : yield* CliUi.prompt(Select.screen({
+			message: "Config file location",
+			choices: INIT_CONFIG_LOCATIONS.map((name) => ({
+				label: name,
+				value: name
+			})),
+			initial: INIT_CONFIG_LOCATIONS.indexOf(defaults.location)
+		}), { otherwise: defaults.location })
+	};
+});
+
+//#endregion
+export { INIT_CONFIG_LOCATIONS, InitBundleDirError, checkBundleDir, initWizard };

package/internal/versionFormatter.js

@@ -1,8 +1,8 @@
+import { CliColor } from "@effected/cli";
 import { CurrentDistribution, distributionSuffix } from "@effected/engine";
 import { ENGINE_VERSION } from "@okfit/engine";
 import { Effect, Layer } from "effect";
 import { CONFIG_SCHEMA_VERSION, OKF_SPEC_VERSION } from "@okfit/core";
-import { CliColor } from "@effected/cli";
 
 //#region src/internal/versionFormatter.ts
 /**

package/main.js

@@ -2,11 +2,10 @@ import { CLI_VERSION } from "./version.js";
 import { rootCommand } from "./commands/root.js";
 import { renderFailure } from "./errors.js";
 import { versionFormatterLayer } from "./internal/versionFormatter.js";
-import { Command } from "effect/cli";
+import { CliAudience, CliRuntime } from "@effected/cli";
 import { CurrentDistribution } from "@effected/engine";
 import { Now, OkfitPlatform } from "@okfit/engine";
 import { DateTime, Effect, Option } from "effect";
-import { CliRuntime } from "@effected/cli";
 import * as NodeRuntime from "@effect/platform-node/NodeRuntime";
 
 //#region src/main.ts
@@ -46,12 +45,13 @@ const main = (options = {}) => {
 	const distribution = Option.fromNullishOr(options.distribution);
 	const program = Effect.gen(function* () {
 		const now = yield* nowEffect;
-		return yield* Command.run(rootCommand, { version: CLI_VERSION }).pipe(Effect.provideService(Now, now));
+		return yield* CliAudience.run(rootCommand, { version: CLI_VERSION }).pipe(Effect.provideService(Now, now));
 	}).pipe(Effect.provide(versionFormatterLayer), Effect.provideService(CurrentDistribution, distribution));
 	NodeRuntime.runMain(CliRuntime.main(program, {
 		platform: OkfitPlatform,
 		exitCode: 3,
-		render: renderFailure
+		render: renderFailure,
+		env: { audienceEnvVar: "OKFIT_AUDIENCE" }
 	}));
 };
 

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "@okfit/cli",
-	"version": "0.6.12",
+	"version": "0.8.0",
 	"private": false,
 	"description": "The okfit command line: validate, lint, index, and inspect Open Knowledge Format (OKF) bundles.",
 	"keywords": [
@@ -42,22 +42,25 @@
 		"okfit": "bin/okfit.js"
 	},
 	"dependencies": {
-		"@effect/platform-node": "4.0.0-rc.118",
-		"@effected/cli": "^0.10.0",
-		"@effected/config-file": "^0.13.1",
-		"@effected/engine": "^0.2.0",
-		"@effected/git": "^0.19.0",
-		"@effected/glob": "^0.9.0",
-		"@effected/jsonc": "^0.14.0",
-		"@effected/markdown": "^0.14.0",
-		"@effected/schemastore": "^0.17.0",
-		"@effected/toml": "^0.10.0",
-		"@effected/walker": "^0.14.0",
-		"@effected/yaml": "^0.18.0",
-		"@okfit/core": "0.8.3",
-		"@okfit/engine": "0.9.4",
-		"@okfit/profiles": "0.8.2",
-		"effect": "4.0.0-rc.118"
+		"@effect/platform-node": "^4.0.0",
+		"@effected/cli": "^0.11.0",
+		"@effected/config-file": "^0.14.0",
+		"@effected/engine": "^0.3.0",
+		"@effected/env": "^0.1.0",
+		"@effected/git": "^0.20.0",
+		"@effected/glob": "^0.10.0",
+		"@effected/jsonc": "^0.15.0",
+		"@effected/markdown": "^0.15.0",
+		"@effected/schemastore": "^0.18.0",
+		"@effected/toml": "^0.11.0",
+		"@effected/walker": "^0.15.0",
+		"@effected/yaml": "^0.19.0",
+		"@okfit/core": "0.8.4",
+		"@okfit/engine": "0.11.0",
+		"@okfit/profiles": "0.8.3",
+		"effect": "^4.0.0",
+		"ink": "^7.1.1",
+		"react": "^19.2.0"
 	},
 	"engines": {
 		"node": ">=24.11.0"