@okfit/cli 0.7.0 → 0.8.0

package/README.md

@@ -9,7 +9,7 @@ The `okfit` command line for [Open Knowledge Format (OKF)](https://github.com/Go
 ```text
 okfit [--help] [--version]
 okfit validate [path] [--config <file>] [--format human|json] [--skip-provenance] [--document <bundle-path>] [--help]
-okfit init [path] [--profile <name>] [--config <file>] [--help]
+okfit init [path] [--profile <name>] [--bundle <dir>] [--config-location <name>] [--config <file>] [--help]
 okfit context [path] [--config <file>] [--format human|json] [--help]
 okfit verify [<id>] [path] [--all] [--type <Type>]... [--stable|--draft] [--config <file>] [--at <iso>] [--dry-run] [--format human|json] [--help]
 okfit query list [path] [--type <Type>]... [--tag <tag>]... [--status draft|stable|deprecated]... [--verified|--unverified] [--config <file>] [--format human|json]
@@ -164,6 +164,21 @@ config's `bundle.profile`, itself defaulting to `software-project`); an
 unrecognised name is a warning, not a failure — `init` continues with the
 default profile.
 
+`--bundle <dir>` sets the bundle directory, relative to the project root
+(default: the config's `bundle.path`, itself defaulting to `okf`). It is
+written to the config's `bundle.path` and is where the scaffold goes. An
+empty, absolute, or root-escaping value (`..`) is a usage error (exit `64`).
+
+`--config-location <.config/okfit.toml|okfit.toml|.okfit.toml>` sets where
+the config file is written (default `.config/okfit.toml`); all three are
+locations discovery already reads.
+
+When the run is interactive, `init` asks for each of the profile, the bundle
+directory, and the config location that was not given as a flag, in that
+order, with the default pre-selected. Esc or Ctrl-C at any prompt exits `130`
+with `cancelled; nothing written`; every prompt happens before the first
+write. Piped or scripted runs never prompt and behave exactly as before.
+
 ### `okfit context`
 
 Prints the resolved project root, bundle root, config path, profile, and
@@ -238,6 +253,15 @@ already verified. A batch skips a concept and reports why: `draft`,
 `deprecated`, or `already-verified`. A batch never re-attests a
 `deprecated` concept; verifying one by id is still allowed.
 
+Bare `okfit verify` in a terminal opens a picker: every concept of a
+`require_verified` type you have not attested, drafts included and
+deprecated excluded, grouped by type (↑/↓ move, space toggles, `a` toggles a
+section, Enter continues). A confirm step follows, with a "promote K drafts
+to stable" toggle that is on by default. The picked concepts are attested in
+one all-or-nothing write. Esc, `q`, Ctrl-C or answering no exits `130` with
+nothing written. Without a terminal (a pipe, an agent or CI audience, or
+`--format json`) bare `verify` is a usage error (exit `64`).
+
 This is a human-run command: it records **your** attestation that you
 reviewed the concept, so no agent, hook, or MCP tool ever invokes it.
 

package/commands/context.js

@@ -1,4 +1,3 @@
-import { setExitCode } from "../internal/exit.js";
 import { humanContext } from "../render/context.js";
 import { CLI_VERSION } from "../version.js";
 import { Argument, Command, Flag } from "effect/cli";
@@ -64,7 +63,6 @@ const contextCommand = Command.make("context", {
 		});
 		if (input.format === "json") yield* Console.log(JSON.stringify(Schema.encodeSync(ContextEnvelope)(envelope)));
 		else for (const contextLine of humanContext(envelope)) yield* Console.log(contextLine);
-		setExitCode(0);
 	}).pipe(provideConfig({
 		explicitConfigPath: input.config,
 		discoveryCwd

package/commands/graph.js

@@ -1,4 +1,3 @@
-import { setExitCode } from "../internal/exit.js";
 import { CLI_VERSION } from "../version.js";
 import { Argument, Command, Flag } from "effect/cli";
 import { CurrentDistribution } from "@effected/engine";
@@ -65,7 +64,6 @@ const graphCommand = Command.make("graph", {
 			yield* Console.log(JSON.stringify(Schema.encodeSync(GraphEnvelope)(envelope)));
 		} else if (input.format === "dot") yield* Console.log(result.graph.toGraphViz());
 		else yield* Console.log(result.graph.toMermaid());
-		setExitCode(0);
 	}).pipe(provideConfig({
 		explicitConfigPath: input.config,
 		discoveryCwd

package/commands/init.js

@@ -1,10 +1,10 @@
-import { setExitCode } from "../internal/exit.js";
+import { INIT_CONFIG_LOCATIONS, initWizard } from "../internal/initWizard.js";
 import { displayRoot, human, summary } from "../render/human.js";
+import { CliExit, CliTheme } from "@effected/cli";
 import { Argument, Command, Flag } from "effect/cli";
 import { CONFIG_RELATIVE_PATH, InitOverwriteError, Now, collect, configValue, files, forDiagnostics, provideConfig, resolveBundleRoot, resolveProjectRoot, run, targetPaths } from "@okfit/engine";
 import { Console, DateTime, Effect, FileSystem, Layer, Option, Path } from "effect";
 import { OKF_SPEC_VERSION, OkfitConfig, OkfitConfigFile, SCHEMA_DIRECTIVE } from "@okfit/core";
-import { CliColor } from "@effected/cli";
 import { Git } from "@effected/git";
 import { GitHistory, Profiles } from "@okfit/profiles";
 
@@ -23,7 +23,11 @@ const configFlag = Flag.File("config").pipe(Flag.optional, Flag.withDescription(
 * CLI-rendered warning (K-4), matching `Profiles.get`'s own `Option.none`
 * contract (P-38), not a parser-level `CliError.InvalidValue`.
 */
-const profileFlag = Flag.String("profile").pipe(Flag.optional, Flag.withDescription("profile to scaffold with (default: the config's bundle.profile or software-project)"));
+const profileFlag = Flag.String("profile").pipe(Flag.optional, Flag.withDescription("profile to scaffold with (default: the config's bundle.profile or software-project; prompted for when interactive)"));
+/** `--bundle <dir>`: project-relative; validated by the wizard before anything else (usage error, exit 64). */
+const bundleFlag = Flag.String("bundle").pipe(Flag.optional, Flag.withDescription("bundle directory, relative to the project root (default: the config's bundle.path or okf; prompted for when interactive)"));
+/** `--config-location`: where the config file is written, one of the three discovered names (C-1). */
+const configLocationFlag = Flag.Literals("config-location", INIT_CONFIG_LOCATIONS).pipe(Flag.optional, Flag.withDescription("where to write the config file (default: .config/okfit.toml; prompted for when interactive)"));
 /**
 * Stands in for `profile.config` when `Profiles.get` returns `None`.
 * `OkfitConfig.merge` only visits `Object.keys(override)`
@@ -48,8 +52,13 @@ const countsOf = (diagnostics, concepts) => ({
 	concepts
 });
 /**
-* `okfit init [path] [--profile <name>] [--config <file>]` (K-2, K-3; no
-* `--format`, human output only, K-6).
+* `okfit init [path] [--profile <name>] [--bundle <dir>] [--config-location <name>]
+* [--config <file>]` (K-2, K-3; no `--format`, human output only, K-6).
+*
+* Interactive runs prompt (the kit's Ink screens, `initWizard`) for each of
+* profile, bundle directory and config location whose flag was not given;
+* every prompt happens after discovery and before any write (step 4), so a
+* cancel exits 130 with nothing written.
 *
 * Handler order, fixed by the contract:
 *
@@ -61,7 +70,8 @@ const countsOf = (diagnostics, concepts) => ({
 *     `sources[0]`.
 *  4. `profileName = Option.getOrElse(input.profile, () =>
 *     fileConfig.bundle?.profile ?? DEFAULTS.bundle.profile)` (K-3, the one
-*     difference from `validate`'s step 4). `Profiles.get(profileName)`.
+*     difference from `validate`'s step 4), then `--bundle`/`--config-location`
+*     likewise, all three through `initWizard`. `Profiles.get(profileName)`.
 *     `None` and `profileName !== "none"` warns (K-4); `"none"` is silent.
 *  5. `merged = OkfitConfig.merge(OkfitConfig.merge(DEFAULTS, profileConfig),
 *     fileConfig)`, `profileConfig` falling back to `NO_PROFILE_CONFIG` when
@@ -81,19 +91,15 @@ const countsOf = (diagnostics, concepts) => ({
 * 10. `Console.log` the K-51 success line.
 * 11. self-validate (K-29): `run({ root: bundleRoot, config: merged,
 *     profile, now })` over the bundle just written, rendered exactly as
-*     `validate --format human` does, `setExitCode` to its
+*     `validate --format human` does, `CliExit.set` to its
 *     `forDiagnostics` result. The handler SUCCEEDS (K-7); the failure path
 *     is only `InitOverwriteError` at step 8, or an infrastructure error
 *     that already carries its own `[Runtime.errorExitCode]`.
 *
 * @public
 */
-const initCommand = Command.make("init", {
-	path: pathArg,
-	config: configFlag,
-	profile: profileFlag
-}, (input) => Effect.gen(function* () {
-	const cwd = process.cwd();
+/** The `init` handler body, parameterised on `cwd` so tests can drive it against a temp project. */
+const initProgram = (input, cwd) => Effect.gen(function* () {
 	const discoveryCwd = Option.getOrElse(input.path, () => cwd);
 	yield* provideConfig({
 		explicitConfigPath: input.config,
@@ -102,14 +108,31 @@ const initCommand = Command.make("init", {
 		const configFile = yield* OkfitConfigFile;
 		const winner = (yield* configFile.discover)[0];
 		const fileConfig = winner === void 0 ? { extensions: {} } : winner.value;
-		const profileName = Option.getOrElse(input.profile, () => fileConfig.bundle?.profile ?? DEFAULT_PROFILE_NAME);
+		const defaultBundle = fileConfig.bundle?.path ?? DEFAULT_BUNDLE_PATH;
+		const answers = yield* initWizard({
+			profile: input.profile,
+			bundle: input.bundle,
+			location: input.configLocation
+		}, {
+			profile: fileConfig.bundle?.profile ?? DEFAULT_PROFILE_NAME,
+			bundle: defaultBundle,
+			location: CONFIG_RELATIVE_PATH
+		});
+		const profileName = answers.profile;
 		const profile = Profiles.get(profileName);
 		if (Option.isNone(profile) && profileName !== "none") yield* Console.error(`warning: unknown profile "${profileName}"; continuing with defaults`);
 		const profileConfig = Option.match(profile, {
 			onNone: () => NO_PROFILE_CONFIG,
 			onSome: (resolved) => resolved.config
 		});
-		const merged = OkfitConfig.merge(OkfitConfig.merge(OkfitConfig.DEFAULTS, profileConfig), fileConfig);
+		const mergedBase = OkfitConfig.merge(OkfitConfig.merge(OkfitConfig.DEFAULTS, profileConfig), fileConfig);
+		const merged = {
+			...mergedBase,
+			bundle: {
+				...mergedBase.bundle,
+				path: answers.bundle
+			}
+		};
 		if (merged.okf_version !== void 0 && merged.okf_version !== OKF_SPEC_VERSION) yield* Console.error(`warning: okf_version "${merged.okf_version}" does not match this okfit's spec version "${OKF_SPEC_VERSION}"; continuing`);
 		const path = yield* Path.Path;
 		const fs = yield* FileSystem.FileSystem;
@@ -143,12 +166,14 @@ const initCommand = Command.make("init", {
 			paths: existing,
 			cwd
 		});
-		for (const target of paths) yield* fs.makeDirectory(path.dirname(target), { recursive: true });
-		const bundlePath = merged.bundle?.path ?? DEFAULT_BUNDLE_PATH;
+		const configTargets = new Set(INIT_CONFIG_LOCATIONS.map((location) => `${projectRoot}/${location}`));
+		const written = [...paths.filter((target) => !configTargets.has(target)), `${projectRoot}/${answers.location}`];
+		for (const target of written) yield* fs.makeDirectory(path.dirname(target), { recursive: true });
+		const bundlePath = answers.bundle;
 		yield* configFile.write(configValue({
 			...scaffoldOptions,
 			bundlePath
-		}), `${projectRoot}/${CONFIG_RELATIVE_PATH}`, { header: SCHEMA_DIRECTIVE });
+		}), `${projectRoot}/${answers.location}`, { header: SCHEMA_DIRECTIVE });
 		const scaffoldFiles = yield* files(scaffoldOptions);
 		for (const file of scaffoldFiles) yield* fs.writeFileString(file.path, file.contents);
 		yield* Console.log(`Initialized ${displayRoot(cwd, bundleRoot, path)} with the ${profileName} profile`);
