@okfit/engine 0.9.4 → 0.10.0

package/errors.js

@@ -60,7 +60,8 @@ var VerifyConceptNotFoundError = class extends Schema.TaggedError()("VerifyConce
 	}
 };
 /**
-* V-14: fail closed on a `verified` shape the classifier does not name.
+* V-14: fail closed on a `verified` (or, under `--stable`/`--draft`, `status`)
+* shape the classifier does not name; `key` says which, omitted meaning `verified`.
 * `shape` is one of `"alias"`, `"merge-key"`, `"scalar"`, `"empty"` (and,
 * defensively, `"no-frontmatter"` or `"not-a-mapping"`, neither reachable
 * for a concept that reached `bundle.concepts`). The file is never opened
@@ -70,11 +71,12 @@ var VerifyConceptNotFoundError = class extends Schema.TaggedError()("VerifyConce
 */
 var VerifyUnsupportedFrontmatterError = class extends Schema.TaggedError()("VerifyUnsupportedFrontmatterError", {
 	id: Schema.String,
-	shape: Schema.String
+	shape: Schema.String,
+	key: Schema.optionalKey(Schema.Literals(["verified", "status"]))
 }) {
 	[Runtime.errorExitCode] = 3;
 	get message() {
-		return `"${this.id}"'s verified value is a shape okfit verify cannot edit (${this.shape}); edit it by hand`;
+		return `"${this.id}"'s ${this.key ?? "verified"} value is a shape okfit verify cannot edit (${this.shape}); edit it by hand`;
 	}
 };
 /** The error's `message` when it has one as a string, else `String(error)`. */
@@ -127,7 +129,9 @@ var VerifySelectionError = class extends Schema.TaggedError()("VerifySelectionEr
 	reason: Schema.Literals([
 		"no-selection",
 		"id-and-batch",
-		"unknown-type"
+		"unknown-type",
+		"status-conflict",
+		"status-and-batch"
 	]),
 	detail: Schema.optionalKey(Schema.String)
 }) {
@@ -135,6 +139,8 @@ var VerifySelectionError = class extends Schema.TaggedError()("VerifySelectionEr
 	get message() {
 		if (this.reason === "no-selection") return "verify needs a concept id, --all, or --type <Type>";
 		if (this.reason === "id-and-batch") return "verify takes either a concept id or --all/--type, not both";
+		if (this.reason === "status-conflict") return "verify takes --stable or --draft, not both";
+		if (this.reason === "status-and-batch") return "--stable and --draft need a concept id; batch mode never changes status";
 		return `type "${this.detail ?? ""}" is not declared in the config`;
 	}
 };
@@ -170,6 +176,50 @@ var DocumentPathError = class extends Schema.TaggedError()("DocumentPathError",
 		return `document path "${this.path}" ${DOCUMENT_PATH_REASON_TEXT[this.reason]}`;
 	}
 };
+/**
+* `okfit query list` named a type or tag the config does not declare. `valid`
+* is the sorted declared names. Exit 64: a usage error.
+*
+* @public
+*/
+var QueryUnknownVocabularyError = class extends Schema.TaggedError()("QueryUnknownVocabularyError", {
+	kind: Schema.Literals(["type", "tag"]),
+	requested: Schema.String,
+	valid: Schema.Array(Schema.String)
+}) {
+	[Runtime.errorExitCode] = 64;
+	get message() {
+		return `${this.kind} "${this.requested}" is not declared in the config; declared: ${this.valid.join(", ")}`;
+	}
+};
+/**
+* A query's concept id named no concept: empty after normalisation
+* (`empty-id`) or absent from the bundle (`not-a-concept`). Exit 3.
+*
+* @public
+*/
+var QueryConceptNotFoundError = class extends Schema.TaggedError()("QueryConceptNotFoundError", {
+	id: Schema.String,
+	reason: Schema.Literals(["empty-id", "not-a-concept"])
+}) {
+	[Runtime.errorExitCode] = 3;
+	get message() {
+		if (this.reason === "empty-id") return "a concept id must not be empty";
+		return `no concept "${this.id}" in this bundle`;
+	}
+};
+/**
+* `okfit query list` was given contradictory selection flags. Exit 64: a
+* usage error.
+*
+* @public
+*/
+var QuerySelectionError = class extends Schema.TaggedError()("QuerySelectionError", { reason: Schema.Literals(["verified-conflict"]) }) {
+	[Runtime.errorExitCode] = 64;
+	get message() {
+		return "query list takes --verified or --unverified, not both";
+	}
+};
 
 //#endregion
-export { ConfigMalformedError, ConfigPathNotFoundError, DocumentPathError, InitOverwriteError, SyncStagedLogError, VerifyConceptNotFoundError, VerifySelectionError, VerifyUnsupportedFrontmatterError };
+export { ConfigMalformedError, ConfigPathNotFoundError, DocumentPathError, InitOverwriteError, QueryConceptNotFoundError, QuerySelectionError, QueryUnknownVocabularyError, SyncStagedLogError, VerifyConceptNotFoundError, VerifySelectionError, VerifyUnsupportedFrontmatterError };

package/index.d.ts

@@ -1,4 +1,4 @@
-import { Actor, BundleLoadError, ConceptId, Diagnostic, DiagnosticRange, DiagnosticSeverity, GraphLink, GraphNode, LinkGraph, LoadedBundle, LoadedConcept, OkfitConfig, OkfitConfigFile, StaleConcept, Status, ValidationReport } from "@okfit/core";
+import { Actor, BundleLoadError, ConceptId, Diagnostic, DiagnosticRange, DiagnosticSeverity, GraphLink, GraphNode, GraphNodeKind, LinkGraph, LoadedBundle, LoadedConcept, OkfitConfig, OkfitConfigFile, StaleConcept, Status, ValidationReport } from "@okfit/core";
 import { Context, Crypto, DateTime, Effect, FileSystem, Layer, Option, Path, PlatformError, Result, Runtime, Schema } from "effect";
 import { AppDirs, Xdg } from "@effected/xdg";
 import { ConfigReadError } from "@effected/config-file";
