@milehimikey/em 1.12.0 → 1.13.1

package/dist/cli/modelVersion.js

@@ -0,0 +1,256 @@
+// SPDX-License-Identifier: MIT
+// `em model version` (MIL-218, from the MIL-214 discussion): the model-level counterpart to
+// `em slice conform`'s per-slice certification. Slices carry their own `version:` and drift
+// apart over time; nothing before this named "the model" as a whole. Two facts, kept separate:
+//
+//  - **Design version** — an explicit, human-bumped integer (`em model version bump --by <name>
+//    [--on <date>]`), same identity discipline as `em slice ratify`. Bumps when structure
+//    changes (slice added/removed, seam change) or a batch of slice deltas is ratified
+//    together.
+//  - **Certified version** — "design version N was certified at revision R on date D", written
+//    by a full (non-`--partial`) `em state set-conformance` (MIL-214) into the CURRENT design
+//    version's manifest. A partial marker never certifies.
+//
+// Sidecar manifest, not the state file: `model-versions/v<N>.json`, sibling of `slices/` and
+// `conformance/` — history, not progress, which is why it's not in `.event-modeling.md` (that
+// file only ever carries a POINTER: the `Model version:`/`Certified:` bullets, stateFile.ts).
+// Deterministic serialization through ONE writer (`serializeModelVersionDoc`), same discipline
+// `serializeFindingsDoc` (findings.ts) holds — keys in a fixed order, 2-space, trailing newline,
+// never a bare `JSON.stringify`.
+//
+// `modelHash` is the sha256 of the `.em` file's own bytes, after normalizing line endings to
+// `\n` first — so a checkout with different line-ending settings (CRLF vs LF) never reads as a
+// content change on its own; only real edits move the hash.
+//
+// `slices` covers every non-continuation slice (MIL-208's "an `again` view instance is a
+// continuation of its originating slice, never a slice with its own doc/version to vector") —
+// export key -> that slice's doc `version:` (or `null` when the slice has no usable doc yet).
+//
+// `modelVersionDrift` is the one shared predicate every warn-only surface (`em status`, `em
+// validate`'s `model-version-stale`, `em slice ratify`/`reratify`'s advisory) reads — never
+// re-derived three different ways. It never refuses anything itself; every caller decides how
+// (or whether) to surface what it found.
+import { createHash } from "node:crypto";
+import { existsSync, mkdirSync, readdirSync, readFileSync, writeFileSync } from "node:fs";
+import { join } from "node:path";
+import { resolveSliceDocJoin } from "../catalog/docJoin.js";
+export const MODEL_VERSION_SCHEMA_VERSION = "1.0";
+/** sha256 of `source`'s bytes, after normalizing every line ending to `\n` first — so a
+ *  CRLF-vs-LF checkout difference never reads as a content change on its own. */
+export function computeModelHash(source) {
+    const normalized = source.replace(/\r\n/g, "\n").replace(/\r/g, "\n");
+    return createHash("sha256").update(normalized, "utf8").digest("hex");
+}
+/** Serialize a `ModelVersionManifest` deterministically — see module header. The ONE write path
+ *  every producer of this file's bytes must go through, same discipline
+ *  `findings.ts`'s `serializeFindingsDoc` holds. */
+export function serializeModelVersionDoc(doc) {
+    const sortedSlices = {};
+    for (const key of Object.keys(doc.slices).sort())
+        sortedSlices[key] = doc.slices[key];
+    const canonical = {
+        bumpedBy: doc.bumpedBy,
+        bumpedOn: doc.bumpedOn,
+        certified: doc.certified
+            ? { at: doc.certified.at, findings: doc.certified.findings, on: doc.certified.on, report: doc.certified.report }
+            : null,
+        emVersion: doc.emVersion,
+        model: doc.model,
+        modelHash: doc.modelHash,
+        modelVersionSchemaVersion: doc.modelVersionSchemaVersion,
+        slices: sortedSlices,
+        version: doc.version,
+    };
+    return `${JSON.stringify(canonical, null, 2)}\n`;
+}
+/** `<baseDir>/model-versions` — sibling of `slices/`/`conformance/`. `baseDir` is the `.em`
+ *  file's directory, same convention every doc/note/manifest path in `em` uses. */
+export function modelVersionsDir(baseDir) {
+    return join(baseDir, "model-versions");
+}
+export function modelVersionManifestPath(baseDir, version) {
+    return join(modelVersionsDir(baseDir), `v${version}.json`);
+}
+const MANIFEST_NAME_RE = /^v(\d+)\.json$/;
+/** Every design version this model directory has ever bumped to, ascending. `[]` when
+ *  `model-versions/` doesn't exist at all — the routine state for a model that has never
+ *  bumped. Malformed/non-matching filenames in the directory are silently ignored (this is a
+ *  discovery scan, not a validator). */
+export function listModelVersionNumbers(baseDir) {
+    let entries;
+    try {
+        entries = readdirSync(modelVersionsDir(baseDir));
+    }
+    catch {
+        return [];
+    }
+    const nums = new Set();
+    for (const name of entries) {
+        const m = MANIFEST_NAME_RE.exec(name);
+        if (m)
+            nums.add(Number(m[1]));
+    }
+    return [...nums].sort((a, b) => a - b);
+}
+/** The highest bumped design version, or `null` when this model directory has never bumped. */
+export function latestModelVersionNumber(baseDir) {
+    const nums = listModelVersionNumbers(baseDir);
+    return nums.length > 0 ? nums[nums.length - 1] : null;
+}
+/** Read+parse one design version's manifest. `null` when it doesn't exist at all (not an
+ *  error — the routine "never bumped to this version" state); `{ ok: false }` when the file
+ *  exists but isn't readable/valid JSON (a genuine problem, reported rather than silently
+ *  swallowed). No shape validation beyond "is it JSON" — this file is written by exactly one
+ *  writer (`serializeModelVersionDoc`) in this codebase. */
+export function readModelVersionManifest(baseDir, version) {
+    const path = modelVersionManifestPath(baseDir, version);
+    if (!existsSync(path))
+        return null;
+    let raw;
+    try {
+        raw = readFileSync(path, "utf8");
+    }
+    catch (e) {
+        return { ok: false, message: `could not read ${path}: ${e.message}` };
+    }
+    try {
+        return { ok: true, manifest: JSON.parse(raw) };
+    }
+    catch {
+        return { ok: false, message: `${path} is not valid JSON` };
+    }
+}
+/** The current slices vector: every non-continuation slice's export key -> its doc's `version:`
+ *  (or `null` when the slice has no usable doc yet). MIL-208: a continuation slice (an
+ *  `again`-view-only slice with no legacy doc of its own) is excluded — its originating slice's
+ *  own entry already covers it, same exclusion `conformScope.ts`'s `resolveSliceDocFacts` makes.
+ *  `baseDir` is the `.em` file's directory, same doc-resolution convention every other doc-aware
+ *  command uses. */
+export function computeSlicesVector(model, refs, baseDir) {
+    const vector = {};
+    model.slices.forEach((slice, i) => {
+        const key = refs.sliceKeys[i];
+        const { doc, continuationOf: continuationOfKey } = resolveSliceDocJoin(model, refs, slice, key, baseDir, (id) => refs.refById.get(id));
+        if (continuationOfKey !== null)
+            return;
+        vector[key] = doc.version;
+    });
+    return vector;
+}
+/**
+ * `em model version bump`: write `model-versions/v<N+1>.json` (N+1 = highest existing + 1, or
+ * 1 for the first-ever bump). Refuses when `by` is empty, and when nothing has changed since
+ * the latest existing manifest (same `modelHash` AND same slices vector) unless `force` — a
+ * no-op bump is the one case `--force` is right for (the caller wants a new version stamped
+ * even though nothing moved). Pure computation + one fs write; the caller is responsible for
+ * the state-file-missing precondition (a model-version bump without a resumable state file to
+ * point the `Model version:` bullet at makes no sense — `em model version bump`'s CLI action
+ * checks that first, before this function is ever called) and for rewriting the state file's
+ * own `Model version:` bullet afterward (`stateFile.ts`'s `setModelVersion`).
+ */
+export function runModelVersionBump(baseDir, modelFileName, model, refs, source, by, on, emVersion, force) {
+    const trimmedBy = by.trim();
+    if (!trimmedBy)
+        return { ok: false, message: "a bumper name is required (--by)" };
+    const modelHash = computeModelHash(source);
+    const slices = computeSlicesVector(model, refs, baseDir);
+    const current = latestModelVersionNumber(baseDir);
+    if (current !== null && !force) {
+        const read = readModelVersionManifest(baseDir, current);
+        if (read && read.ok) {
+            const sameHash = read.manifest.modelHash === modelHash;
+            const sameSlices = JSON.stringify(Object.keys(read.manifest.slices).sort()) === JSON.stringify(Object.keys(slices).sort()) &&
+                Object.keys(slices).every((k) => (read.manifest.slices[k] ?? null) === (slices[k] ?? null));
+            if (sameHash && sameSlices) {
+                return {
+                    ok: false,
+                    message: `nothing has changed since v${current} (same model content and slice versions) — pass --force to bump anyway`,
+                };
+            }
+        }
+    }
+    const newVersion = (current ?? 0) + 1;
+    const manifest = {
+        modelVersionSchemaVersion: MODEL_VERSION_SCHEMA_VERSION,
+        model: modelFileName,
+        version: newVersion,
+        bumpedBy: trimmedBy,
+        bumpedOn: on,
+        emVersion,
+        modelHash,
+        slices,
+        certified: null,
+    };
+    mkdirSync(modelVersionsDir(baseDir), { recursive: true });
+    const path = modelVersionManifestPath(baseDir, newVersion);
+    writeFileSync(path, serializeModelVersionDoc(manifest), "utf8");
+    return { ok: true, version: newVersion, path };
+}
+export function modelVersionDrift(baseDir, model, refs, source) {
+    const current = latestModelVersionNumber(baseDir);
+    if (current === null)
+        return { current: null, hashChanged: false, slicesChanged: [] };
+    const read = readModelVersionManifest(baseDir, current);
+    if (!read || !read.ok)
+        return { current, hashChanged: false, slicesChanged: [] };
+    const hashChanged = read.manifest.modelHash !== computeModelHash(source);
+    const currentVector = computeSlicesVector(model, refs, baseDir);
+    const keys = new Set([...Object.keys(read.manifest.slices), ...Object.keys(currentVector)]);
+    const slicesChanged = [];
+    for (const key of [...keys].sort()) {
+        const from = read.manifest.slices[key] ?? null;
+        const to = currentVector[key] ?? null;
+        if (from !== to)
+            slicesChanged.push({ key, from, to });
+    }
+    return { current, hashChanged, slicesChanged };
+}
+/** The most recently bumped design version that has ever been certified — walking every
+ *  manifest newest-first, since a later bump doesn't clear an earlier version's own
+ *  `certified` stamp (only the CURRENT design version's manifest is ever written to by `em
+ *  state set-conformance`; older manifests keep whatever certification they already carried).
+ *  `null` when no manifest has ever been certified. Malformed manifests are skipped (best
+ *  effort, same posture `findings.ts`'s `listAllFindingsFiles` takes toward a broken file it
+ *  isn't itself the loud diagnostic for). */
+export function findCertifiedVersion(baseDir) {
+    const nums = listModelVersionNumbers(baseDir).sort((a, b) => b - a);
+    for (const v of nums) {
+        const read = readModelVersionManifest(baseDir, v);
+        if (read && read.ok && read.manifest.certified)
+            return { version: v, certified: read.manifest.certified };
+    }
+    return null;
+}
+/**
+ * `em state set-conformance` (non-`--partial`, MIL-218 ruling D): write `certified: { at, on,
+ * report, findings }` into the CURRENT design version's manifest. Refuses when no manifest
+ * exists yet ("bump a model version first") and when the vector has drifted since that
+ * manifest was bumped (`modelVersionDrift`, computed here — the question is exactly "has THIS
+ * model changed since v<N> was bumped", the same predicate every other warn-only surface
+ * reads): the certification would otherwise name a version that isn't what was actually
+ * checked. Idempotent on an identical `certified` value; a DIFFERENT one simply overwrites —
+ * re-certifying at a later revision is legal and common (MIL-214's own `em slice conform` holds
+ * the same "overwrite, no --force" posture for exactly this reason).
+ */
+export function runCertifyModelVersion(baseDir, model, refs, source, at, on, report, findings) {
+    const current = latestModelVersionNumber(baseDir);
+    if (current === null) {
+        return { ok: false, message: "no model-versions/ manifest exists yet — bump a model version first (`em model version bump`)" };
+    }
+    const drift = modelVersionDrift(baseDir, model, refs, source);
+    if (drift.hashChanged || drift.slicesChanged.length > 0) {
+        return {
+            ok: false,
+            message: `the model has drifted since v${current} was bumped — bump a new model version first (\`em model version bump\`) before certifying`,
+        };
+    }
+    const read = readModelVersionManifest(baseDir, current);
+    if (!read || !read.ok) {
+        return { ok: false, message: (read && "message" in read && read.message) || `model-versions/v${current}.json is missing or unreadable` };
+    }
+    const manifest = { ...read.manifest, certified: { at, on, report, findings } };
+    const path = modelVersionManifestPath(baseDir, current);
+    writeFileSync(path, serializeModelVersionDoc(manifest), "utf8");
+    return { ok: true, version: current, path };
+}
+//# sourceMappingURL=modelVersion.js.map