@@ -159,12 +184,20 @@ const initCommand = Command.make("init", {
 			now
 		}).pipe(Effect.provide(Layer.mergeAll(Git.layer, GitHistory.layer)));
 		const diagnostics = collect(result.report.conformance, result.report.lint, result.profileDiagnostics);
-		const color = yield* CliColor.enabled;
-		for (const line of human(diagnostics, { color })) yield* Console.log(line);
+		const theme = yield* CliTheme;
+		for (const line of human(diagnostics, { paint: theme.paint })) yield* Console.log(line);
 		yield* Console.error(summary(countsOf(diagnostics, result.bundle.concepts.size), displayRoot(cwd, bundleRoot, path)));
-		setExitCode(forDiagnostics(diagnostics));
+		yield* CliExit.set(forDiagnostics(diagnostics));
 	}));
-})).pipe(Command.withDescription("Scaffold a new OKF bundle: a config file, the bundle's root and per-directory index files, a project stub, and an initial log entry."));
+});
+/** @public */
+const initCommand = Command.make("init", {
+	path: pathArg,
+	config: configFlag,
+	profile: profileFlag,
+	bundle: bundleFlag,
+	configLocation: configLocationFlag
+}, (input) => initProgram(input, process.cwd())).pipe(Command.withDescription("Scaffold a new OKF bundle: a config file, the bundle's root and per-directory index files, a project stub, and an initial log entry."));
 
 //#endregion
