@okfit/engine 0.12.0 → 0.13.0

package/edits/FrontmatterEdits.js

@@ -1,5 +1,5 @@
 import { documentNewline, locate, locateTopLevelScalar, stripBom } from "../verify/locate.js";
-import { splice, spliceTopLevelScalar } from "../verify/splice.js";
+import { orderVerifyEdits, splice, spliceTopLevelScalar } from "../verify/splice.js";
 import { DiagnosticRange } from "@okfit/core";
 import { Effect, Result, Runtime, Schema } from "effect";
 import { MarkdownDocument, MarkdownEdit } from "@effected/markdown";
@@ -29,6 +29,8 @@ const shift = (edit, by) => by === 0 ? edit : MarkdownEdit.make({
 	length: edit.length,
 	content: edit.content
 });
+/** The value of a located scalar's raw source text, quotes removed. */
+const unquote = (raw, quote) => quote === "plain" ? raw.trim() : raw.slice(1, -1);
 /**
 * A public facade over the `verify/locate.ts` and `verify/splice.ts`
 * machinery: byte-range `MarkdownEdit`s for a concept's top-level `status`
@@ -72,6 +74,31 @@ var FrontmatterEdits = class {
 		return [shift(edit, bom.length)];
 	});
 	/**
+	* Edits that append one verified entry AND set top-level `status`, the combined write
+	* `okfit verify --stable` performs. A `status` scalar already equal to `status` makes no
+	* status edit, and equal-offset inserts are merged with `status:` first. Unlike the CLI,
+	* which reads the parsed status, this always locates `status`, so an unsupported shape
+	* on it fails even when its value already matches.
+	*/
+	static verifiedWithStatus = (source, entry, status) => Effect.gen(function* () {
+		const { text, bom } = stripBom(source);
+		const located = yield* locate(text);
+		if (located._tag === "unsupported") return yield* new UnsupportedFrontmatterError({
+			key: "verified",
+			shape: located.shape
+		});
+		const newline = documentNewline(text);
+		const verifiedEdit = splice(located, entry, newline);
+		let statusEdit;
+		const target = yield* locateTopLevelScalar(text, "status");
+		if (target._tag === "unsupported") return yield* new UnsupportedFrontmatterError({
+			key: "status",
+			shape: target.shape
+		});
+		if (target._tag !== "replaceScalar" || unquote(text.slice(target.start, target.end), target.quote) !== status) statusEdit = spliceTopLevelScalar(target, "status", status, newline);
+		return orderVerifyEdits(verifiedEdit, statusEdit).map((edit) => shift(edit, bom.length));
+	});
+	/**
 	* Edits that stamp `renders[i].body_sha256` with `digests[i]`: an existing value is replaced in
 	* place, a missing key is inserted on the line after `renders[i].path` at that key's column.
 	* Block-style `renders` only; flow style fails with `UnsupportedFrontmatterError`.

package/index.d.ts

@@ -479,6 +479,17 @@ export declare class FrontmatterEdits {
     readonly by: string;
     readonly at: string;
   }) => Effect.Effect<ReadonlyArray<MarkdownEdit>, YamlParseError | UnsupportedFrontmatterError>;
+  /**
+   * Edits that append one verified entry AND set top-level `status`, the combined write
+   * `okfit verify --stable` performs. A `status` scalar already equal to `status` makes no
+   * status edit, and equal-offset inserts are merged with `status:` first. Unlike the CLI,
+   * which reads the parsed status, this always locates `status`, so an unsupported shape
+   * on it fails even when its value already matches.
+   */
+  static readonly verifiedWithStatus: (source: string, entry: {
+    readonly by: string;
+    readonly at: string;
+  }, status: Status) => Effect.Effect<ReadonlyArray<MarkdownEdit>, YamlParseError | UnsupportedFrontmatterError>;
   /**
    * Edits that stamp `renders[i].body_sha256` with `digests[i]`: an existing value is replaced in
    * place, a missing key is inserted on the line after `renders[i].path` at that key's column.

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "@okfit/engine",
-	"version": "0.12.0",
+	"version": "0.13.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": [
@@ -34,23 +34,23 @@
 		"./package.json": "./package.json"
 	},
 	"dependencies": {
-		"@effect/platform-node": "^4.0.0",
-		"@effected/app": "^0.20.0",
-		"@effected/config-file": "^0.14.0",
-		"@effected/engine": "^0.3.0",
+		"@effect/platform-node": "^4.0.1",
+		"@effected/app": "^0.21.2",
+		"@effected/config-file": "^0.14.2",
+		"@effected/engine": "^0.4.0",
 		"@effected/git": "^0.20.0",
 		"@effected/glob": "^0.10.0",
-		"@effected/jsonc": "^0.15.0",
-		"@effected/markdown": "^0.15.0",
-		"@effected/schemastore": "^0.20.0",
-		"@effected/store": "^0.12.0",
-		"@effected/toml": "^0.11.0",
+		"@effected/jsonc": "^0.15.1",
+		"@effected/markdown": "^0.15.1",
+		"@effected/schemastore": "^0.21.1",
+		"@effected/store": "^0.13.1",
+		"@effected/toml": "^0.11.1",
 		"@effected/walker": "^0.15.0",
 		"@effected/xdg": "^0.9.0",
-		"@effected/yaml": "^0.19.0",
-		"@okfit/core": "0.9.0",
+		"@effected/yaml": "^0.19.1",
+		"@okfit/core": "0.9.1",
 		"@okfit/profiles": "0.9.0",
-		"effect": "^4.0.0"
+		"effect": "^4.0.1"
 	},
 	"engines": {
 		"node": ">=24.11.0"

package/verify/run.js

@@ -1,6 +1,6 @@
 import { VerifyConceptNotFoundError, VerifyUnsupportedFrontmatterError } from "../errors.js";
 import { documentNewline, locate, locateTopLevelScalar, stripBom } from "./locate.js";
-import { mergeSameOffset, splice, spliceTopLevelScalar } from "./splice.js";
+import { orderVerifyEdits, splice, spliceTopLevelScalar } from "./splice.js";
 import { resolveBatchTypes, selectAttestable, selectPickerCandidates } from "./select.js";
 import { Bundle, ConceptId, Timestamp } from "@okfit/core";
 import { Effect, FileSystem, Option, Path, Schema } from "effect";
@@ -52,7 +52,7 @@ const prepareVerify = Effect.fn("okfit/verify/prepareVerify")(function* (bundle,
 		});
 		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)));
+	const edits = orderVerifyEdits(verifiedEdit, statusEdit);
 	return {
 		absolutePath,
 		finalText: bom + MarkdownEdit.applyAll(text, edits),

package/verify/splice.js

@@ -153,6 +153,16 @@ const mergeSameOffset = (edits) => {
 	}
 	return out;
 };
+/**
+* Fold a concept's `verified` edit and optional `status` edit into the ordered,
+* merged edit list both `okfit verify --stable` and `FrontmatterEdits` apply:
+* status first on equal offsets, so the merged insert emits `status:` before
+* `verified:`. The tie-break is by object identity -- the two edits are
+* otherwise indistinguishable.
+*
+* @internal
+*/
+const orderVerifyEdits = (verifiedEdit, statusEdit) => mergeSameOffset([verifiedEdit, ...statusEdit === void 0 ? [] : [statusEdit]].toSorted((a, b) => a.offset - b.offset || (a === statusEdit ? -1 : b === statusEdit ? 1 : 0)));
 
 //#endregion
-export { mergeSameOffset, splice, spliceGenerated, spliceGeneratedBlock, spliceGeneratedFields, spliceTopLevelScalar };
+export { mergeSameOffset, orderVerifyEdits, splice, spliceGenerated, spliceGeneratedBlock, spliceGeneratedFields, spliceTopLevelScalar };

package/version.js

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