package/dist/cli/modelVersion.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"modelVersion.js","sourceRoot":"","sources":["../../src/cli/modelVersion.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,4FAA4F;AAC5F,4FAA4F;AAC5F,+FAA+F;AAC/F,EAAE;AACF,gGAAgG;AAChG,0FAA0F;AAC1F,uFAAuF;AACvF,eAAe;AACf,+FAA+F;AAC/F,8FAA8F;AAC9F,2DAA2D;AAC3D,EAAE;AACF,6FAA6F;AAC7F,8FAA8F;AAC9F,8FAA8F;AAC9F,+FAA+F;AAC/F,iGAAiG;AACjG,iCAAiC;AACjC,EAAE;AACF,6FAA6F;AAC7F,+FAA+F;AAC/F,4DAA4D;AAC5D,EAAE;AACF,yFAAyF;AACzF,8FAA8F;AAC9F,8FAA8F;AAC9F,EAAE;AACF,4FAA4F;AAC5F,4FAA4F;AAC5F,8FAA8F;AAC9F,yCAAyC;AAEzC,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC1F,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAGjC,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAE5D,MAAM,CAAC,MAAM,4BAA4B,GAAG,KAAK,CAAC;AAgClD;iFACiF;AACjF,MAAM,UAAU,gBAAgB,CAAC,MAAc;IAC7C,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACtE,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACvE,CAAC;AAED;;oDAEoD;AACpD,MAAM,UAAU,wBAAwB,CAAC,GAAyB;IAChE,MAAM,YAAY,GAAkC,EAAE,CAAC;IACvD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE;QAAE,YAAY,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACtF,MAAM,SAAS,GAAG;QAChB,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,QAAQ,EAAE,GAAG,CAAC,QAAQ;QACtB,SAAS,EAAE,GAAG,CAAC,SAAS;YACtB,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,SAAS,CAAC,EAAE,EAAE,QAAQ,EAAE,GAAG,CAAC,SAAS,CAAC,QAAQ,EAAE,EAAE,EAAE,GAAG,CAAC,SAAS,CAAC,EAAE,EAAE,MAAM,EAAE,GAAG,CAAC,SAAS,CAAC,MAAM,EAAE;YAChH,CAAC,CAAC,IAAI;QACR,SAAS,EAAE,GAAG,CAAC,SAAS;QACxB,KAAK,EAAE,GAAG,CAAC,KAAK;QAChB,SAAS,EAAE,GAAG,CAAC,SAAS;QACxB,yBAAyB,EAAE,GAAG,CAAC,yBAAyB;QACxD,MAAM,EAAE,YAAY;QACpB,OAAO,EAAE,GAAG,CAAC,OAAO;KACrB,CAAC;IACF,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;AACnD,CAAC;AAED;mFACmF;AACnF,MAAM,UAAU,gBAAgB,CAAC,OAAe;IAC9C,OAAO,IAAI,CAAC,OAAO,EAAE,gBAAgB,CAAC,CAAC;AACzC,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,OAAe,EAAE,OAAe;IACvE,OAAO,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,IAAI,OAAO,OAAO,CAAC,CAAC;AAC7D,CAAC;AAED,MAAM,gBAAgB,GAAG,gBAAgB,CAAC;AAE1C;;;wCAGwC;AACxC,MAAM,UAAU,uBAAuB,CAAC,OAAe;IACrD,IAAI,OAAiB,CAAC;IACtB,IAAI,CAAC;QACH,OAAO,GAAG,WAAW,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAC;IACnD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,IAAI,CAAC;YAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AACzC,CAAC;AAED,+FAA+F;AAC/F,MAAM,UAAU,wBAAwB,CAAC,OAAe;IACtD,MAAM,IAAI,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC;IAC9C,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACxD,CAAC;AAID;;;;4DAI4D;AAC5D,MAAM,UAAU,wBAAwB,CAAC,OAAe,EAAE,OAAe;IACvE,MAAM,IAAI,GAAG,wBAAwB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACxD,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,IAAI,GAAW,CAAC;IAChB,IAAI,CAAC;QACH,GAAG,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACnC,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,kBAAkB,IAAI,KAAM,CAAW,CAAC,OAAO,EAAE,EAAE,CAAC;IACnF,CAAC;IACD,IAAI,CAAC;QACH,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAyB,EAAE,CAAC;IACzE,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,IAAI,oBAAoB,EAAE,CAAC;IAC7D,CAAC;AACH,CAAC;AAED;;;;;oBAKoB;AACpB,MAAM,UAAU,mBAAmB,CAAC,KAAsB,EAAE,IAAgB,EAAE,OAAe;IAC3F,MAAM,MAAM,GAAkC,EAAE,CAAC;IACjD,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;QAChC,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,EAAE,GAAG,EAAE,cAAc,EAAE,iBAAiB,EAAE,GAAG,mBAAmB,CACpE,KAAK,EACL,IAAI,EACJ,KAAK,EACL,GAAG,EACH,OAAO,EACP,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAE,CAC9B,CAAC;QACF,IAAI,iBAAiB,KAAK,IAAI;YAAE,OAAO;QACvC,MAAM,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC;IAC5B,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,CAAC;AAChB,CAAC;AAMD;;;;;;;;;;GAUG;AACH,MAAM,UAAU,mBAAmB,CACjC,OAAe,EACf,aAAqB,EACrB,KAAsB,EACtB,IAAgB,EAChB,MAAc,EACd,EAAU,EACV,EAAU,EACV,SAAiB,EACjB,KAAc;IAEd,MAAM,SAAS,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC;IAC5B,IAAI,CAAC,SAAS;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,kCAAkC,EAAE,CAAC;IAElF,MAAM,SAAS,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAG,mBAAmB,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IACzD,MAAM,OAAO,GAAG,wBAAwB,CAAC,OAAO,CAAC,CAAC;IAElD,IAAI,OAAO,KAAK,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,wBAAwB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QACxD,IAAI,IAAI,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;YACpB,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,KAAK,SAAS,CAAC;YACvD,MAAM,UAAU,GACd,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;gBACvG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC;YAC9F,IAAI,QAAQ,IAAI,UAAU,EAAE,CAAC;gBAC3B,OAAO;oBACL,EAAE,EAAE,KAAK;oBACT,OAAO,EAAE,8BAA8B,OAAO,wEAAwE;iBACvH,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,CAAC,OAAO,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;IACtC,MAAM,QAAQ,GAAyB;QACrC,yBAAyB,EAAE,4BAA4B;QACvD,KAAK,EAAE,aAAa;QACpB,OAAO,EAAE,UAAU;QACnB,QAAQ,EAAE,SAAS;QACnB,QAAQ,EAAE,EAAE;QACZ,SAAS;QACT,SAAS;QACT,MAAM;QACN,SAAS,EAAE,IAAI;KAChB,CAAC;IACF,SAAS,CAAC,gBAAgB,CAAC,OAAO,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC1D,MAAM,IAAI,GAAG,wBAAwB,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IAC3D,aAAa,CAAC,IAAI,EAAE,wBAAwB,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC;IAChE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;AACjD,CAAC;AAsBD,MAAM,UAAU,iBAAiB,CAC/B,OAAe,EACf,KAAsB,EACtB,IAAgB,EAChB,MAAc;IAEd,MAAM,OAAO,GAAG,wBAAwB,CAAC,OAAO,CAAC,CAAC;IAClD,IAAI,OAAO,KAAK,IAAI;QAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC;IACtF,MAAM,IAAI,GAAG,wBAAwB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACxD,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE;QAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC;IAEjF,MAAM,WAAW,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,KAAK,gBAAgB,CAAC,MAAM,CAAC,CAAC;IACzE,MAAM,aAAa,GAAG,mBAAmB,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAChE,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IAC5F,MAAM,aAAa,GAA8B,EAAE,CAAC;IACpD,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC;QAC/C,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC;QACtC,IAAI,IAAI,KAAK,EAAE;YAAE,aAAa,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC;AACjD,CAAC;AAED;;;;;;6CAM6C;AAC7C,MAAM,UAAU,oBAAoB,CAAC,OAAe;IAClD,MAAM,IAAI,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACpE,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,IAAI,GAAG,wBAAwB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;QAClD,IAAI,IAAI,IAAI,IAAI,CAAC,EAAE,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS;YAAE,OAAO,EAAE,OAAO,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC;IAC5G,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAMD;;;;;;;;;;GAUG;AACH,MAAM,UAAU,sBAAsB,CACpC,OAAe,EACf,KAAsB,EACtB,IAAgB,EAChB,MAAc,EACd,EAAU,EACV,EAAU,EACV,MAAc,EACd,QAAuB;IAEvB,MAAM,OAAO,GAAG,wBAAwB,CAAC,OAAO,CAAC,CAAC;IAClD,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACrB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,+FAA+F,EAAE,CAAC;IACjI,CAAC;IACD,MAAM,KAAK,GAAG,iBAAiB,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IAC9D,IAAI,KAAK,CAAC,WAAW,IAAI,KAAK,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxD,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EAAE,gCAAgC,OAAO,4FAA4F;SAC7I,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,wBAAwB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACxD,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;QACtB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,IAAI,IAAI,SAAS,IAAI,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,mBAAmB,OAAO,gCAAgC,EAAE,CAAC;IAC3I,CAAC;IACD,MAAM,QAAQ,GAAyB,EAAE,GAAG,IAAI,CAAC,QAAQ,EAAE,SAAS,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,CAAC;IACrG,MAAM,IAAI,GAAG,wBAAwB,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IACxD,aAAa,CAAC,IAAI,EAAE,wBAAwB,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,CAAC;IAChE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AAC9C,CAAC"}