@@ -126,9 +126,11 @@ export declare class VerifyConceptNotFoundError extends VerifyConceptNotFoundErr
 declare const VerifyUnsupportedFrontmatterError_base: Schema.Class<VerifyUnsupportedFrontmatterError, Schema.TaggedStruct<"VerifyUnsupportedFrontmatterError", {
   readonly id: Schema.String;
   readonly shape: Schema.String;
+  readonly key: Schema.optionalKey<Schema.Literals<readonly ["verified", "status"]>>;
 }>, import("effect/Cause").YieldableError>;
 /**
- * V-14: fail closed on a `verified` shape the classifier does not name.
+ * V-14: fail closed on a `verified` (or, under `--stable`/`--draft`, `status`)
+ * shape the classifier does not name; `key` says which, omitted meaning `verified`.
  * `shape` is one of `"alias"`, `"merge-key"`, `"scalar"`, `"empty"` (and,
  * defensively, `"no-frontmatter"` or `"not-a-mapping"`, neither reachable
  * for a concept that reached `bundle.concepts`). The file is never opened
@@ -172,7 +174,7 @@ export declare class SyncStagedLogError extends SyncStagedLogError_base {
   get message(): string;
 }
 declare const VerifySelectionError_base: Schema.Class<VerifySelectionError, Schema.TaggedStruct<"VerifySelectionError", {
-  readonly reason: Schema.Literals<readonly ["no-selection", "id-and-batch", "unknown-type"]>;
+  readonly reason: Schema.Literals<readonly ["no-selection", "id-and-batch", "unknown-type", "status-conflict", "status-and-batch"]>;
   readonly detail: Schema.optionalKey<Schema.String>;
 }>, import("effect/Cause").YieldableError>;
 /**
@@ -202,6 +204,48 @@ export declare class DocumentPathError extends DocumentPathError_base {
   readonly [Runtime.errorExitCode] = 64;
   get message(): string;
 }
+declare const QueryUnknownVocabularyError_base: Schema.Class<QueryUnknownVocabularyError, Schema.TaggedStruct<"QueryUnknownVocabularyError", {
+  readonly kind: Schema.Literals<readonly ["type", "tag"]>;
+  readonly requested: Schema.String;
+  readonly valid: Schema.$Array<Schema.String>;
+}>, import("effect/Cause").YieldableError>;
+/**
+ * `okfit query list` named a type or tag the config does not declare. `valid`
+ * is the sorted declared names. Exit 64: a usage error.
+ *
+ * @public
+ */
+export declare class QueryUnknownVocabularyError extends QueryUnknownVocabularyError_base {
+  readonly [Runtime.errorExitCode] = 64;
+  get message(): string;
+}
+declare const QueryConceptNotFoundError_base: Schema.Class<QueryConceptNotFoundError, Schema.TaggedStruct<"QueryConceptNotFoundError", {
+  readonly id: Schema.String;
+  readonly reason: Schema.Literals<readonly ["empty-id", "not-a-concept"]>;
+}>, import("effect/Cause").YieldableError>;
+/**
+ * A query's concept id named no concept: empty after normalisation
+ * (`empty-id`) or absent from the bundle (`not-a-concept`). Exit 3.
+ *
+ * @public
+ */
+export declare class QueryConceptNotFoundError extends QueryConceptNotFoundError_base {
+  readonly [Runtime.errorExitCode] = 3;
+  get message(): string;
+}
+declare const QuerySelectionError_base: Schema.Class<QuerySelectionError, Schema.TaggedStruct<"QuerySelectionError", {
+  readonly reason: Schema.Literals<readonly ["verified-conflict"]>;
+}>, import("effect/Cause").YieldableError>;
+/**
+ * `okfit query list` was given contradictory selection flags. Exit 64: a
+ * usage error.
+ *
+ * @public
+ */
+export declare class QuerySelectionError extends QuerySelectionError_base {
+  readonly [Runtime.errorExitCode] = 64;
+  get message(): string;
+}
 //#endregion
 //#region src/config/layer.d.ts
 /**
@@ -652,6 +696,58 @@ export declare const layerOverlayFileSystem: Layer.Layer<FileSystem.FileSystem,
  */
 export declare const OkfitPlatform: Layer.Layer<AppDirs | Xdg | NodeServices.NodeServices, import("@effected/xdg").XdgEnvError, never>;
 //#endregion
