@okfit/engine 0.9.4 → 0.11.0

package/verify/select.js

@@ -0,0 +1,86 @@
+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
+	};
+};
+const requireVerifiedTypes = (config) => new Set(Object.entries(config.types ?? {}).flatMap(([name, spec]) => spec.require_verified === true ? [name] : []));
+/**
+* Every concept whose type sets `require_verified` that `actor` has not
+* attested: drafts included, deprecated concepts and the actor's own
+* attestations excluded. Sorted by type, then id; grouping is the caller's.
+*
+* @public
+*/
+const selectPickerCandidates = (bundle, config, actor) => {
+	const types = requireVerifiedTypes(config);
+	const rows = [];
+	for (const [id, concept] of bundle.concepts) {
+		const { type, status, title, description } = concept.frontmatter;
+		if (!types.has(type) || status === "deprecated") continue;
+		const verified = concept.frontmatter.verified ?? [];
+		if (verified.some((entry) => entry.by === actor)) continue;
+		rows.push({
+			id,
+			type,
+			status: status === "draft" ? "draft" : "stable",
+			title: title ?? null,
+			description: description ?? null,
+			otherAttestations: verified.length
+		});
+	}
+	return rows.toSorted((a, b) => a.type < b.type ? -1 : a.type > b.type ? 1 : a.id < b.id ? -1 : a.id > b.id ? 1 : 0);
+};
+/**
+* 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(requireVerifiedTypes(config));
+	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, selectPickerCandidates };

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.11.0";
 
 //#endregion
 export { ENGINE_VERSION };