@okfit/cli 0.6.11 → 0.7.0

package/README.md

@@ -1,6 +1,6 @@
 # @okfit/cli
 
-The `okfit` command line for [Open Knowledge Format (OKF)](https://github.com/GoogleCloudPlatform/knowledge-catalog/blob/main/okf/SPEC.md) v0.2 bundles: `okfit validate`, `okfit init`, `okfit context`, `okfit verify`, and `okfit sync`. The full subcommand list is `okf/interfaces/cli-commands.md`'s to keep, not this sentence's to count.
+The `okfit` command line for [Open Knowledge Format (OKF)](https://github.com/GoogleCloudPlatform/knowledge-catalog/blob/main/okf/SPEC.md) v0.2 bundles: `okfit validate`, `okfit init`, `okfit context`, `okfit verify`, `okfit query`, and `okfit sync`. The full subcommand list is `okf/interfaces/cli-commands.md`'s to keep, not this sentence's to count.
 
 > **Part of the okfit kit.** Most users want **[@okfit/plugin](https://www.npmjs.com/package/@okfit/plugin)**, which pulls this package in automatically.
 
@@ -11,7 +11,10 @@ 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 context [path] [--config <file>] [--format human|json] [--help]
-okfit verify <id> [path] [--config <file>] [--at <iso>] [--dry-run] [--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]
+okfit query get <id> [path] [--config <file>] [--format human|json]
+okfit query neighbors <id> [path] [--config <file>] [--format human|json]
 ```
 
 `okfit --version` prints `okfit <cli> (engine <engine>, okf <okf>,
@@ -220,9 +223,43 @@ file and an atomic rename, and the target's mode is preserved on the
 replacement, but the file is not skipped just because it is `chmod`-ed
 read-only.
 
+`--stable` or `--draft` sets the concept's `status` in the same write as the
+attestation, so settling a reviewed draft is one command:
+`okfit verify <id> --stable`. Passing both is a usage error (exit `64`), as
+is passing either with `--all` or `--type`: promotion is a per-concept
+decision. A concept already at the requested status gets no status edit. The
+human line ends `; status <from> -> <to>`, `; status already <to>` or
+`; status (absent) -> <to>`, and a dry run adds a `would set status:` line
+with the exact fragment.
+
+`--all` and `--type <Type>` (repeatable) attest in batch: every concept whose
+type sets `require_verified` (or of the named types) that you have not
+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.
+
 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.
 
+### `okfit query`
+
+Read-only lookups over the bundle, backed by the engine's `ConceptQuery`
+layer (the same one the MCP `list_concepts`, `get_concept` and
+`concept_neighbors` tools use). Bare `okfit query` prints help.
+
+- `okfit query list [path]` lists concepts as summaries (id, type, title,
+  description, status, tags, path). Filters: `--type <Type>` and
+  `--tag <tag>` (repeatable, each must be declared in the config),
+  `--status draft|stable|deprecated` (repeatable), and `--verified` or
+  `--unverified`.
+- `okfit query get <id> [path]` prints one concept: the summary fields and its
+  outgoing links. `--format json` also includes the raw frontmatter.
+- `okfit query neighbors <id> [path]` prints a concept's outgoing and
+  incoming links.
+
+Exit `0` on success, `3` for an unknown id, `64` for an undeclared type or
+tag or for `--verified` together with `--unverified`.
+
 ## Config discovery
 
 With no `--config` flag, `okfit` walks upward from `[path]` (default:
@@ -347,6 +384,19 @@ envelope to stdout and exits `3`:
 
 `init` has no `--format`; it is human output only.
 
+`okfit verify --format json` prints `VerifyEnvelope` (`schema`, `okfit_version`,
+`engine_version`, `distribution`, `id`, `path`, `verified`, `status`,
+`dry_run`, `exit_code`), where `status` is `{ "from": ..., "to": ... }` when
+`--stable` or `--draft` was given and `null` otherwise. With `--all` or
+`--type` it prints `VerifyBatchEnvelope`, whose `skipped[].reason` is one of
+`draft`, `deprecated` or `already-verified`.
+
+`okfit query list --format json` prints `QueryListEnvelope` (`total`, `items`);
+`query get` prints `QueryGetEnvelope` (`concept`: the summary fields plus
+`frontmatter` and `links`); `query neighbors` prints `QueryNeighborsEnvelope`
+(`id`, `outgoing`, `incoming`). Each carries `schema`, `okfit_version`,
+`engine_version` and `distribution`.
+
 `okfit context --format json` prints its own envelope, distinct from the
 one above:
 

package/commands/query.js

@@ -0,0 +1,174 @@
+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";
+import { Argument, Command, Flag } from "effect/cli";
+import { CurrentDistribution } from "@effected/engine";
+import { ConceptQuery, QueryGetEnvelope, QueryListEnvelope, QueryNeighborsEnvelope, QuerySelectionError, jsonError, provideConfig, queryGetEnvelope, queryListEnvelope, queryNeighborsEnvelope, resolveProjectConfig, toConceptSummary } from "@okfit/engine";
+import { Console, Effect, Option, Path, Schema } from "effect";
+import { Bundle } from "@okfit/core";
+
+//#region src/commands/query.ts
+/** `[path]` is the PROJECT root (K-2), never the bundle root. Absolute at parse time (K-50). */
+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"));
+const idArg = Argument.String("id").pipe(Argument.withDescription("concept id, with or without a leading slash or trailing .md"));
+/** K-1: no `mustExist` — the handler stats the path itself, before building any layer. */
+const configFlag = Flag.File("config").pipe(Flag.optional, Flag.withDescription("explicit config file; skips discovery"));
+const formatFlag = Flag.Literals("format", ["human", "json"]).pipe(Flag.withDefault("human"), Flag.withDescription("output format: human (default) or json"));
+const typeFlag = Flag.String("type").pipe(Flag.atLeast(0), Flag.withDescription("only concepts of this type (repeatable; any match)"));
+const tagFlag = Flag.String("tag").pipe(Flag.atLeast(0), Flag.withDescription("only concepts carrying this tag (repeatable; all must match)"));
+const statusFlag = Flag.Literals("status", [
+	"draft",
+	"stable",
+	"deprecated"
+]).pipe(Flag.atLeast(0), Flag.withDescription("only concepts with this status (repeatable; any match)"));
+const verifiedFlag = Flag.Boolean("verified").pipe(Flag.withDefault(false), Flag.withDescription("only concepts with at least one verified entry"));
+const unverifiedFlag = Flag.Boolean("unverified").pipe(Flag.withDefault(false), Flag.withDescription("only concepts with no verified entry"));
+/**
+* Shared skeleton: discover config, load the bundle, run `use`, and — under
+* `--format json` — apply the K-22 stdout error envelope. `precheck` runs
+* first, before any config discovery, so an invalid flag combination fails fast.
+*/
+const run$1 = (input, use, precheck) => Effect.gen(function* () {
+	const cwd = process.cwd();
+	const discoveryCwd = Option.getOrElse(input.path, () => cwd);
+	const path = yield* Path.Path;
+	const distribution = yield* CurrentDistribution;
+	const body = Effect.gen(function* () {
+		if (precheck !== void 0) yield* precheck;
+		const resolved = yield* resolveProjectConfig({
+			pathArg: input.path,
+			explicitConfigPath: input.config,
+			cwd
+		});
+		yield* use({
+			bundle: yield* Bundle.load({ root: resolved.bundleRoot }),
+			config: resolved.config,
+			root: displayRoot(cwd, resolved.bundleRoot, path),
+			distribution
+		});
+		setExitCode(0);
+	}).pipe(provideConfig({
+		explicitConfigPath: input.config,
+		discoveryCwd
+	}));
+	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;
+});
+const distributionOf = (distribution) => Option.isSome(distribution) ? { distribution: distribution.value } : {};
+/**
+* `okfit query list [path] [--type <T>]... [--tag <t>]... [--status <s>]...
+* [--verified|--unverified] [--config <file>] [--format human|json]`.
+*
+* @public
+*/
+const queryListCommand = Command.make("list", {
+	path: pathArg,
+	config: configFlag,
+	type: typeFlag,
+	tag: tagFlag,
+	status: statusFlag,
+	verified: verifiedFlag,
+	unverified: unverifiedFlag,
+	format: formatFlag
+}, (input) => {
+	const filter = {
+		...input.type.length > 0 ? { types: input.type } : {},
+		...input.tag.length > 0 ? { tags: input.tag } : {},
+		...input.status.length > 0 ? { statuses: input.status } : {},
+		...input.verified ? { verified: true } : {},
+		...input.unverified ? { verified: false } : {}
+	};
+	return run$1(input, ({ bundle, config, root, distribution }) => Effect.gen(function* () {
+		const items = (yield* ConceptQuery.list(bundle, config, filter)).map(toConceptSummary);
+		if (input.format === "json") {
+			const envelope = queryListEnvelope({
+				okfitVersion: CLI_VERSION,
+				total: items.length,
+				items,
+				...distributionOf(distribution)
+			});
+			yield* Console.log(JSON.stringify(Schema.encodeSync(QueryListEnvelope)(envelope)));
+		} else {
+			for (const line of humanQueryList(items)) yield* Console.log(line);
+			yield* Console.error(queryListSummary(items.length, root));
+		}
+	}), input.verified && input.unverified ? Effect.fail(new QuerySelectionError({ reason: "verified-conflict" })) : void 0);
+}).pipe(Command.withDescription("List concepts, sorted by id, optionally filtered by type, tag, status, or verified state."));
+/**
+* `okfit query get <id> [path] [--config <file>] [--format human|json]`.
+*
+* @public
+*/
+const queryGetCommand = Command.make("get", {
+	id: idArg,
+	path: pathArg,
+	config: configFlag,
+	format: formatFlag
+}, (input) => run$1(input, ({ bundle, distribution }) => Effect.gen(function* () {
+	const { concept, links } = yield* ConceptQuery.get(bundle, input.id);
+	const summary = toConceptSummary(concept);
+	if (input.format === "json") {
+		const envelope = queryGetEnvelope({
+			okfitVersion: CLI_VERSION,
+			concept: summary,
+			frontmatter: concept.frontmatter.raw,
+			links,
+			...distributionOf(distribution)
+		});
+		yield* Console.log(JSON.stringify(Schema.encodeSync(QueryGetEnvelope)(envelope)));
+	} else for (const line of humanQueryGet({
+		summary,
+		verified: concept.frontmatter.verified ?? [],
+		links
+	})) yield* Console.log(line);
+}))).pipe(Command.withDescription("Show one concept: its fields, verified entries, and outgoing links."));
+/**
+* `okfit query neighbors <id> [path] [--config <file>] [--format human|json]`.
+*
+* @public
+*/
+const queryNeighborsCommand = Command.make("neighbors", {
+	id: idArg,
+	path: pathArg,
+	config: configFlag,
+	format: formatFlag
+}, (input) => run$1(input, ({ bundle, distribution }) => Effect.gen(function* () {
+	const result = yield* ConceptQuery.neighbors(bundle, input.id);
+	const project = (n) => ({
+		id: n.id,
+		kind: n.kind,
+		summary: n.concept === null ? null : toConceptSummary(n.concept)
+	});
+	const outgoing = result.outgoing.map(project);
+	const incoming = result.incoming.map(project);
+	if (input.format === "json") {
+		const envelope = queryNeighborsEnvelope({
+			okfitVersion: CLI_VERSION,
+			id: result.id,
+			outgoing,
+			incoming,
+			...distributionOf(distribution)
+		});
+		yield* Console.log(JSON.stringify(Schema.encodeSync(QueryNeighborsEnvelope)(envelope)));
+	} else for (const line of humanQueryNeighbors({
+		outgoing,
+		incoming
+	})) yield* Console.log(line);
+}))).pipe(Command.withDescription("Show the concepts a concept links to and the ones that link to it."));
+/**
+* `okfit query`: read-only questions about the bundle, one subcommand per
+* MCP query tool (`list_concepts`, `get_concept`, `concept_neighbors`) over
+* the same `@okfit/engine` `ConceptQuery`. No handler: bare `okfit query`
+* prints help and exits 0, the root command's own K-5 behaviour.
+*
+* @public
+*/
+const queryCommand = Command.make("query", {}).pipe(Command.withDescription("Read-only queries over the bundle: list, get, neighbors."), Command.withSubcommands([
+	queryListCommand,
+	queryGetCommand,
+	queryNeighborsCommand
+]));
+
+//#endregion
+export { queryCommand, queryGetCommand, queryListCommand, queryNeighborsCommand };

package/commands/root.js

@@ -2,6 +2,7 @@ import { contextCommand } from "./context.js";
 import { graphCommand } from "./graph.js";
 import { initCommand } from "./init.js";
 import { lintCommand } from "./lint.js";
+import { queryCommand } from "./query.js";
 import { staleCommand } from "./stale.js";
 import { syncCommand } from "./sync.js";
 import { validateCommand } from "./validate.js";
@@ -17,8 +18,9 @@ import { Command } from "effect/cli";
 * `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`
@@ -35,7 +37,8 @@ const rootCommand = Command.make("okfit", {}).pipe(Command.withDescription("Open
 	syncCommand,
 	lintCommand,
 	graphCommand,
-	staleCommand
+	staleCommand,
+	queryCommand
 ]));
 
 //#endregion

package/commands/verify.js

@@ -20,6 +20,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 +34,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 +55,8 @@ const verifyCommand = Command.make("verify", {
 	config: configFlag,
 	all: allFlag,
 	type: typeFlag,
+	stable: stableFlag,
+	draft: draftFlag,
 	at: atFlag,
 	dryRun: dryRunFlag,
 	format: formatFlag
@@ -70,6 +76,9 @@ 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 (batch) {
 			const result = yield* runVerifyBatch({
 				bundleRoot: resolved.bundleRoot,
@@ -111,7 +120,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 +132,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,7 +142,9 @@ 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({
@@ -140,7 +153,7 @@ const verifyCommand = Command.make("verify", {
 	}));
 	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,5 +1,5 @@
 import { DocumentStdinIsTerminalError } from "./internal/stdin.js";
-import { ConfigMalformedError, ConfigPathNotFoundError, DocumentPathError, InitOverwriteError, SyncStagedLogError, VerifyConceptNotFoundError, VerifySelectionError, VerifyUnsupportedFrontmatterError } from "@okfit/engine";
+import { ConfigMalformedError, ConfigPathNotFoundError, DocumentPathError, InitOverwriteError, QueryConceptNotFoundError, QuerySelectionError, QueryUnknownVocabularyError, SyncStagedLogError, VerifyConceptNotFoundError, VerifySelectionError, VerifyUnsupportedFrontmatterError } from "@okfit/engine";
 import { ConfigIssueRenderer } from "@effected/cli";
 
 //#region src/errors.ts
@@ -50,6 +50,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
@@ -72,6 +75,9 @@ const renderFailure = (error) => {
 	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

@@ -10,8 +10,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 +21,7 @@ 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", {} | {}, {}, 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>;
 //#endregion
 //#region src/errors.d.ts
 /**
@@ -63,6 +64,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
@@ -156,6 +160,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

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "@okfit/cli",
-	"version": "0.6.11",
+	"version": "0.7.0",
 	"private": false,
 	"description": "The okfit command line: validate, lint, index, and inspect Open Knowledge Format (OKF) bundles.",
 	"keywords": [
@@ -52,10 +52,10 @@
 		"@effected/markdown": "^0.14.0",
 		"@effected/schemastore": "^0.17.0",
 		"@effected/toml": "^0.10.0",
-		"@effected/walker": "^0.14.0",
+		"@effected/walker": "^0.14.1",
 		"@effected/yaml": "^0.18.0",
 		"@okfit/core": "0.8.3",
-		"@okfit/engine": "0.9.3",
+		"@okfit/engine": "0.10.0",
 		"@okfit/profiles": "0.8.2",
 		"effect": "4.0.0-rc.118"
 	},

package/render/query.js

@@ -0,0 +1,58 @@
+import { Schema } from "effect";
+import { Timestamp } from "@okfit/core";
+
+//#region src/render/query.ts
+/**
+* One line per concept: `<id>  <status>  <type>  <title>`. `items` arrive
+* already sorted by id (`ConceptQuery.list`), so this never re-sorts.
+*
+* @public
+*/
+const humanQueryList = (items) => items.map((item) => `${item.id}  ${item.status}  ${item.type}  ${item.title}`);
+/**
+* `<N> concepts in <root>` (`1 concept` for one) — the one-line stderr summary.
+*
+* @public
+*/
+const queryListSummary = (total, root) => `${total} ${total === 1 ? "concept" : "concepts"} in ${root}`;
+/**
+* The bare id, then `key: value` lines, one `verified:` line per attestation,
+* then the outgoing links.
+*
+* @public
+*/
+const humanQueryGet = (input) => {
+	const { summary } = input;
+	return [
+		summary.id,
+		`type: ${summary.type}`,
+		`title: ${summary.title}`,
+		`status: ${summary.status}`,
+		`tags: ${summary.tags.length === 0 ? "(none)" : summary.tags.join(", ")}`,
+		`path: ${summary.path}`,
+		...input.verified.map((entry) => `verified: ${entry.by} at ${Schema.encodeSync(Timestamp)(entry.at)}`),
+		"links:",
+		...input.links.length === 0 ? ["  (none)"] : input.links.map((link) => {
+			const detail = [
+				link.kind,
+				link.source,
+				...link.field === void 0 ? [] : [link.field]
+			].join(", ");
+			return `  -> ${link.to} (${detail})`;
+		})
+	];
+};
+/**
+* `outgoing:` then `incoming:`, each a list of `->`/`<-` lines or `(none)`.
+*
+* @public
+*/
+const humanQueryNeighbors = (input) => [
+	"outgoing:",
+	...input.outgoing.length === 0 ? ["  (none)"] : input.outgoing.map((n) => `  -> ${n.id} (${n.kind})`),
+	"incoming:",
+	...input.incoming.length === 0 ? ["  (none)"] : input.incoming.map((n) => `  <- ${n.id} (${n.kind})`)
+];
+
+//#endregion
+export { humanQueryGet, humanQueryList, humanQueryNeighbors, queryListSummary };

package/render/verify.js

@@ -19,11 +19,15 @@ const indentFragment = (fragment) => {
 *
 * @public
 */
-const humanVerify = (input) => [
-	...input.priorAt.map((at) => `already verified by ${input.by} at ${at}; appending`),
-	input.dryRun ? `would verify ${input.id} by ${input.by} at ${input.at} (dry run, nothing written)` : `verified ${input.id} by ${input.by} at ${input.at}`,
-	...input.dryRun ? ["would write:", ...indentFragment(input.fragment)] : []
-];
+const humanVerify = (input) => {
+	const statusSuffix = input.status === null ? "" : input.status.from === input.status.to ? `; status already ${input.status.to}` : `; status ${input.status.from ?? "(absent)"} -> ${input.status.to}`;
+	return [
+		...input.priorAt.map((at) => `already verified by ${input.by} at ${at}; appending`),
+		input.dryRun ? `would verify ${input.id} by ${input.by} at ${input.at}${statusSuffix} (dry run, nothing written)` : `verified ${input.id} by ${input.by} at ${input.at}${statusSuffix}`,
+		...input.dryRun ? ["would write:", ...indentFragment(input.fragment)] : [],
+		...input.dryRun && input.statusFragment !== null ? ["would set status:", ...indentFragment(input.statusFragment)] : []
+	];
+};
 /**
 * V-11-at-batch-scale (#138): one line per skipped candidate, then one line
 * (or, under `--dry-run`, three) per verified concept, then a trailing tally.
@@ -31,7 +35,7 @@ const humanVerify = (input) => [
 * @public
 */
 const humanVerifyBatch = (input) => [
-	...input.skipped.map((entry) => entry.reason === "draft" ? `skipped ${entry.id}: draft` : `skipped ${entry.id}: already verified by ${input.by}`),
+	...input.skipped.map((entry) => entry.reason === "already-verified" ? `skipped ${entry.id}: already verified by ${input.by}` : `skipped ${entry.id}: ${entry.reason}`),
 	...input.verified.flatMap((entry) => input.dryRun ? [
 		`would verify ${entry.id} by ${input.by} at ${input.at}`,
 		"would write:",

package/version.js

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