package/dist/cli/reratify.d.ts

@@ -4,22 +4,45 @@ export type ApplyReratifyResult = {
     ok: true;
     content: string;
     newVersion: number;
+    kind: ReratifyKind;
 } | {
     ok: false;
     message: string;
 };
+/** MIL-258: `shipped` = the doc was `status: implemented` (status flips back); `unshipped` = a
+ *  ratified `ready-to-implement` doc that never shipped (status untouched). */
+export type ReratifyKind = "shipped" | "unshipped";
 /**
  * Pure text transform: bumps `version:` by 1 and flips `status:` to `ready-to-implement` in
  * `raw`'s frontmatter block, clearing any `ratifiedBy:`/`ratifiedOn:` lines found (see module
- * header). Refuses (`ok: false`) unless the doc's CURRENT `status:` is exactly `implemented` —
+ * header). Refuses (`ok: false`) unless the doc's CURRENT `status:` is `implemented`, or
+ * `ready-to-implement` with `ratifiedBy:` set (MIL-258, `kind: "unshipped"`, status left alone) —
  * see module header for why this precondition (not idempotent-no-op) is the right refusal
  * shape here. No fs access — the caller reads/writes; see `runReratify` below.
  */
 export declare function applyReratifyFrontmatter(raw: string): ApplyReratifyResult;