+//#region src/query/ConceptQuery.d.ts
+/**
+ * Filter for {@link ConceptQuery.list}. Every field is optional; an absent
+ * field does not constrain.
+ *
+ * @public
+ */
+interface ConceptFilter {
+  /** OR across types. */
+  readonly types?: ReadonlyArray<string>;
+  /** AND: every tag must be present. */
+  readonly tags?: ReadonlyArray<string>;
+  /** OR, compared against `Derive.status` (an absent status reads as stable). */
+  readonly statuses?: ReadonlyArray<Status>;
+  /** `true`: at least one verified entry; `false`: none. */
+  readonly verified?: boolean;
+}
+/** One outgoing link of a concept. @public */
+interface ConceptLink {
+  readonly to: string;
+  readonly kind: GraphNodeKind;
+  readonly source: "body" | "frontmatter";
+  readonly field?: string;
+}
+/** One graph neighbour; `concept` is `null` for a non-concept node (J-4). @public */
+interface ConceptNeighbor {
+  readonly id: string;
+  readonly kind: GraphNodeKind;
+  readonly concept: LoadedConcept | null;
+}
+/**
+ * Read-only queries over a loaded bundle, shared by `okfit query` and the MCP
+ * tools.
+ *
+ * @public
+ */
+export declare const ConceptQuery: {
+  /** Validates types then tags against config (first unknown fails), then filters and sorts by id. */
+  readonly list: (bundle: LoadedBundle, config: OkfitConfig, filter: ConceptFilter) => Effect.Effect<ReadonlyArray<LoadedConcept>, QueryUnknownVocabularyError>;
+  /** One concept by tolerant id, with its outgoing links. */
+  readonly get: (bundle: LoadedBundle, id: string) => Effect.Effect<{
+    readonly concept: LoadedConcept;
+    readonly links: ReadonlyArray<ConceptLink>;
+  }, QueryConceptNotFoundError>;
+  /** Outgoing and incoming graph neighbours of one concept. */
+  readonly neighbors: (bundle: LoadedBundle, id: string) => Effect.Effect<{
+    readonly id: string;
+    readonly outgoing: ReadonlyArray<ConceptNeighbor>;
+    readonly incoming: ReadonlyArray<ConceptNeighbor>;
+  }, QueryConceptNotFoundError>;
+};
+//#endregion
 //#region src/render/context.d.ts
 /** One enumerated value of a `fields[]` entry. @public */
 export declare const ContextFieldValue: Schema.Struct<{
@@ -1088,6 +1184,159 @@ export declare const json: (input: {
 /** K-22. `tag` is the error's `_tag` when it has one, else its constructor name. @public */
 export declare const jsonError: (error: unknown, okfitVersion: string, distribution?: Distribution) => JsonErrorEnvelope;
 //#endregion
+//#region src/render/query.d.ts
+/** The seven-field shape every list-like query result carries (N-16). @public */
+export declare const ConceptSummary: Schema.Struct<{
+  readonly id: Schema.String;
+  readonly type: Schema.String;
+  readonly title: Schema.String;
+  readonly description: Schema.NullOr<Schema.String>;
+  readonly status: Schema.Literals<readonly ["draft", "stable", "deprecated"]>;
+  readonly tags: Schema.$Array<Schema.String>;
+  readonly path: Schema.String;
+}>;
+/** @public */
+export type ConceptSummary = typeof ConceptSummary.Type;
+/** Project one loaded concept into its summary. @public */
+export declare const toConceptSummary: (concept: LoadedConcept) => ConceptSummary;
+/** `okfit query list --format json`'s envelope, schema 1, snake_case. @public */
+export declare const QueryListEnvelope: Schema.Struct<{
+  readonly schema: Schema.Literal<1>;
+  readonly okfit_version: Schema.String;
+  readonly engine_version: Schema.String;
+  readonly distribution: Schema.NullOr<Schema.Struct<{
+    readonly name: Schema.String;
+    readonly version: Schema.String;
+  }>>;
+  readonly total: Schema.Int;
+  readonly items: Schema.$Array<Schema.Struct<{
+    readonly id: Schema.String;
+    readonly type: Schema.String;
+    readonly title: Schema.String;
+    readonly description: Schema.NullOr<Schema.String>;
+    readonly status: Schema.Literals<readonly ["draft", "stable", "deprecated"]>;
+    readonly tags: Schema.$Array<Schema.String>;
+    readonly path: Schema.String;
+  }>>;
+}>;
+/** @public */
+export type QueryListEnvelope = typeof QueryListEnvelope.Type;
+/** One outgoing link of a concept, as `okfit query get` reports it. @public */
+export declare const QueryLink: Schema.Struct<{
+  readonly to: Schema.String;
+  readonly kind: Schema.Literals<readonly ["concept", "file", "missing"]>;
+  readonly source: Schema.Literals<readonly ["body", "frontmatter"]>;
+  readonly field: Schema.optionalKey<Schema.String>;
+}>;
+/** @public */
+export type QueryLink = typeof QueryLink.Type;
+/** `okfit query get --format json`'s envelope, schema 1, snake_case. @public */
+export declare const QueryGetEnvelope: Schema.Struct<{
+  readonly schema: Schema.Literal<1>;
+  readonly okfit_version: Schema.String;
+  readonly engine_version: Schema.String;
+  readonly distribution: Schema.NullOr<Schema.Struct<{
+    readonly name: Schema.String;
+    readonly version: Schema.String;
+  }>>;
+  readonly concept: Schema.Struct<{
+    readonly id: Schema.String;
+    readonly type: Schema.String;
+    readonly title: Schema.String;
+    readonly description: Schema.NullOr<Schema.String>;
+    readonly status: Schema.Literals<readonly ["draft", "stable", "deprecated"]>;
+    readonly tags: Schema.$Array<Schema.String>;
+    readonly path: Schema.String;
+    readonly frontmatter: Schema.$Record<Schema.String, Schema.Unknown>;
+    readonly links: Schema.$Array<Schema.Struct<{
+      readonly to: Schema.String;
+      readonly kind: Schema.Literals<readonly ["concept", "file", "missing"]>;
+      readonly source: Schema.Literals<readonly ["body", "frontmatter"]>;
+      readonly field: Schema.optionalKey<Schema.String>;
+    }>>;
+  }>;
+}>;
+/** @public */
+export type QueryGetEnvelope = typeof QueryGetEnvelope.Type;
+/** One neighbour of a concept; `summary` is `null` for a non-concept node. @public */
+export declare const QueryNeighbor: Schema.Struct<{
+  readonly id: Schema.String;
+  readonly kind: Schema.Literals<readonly ["concept", "file", "missing"]>;
+  readonly summary: Schema.NullOr<Schema.Struct<{
+    readonly id: Schema.String;
+    readonly type: Schema.String;
+    readonly title: Schema.String;
+    readonly description: Schema.NullOr<Schema.String>;
+    readonly status: Schema.Literals<readonly ["draft", "stable", "deprecated"]>;
+    readonly tags: Schema.$Array<Schema.String>;
+    readonly path: Schema.String;
+  }>>;
+}>;
+/** @public */
+export type QueryNeighbor = typeof QueryNeighbor.Type;
+/** `okfit query neighbors --format json`'s envelope, schema 1, snake_case. @public */
+export declare const QueryNeighborsEnvelope: Schema.Struct<{
+  readonly schema: Schema.Literal<1>;
+  readonly okfit_version: Schema.String;
+  readonly engine_version: Schema.String;
+  readonly distribution: Schema.NullOr<Schema.Struct<{
+    readonly name: Schema.String;
+    readonly version: Schema.String;
+  }>>;
+  readonly id: Schema.String;
+  readonly outgoing: Schema.$Array<Schema.Struct<{
+    readonly id: Schema.String;
+    readonly kind: Schema.Literals<readonly ["concept", "file", "missing"]>;
+    readonly summary: Schema.NullOr<Schema.Struct<{
+      readonly id: Schema.String;
+      readonly type: Schema.String;
+      readonly title: Schema.String;
+      readonly description: Schema.NullOr<Schema.String>;
+      readonly status: Schema.Literals<readonly ["draft", "stable", "deprecated"]>;
+      readonly tags: Schema.$Array<Schema.String>;
+      readonly path: Schema.String;
+    }>>;
+  }>>;
+  readonly incoming: Schema.$Array<Schema.Struct<{
+    readonly id: Schema.String;
+    readonly kind: Schema.Literals<readonly ["concept", "file", "missing"]>;
+    readonly summary: Schema.NullOr<Schema.Struct<{
+      readonly id: Schema.String;
+      readonly type: Schema.String;
+      readonly title: Schema.String;
+      readonly description: Schema.NullOr<Schema.String>;
+      readonly status: Schema.Literals<readonly ["draft", "stable", "deprecated"]>;
+      readonly tags: Schema.$Array<Schema.String>;
+      readonly path: Schema.String;
+    }>>;
+  }>>;
+}>;
+/** @public */
+export type QueryNeighborsEnvelope = typeof QueryNeighborsEnvelope.Type;
+/** Build the list envelope; `items` is the already-paged, already-sorted summaries. @public */
+export declare const queryListEnvelope: (input: {
+  readonly okfitVersion: string;
+  readonly total: number;
+  readonly items: ReadonlyArray<ConceptSummary>;
+  readonly distribution?: Distribution;
+}) => QueryListEnvelope;
+/** Build the get envelope from a summary, the raw frontmatter and the outgoing links. @public */
+export declare const queryGetEnvelope: (input: {
+  readonly okfitVersion: string;
+  readonly concept: ConceptSummary;
+  readonly frontmatter: Readonly<Record<string, unknown>>;
+  readonly links: ReadonlyArray<QueryLink>;
+  readonly distribution?: Distribution;
+}) => QueryGetEnvelope;
+/** Build the neighbors envelope. @public */
+export declare const queryNeighborsEnvelope: (input: {
+  readonly okfitVersion: string;
+  readonly id: string;
+  readonly outgoing: ReadonlyArray<QueryNeighbor>;
+  readonly incoming: ReadonlyArray<QueryNeighbor>;
+  readonly distribution?: Distribution;
+}) => QueryNeighborsEnvelope;
+//#endregion
 //#region src/render/stale.d.ts
 /** One entry of the `items` array. @public */
 export declare const StaleItem: Schema.Struct<{
@@ -1298,6 +1547,47 @@ export declare const syncEnvelope: (input: {
   readonly distribution?: Distribution;
 }) => SyncEnvelope;
 //#endregion
+//#region src/verify/select.d.ts
+/**
+ * Why a candidate concept was skipped by batch selection: `"draft"` and
+ * `"deprecated"` mirror `status`, `"already-verified"` means the actor already
+ * carries a `verified` entry.
+ *
+ * @public
+ */
+type VerifyBatchSkipReason = "draft" | "deprecated" | "already-verified";
+/**
+ * The outcome of {@link selectAttestable}.
+ *
+ * @public
+ */
+interface AttestableSelection {
+  /** In bundle iteration order. */
+  readonly candidates: ReadonlyArray<LoadedConcept>;
+  readonly skipped: ReadonlyArray<{
+    readonly id: string;
+    readonly reason: VerifyBatchSkipReason;
+  }>;
+}
+/**
+ * Issue #138/#143: which concepts of `types` the actor may attest in one
+ * batch. A draft is unsettled and a deprecated concept is retired (#143), so
+ * both are skipped before the already-verified check.
+ *
+ * @public
+ */
+export declare const selectAttestable: (bundle: LoadedBundle, types: ReadonlySet<string>, actor: string) => AttestableSelection;
+/**
+ * The batch type-resolution rule shared by `runVerifyBatch` and any future
+ * interactive picker: explicit `types` must each be declared in
+ * `config.types` (else `VerifySelectionError` with reason `unknown-type`);
+ * an empty `types` selects every declared type whose `require_verified` is
+ * `true`.
+ *
+ * @public
+ */
+export declare const resolveBatchTypes: (config: OkfitConfig, types: ReadonlyArray<string>) => Effect.Effect<ReadonlySet<string>, VerifySelectionError>;
+//#endregion
 //#region src/render/verify.d.ts
 /**
  * V-11's success envelope, schema 1, snake_case — the same convention as
@@ -1322,6 +1612,11 @@ export declare const VerifyEnvelope: Schema.Struct<{
     readonly by: Schema.String;
     readonly at: Schema.String;
   }>;
+  /** Issue #185: the status change `--stable`/`--draft` made; `null` when neither flag was given. */
+  readonly status: Schema.NullOr<Schema.Struct<{
+    readonly from: Schema.NullOr<Schema.Literals<readonly ["draft", "stable", "deprecated"]>>;
+    readonly to: Schema.Literals<readonly ["stable", "draft"]>;
+  }>>;
   readonly dry_run: Schema.Boolean;
   readonly exit_code: Schema.Literal<0>;
 }>;
@@ -1342,6 +1637,10 @@ export declare const verifyEnvelope: (input: {
   readonly by: string;
   readonly at: string;
   readonly dryRun: boolean;
+  readonly status: {
+    readonly from: Status | null;
+    readonly to: "stable" | "draft";
+  } | null;
   readonly distribution?: Distribution;
 }) => VerifyEnvelope;
 /**
@@ -1368,7 +1667,7 @@ export declare const VerifyBatchEnvelope: Schema.Struct<{
   }>>;
   readonly skipped: Schema.$Array<Schema.Struct<{
     readonly id: Schema.String;
-    readonly reason: Schema.Literals<readonly ["draft", "already-verified"]>;
+    readonly reason: Schema.Literals<readonly ["draft", "deprecated", "already-verified"]>;
   }>>;
   readonly dry_run: Schema.Boolean;
   readonly exit_code: Schema.Literal<0>;
@@ -1391,7 +1690,7 @@ export declare const verifyBatchEnvelope: (input: {
   }>;
   readonly skipped: ReadonlyArray<{
     readonly id: string;
-    readonly reason: "draft" | "already-verified";
+    readonly reason: VerifyBatchSkipReason;
   }>;
   readonly dryRun: boolean;
   readonly distribution?: Distribution;
@@ -1621,6 +1920,8 @@ interface VerifyOptions {
   /** `--at` when given, else the `Now` service (K-47/K-49). */
   readonly at: DateTime.Utc;
   readonly dryRun: boolean;
+  /** Issue #185: also set the concept's `status` in the same write. */
+  readonly status?: "stable" | "draft";
 }
 /** @internal */
 interface VerifyResult {
@@ -1638,6 +1939,13 @@ interface VerifyResult {
   readonly dryRun: boolean;
   /** The exact bytes `splice`'s edit would insert, written or not. */
   readonly fragment: string;
+  /** `null` when no status flag was given; `from` is the RAW frontmatter status. */
+  readonly status: {
+    readonly from: Status | null;
+    readonly to: "stable" | "draft";
+  } | null;
+  /** The exact status bytes spliced, or `null` when no status edit was made. */
+  readonly statusFragment: string | null;
 }
 /**
  * Issue #138: options for {@link runVerifyBatch}. `types` restricts the
@@ -1655,14 +1963,6 @@ interface VerifyBatchOptions {
   /** Restrict to these types; empty = every type with `require_verified = true`. */
   readonly types: ReadonlyArray<string>;
 }
-/**
- * Why {@link runVerifyBatch} skipped a candidate concept: `"draft"` for
- * `status === "draft"`, `"already-verified"` when the resolved actor already
- * carries a `verified` entry.
- *
- * @public
- */
-type VerifyBatchSkipReason = "draft" | "already-verified";
 /**
  * The result of {@link runVerifyBatch}.
  *
@@ -1689,8 +1989,9 @@ interface VerifyBatchResult {
  * human actor from git, splices exactly one entry into the concept's
  * frontmatter and writes it back atomically.
  *
- * Nothing here reads `status`, `stale_after`, or a type's
- * `require_verified`: `verify` is mechanical, not config-aware (V-4, V-5).
+ * Nothing here reads `stale_after` or a type's `require_verified`; `status`
+ * is read only to skip a no-op edit under `options.status` (#185). `verify`
+ * is mechanical, not config-aware (V-4, V-5).
  *
  * @internal
  */
@@ -1703,11 +2004,16 @@ export declare const runVerify: (options: VerifyOptions) => Effect.Effect<{
   priorAt: string[];
   dryRun: boolean;
   fragment: string;
+  status: {
+    from: "deprecated" | "draft" | "stable" | null;
+    to: "draft" | "stable";
+  } | null;
+  statusFragment: string | null;
 }, import("effect/PlatformError").PlatformError | VerifyConceptNotFoundError | VerifyUnsupportedFrontmatterError | import("@effected/yaml").YamlParseError | import("@okfit/core").BundleLoadError | import("@okfit/profiles").GeneratedByError, FileSystem.FileSystem | import("@effected/git").Git | Path.Path>;
 /**
  * Issue #138. Attests every concept selected by `options.types` (or, when
  * empty, every type whose declaration sets `require_verified = true`) that
- * is not a draft and does not already carry a `verified` entry by the
+ * is not a draft, is not deprecated (#143) and does not already carry a `verified` entry by the
  * resolved actor. Every candidate is located FIRST -- an unsupported
  * `verified` shape on any one of them fails the whole batch with nothing
  * written, mirroring `runVerify`'s own fail-closed rule at batch scale.
@@ -1724,7 +2030,7 @@ export declare const runVerifyBatch: (options: VerifyBatchOptions) => Effect.Eff
     conceptPath: string;
     fragment: string;
   }[];
-  skipped: {
+  skipped: readonly {
     readonly id: string;
     readonly reason: VerifyBatchSkipReason;
   }[];
@@ -1745,5 +2051,5 @@ export declare const runVerifyBatch: (options: VerifyBatchOptions) => Effect.Eff
  */
 export declare const ENGINE_VERSION: string;
 //#endregion
-export type { BundleSessionOptions, BundleSessionServices, BundleSessionShape, ContextResult, ContextRunOptions, DiagnosticSource, DiscoveredConfig, Distribution, DocumentInput, ExternalReferencesShape, GraphRunOptions, GraphRunResult, OverlayDocument, OverlayDocumentsShape, RenderedDiagnostic, ResolveProjectConfigInput, ResolvedProjectConfig, RevalidateError, RevalidateOptions, RevalidateResult, RevalidateTier, RunOptions, RunResult, ScaffoldFile, ScaffoldOptions, StaleRunOptions, StaleRunResult, SyncMode, SyncModeResult, SyncOptions, SyncResult, Tally, VerifyBatchOptions, VerifyBatchResult, VerifyBatchSkipReason, VerifyOptions, VerifyResult, WatchedFilesOutcome };
+export type { AttestableSelection, BundleSessionOptions, BundleSessionServices, BundleSessionShape, ConceptFilter, ConceptLink, ConceptNeighbor, ContextResult, ContextRunOptions, DiagnosticSource, DiscoveredConfig, Distribution, DocumentInput, ExternalReferencesShape, GraphRunOptions, GraphRunResult, OverlayDocument, OverlayDocumentsShape, RenderedDiagnostic, ResolveProjectConfigInput, ResolvedProjectConfig, RevalidateError, RevalidateOptions, RevalidateResult, RevalidateTier, RunOptions, RunResult, ScaffoldFile, ScaffoldOptions, StaleRunOptions, StaleRunResult, SyncMode, SyncModeResult, SyncOptions, SyncResult, Tally, VerifyBatchOptions, VerifyBatchResult, VerifyBatchSkipReason, VerifyOptions, VerifyResult, WatchedFilesOutcome };
 //# sourceMappingURL=index.d.ts.map

package/index.js

@@ -1,5 +1,5 @@
 import { resolveBundleRoot, resolveProjectRoot } from "./config/anchor.js";
-import { ConfigMalformedError, ConfigPathNotFoundError, DocumentPathError, InitOverwriteError, SyncStagedLogError, VerifyConceptNotFoundError, VerifySelectionError, VerifyUnsupportedFrontmatterError } from "./errors.js";
+import { ConfigMalformedError, ConfigPathNotFoundError, DocumentPathError, InitOverwriteError, QueryConceptNotFoundError, QuerySelectionError, QueryUnknownVocabularyError, SyncStagedLogError, VerifyConceptNotFoundError, VerifySelectionError, VerifyUnsupportedFrontmatterError } from "./errors.js";
 import { buildConfigLayer, provideConfig } from "./config/layer.js";
 import { DEFAULT_PROFILE_NAME, resolveProjectConfig } from "./config/resolve.js";
 import { runContext } from "./context/run.js";
@@ -10,6 +10,7 @@ import { CONFIG_RELATIVE_PATH, configValue, files, targetPaths } from "./init/sc
 import { OverlayDocuments, layerOverlayFileSystem, makeOverlayFileSystem } from "./overlay/layer.js";
 import { provideDocuments, resolveDocumentPath } from "./overlay/documents.js";
 import { OkfitPlatform } from "./platform.js";
+import { ConceptQuery } from "./query/ConceptQuery.js";
 import { ContextEnvelope, ContextField, ContextFieldValue, ContextTag, ContextType, contextEnvelope } from "./render/context.js";
 import { DistributionField } from "./render/distribution.js";
 import { forDiagnostics, tally } from "./render/exit.js";
@@ -17,6 +18,7 @@ import { ENGINE_VERSION } from "./version.js";
 import { GraphEdgeEnvelope, GraphEnvelope, GraphNodeEnvelope, GraphSummary, graphEnvelope } from "./render/graph.js";
 import { collect, sort } from "./render/sort.js";
 import { JsonDiagnostic, JsonEnvelope, JsonErrorEnvelope, JsonSummary, json, jsonError } from "./render/json.js";
+import { ConceptSummary, QueryGetEnvelope, QueryLink, QueryListEnvelope, QueryNeighbor, QueryNeighborsEnvelope, queryGetEnvelope, queryListEnvelope, queryNeighborsEnvelope, toConceptSummary } from "./render/query.js";
 import { StaleEnvelope, StaleItem, StaleSummary, staleEnvelope } from "./render/stale.js";
 import { SkipReason, runSync } from "./sync/run.js";
 import { SyncEnvelope, SyncModeEnvelope, syncEnvelope } from "./render/sync.js";
@@ -26,6 +28,7 @@ import { conceptFor } from "./session/concept.js";
 import { withFallbackRange } from "./session/range.js";
 import { BundleSession } from "./session/BundleSession.js";
 import { runStale } from "./stale/run.js";
+import { resolveBatchTypes, selectAttestable } from "./verify/select.js";
 import { runVerify, runVerifyBatch } from "./verify/run.js";
 
-export { BundleSession, CONFIG_RELATIVE_PATH, ConfigMalformedError, ConfigPathNotFoundError, ContextEnvelope, ContextField, ContextFieldValue, ContextTag, ContextType, DEFAULT_PROFILE_NAME, DistributionField, DocumentPathError, ENGINE_VERSION, ExternalReferences, FrontmatterEdits, GraphEdgeEnvelope, GraphEnvelope, GraphNodeEnvelope, GraphSummary, InitOverwriteError, JsonDiagnostic, JsonEnvelope, JsonErrorEnvelope, JsonSummary, Now, OkfitPlatform, OverlayDocuments, ReferenceCheck, ReferenceState, SkipReason, StaleEnvelope, StaleItem, StaleSummary, SyncEnvelope, SyncModeEnvelope, SyncStagedLogError, UnsupportedFrontmatterError, VerifyBatchEnvelope, VerifyConceptNotFoundError, VerifyEnvelope, VerifySelectionError, VerifyUnsupportedFrontmatterError, buildConfigLayer, collect, conceptFor, configValue, contextEnvelope, files, forDiagnostics, graphEnvelope, json, jsonError, layerOverlayFileSystem, makeOverlayFileSystem, provideConfig, provideDocuments, resolveBundleRoot, resolveDocumentPath, resolveProjectConfig, resolveProjectRoot, run, runContext, runGraph, runStale, runSync, runVerify, runVerifyBatch, sort, staleEnvelope, syncEnvelope, tally, targetPaths, verifyBatchEnvelope, verifyEnvelope, withFallbackRange };
+export { BundleSession, CONFIG_RELATIVE_PATH, ConceptQuery, ConceptSummary, ConfigMalformedError, ConfigPathNotFoundError, ContextEnvelope, ContextField, ContextFieldValue, ContextTag, ContextType, DEFAULT_PROFILE_NAME, DistributionField, DocumentPathError, ENGINE_VERSION, ExternalReferences, FrontmatterEdits, GraphEdgeEnvelope, GraphEnvelope, GraphNodeEnvelope, GraphSummary, InitOverwriteError, JsonDiagnostic, JsonEnvelope, JsonErrorEnvelope, JsonSummary, Now, OkfitPlatform, OverlayDocuments, QueryConceptNotFoundError, QueryGetEnvelope, QueryLink, QueryListEnvelope, QueryNeighbor, QueryNeighborsEnvelope, QuerySelectionError, QueryUnknownVocabularyError, ReferenceCheck, ReferenceState, SkipReason, StaleEnvelope, StaleItem, StaleSummary, SyncEnvelope, SyncModeEnvelope, SyncStagedLogError, UnsupportedFrontmatterError, VerifyBatchEnvelope, VerifyConceptNotFoundError, VerifyEnvelope, VerifySelectionError, VerifyUnsupportedFrontmatterError, buildConfigLayer, collect, conceptFor, configValue, contextEnvelope, files, forDiagnostics, graphEnvelope, json, jsonError, layerOverlayFileSystem, makeOverlayFileSystem, provideConfig, provideDocuments, queryGetEnvelope, queryListEnvelope, queryNeighborsEnvelope, resolveBatchTypes, resolveBundleRoot, resolveDocumentPath, resolveProjectConfig, resolveProjectRoot, run, runContext, runGraph, runStale, runSync, runVerify, runVerifyBatch, selectAttestable, sort, staleEnvelope, syncEnvelope, tally, targetPaths, toConceptSummary, verifyBatchEnvelope, verifyEnvelope, withFallbackRange };

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "@okfit/engine",
-	"version": "0.9.4",
+	"version": "0.10.0",
 	"private": false,
 	"description": "The okfit engine: platform layer, config discovery, and the validate, verify, sync, init and context programs shared by the okfit CLI and MCP server.",
 	"keywords": [
@@ -35,7 +35,7 @@
 	},
 	"dependencies": {
 		"@effect/platform-node": "4.0.0-rc.118",
-		"@effected/app": "^0.19.0",
+		"@effected/app": "^0.19.1",
 		"@effected/config-file": "^0.13.1",
 		"@effected/engine": "^0.2.0",
 		"@effected/git": "^0.19.0",
@@ -45,7 +45,7 @@
 		"@effected/schemastore": "^0.17.0",
 		"@effected/store": "^0.11.0",
 		"@effected/toml": "^0.10.0",
-		"@effected/walker": "^0.14.0",
+		"@effected/walker": "^0.14.1",
 		"@effected/xdg": "^0.8.2",
 		"@effected/yaml": "^0.18.0",
 		"@okfit/core": "0.8.3",

package/query/ConceptQuery.js

@@ -0,0 +1,102 @@
+import { QueryConceptNotFoundError, QueryUnknownVocabularyError } from "../errors.js";
+import { ConceptId, Derive, Graph } from "@okfit/core";
+import { Effect, Option } from "effect";
+
+//#region src/query/ConceptQuery.ts
+const byId = (a, b) => a.id < b.id ? -1 : a.id > b.id ? 1 : 0;
+const resolve = (bundle, rawId) => Effect.gen(function* () {
+	const normalized = ConceptId.normalize(rawId);
+	if (Option.isNone(normalized)) return yield* Effect.fail(new QueryConceptNotFoundError({
+		id: rawId,
+		reason: "empty-id"
+	}));
+	const id = normalized.value;
+	const concept = bundle.concepts.get(id);
+	if (concept === void 0) return yield* Effect.fail(new QueryConceptNotFoundError({
+		id: rawId,
+		reason: "not-a-concept"
+	}));
+	return {
+		id,
+		concept
+	};
+});
+/**
+* Read-only queries over a loaded bundle, shared by `okfit query` and the MCP
+* tools.
+*
+* @public
+*/
+const ConceptQuery = {
+	/** Validates types then tags against config (first unknown fails), then filters and sorts by id. */
+	list: (bundle, config, filter) => Effect.gen(function* () {
+		const declaredTypes = Object.keys(config.types ?? {}).toSorted();
+		const declaredTags = Object.keys(config.tags ?? {}).toSorted();
+		const types = filter.types ?? [];
+		for (const type of types) if (!declaredTypes.includes(type)) return yield* Effect.fail(new QueryUnknownVocabularyError({
+			kind: "type",
+			requested: type,
+			valid: declaredTypes
+		}));
+		const requestedTags = filter.tags ?? [];
+		for (const tag of requestedTags) if (!declaredTags.includes(tag)) return yield* Effect.fail(new QueryUnknownVocabularyError({
+			kind: "tag",
+			requested: tag,
+			valid: declaredTags
+		}));
+		const statuses = filter.statuses ?? [];
+		return [...bundle.concepts.values()].filter((concept) => {
+			if (types.length > 0 && !types.includes(concept.frontmatter.type)) return false;
+			const tags = concept.frontmatter.tags ?? [];
+			if (!requestedTags.every((tag) => tags.includes(tag))) return false;
+			if (statuses.length > 0 && !statuses.includes(Derive.status(concept.frontmatter))) return false;
+			if (filter.verified !== void 0) {
+				if ((concept.frontmatter.verified ?? []).length > 0 !== filter.verified) return false;
+			}
+			return true;
+		}).toSorted(byId);
+	}),
+	/** One concept by tolerant id, with its outgoing links. */
+	get: (bundle, id) => Effect.gen(function* () {
+		const resolved = yield* resolve(bundle, id);
+		const graph = Graph.fromBundle(bundle);
+		const links = graph.edges.filter((edge) => edge.from === resolved.id).map((edge) => ({
+			to: edge.to,
+			kind: Option.match(graph.node(edge.to), {
+				onNone: () => "missing",
+				onSome: (node) => node.kind
+			}),
+			source: edge.data.source,
+			...edge.data.field === void 0 ? {} : { field: edge.data.field }
+		}));
+		return {
+			concept: resolved.concept,
+			links
+		};
+	}),
+	/** Outgoing and incoming graph neighbours of one concept. */
+	neighbors: (bundle, id) => Effect.gen(function* () {
+		const resolved = yield* resolve(bundle, id);
+		const graph = Graph.fromBundle(bundle);
+		const project = (node) => {
+			if (node.kind !== "concept") return {
+				id: node.id,
+				kind: node.kind,
+				concept: null
+			};
+			return {
+				id: node.id,
+				kind: node.kind,
+				concept: bundle.concepts.get(node.id) ?? null
+			};
+		};
+		return {
+			id: resolved.id,
+			outgoing: graph.successors(resolved.id).map(project),
+			incoming: graph.predecessors(resolved.id).map(project)
+		};
+	})
+};
+
+//#endregion
+export { ConceptQuery };

package/render/query.js

@@ -0,0 +1,104 @@
+import { DistributionField } from "./distribution.js";
+import { ENGINE_VERSION } from "../version.js";
+import { Derive, GraphNodeKind, Status } from "@okfit/core";
+import { Schema } from "effect";
+
+//#region src/render/query.ts
+/** The seven-field shape every list-like query result carries (N-16). @public */
+const ConceptSummary = Schema.Struct({
+	id: Schema.String,
+	type: Schema.String,
+	title: Schema.String,
+	description: Schema.NullOr(Schema.String),
+	status: Status,
+	tags: Schema.Array(Schema.String),
+	path: Schema.String
+});
+/** Project one loaded concept into its summary. @public */
+const toConceptSummary = (concept) => ({
+	id: concept.id,
+	type: concept.frontmatter.type,
+	title: Derive.title(concept),
+	description: concept.frontmatter.description ?? null,
+	status: Derive.status(concept.frontmatter),
+	tags: [...concept.frontmatter.tags ?? []],
+	path: concept.path
+});
+/** `okfit query list --format json`'s envelope, schema 1, snake_case. @public */
+const QueryListEnvelope = Schema.Struct({
+	schema: Schema.Literal(1),
+	okfit_version: Schema.String,
+	engine_version: Schema.String,
+	distribution: DistributionField,
+	total: Schema.Int,
+	items: Schema.Array(ConceptSummary)
+});
+/** One outgoing link of a concept, as `okfit query get` reports it. @public */
+const QueryLink = Schema.Struct({
+	to: Schema.String,
+	kind: GraphNodeKind,
+	source: Schema.Literals(["body", "frontmatter"]),
+	field: Schema.optionalKey(Schema.String)
+});
+/** `okfit query get --format json`'s envelope, schema 1, snake_case. @public */
+const QueryGetEnvelope = Schema.Struct({
+	schema: Schema.Literal(1),
+	okfit_version: Schema.String,
+	engine_version: Schema.String,
+	distribution: DistributionField,
+	concept: Schema.Struct({
+		...ConceptSummary.fields,
+		frontmatter: Schema.Record(Schema.String, Schema.Unknown),
+		links: Schema.Array(QueryLink)
+	})
+});
+/** One neighbour of a concept; `summary` is `null` for a non-concept node. @public */
+const QueryNeighbor = Schema.Struct({
+	id: Schema.String,
+	kind: GraphNodeKind,
+	summary: Schema.NullOr(ConceptSummary)
+});
+/** `okfit query neighbors --format json`'s envelope, schema 1, snake_case. @public */
+const QueryNeighborsEnvelope = Schema.Struct({
+	schema: Schema.Literal(1),
+	okfit_version: Schema.String,
+	engine_version: Schema.String,
+	distribution: DistributionField,
+	id: Schema.String,
+	outgoing: Schema.Array(QueryNeighbor),
+	incoming: Schema.Array(QueryNeighbor)
+});
+/** Build the list envelope; `items` is the already-paged, already-sorted summaries. @public */
+const queryListEnvelope = (input) => ({
+	schema: 1,
+	okfit_version: input.okfitVersion,
+	engine_version: ENGINE_VERSION,
+	distribution: input.distribution ?? null,
+	total: input.total,
+	items: input.items
+});
+/** Build the get envelope from a summary, the raw frontmatter and the outgoing links. @public */
+const queryGetEnvelope = (input) => ({
+	schema: 1,
+	okfit_version: input.okfitVersion,
+	engine_version: ENGINE_VERSION,
+	distribution: input.distribution ?? null,
+	concept: {
+		...input.concept,
+		frontmatter: input.frontmatter,
+		links: input.links
+	}
+});
+/** Build the neighbors envelope. @public */
+const queryNeighborsEnvelope = (input) => ({
+	schema: 1,
+	okfit_version: input.okfitVersion,
+	engine_version: ENGINE_VERSION,
+	distribution: input.distribution ?? null,
+	id: input.id,
+	outgoing: input.outgoing,
+	incoming: input.incoming
+});
+
+//#endregion
+export { ConceptSummary, QueryGetEnvelope, QueryLink, QueryListEnvelope, QueryNeighbor, QueryNeighborsEnvelope, queryGetEnvelope, queryListEnvelope, queryNeighborsEnvelope, toConceptSummary };

package/render/verify.js

@@ -1,5 +1,6 @@
 import { DistributionField } from "./distribution.js";
 import { ENGINE_VERSION } from "../version.js";
+import { Status } from "@okfit/core";
 import { Schema } from "effect";
 
 //#region src/render/verify.ts
@@ -23,6 +24,11 @@ const VerifyEnvelope = Schema.Struct({
 		by: Schema.String,
 		at: Schema.String
 	}),
+	/** Issue #185: the status change `--stable`/`--draft` made; `null` when neither flag was given. */
+	status: Schema.NullOr(Schema.Struct({
+		from: Schema.NullOr(Status),
+		to: Schema.Literals(["stable", "draft"])
+	})),
 	dry_run: Schema.Boolean,
 	exit_code: Schema.Literal(0)
 });
@@ -45,6 +51,7 @@ const verifyEnvelope = (input) => ({
 		by: input.by,
 		at: input.at
 	},
+	status: input.status,
 	dry_run: input.dryRun,
 	exit_code: 0
 });