-export { initCommand };
+export { initCommand, initProgram };

package/commands/lint.js

@@ -1,12 +1,11 @@
-import { setExitCode } from "../internal/exit.js";
 import { CLI_VERSION } from "../version.js";
 import { displayRoot, human, summary } from "../render/human.js";
+import { CliExit, CliTheme } from "@effected/cli";
 import { Argument, Command, Flag } from "effect/cli";
 import { CurrentDistribution } from "@effected/engine";
 import { JsonEnvelope, Now, collect, forDiagnostics, json, jsonError, provideConfig, resolveProjectConfig, run } from "@okfit/engine";
 import { Console, Effect, Layer, Option, Path, Schema } from "effect";
 import { OKF_SPEC_VERSION } from "@okfit/core";
-import { CliColor } from "@effected/cli";
 import { Git } from "@effected/git";
 import { GitHistory } from "@okfit/profiles";
 
@@ -76,8 +75,8 @@ const lintCommand = Command.make("lint", {
 			});
 			yield* Console.log(JSON.stringify(Schema.encodeSync(JsonEnvelope)(envelope)));
 		} else {
-			const color = yield* CliColor.enabled;
-			for (const diagnosticLine of human(diagnostics, { color })) yield* Console.log(diagnosticLine);
+			const theme = yield* CliTheme;
+			for (const diagnosticLine of human(diagnostics, { paint: theme.paint })) yield* Console.log(diagnosticLine);
 			const counts = {
 				errors: diagnostics.filter((d) => d.severity === "error").length,
 				warnings: diagnostics.filter((d) => d.severity === "warning").length,
@@ -86,7 +85,7 @@ const lintCommand = Command.make("lint", {
 			};
 			yield* Console.error(summary(counts, displayRoot(cwd, bundleRoot, path)));
 		}
-		setExitCode(code);
+		yield* CliExit.set(code);
 	}).pipe(provideConfig({
 		explicitConfigPath: input.config,
 		discoveryCwd

package/commands/query.js

@@ -1,4 +1,3 @@
-import { setExitCode } from "../internal/exit.js";
 import { CLI_VERSION } from "../version.js";
 import { displayRoot } from "../render/human.js";
 import { humanQueryGet, humanQueryList, humanQueryNeighbors, queryListSummary } from "../render/query.js";
@@ -47,7 +46,6 @@ const run$1 = (input, use, precheck) => Effect.gen(function* () {
 			root: displayRoot(cwd, resolved.bundleRoot, path),
 			distribution
 		});
-		setExitCode(0);
 	}).pipe(provideConfig({
 		explicitConfigPath: input.config,
 		discoveryCwd

package/commands/root.js

@@ -7,6 +7,7 @@ import { staleCommand } from "./stale.js";
 import { syncCommand } from "./sync.js";
 import { validateCommand } from "./validate.js";
 import { verifyCommand } from "./verify.js";
+import { CliAudience } from "@effected/cli";
 import { Command } from "effect/cli";
 
 //#region src/commands/root.ts
@@ -29,7 +30,7 @@ import { Command } from "effect/cli";
 *
 * @public
 */
-const rootCommand = Command.make("okfit", {}).pipe(Command.withDescription("Open Knowledge Format (OKF) v0.2 tooling: validate and scaffold bundles."), Command.withSubcommands([
+const rootCommand = Command.make("okfit", {}).pipe(Command.withDescription("Open Knowledge Format (OKF) v0.2 tooling: validate and scaffold bundles."), Command.withSharedFlags(CliAudience.flags()), Command.withSubcommands([
 	validateCommand,
 	initCommand,
 	contextCommand,

package/commands/stale.js

@@ -1,4 +1,3 @@
-import { setExitCode } from "../internal/exit.js";
 import { CLI_VERSION } from "../version.js";
 import { displayRoot } from "../render/human.js";
 import { humanStale, staleSummary } from "../render/stale.js";
@@ -66,7 +65,6 @@ const staleCommand = Command.make("stale", {
 			for (const line of humanStale(envelope.items)) yield* Console.log(line);
 			yield* Console.error(staleSummary(envelope.summary.stale, envelope.summary.concepts, displayRoot(cwd, bundleRoot, path)));
 		}
-		setExitCode(0);
 	}).pipe(provideConfig({
 		explicitConfigPath: input.config,
 		discoveryCwd

package/commands/sync.js

@@ -1,4 +1,3 @@
-import { setExitCode } from "../internal/exit.js";
 import { CLI_VERSION } from "../version.js";
 import { displayRoot } from "../render/human.js";
 import { humanSync } from "../render/sync.js";
@@ -110,7 +109,6 @@ const syncCommand = Command.make("sync", {
 			});
 			yield* Console.log(JSON.stringify(Schema.encodeSync(SyncEnvelope)(envelope)));
 		} else for (const line of humanSync(result)) yield* Console.log(line);
-		setExitCode(0);
 	}).pipe(provideConfig({
 		explicitConfigPath: input.config,
 		discoveryCwd

package/commands/validate.js

@@ -1,13 +1,12 @@
-import { setExitCode } from "../internal/exit.js";
 import { CLI_VERSION } from "../version.js";
 import { displayRoot, human, summary } from "../render/human.js";
 import { readDocumentText } from "../internal/stdin.js";
+import { CliExit, CliTheme } from "@effected/cli";
 import { Argument, Command, Flag } from "effect/cli";
 import { CurrentDistribution } from "@effected/engine";
 import { JsonEnvelope, Now, collect, forDiagnostics, json, jsonError, provideConfig, provideDocuments, resolveProjectConfig, run } from "@okfit/engine";
 import { Console, Effect, Layer, Option, Path, Schema } from "effect";
 import { OKF_SPEC_VERSION } from "@okfit/core";
-import { CliColor } from "@effected/cli";
 import { Git } from "@effected/git";
 import { GitHistory } from "@okfit/profiles";
 
@@ -83,8 +82,8 @@ const validateCommand = Command.make("validate", {
 			});
 			yield* Console.log(JSON.stringify(Schema.encodeSync(JsonEnvelope)(envelope)));
 		} else {
-			const color = yield* CliColor.enabled;
-			for (const diagnosticLine of human(diagnostics, { color })) yield* Console.log(diagnosticLine);
+			const theme = yield* CliTheme;
+			for (const diagnosticLine of human(diagnostics, { paint: theme.paint })) yield* Console.log(diagnosticLine);
 			const counts = {
 				errors: diagnostics.filter((d) => d.severity === "error").length,
 				warnings: diagnostics.filter((d) => d.severity === "warning").length,
@@ -93,7 +92,7 @@ const validateCommand = Command.make("validate", {
 			};
 			yield* Console.error(summary(counts, displayRoot(cwd, bundleRoot, path)));
 		}
-		setExitCode(code);
+		yield* CliExit.set(code);
 	}).pipe(provideConfig({
 		explicitConfigPath: input.config,
 		discoveryCwd

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";
@@ -75,10 +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) return yield* new VerifySelectionError({ reason: "status-and-batch" });
+		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,
@@ -110,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" });
@@ -146,11 +171,10 @@ const verifyCommand = Command.make("verify", {
 			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. 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."));

package/errors.js

@@ -1,6 +1,7 @@
+import { InitBundleDirError } from "./internal/initWizard.js";
 import { DocumentStdinIsTerminalError } from "./internal/stdin.js";
+import { Cancelled, ConfigIssueRenderer, NotInteractive } from "@effected/cli";
 import { ConfigMalformedError, ConfigPathNotFoundError, DocumentPathError, InitOverwriteError, QueryConceptNotFoundError, QuerySelectionError, QueryUnknownVocabularyError, SyncStagedLogError, VerifyConceptNotFoundError, VerifySelectionError, VerifyUnsupportedFrontmatterError } from "@okfit/engine";
-import { ConfigIssueRenderer } from "@effected/cli";
 
 //#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
@@ -64,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 [
@@ -71,6 +75,7 @@ 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}`];

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
@@ -21,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("@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("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
 /**
@@ -52,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
@@ -78,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;
@@ -116,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
@@ -137,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 —
@@ -196,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.7.0",
+	"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.1",
-		"@effected/yaml": "^0.18.0",
-		"@okfit/core": "0.8.3",
-		"@okfit/engine": "0.10.0",
-		"@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"

package/render/human.js

@@ -1,31 +1,20 @@
 import { sort } from "@okfit/engine";
 
 //#region src/render/human.ts
-/** The ANSI escape character, built from its code point so the source never carries a raw control byte. */
-const ESC = String.fromCharCode(27);
-/** ANSI SGR codes for the severity word only (K-19); reset after, never applied elsewhere. */
-const SEVERITY_COLOR = {
-	error: `${ESC}[31m`,
-	warning: `${ESC}[33m`,
-	info: `${ESC}[36m`
-};
-const RESET = `${ESC}[0m`;
-const colorize = (severity, color) => color ? `${SEVERITY_COLOR[severity]}${severity}${RESET}` : severity;
 /**
 * 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
 */
 const line = (diagnostic, options) => {
-	const color = options?.color ?? false;
 	const file = diagnostic.file === "" ? "(bundle)" : diagnostic.file;
-	const severity = colorize(diagnostic.severity, color);
+	const severity = options?.paint === void 0 ? diagnostic.severity : options.paint(diagnostic.severity, diagnostic.severity);
 	return `${diagnostic.range === void 0 ? file : `${file}:${diagnostic.range.line + 1}:${diagnostic.range.character + 1}`} ${severity} ${diagnostic.code} ${diagnostic.message}`;
 };
 /**

package/version.js

@@ -11,7 +11,7 @@
 *
 * @public
 */
-const CLI_VERSION = "0.7.0";
+const CLI_VERSION = "0.8.0";
 
 //#endregion
 export { CLI_VERSION };

package/internal/exit.js

@@ -1,14 +0,0 @@
-//#region src/internal/exit.ts
-/**
-* K-7: exits `1` and `2` are a SUCCESSFUL run that found diagnostics, never
-* an Effect failure. The handler writes the code here and returns `void`.
-* The only writer of `process.exitCode` in this package.
-*
-* @public
-*/
-const setExitCode = (code) => {
-	process.exitCode = code;
-};
-
-//#endregion
-export { setExitCode };