+/** MIL-214: the certification-aware advisory `runReratify` computes about the version being
+ *  superseded — never gates the bump, see module header. */
+export interface ReratifyAdvisory {
+    /** True when the CURRENT (pre-bump) version has no matching `conformedVersion` — either never
+     *  certified at all, or certified against a different version. */
+    neverCertified: boolean;
+    /** Count of unruled (`locus: null`) conformance findings in scope for this slice, across every
+     *  `conformance/*-findings.json` beside the model — not scoped to one revision, since a
+     *  reratify has no `--at` of its own to anchor on. */
+    unruledFindingsCount: number;
+}
+/** Pure: the two facts `runReratify`'s advisory reports, from the doc's own pre-bump
+ *  `version`/`conformedVersion` plus a scan of every findings file beside the model — see
+ *  `ReratifyAdvisory`. No refusal here or anywhere downstream; this is data for the CLI layer to
+ *  print as `warn:` lines. */
+export declare function reratifyAdvisory(baseDir: string, sliceKey: string, currentVersion: number | null, conformedVersion: number | null): ReratifyAdvisory;
 export type RunReratifyResult = {
     ok: true;
     path: string;
     newVersion: number;
+    kind: ReratifyKind;
+    advisory: ReratifyAdvisory | null;
 } | {
     ok: false;
     message: string;

package/dist/cli/reratify.js

@@ -10,15 +10,25 @@
 //   version: <current + 1>
 //   status: ready-to-implement
 //
-// Only applies to a doc currently `status: implemented` — the precondition
+// MIL-258: that is the SHIPPED path. A second path covers a doc at `status: ready-to-implement`
+// that still carries `ratifiedBy:` — a ratified version that has not shipped (the most common
+// change during delivery: an implementer hits a gap, a human answers it, the doc changes before
+// the build resumes). It bumps `version:` and clears the same four sign-off fields but leaves
+// `status:` (and any `implementedIn:`) alone, since there is nothing to flip back. A
+// `ready-to-implement` doc with NO `ratifiedBy:` still refuses: that is the exact state a
+// reratify leaves a doc in, so refusing keeps the double-bump guard — the doc is awaiting
+// `em slice ratify --by`, not another bump. `draft`/`reviewed` docs are not ratified and refuse
+// too; they can simply be edited.
+//
+// Shipped path precondition (original, MIL-161) — a doc currently `status: implemented`, the precondition
 // docs/slice-doc-schema.md#status-under-re-ratification describes ("a new version is ratified
 // for a slice whose previous version already shipped"). Refuses (never guesses) otherwise: a
 // `draft`/`reviewed` doc hasn't shipped yet, so there's no prior version to bump FROM, and a
-// doc already `ready-to-implement` means either first-time authoring (never touch this doc with
-// reratify at all — `em slice new` is what scaffolds those) or a reratify that already ran (a
-// second bump would silently double-increment `version`, which this command deliberately never
-// does — bumping isn't naturally idempotent the way ratify/mark-implemented's absolute-value
-// writes are).
+// doc already `ready-to-implement` WITHOUT `ratifiedBy:` means either first-time authoring (never
+// touch this doc with reratify at all — `em slice new` is what scaffolds those) or a reratify
+// that already ran (a second bump would silently double-increment `version`, which this command
+// deliberately never does — bumping isn't naturally idempotent the way ratify/mark-implemented's
+// absolute-value writes are).
 //
 // Also clears `ratifiedBy:`/`ratifiedOn:` if either is present: those fields record who signed
 // off the PRIOR version (`em slice ratify`, MIL-165) and describing the brand-new, not-yet-
@@ -39,11 +49,20 @@
 // (best-effort) the file's own line-ending style — is copied through verbatim. The `## Delta`
 // section (docs/slice-doc-schema.md#delta-section-grammar-and-lifecycle) recording WHAT changed
 // stays entirely hand-authored — this command only ever touches the two lifecycle fields above.
+//
+// MIL-214: `reratifyAdvisory` below is the certification-aware counterpart to MIL-198's
+// upstream-timeline advisory (ratify.ts's `upstreamUnratifiedSlices`) — same shape, same
+// never-refuses stance. Bumping a version whose CURRENT one was never certified (or still has
+// unruled conformance findings) isn't wrong — the team may have good reason to move on before a
+// conform sweep ever ran — so this is advisory only, printed by the CLI layer, never gating the
+// bump itself. MIL-258: the advisory is about superseding a SHIPPED version, so the unshipped
+// path skips it entirely (`advisory: null`) — an unshipped version has no certification to lack.
 import { readFileSync, writeFileSync } from "node:fs";
 import { join } from "node:path";
 import { continuationOf } from "../model/continuation.js";
 import { resolveSliceDocJoin } from "../catalog/docJoin.js";
 import { fieldLineRegex, fieldLineWithEolRegex, locateFrontmatterInner, normalizeFieldValue } from "./frontmatterSurgery.js";
+import { listAllFindingsFiles, unruledFindingsInScope } from "./findings.js";
 /** The status a doc must already be in for `reratify` to apply — mirrors `RATIFIED_STATUS` in
  *  ratify.ts (the status this command flips TO), named separately since it's the precondition
  *  here, not the target. */
@@ -52,7 +71,8 @@ const TARGET_STATUS = "ready-to-implement";
 /**
  * Pure text transform: bumps `version:` by 1 and flips `status:` to `ready-to-implement` in
  * `raw`'s frontmatter block, clearing any `ratifiedBy:`/`ratifiedOn:` lines found (see module
- * header). Refuses (`ok: false`) unless the doc's CURRENT `status:` is exactly `implemented` —
+ * header). Refuses (`ok: false`) unless the doc's CURRENT `status:` is `implemented`, or
+ * `ready-to-implement` with `ratifiedBy:` set (MIL-258, `kind: "unshipped"`, status left alone) —
  * see module header for why this precondition (not idempotent-no-op) is the right refusal
  * shape here. No fs access — the caller reads/writes; see `runReratify` below.
  */
@@ -65,14 +85,30 @@ export function applyReratifyFrontmatter(raw) {
     if (!statusMatch)
         return { ok: false, message: "no `status:` field found in frontmatter" };
     const currentStatus = normalizeFieldValue(statusMatch[2])?.toLowerCase() ?? null;
+    let kind = "shipped";
     if (currentStatus !== IMPLEMENTED_STATUS) {
-        return {
-            ok: false,
-            message: `doc is \`status: ${currentStatus ?? "(empty)"}\`, not \`implemented\` — reratify only applies to a ` +
-                "slice doc that has already shipped (see docs/slice-doc-schema.md#status-under-re-ratification); " +
-                "first-time authoring uses `em slice new`, and a doc already `ready-to-implement` may already " +
-                "have been reratified",
-        };
+        const ratifiedByMatch = fieldLineRegex("ratifiedBy").exec(inner);
+        const hasRatifiedBy = ratifiedByMatch !== null && normalizeFieldValue(ratifiedByMatch[2]) !== null;
+        if (currentStatus === TARGET_STATUS && hasRatifiedBy) {
+            kind = "unshipped";
+        }
+        else if (currentStatus === TARGET_STATUS) {
+            return {
+                ok: false,
+                message: "doc is `status: ready-to-implement` with no `ratifiedBy:` — it is awaiting ratification " +
+                    "(a reratify already ran, or it was never signed off), so another version bump would " +
+                    "double-increment `version:`; record the sign-off with `em slice ratify --by <name>`",
+            };
+        }
+        else {
+            return {
+                ok: false,
+                message: `doc is \`status: ${currentStatus ?? "(empty)"}\` — reratify only applies to a slice doc that has ` +
+                    "shipped (`status: implemented`) or to a ratified `ready-to-implement` doc that has not (see " +
+                    "docs/slice-doc-schema.md#status-under-re-ratification); a `draft`/`reviewed` doc is not ratified " +
+                    "and can simply be edited, and first-time authoring uses `em slice new`",
+            };
+        }
     }
     const versionMatch = fieldLineRegex("version").exec(inner);
     if (!versionMatch)
@@ -89,7 +125,10 @@ export function applyReratifyFrontmatter(raw) {
     // Apply from the highest index first so an earlier edit's index stays valid — same convention
     // markImplemented.ts/ratify.ts use.
     const edits = [
-        { index: statusMatch.index, oldLen: statusMatch[0].length, next: `${statusMatch[1]}${TARGET_STATUS}` },
+        // MIL-258: the unshipped path is already at the target status — nothing to flip.
+        ...(kind === "shipped"
+            ? [{ index: statusMatch.index, oldLen: statusMatch[0].length, next: `${statusMatch[1]}${TARGET_STATUS}` }]
+            : []),
         { index: versionMatch.index, oldLen: versionMatch[0].length, next: `${versionMatch[1]}${newVersion}` },
     ].sort((a, b) => b.index - a.index);
     let updatedInner = inner;
@@ -105,7 +144,19 @@ export function applyReratifyFrontmatter(raw) {
         updatedInner = updatedInner.replace(fieldLineWithEolRegex(key), "");
     }
     const content = raw.slice(0, range.innerStart) + updatedInner + raw.slice(range.innerEnd);
-    return { ok: true, content, newVersion };
+    return { ok: true, content, newVersion, kind };
+}
+/** Pure: the two facts `runReratify`'s advisory reports, from the doc's own pre-bump
+ *  `version`/`conformedVersion` plus a scan of every findings file beside the model — see
+ *  `ReratifyAdvisory`. No refusal here or anywhere downstream; this is data for the CLI layer to
+ *  print as `warn:` lines. */
+export function reratifyAdvisory(baseDir, sliceKey, currentVersion, conformedVersion) {
+    const neverCertified = conformedVersion === null || conformedVersion !== currentVersion;
+    let unruledFindingsCount = 0;
+    for (const { doc } of listAllFindingsFiles(baseDir)) {
+        unruledFindingsCount += unruledFindingsInScope(doc.findings, new Set([sliceKey])).length;
+    }
+    return { neverCertified, unruledFindingsCount };
 }
 /**
  * Resolves `sliceKey` to its bound doc via the same note-binding join `mark-implemented`/
@@ -151,7 +202,12 @@ export function runReratify(model, refs, baseDir, sliceKey) {
     if (!result.ok) {
         return { ok: false, message: `${doc.path}: ${result.message}` };
     }
+    // MIL-214: computed from the doc's PRE-BUMP version/certification (`doc` was resolved before
+    // the write below changes `version`) — "was the version we're about to supersede ever fully
+    // certified". MIL-258: only meaningful for a SHIPPED version; an unshipped one has no
+    // certification to lack, so that path carries no advisory at all.
+    const advisory = result.kind === "shipped" ? reratifyAdvisory(baseDir, sliceKey, doc.version, doc.conformedVersion) : null;
     writeFileSync(absPath, result.content, "utf8");
-    return { ok: true, path: doc.path, newVersion: result.newVersion };
+    return { ok: true, path: doc.path, newVersion: result.newVersion, kind: result.kind, advisory };
 }
 //# sourceMappingURL=reratify.js.map

package/dist/cli/reratify.js.map

@@ -1 +1 @@
-{"version":3,"file":"reratify.js","sourceRoot":"","sources":["../../src/cli/reratify.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,2FAA2F;AAC3F,+FAA+F;AAC/F,qFAAqF;AACrF,+FAA+F;AAC/F,gGAAgG;AAChG,sFAAsF;AACtF,8CAA8C;AAC9C,EAAE;AACF,2BAA2B;AAC3B,+BAA+B;AAC/B,EAAE;AACF,2EAA2E;AAC3E,8FAA8F;AAC9F,6FAA6F;AAC7F,6FAA6F;AAC7F,gGAAgG;AAChG,8FAA8F;AAC9F,+FAA+F;AAC/F,6FAA6F;AAC7F,eAAe;AACf,EAAE;AACF,+FAA+F;AAC/F,4FAA4F;AAC5F,gGAAgG;AAChG,6FAA6F;AAC7F,+FAA+F;AAC/F,6FAA6F;AAC7F,EAAE;AACF,kGAAkG;AAClG,kGAAkG;AAClG,mGAAmG;AACnG,kGAAkG;AAClG,cAAc;AACd,EAAE;AACF,8FAA8F;AAC9F,4FAA4F;AAC5F,8FAA8F;AAC9F,8FAA8F;AAC9F,gGAAgG;AAChG,gGAAgG;AAEhG,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACtD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAGjC,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAE7H;;4BAE4B;AAC5B,MAAM,kBAAkB,GAAG,aAAa,CAAC;AACzC,MAAM,aAAa,GAAG,oBAAoB,CAAC;AAM3C;;;;;;GAMG;AACH,MAAM,UAAU,wBAAwB,CAAC,GAAW;IAClD,MAAM,KAAK,GAAG,sBAAsB,CAAC,GAAG,CAAC,CAAC;IAC1C,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,4BAA4B,EAAE,CAAC;IACxE,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;IAE1D,MAAM,WAAW,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzD,IAAI,CAAC,WAAW;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,yCAAyC,EAAE,CAAC;IAC3F,MAAM,aAAa,GAAG,mBAAmB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,IAAI,CAAC;IACjF,IAAI,aAAa,KAAK,kBAAkB,EAAE,CAAC;QACzC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EACL,oBAAoB,aAAa,IAAI,SAAS,uDAAuD;gBACrG,kGAAkG;gBAClG,+FAA+F;gBAC/F,sBAAsB;SACzB,CAAC;IACJ,CAAC;IAED,MAAM,YAAY,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3D,IAAI,CAAC,YAAY;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,0CAA0C,EAAE,CAAC;IAC7F,MAAM,iBAAiB,GAAG,mBAAmB,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,MAAM,cAAc,GAAG,iBAAiB,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IACpF,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,cAAc,GAAG,CAAC,EAAE,CAAC;QAC5D,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EAAE,6BAA6B,iBAAiB,IAAI,EAAE,uDAAuD;SACrH,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,cAAc,GAAG,CAAC,CAAC;IAEtC,8FAA8F;IAC9F,oCAAoC;IACpC,MAAM,KAAK,GAAG;QACZ,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,GAAG,aAAa,EAAE,EAAE;QACtG,EAAE,KAAK,EAAE,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,YAAY,CAAC,CAAC,CAAC,GAAG,UAAU,EAAE,EAAE;KACvG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IACpC,IAAI,YAAY,GAAG,KAAK,CAAC;IACzB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,YAAY,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;IAC9G,CAAC;IAED,2FAA2F;IAC3F,+FAA+F;IAC/F,iGAAiG;IACjG,6FAA6F;IAC7F,gBAAgB;IAChB,KAAK,MAAM,GAAG,IAAI,CAAC,YAAY,EAAE,YAAY,EAAE,YAAY,EAAE,YAAY,CAAC,EAAE,CAAC;QAC3E,YAAY,GAAG,YAAY,CAAC,OAAO,CAAC,qBAAqB,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;IACtE,CAAC;IAED,MAAM,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,UAAU,CAAC,GAAG,YAAY,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC1F,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;AAC3C,CAAC;AAMD;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CACzB,KAAsB,EACtB,IAAgB,EAChB,OAAe,EACf,QAAgB;IAEhB,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACpD,IAAI,UAAU,KAAK,CAAC,CAAC,EAAE,CAAC;QACtB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,6BAA6B,QAAQ,iBAAiB,EAAE,CAAC;IACxF,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACvC,MAAM,EAAE,GAAG,EAAE,cAAc,EAAE,iBAAiB,EAAE,GAAG,mBAAmB,CACpE,KAAK,EACL,IAAI,EACJ,KAAK,EACL,QAAQ,EACR,OAAO,EACP,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAE,CAC9B,CAAC;IAEF,wFAAwF;IACxF,IAAI,iBAAiB,EAAE,CAAC;QACtB,MAAM,YAAY,GAAG,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,UAAU,CAAE,CAAC;QAC9D,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,aAAa,CAAE,CAAC,IAAI,CAAC;QAClE,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EACL,IAAI,QAAQ,2BAA2B,iBAAiB,YAAY,QAAQ,aAAa;gBACzF,uCAAuC,iBAAiB,WAAW;SACtE,CAAC;IACJ,CAAC;IAED,IAAI,GAAG,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;QAClC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EAAE,UAAU,QAAQ,yCAAyC,QAAQ,iDAAiD;SAC9H,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,KAAK,sBAAsB,EAAE,CAAC;QAC1C,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,QAAQ,YAAY,GAAG,CAAC,IAAI,2BAA2B,EAAE,CAAC;IACnG,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,KAAK,qBAAqB,EAAE,CAAC;QACzC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EAAE,cAAc,GAAG,CAAC,IAAI,wEAAwE;SACxG,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,GAAG,GAAG,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC1C,MAAM,MAAM,GAAG,wBAAwB,CAAC,GAAG,CAAC,CAAC;IAC7C,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;IAClE,CAAC;IACD,aAAa,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC/C,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC;AACrE,CAAC"}
+{"version":3,"file":"reratify.js","sourceRoot":"","sources":["../../src/cli/reratify.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,2FAA2F;AAC3F,+FAA+F;AAC/F,qFAAqF;AACrF,+FAA+F;AAC/F,gGAAgG;AAChG,sFAAsF;AACtF,8CAA8C;AAC9C,EAAE;AACF,2BAA2B;AAC3B,+BAA+B;AAC/B,EAAE;AACF,gGAAgG;AAChG,8FAA8F;AAC9F,gGAAgG;AAChG,8FAA8F;AAC9F,qFAAqF;AACrF,0FAA0F;AAC1F,0FAA0F;AAC1F,gGAAgG;AAChG,kCAAkC;AAClC,EAAE;AACF,0GAA0G;AAC1G,8FAA8F;AAC9F,6FAA6F;AAC7F,6FAA6F;AAC7F,kGAAkG;AAClG,8FAA8F;AAC9F,gGAAgG;AAChG,iGAAiG;AACjG,8BAA8B;AAC9B,EAAE;AACF,+FAA+F;AAC/F,4FAA4F;AAC5F,gGAAgG;AAChG,6FAA6F;AAC7F,+FAA+F;AAC/F,6FAA6F;AAC7F,EAAE;AACF,kGAAkG;AAClG,kGAAkG;AAClG,mGAAmG;AACnG,kGAAkG;AAClG,cAAc;AACd,EAAE;AACF,8FAA8F;AAC9F,4FAA4F;AAC5F,8FAA8F;AAC9F,8FAA8F;AAC9F,gGAAgG;AAChG,gGAAgG;AAChG,EAAE;AACF,wFAAwF;AACxF,yFAAyF;AACzF,8FAA8F;AAC9F,gGAAgG;AAChG,gGAAgG;AAChG,8FAA8F;AAC9F,iGAAiG;AAEjG,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACtD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAGjC,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EAAE,cAAc,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC7H,OAAO,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,MAAM,eAAe,CAAC;AAE7E;;4BAE4B;AAC5B,MAAM,kBAAkB,GAAG,aAAa,CAAC;AACzC,MAAM,aAAa,GAAG,oBAAoB,CAAC;AAU3C;;;;;;;GAOG;AACH,MAAM,UAAU,wBAAwB,CAAC,GAAW;IAClD,MAAM,KAAK,GAAG,sBAAsB,CAAC,GAAG,CAAC,CAAC;IAC1C,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,4BAA4B,EAAE,CAAC;IACxE,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;IAE1D,MAAM,WAAW,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzD,IAAI,CAAC,WAAW;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,yCAAyC,EAAE,CAAC;IAC3F,MAAM,aAAa,GAAG,mBAAmB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,IAAI,CAAC;IACjF,IAAI,IAAI,GAAiB,SAAS,CAAC;IACnC,IAAI,aAAa,KAAK,kBAAkB,EAAE,CAAC;QACzC,MAAM,eAAe,GAAG,cAAc,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjE,MAAM,aAAa,GAAG,eAAe,KAAK,IAAI,IAAI,mBAAmB,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC;QACnG,IAAI,aAAa,KAAK,aAAa,IAAI,aAAa,EAAE,CAAC;YACrD,IAAI,GAAG,WAAW,CAAC;QACrB,CAAC;aAAM,IAAI,aAAa,KAAK,aAAa,EAAE,CAAC;YAC3C,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,OAAO,EACL,0FAA0F;oBAC1F,sFAAsF;oBACtF,qFAAqF;aACxF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,OAAO,EACL,oBAAoB,aAAa,IAAI,SAAS,qDAAqD;oBACnG,8FAA8F;oBAC9F,mGAAmG;oBACnG,wEAAwE;aAC3E,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,YAAY,GAAG,cAAc,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3D,IAAI,CAAC,YAAY;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,0CAA0C,EAAE,CAAC;IAC7F,MAAM,iBAAiB,GAAG,mBAAmB,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,MAAM,cAAc,GAAG,iBAAiB,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IACpF,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,cAAc,GAAG,CAAC,EAAE,CAAC;QAC5D,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EAAE,6BAA6B,iBAAiB,IAAI,EAAE,uDAAuD;SACrH,CAAC;IACJ,CAAC;IACD,MAAM,UAAU,GAAG,cAAc,GAAG,CAAC,CAAC;IAEtC,8FAA8F;IAC9F,oCAAoC;IACpC,MAAM,KAAK,GAAG;QACZ,iFAAiF;QACjF,GAAG,CAAC,IAAI,KAAK,SAAS;YACpB,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,GAAG,aAAa,EAAE,EAAE,CAAC;YAC1G,CAAC,CAAC,EAAE,CAAC;QACP,EAAE,KAAK,EAAE,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,YAAY,CAAC,CAAC,CAAC,GAAG,UAAU,EAAE,EAAE;KACvG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;IACpC,IAAI,YAAY,GAAG,KAAK,CAAC;IACzB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,YAAY,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;IAC9G,CAAC;IAED,2FAA2F;IAC3F,+FAA+F;IAC/F,iGAAiG;IACjG,6FAA6F;IAC7F,gBAAgB;IAChB,KAAK,MAAM,GAAG,IAAI,CAAC,YAAY,EAAE,YAAY,EAAE,YAAY,EAAE,YAAY,CAAC,EAAE,CAAC;QAC3E,YAAY,GAAG,YAAY,CAAC,OAAO,CAAC,qBAAqB,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;IACtE,CAAC;IAED,MAAM,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,UAAU,CAAC,GAAG,YAAY,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAC1F,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC;AACjD,CAAC;AAcD;;;8BAG8B;AAC9B,MAAM,UAAU,gBAAgB,CAC9B,OAAe,EACf,QAAgB,EAChB,cAA6B,EAC7B,gBAA+B;IAE/B,MAAM,cAAc,GAAG,gBAAgB,KAAK,IAAI,IAAI,gBAAgB,KAAK,cAAc,CAAC;IACxF,IAAI,oBAAoB,GAAG,CAAC,CAAC;IAC7B,KAAK,MAAM,EAAE,GAAG,EAAE,IAAI,oBAAoB,CAAC,OAAO,CAAC,EAAE,CAAC;QACpD,oBAAoB,IAAI,sBAAsB,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAC3F,CAAC;IACD,OAAO,EAAE,cAAc,EAAE,oBAAoB,EAAE,CAAC;AAClD,CAAC;AAMD;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CACzB,KAAsB,EACtB,IAAgB,EAChB,OAAe,EACf,QAAgB;IAEhB,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACpD,IAAI,UAAU,KAAK,CAAC,CAAC,EAAE,CAAC;QACtB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,6BAA6B,QAAQ,iBAAiB,EAAE,CAAC;IACxF,CAAC;IACD,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACvC,MAAM,EAAE,GAAG,EAAE,cAAc,EAAE,iBAAiB,EAAE,GAAG,mBAAmB,CACpE,KAAK,EACL,IAAI,EACJ,KAAK,EACL,QAAQ,EACR,OAAO,EACP,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAE,CAC9B,CAAC;IAEF,wFAAwF;IACxF,IAAI,iBAAiB,EAAE,CAAC;QACtB,MAAM,YAAY,GAAG,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,UAAU,CAAE,CAAC;QAC9D,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,aAAa,CAAE,CAAC,IAAI,CAAC;QAClE,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EACL,IAAI,QAAQ,2BAA2B,iBAAiB,YAAY,QAAQ,aAAa;gBACzF,uCAAuC,iBAAiB,WAAW;SACtE,CAAC;IACJ,CAAC;IAED,IAAI,GAAG,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;QAClC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EAAE,UAAU,QAAQ,yCAAyC,QAAQ,iDAAiD;SAC9H,CAAC;IACJ,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,KAAK,sBAAsB,EAAE,CAAC;QAC1C,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,QAAQ,YAAY,GAAG,CAAC,IAAI,2BAA2B,EAAE,CAAC;IACnG,CAAC;IACD,IAAI,GAAG,CAAC,MAAM,KAAK,qBAAqB,EAAE,CAAC;QACzC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EAAE,cAAc,GAAG,CAAC,IAAI,wEAAwE;SACxG,CAAC;IACJ,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IACxC,MAAM,GAAG,GAAG,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC1C,MAAM,MAAM,GAAG,wBAAwB,CAAC,GAAG,CAAC,CAAC;IAC7C,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,GAAG,CAAC,IAAI,KAAK,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;IAClE,CAAC;IACD,6FAA6F;IAC7F,4FAA4F;IAC5F,sFAAsF;IACtF,kEAAkE;IAClE,MAAM,QAAQ,GACZ,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,gBAAgB,CAAC,OAAO,EAAE,QAAQ,EAAE,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5G,aAAa,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC/C,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC;AAClG,CAAC"}

package/dist/cli/skillCheck.js

@@ -44,7 +44,7 @@ export function checkSkillSync(packagedDir, vendoredDir, installedVersion) {
     else if (vendoredStamp !== installedVersion) {
         findings.push({
             code: "skill-check-stamp-mismatch",
-            message: `vendored skill's em-version: stamp (${vendoredStamp}) doesn't match installed em (${installedVersion}) — run \`em skill sync\``,
+            message: `vendored skill's em-version: stamp (${vendoredStamp}) doesn't match installed em (${installedVersion}) — run \`em skill sync\` (or \`em upgrade\`)`,
             vendoredStamp,
             installedVersion,
         });
@@ -54,7 +54,7 @@ export function checkSkillSync(packagedDir, vendoredDir, installedVersion) {
         const driftedFiles = plan.changes.map((c) => c.relPath).sort();
         findings.push({
             code: "skill-check-content-drift",
-            message: `vendored skill differs from the packaged skill in ${driftedFiles.length} file(s) — run \`em skill sync\``,
+            message: `vendored skill differs from the packaged skill in ${driftedFiles.length} file(s) — run \`em skill sync\` (or \`em upgrade\`)`,
             driftedFiles,
         });
     }

package/dist/cli/skillCheck.js.map

@@ -1 +1 @@
-{"version":3,"file":"skillCheck.js","sourceRoot":"","sources":["../../src/cli/skillCheck.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,6FAA6F;AAC7F,0FAA0F;AAC1F,6FAA6F;AAC7F,6FAA6F;AAC7F,kFAAkF;AAClF,uDAAuD;AACvD,EAAE;AACF,+EAA+E;AAC/E,kFAAkF;AAClF,+FAA+F;AAC/F,0FAA0F;AAC1F,iEAAiE;AAEjE,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAqB/C;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,WAAmB,EAAE,WAAmB,EAAE,gBAAwB;IAC/F,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;QAC7B,OAAO;YACL,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE;gBACR;oBACE,IAAI,EAAE,2BAA2B;oBACjC,OAAO,EAAE,8BAA8B,WAAW,gCAAgC;iBACnF;aACF;SACF,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAwB,EAAE,CAAC;IAEzC,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IAClD,MAAM,aAAa,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,qBAAqB,CAAC,YAAY,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAEhH,IAAI,aAAa,KAAK,IAAI,EAAE,CAAC;QAC3B,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,2BAA2B;YACjC,OAAO,EAAE,GAAG,WAAW,8EAA8E;SACtG,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,aAAa,KAAK,gBAAgB,EAAE,CAAC;QAC9C,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,4BAA4B;YAClC,OAAO,EAAE,uCAAuC,aAAa,iCAAiC,gBAAgB,2BAA2B;YACzI,aAAa;YACb,gBAAgB;SACjB,CAAC,CAAC;IACL,CAAC;IAED,MAAM,IAAI,GAAG,aAAa,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;IACrD,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;QAC/D,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,2BAA2B;YACjC,OAAO,EAAE,qDAAqD,YAAY,CAAC,MAAM,kCAAkC;YACnH,YAAY;SACb,CAAC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;AACjD,CAAC;AAED,0FAA0F;AAC1F,+FAA+F;AAC/F,+FAA+F;AAC/F,0FAA0F;AAC1F,iGAAiG;AACjG,wEAAwE;AAExE,SAAS,aAAa,CAAC,OAAe,EAAE,CAAoB;IAC1D,OAAO;QACL,GAAG,CAAC;QACJ,OAAO,EAAE,IAAI,OAAO,KAAK,CAAC,CAAC,OAAO,EAAE;QACpC,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,OAAO,IAAI,CAAC,EAAE,CAAC;KAC5D,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAClC,YAAoB,EACpB,YAAoB,EACpB,gBAAwB,EACxB,aAAgC,EAChC,cAAiC;IAEjC,MAAM,QAAQ,GAAwB,EAAE,CAAC;IAEzC,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;QACjC,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,EAAE,gBAAgB,CAAC,CAAC;QACpG,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ;YAAE,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACzE,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,cAAc,EAAE,CAAC;QAClC,MAAM,WAAW,GAAG,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;QAC7C,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;YAC7B,QAAQ,CAAC,IAAI,CACX,aAAa,CAAC,IAAI,EAAE;gBAClB,IAAI,EAAE,2BAA2B;gBACjC,OAAO,EAAE,8BAA8B,WAAW,gCAAgC;aACnF,CAAC,CACH,CAAC;YACF,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,EAAE,WAAW,CAAC,CAAC;QAClE,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;YAC/D,QAAQ,CAAC,IAAI,CACX,aAAa,CAAC,IAAI,EAAE;gBAClB,IAAI,EAAE,2BAA2B;gBACjC,OAAO,EAAE,qDAAqD,YAAY,CAAC,MAAM,kCAAkC;gBACnH,YAAY;aACb,CAAC,CACH,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;AACjD,CAAC"}
+{"version":3,"file":"skillCheck.js","sourceRoot":"","sources":["../../src/cli/skillCheck.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,6FAA6F;AAC7F,0FAA0F;AAC1F,6FAA6F;AAC7F,6FAA6F;AAC7F,kFAAkF;AAClF,uDAAuD;AACvD,EAAE;AACF,+EAA+E;AAC/E,kFAAkF;AAClF,+FAA+F;AAC/F,0FAA0F;AAC1F,iEAAiE;AAEjE,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAqB/C;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,WAAmB,EAAE,WAAmB,EAAE,gBAAwB;IAC/F,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;QAC7B,OAAO;YACL,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE;gBACR;oBACE,IAAI,EAAE,2BAA2B;oBACjC,OAAO,EAAE,8BAA8B,WAAW,gCAAgC;iBACnF;aACF;SACF,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAwB,EAAE,CAAC;IAEzC,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IAClD,MAAM,aAAa,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,qBAAqB,CAAC,YAAY,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAEhH,IAAI,aAAa,KAAK,IAAI,EAAE,CAAC;QAC3B,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,2BAA2B;YACjC,OAAO,EAAE,GAAG,WAAW,8EAA8E;SACtG,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,aAAa,KAAK,gBAAgB,EAAE,CAAC;QAC9C,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,4BAA4B;YAClC,OAAO,EAAE,uCAAuC,aAAa,iCAAiC,gBAAgB,+CAA+C;YAC7J,aAAa;YACb,gBAAgB;SACjB,CAAC,CAAC;IACL,CAAC;IAED,MAAM,IAAI,GAAG,aAAa,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC;IACrD,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;QAC/D,QAAQ,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE,2BAA2B;YACjC,OAAO,EAAE,qDAAqD,YAAY,CAAC,MAAM,sDAAsD;YACvI,YAAY;SACb,CAAC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;AACjD,CAAC;AAED,0FAA0F;AAC1F,+FAA+F;AAC/F,+FAA+F;AAC/F,0FAA0F;AAC1F,iGAAiG;AACjG,wEAAwE;AAExE,SAAS,aAAa,CAAC,OAAe,EAAE,CAAoB;IAC1D,OAAO;QACL,GAAG,CAAC;QACJ,OAAO,EAAE,IAAI,OAAO,KAAK,CAAC,CAAC,OAAO,EAAE;QACpC,YAAY,EAAE,CAAC,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,OAAO,IAAI,CAAC,EAAE,CAAC;KAC5D,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAClC,YAAoB,EACpB,YAAoB,EACpB,gBAAwB,EACxB,aAAgC,EAChC,cAAiC;IAEjC,MAAM,QAAQ,GAAwB,EAAE,CAAC;IAEzC,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;QACjC,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,EAAE,gBAAgB,CAAC,CAAC;QACpG,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ;YAAE,QAAQ,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACzE,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,cAAc,EAAE,CAAC;QAClC,MAAM,WAAW,GAAG,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;QAC7C,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;YAC7B,QAAQ,CAAC,IAAI,CACX,aAAa,CAAC,IAAI,EAAE;gBAClB,IAAI,EAAE,2BAA2B;gBACjC,OAAO,EAAE,8BAA8B,WAAW,gCAAgC;aACnF,CAAC,CACH,CAAC;YACF,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,EAAE,WAAW,CAAC,CAAC;QAClE,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;YAC/D,QAAQ,CAAC,IAAI,CACX,aAAa,CAAC,IAAI,EAAE;gBAClB,IAAI,EAAE,2BAA2B;gBACjC,OAAO,EAAE,qDAAqD,YAAY,CAAC,MAAM,kCAAkC;gBACnH,YAAY;aACb,CAAC,CACH,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;AACjD,CAAC"}

package/dist/cli/sliceConform.d.ts

@@ -0,0 +1,50 @@
+import { NormalizedModel } from "../model/model.js";
+import { RefsResult } from "../model/refs.js";
+import { FindingsDoc } from "./findings.js";
+export type ApplyConformResult = {
+    ok: true;
+    content: string;
+    changed: boolean;
+    version: number;
+} | {
+    ok: false;
+    message: string;
+};
+/**
+ * Pure text transform: reads the CURRENT `version:` value (never writes it) and writes
+ * `conformedVersion:`/`conformedAt:`/`conformedOn:` in `raw`'s frontmatter block. See module
+ * header for the full precondition/idempotency contract. No fs access — the caller reads/writes;
+ * see `runSliceConform` below.
+ */
+export declare function applyConformFrontmatter(raw: string, sliceKey: string, at: string, on: string): ApplyConformResult;
+/** Scan `<baseDir>/conformance/*-findings.json`, newest filename first, for the first one whose
+ *  `revision` matches `at` — the "newest findings JSON whose revision == --at" the ruling
+ *  describes. A malformed candidate is silently skipped (not refused): this is a best-effort
+ *  lookup for the findings-check gate below, not itself a validator — `em conform-findings
+ *  check` is where a broken findings file gets a loud diagnosis. Returns null when the
+ *  `conformance/` directory doesn't exist, or no candidate matches `at`. */
+export declare function findLatestFindingsForRevision(baseDir: string, at: string): {
+    path: string;
+    doc: FindingsDoc;
+} | null;
+export type RunSliceConformResult = {
+    ok: true;
+    path: string;
+    changed: boolean;
+    version: number;
+    /** Non-null exactly when `--skip-findings-check` is what let this certification through —
+     *  the finding ids that were still unruled, for the caller's loud notice. `null` whenever
+     *  the findings-check gate passed on its own merits (no findings file for this revision, or
+     *  nothing unruled in scope), whether or not the flag was passed. */
+    skippedFindingsCheck: number[] | null;
+} | {
+    ok: false;
+    message: string;
+};
+/**
+ * Resolves `sliceKey` to its bound doc via the same note-binding join `ratify`/`reratify`/
+ * `mark-implemented`/`em export` use (MIL-121 cross-binding included), runs the findings-check
+ * gate, then reads/applies/writes it. `baseDir` is the `.em` file's directory, same convention
+ * every doc/note path in `em` uses.
+ */
+export declare function runSliceConform(model: NormalizedModel, refs: RefsResult, baseDir: string, sliceKey: string, at: string, on: string, skipFindingsCheck?: boolean): RunSliceConformResult;