@@ -69,7 +76,11 @@ const VerifyBatchEnvelope = Schema.Struct({
 	})),
 	skipped: Schema.Array(Schema.Struct({
 		id: Schema.String,
-		reason: Schema.Literals(["draft", "already-verified"])
+		reason: Schema.Literals([
+			"draft",
+			"deprecated",
+			"already-verified"
+		])
 	})),
 	dry_run: Schema.Boolean,
 	exit_code: Schema.Literal(0)

package/verify/run.js

@@ -1,6 +1,7 @@
-import { VerifyConceptNotFoundError, VerifySelectionError, VerifyUnsupportedFrontmatterError } from "../errors.js";
-import { documentNewline, locate, stripBom } from "./locate.js";
-import { splice } from "./splice.js";
+import { VerifyConceptNotFoundError, VerifyUnsupportedFrontmatterError } from "../errors.js";
+import { documentNewline, locate, locateTopLevelScalar, stripBom } from "./locate.js";
+import { mergeSameOffset, splice, spliceTopLevelScalar } from "./splice.js";
+import { resolveBatchTypes, selectAttestable } from "./select.js";
 import { Bundle, ConceptId, Timestamp } from "@okfit/core";
 import { Effect, FileSystem, Option, Path, Schema } from "effect";
 import { Derivation } from "@okfit/profiles";
@@ -24,25 +25,39 @@ const UNDECODABLE_CODES = /* @__PURE__ */ new Set([
 	"type-missing"
 ]);
 /** Steps 9-14 of runVerify: read, locate (fail closed), splice; no write. */
-const prepareVerify = Effect.fn("okfit/verify/prepareVerify")(function* (bundle, concept, actor, at) {
+const prepareVerify = Effect.fn("okfit/verify/prepareVerify")(function* (bundle, concept, actor, at, status) {
 	const fs = yield* FileSystem.FileSystem;
 	const absolutePath = (yield* Path.Path).join(bundle.root, concept.path);
-	const source = yield* fs.readFileString(absolutePath);
+	const source = new TextDecoder("utf-8", { ignoreBOM: true }).decode(yield* fs.readFile(absolutePath));
 	const { text, bom } = stripBom(source);
 	const located = yield* locate(text);
 	if (located._tag === "unsupported") return yield* new VerifyUnsupportedFrontmatterError({
 		id: concept.id,
-		shape: located.shape
+		shape: located.shape,
+		key: "verified"
 	});
 	const priorAt = (concept.frontmatter.verified ?? []).filter((entry) => entry.by === actor).map((entry) => Schema.encodeSync(Timestamp)(entry.at));
-	const edit = splice(located, {
+	const newline = documentNewline(text);
+	const verifiedEdit = splice(located, {
 		by: actor,
 		at
-	}, documentNewline(text));
+	}, newline);
+	let statusEdit;
+	if (status !== void 0 && concept.frontmatter.status !== status) {
+		const target = yield* locateTopLevelScalar(text, "status");
+		if (target._tag === "unsupported") return yield* new VerifyUnsupportedFrontmatterError({
+			id: concept.id,
+			shape: target.shape,
+			key: "status"
+		});
+		statusEdit = spliceTopLevelScalar(target, "status", status, newline);
+	}
+	const edits = mergeSameOffset([verifiedEdit, ...statusEdit === void 0 ? [] : [statusEdit]].toSorted((a, b) => a.offset - b.offset || (a === statusEdit ? -1 : b === statusEdit ? 1 : 0)));
 	return {
 		absolutePath,
-		finalText: bom + MarkdownEdit.applyAll(text, [edit]),
-		fragment: edit.content,
+		finalText: bom + MarkdownEdit.applyAll(text, edits),
+		fragment: verifiedEdit.content,
+		statusFragment: statusEdit?.content ?? null,
 		priorAt
 	};
 });
@@ -61,8 +76,9 @@ const writeVerified = Effect.fn("okfit/verify/writeVerified")(function* (absolut
 * human actor from git, splices exactly one entry into the concept's
 * frontmatter and writes it back atomically.
 *
-* Nothing here reads `status`, `stale_after`, or a type's
-* `require_verified`: `verify` is mechanical, not config-aware (V-4, V-5).
+* Nothing here reads `stale_after` or a type's `require_verified`; `status`
+* is read only to skip a no-op edit under `options.status` (#185). `verify`
+* is mechanical, not config-aware (V-4, V-5).
 *
 * @internal
 */
@@ -99,7 +115,7 @@ const runVerify = Effect.fn("okfit/verify/runVerify")(function* (options) {
 		config: options.config
 	});
 	const at = Schema.encodeSync(Timestamp)(options.at);
-	const prepared = yield* prepareVerify(bundle, concept, actor, at);
+	const prepared = yield* prepareVerify(bundle, concept, actor, at, options.status);
 	if (!options.dryRun) yield* writeVerified(prepared.absolutePath, prepared.finalText);
 	return {
 		id,
@@ -109,13 +125,18 @@ const runVerify = Effect.fn("okfit/verify/runVerify")(function* (options) {
 		at,
 		priorAt: prepared.priorAt,
 		dryRun: options.dryRun,
-		fragment: prepared.fragment
+		fragment: prepared.fragment,
+		status: options.status === void 0 ? null : {
+			from: concept.frontmatter.status ?? null,
+			to: options.status
+		},
+		statusFragment: prepared.statusFragment
 	};
 });
 /**
 * Issue #138. Attests every concept selected by `options.types` (or, when
 * empty, every type whose declaration sets `require_verified = true`) that
-* is not a draft and does not already carry a `verified` entry by the
+* is not a draft, is not deprecated (#143) and does not already carry a `verified` entry by the
 * resolved actor. Every candidate is located FIRST -- an unsupported
 * `verified` shape on any one of them fails the whole batch with nothing
 * written, mirroring `runVerify`'s own fail-closed rule at batch scale.
@@ -124,45 +145,20 @@ const runVerify = Effect.fn("okfit/verify/runVerify")(function* (options) {
 */
 const runVerifyBatch = Effect.fn("okfit/verify/runVerifyBatch")(function* (options) {
 	const bundle = yield* Bundle.load({ root: options.bundleRoot });
-	const declared = options.config.types ?? {};
-	let types;
-	if (options.types.length > 0) {
-		for (const type of options.types) if (!Object.hasOwn(declared, type)) return yield* new VerifySelectionError({
-			reason: "unknown-type",
-			detail: type
-		});
-		types = new Set(options.types);
-	} else types = new Set(Object.entries(declared).flatMap(([name, spec]) => spec.require_verified === true ? [name] : []));
+	const types = yield* resolveBatchTypes(options.config, options.types);
 	const actor = yield* Derivation.generatedBy({
 		writer: "human",
 		cwd: options.projectRoot,
 		config: options.config
 	});
 	const at = Schema.encodeSync(Timestamp)(options.at);
-	const skipped = [];
+	const selection = selectAttestable(bundle, types, actor);
 	const prepared = [];
-	for (const [id, concept] of bundle.concepts) {
-		if (!types.has(concept.frontmatter.type)) continue;
-		if (concept.frontmatter.status === "draft") {
-			skipped.push({
-				id,
-				reason: "draft"
-			});
-			continue;
-		}
-		if ((concept.frontmatter.verified ?? []).some((entry) => entry.by === actor)) {
-			skipped.push({
-				id,
-				reason: "already-verified"
-			});
-			continue;
-		}
-		prepared.push({
-			id,
-			conceptPath: concept.path,
-			...yield* prepareVerify(bundle, concept, actor, at)
-		});
-	}
+	for (const concept of selection.candidates) prepared.push({
+		id: concept.id,
+		conceptPath: concept.path,
+		...yield* prepareVerify(bundle, concept, actor, at, void 0)
+	});
 	if (!options.dryRun) for (const entry of prepared) yield* writeVerified(entry.absolutePath, entry.finalText);
 	return {
 		bundleRoot: bundle.root,
@@ -174,7 +170,7 @@ const runVerifyBatch = Effect.fn("okfit/verify/runVerifyBatch")(function* (optio
 			conceptPath,
 			fragment
 		})),
-		skipped
+		skipped: selection.skipped
 	};
 });
 

package/verify/select.js

@@ -0,0 +1,59 @@
+import { VerifySelectionError } from "../errors.js";
+import { Effect } from "effect";
+
+//#region src/verify/select.ts
+/**
+* Issue #138/#143: which concepts of `types` the actor may attest in one
+* batch. A draft is unsettled and a deprecated concept is retired (#143), so
+* both are skipped before the already-verified check.
+*
+* @public
+*/
+const selectAttestable = (bundle, types, actor) => {
+	const candidates = [];
+	const skipped = [];
+	for (const [id, concept] of bundle.concepts) {
+		if (!types.has(concept.frontmatter.type)) continue;
+		const status = concept.frontmatter.status;
+		if (status === "draft" || status === "deprecated") {
+			skipped.push({
+				id,
+				reason: status
+			});
+			continue;
+		}
+		if ((concept.frontmatter.verified ?? []).some((entry) => entry.by === actor)) {
+			skipped.push({
+				id,
+				reason: "already-verified"
+			});
+			continue;
+		}
+		candidates.push(concept);
+	}
+	return {
+		candidates,
+		skipped
+	};
+};
+/**
+* The batch type-resolution rule shared by `runVerifyBatch` and any future
+* interactive picker: explicit `types` must each be declared in
+* `config.types` (else `VerifySelectionError` with reason `unknown-type`);
+* an empty `types` selects every declared type whose `require_verified` is
+* `true`.
+*
+* @public
+*/
+const resolveBatchTypes = (config, types) => {
+	const declared = config.types ?? {};
+	if (types.length === 0) return Effect.succeed(new Set(Object.entries(declared).flatMap(([name, spec]) => spec.require_verified === true ? [name] : [])));
+	for (const type of types) if (!Object.hasOwn(declared, type)) return Effect.fail(new VerifySelectionError({
+		reason: "unknown-type",
+		detail: type
+	}));
+	return Effect.succeed(new Set(types));
+};
+
+//#endregion
+export { resolveBatchTypes, selectAttestable };

package/verify/splice.js

@@ -128,6 +128,30 @@ const spliceGeneratedBlock = (target, fields, newline) => MarkdownEdit.make({
 	length: 0,
 	content: `generated:${newline}  by: ${fields.by}${newline}  at: ${fields.at}${newline}  body_sha256: ${fields.bodySha256}${newline}`
 });
+/**
+* Issue #185: `okfit verify --stable` splices `status` and `verified` in one
+* write. When `status` is absent it is inserted after `title:` (else `type:`),
+* and when `verified` is absent it is appended as the last key, so both land
+* on the same offset when that anchor is the last key. `MarkdownEdit.applyAll`
+* rejects two zero-length inserts at one offset, the same case
+* `spliceGeneratedFields` merges, so this folds them into one edit, input
+* order preserved.
+*
+* @internal
+*/
+const mergeSameOffset = (edits) => {
+	const out = [];
+	for (const edit of edits) {
+		const previous = out.at(-1);
+		if (previous !== void 0 && previous.length === 0 && edit.length === 0 && previous.offset === edit.offset) out[out.length - 1] = MarkdownEdit.make({
+			offset: edit.offset,
+			length: 0,
+			content: previous.content + edit.content
+		});
+		else out.push(edit);
+	}
+	return out;
+};
 
 //#endregion
-export { splice, spliceGenerated, spliceGeneratedBlock, spliceGeneratedFields, spliceTopLevelScalar };
+export { mergeSameOffset, splice, spliceGenerated, spliceGeneratedBlock, spliceGeneratedFields, spliceTopLevelScalar };

package/version.js

@@ -11,7 +11,7 @@
 *
 * @public
 */
-const ENGINE_VERSION = "0.9.4";
+const ENGINE_VERSION = "0.10.0";
 
 //#endregion
 export { ENGINE_VERSION };