@milehimikey/em 1.12.0 → 1.13.1

package/dist/cli/stateFile.d.ts

@@ -8,7 +8,9 @@ export declare const PHASES: readonly ["discover", "extract", "model", "slice",
 export type Phase = (typeof PHASES)[number];
 export declare function isPhase(value: string): value is Phase;
 /** The state file's mechanical fields, decoded to plain data. `lastConformance`/`lastReview`
- *  are `null` for the template's `never` marker (never run yet). */
+ *  are `null` for the template's `never` marker (never run yet). `modelVersion`/`certified`
+ *  (MIL-218) are `null` for their own `none`/`never` markers, INCLUDING when the bullet is
+ *  missing entirely from an older state file — see module header. */
 export interface ParsedState {
     modelPath: string;
     phase: string;
@@ -18,7 +20,20 @@ export interface ParsedState {
         date: string;
         revision: string;
         report: string;
+        partial: boolean;
     } | null;
+    modelVersion: number | null;
+    certified: {
+        version: number;
+        revision: string;
+        date: string;
+    } | null;
+    /** MIL-219: the `Em version:` bullet's value, or `null` for the `unknown` sentinel (including
+     *  when the bullet is missing entirely from a state file predating this feature — same
+     *  migration-tolerant treatment `modelVersion`/`certified` get). Never validated as a real
+     *  semver here — this module only reads/writes the bullet text; `util/semver.ts` is where a
+     *  caller that needs to compare it against the installed version goes. */
+    emVersion: string | null;
     lastReview: string | null;
 }
 export type ParseStateResult = {
@@ -50,10 +65,13 @@ export type LoadResult = {
 };
 /** The one fs read every `em state` subcommand goes through. */
 export declare function loadStateFile(dirOrFile: string): LoadResult;
-/** Parse the six mechanical bullets out of a state file's raw text. `ok: false` when the file
- *  is missing one of the bullet lines entirely, or when `Last conformance:`/`Last stakeholder
- *  review:` holds neither `never` nor its documented format — both are the file failing to be
- *  the thing resume/conform scoping needs, so both are reported the same way. */
+/** Parse the mechanical bullets out of a state file's raw text. `ok: false` when the file is
+ *  missing one of the six REQUIRED bullet lines entirely, or when `Last conformance:`/`Last
+ *  stakeholder review:` holds neither `never` nor its documented format — both are the file
+ *  failing to be the thing resume/conform scoping needs, so both are reported the same way.
+ *  MIL-218: `Model version:`/`Certified:` are migration-tolerant — see module header — so a
+ *  missing bullet there is never added to `missing`; it parses as the `none`/`never` default
+ *  instead, same as if the bullet were present and held that literal value. */
 export declare function parseState(text: string): ParseStateResult;
 /** A state file is shared by every `.em` file in its directory (`.event-modeling.md` has no
  *  per-model namespacing), but its `Model file:` bullet names exactly ONE of them — so a
@@ -72,8 +90,46 @@ export declare function setPhase(text: string, phase: Phase, today: string, step
 /** `em state set-conformance`: rewrite `Last conformance:` in the EXACT format
  *  reference/conform.md's "keep the format exact" instruction specifies — the next conform
  *  run's scoping (reference/conform.md step 1) parses this line back out — plus `Last
- *  updated:`. */
-export declare function setConformance(text: string, revision: string, report: string, today: string): PatchResult;
+ *  updated:`. `partial` (MIL-214, `--partial`) appends a ` (partial)` suffix — the marker for a
+ *  conformance sweep whose findings weren't ALL ruled on before the marker was recorded
+ *  (`em state set-conformance`'s own refusal, cli.ts, is what `--partial` escapes) — parsed back
+ *  out by `LAST_CONFORMANCE_RE`/`ParsedState.lastConformance.partial` above, and surfaced by
+ *  every reader of `Last conformance:` (conform-scope.ts, status.ts, freshnessJson.ts). */
+export declare function setConformance(text: string, revision: string, report: string, today: string, partial?: boolean): PatchResult;
+/** MIL-219: rewrite `Em version:` (inserting it right after `Model file:` — the state file's
+ *  very first bullet, module header — the first time a migrated file is touched) plus `Last
+ *  updated:`. `version` is trusted to already be the em that's doing the writing — every caller
+ *  passes its own `PKG_VERSION`/installed version, never a value read back from somewhere else.
+ *  The one writer every OTHER `em state` mutator's output is piped through (cli.ts's
+ *  `writeStateUpdate`) — see module header — so this is rarely called directly outside that
+ *  wrapper and `em upgrade`'s own final commit (src/cli/upgrade.ts). */
+export declare function setEmVersion(text: string, version: string, today: string): PatchResult;
+/** `em model version bump` (MIL-218): rewrite `Model version:` (inserting it right after `Last
+ *  conformance:` the first time a migrated file is touched — see module header) plus `Last
+ *  updated:`. `version` is trusted to already be the freshly-bumped design version — the CLI
+ *  layer computes it via `modelVersion.ts`'s `runModelVersionBump` before calling this. */
+export declare function setModelVersion(text: string, version: number, today: string): PatchResult;
+/** `em state set-conformance` (non-`--partial`, MIL-218 ruling D): rewrite `Certified:` plus
+ *  `Last updated:`. Inserting it for the first time anchors on `Model version:` when that
+ *  bullet is already present (the ordinary case — a model version must exist before it can be
+ *  certified, `runCertifyModelVersion`'s own refusal), so the canonical bullet order (`Last
+ *  conformance`, `Model version`, `Certified`, `Last stakeholder review`) holds regardless of
+ *  which of the two migration inserts happens first; falls back to `Last conformance:` only
+ *  for the edge case of a state file that somehow carries `Certified:` without `Model
+ *  version:` yet. `version`/`revision`/`date` are trusted to already be the just-recorded
+ *  certification — the CLI layer computes them via `modelVersion.ts`'s
+ *  `runCertifyModelVersion` before calling this. */
+export declare function setCertified(text: string, version: number, revision: string, date: string, today: string): PatchResult;
+/** `em upgrade`'s `state-file` step (MIL-219): insert whichever of `Model version:`/`Certified:`
+ *  are missing from `text` ENTIRELY, each at its own template default (`none`/`never` — same
+ *  sentinels `parseState` already tolerates when a bullet is absent) — everything else, byte for
+ *  byte, untouched. Deliberately excludes `Em version:`: that bullet gets its own dedicated
+ *  final commit from `em upgrade --apply` (src/cli/upgrade.ts), regardless of whether this step
+ *  ran at all, so folding it in here would double-write it across two commits on a first-ever
+ *  upgrade. A no-op (both bullets already present) returns `text` unchanged — the caller decides
+ *  whether "nothing changed" means "nothing to commit," same idempotency contract every other
+ *  upgrade step holds. */
+export declare function ensureOptionalBullets(text: string, today: string): PatchResult;
 /** `em state set-review`: rewrite `Last stakeholder review:` (per templates/state.md's format)
  *  plus `Last updated:`. `date` is trusted to already look like `YYYY-MM-DD` — the CLI layer
  *  validates before calling this. */

package/dist/cli/stateFile.js

@@ -1,20 +1,44 @@
 // SPDX-License-Identifier: MIT
 // Reads and writes the MECHANICAL fields of a model's resumable state file
 // (`.event-modeling.md`, see .claude/skills/event-modeling/templates/state.md): `Model file:`,
-// `Current phase:`, `Current step:`, `Last updated:`, `Last conformance:`, `Last stakeholder
-// review:`. This is the ONE parser for those bullets — `em changelog` (src/emit/changelog.ts,
-// parseDecisionsLog) parses a disjoint section of the same file (the `## Decisions log`) and
-// stays a separate function for that reason, but shares STATE_FILE_NAME with this module rather
-// than hard-coding the filename a second time.
+// `Current phase:`, `Current step:`, `Last updated:`, `Last conformance:`, `Model version:`,
+// `Certified:`, `Last stakeholder review:`. This is the ONE parser for those bullets — `em
+// changelog` (src/emit/changelog.ts, parseDecisionsLog) parses a disjoint section of the same
+// file (the `## Decisions log`) and stays a separate function for that reason, but shares
+// STATE_FILE_NAME with this module rather than hard-coding the filename a second time.
 //
 // Deliberately narrow: judgment content (Session inputs, Participants, Decisions log, Usage
 // log, Open questions, Slice inventory) is agent-authored prose and out of scope here — this
-// module only ever touches the six mechanical bullets above, byte-for-byte leaving every other
+// module only ever touches the mechanical bullets above, byte-for-byte leaving every other
 // line alone.
 //
-// Pure text in, text/data out (parseState, setPhase, setConformance, setReview); `loadStateFile`
-// is the one bit of fs I/O, kept here so both `em state` (src/cli.ts) and any future caller
-// share the same file-location convention instead of re-deriving it.
+// MIL-218: `Model version:`/`Certified:` are a POINTER into the `model-versions/*.json`
+// manifests (modelVersion.ts) — history lives there, not here. Both are MIGRATION-TOLERANT,
+// unlike the other six bullets: a state file predating this feature parses as `modelVersion:
+// null`/`certified: null` (the `none`/`never` markers) rather than failing outright — the
+// existing "missing bullet is an error" behavior stays exactly as strict as before for every
+// OTHER bullet. `setModelVersion`/`setCertified` insert the bullet (right after `Last
+// conformance:`, the ruling's own placement) the first time a migrated file is touched, and
+// update it in place afterward — the only two writers in this module that ever ADD a line
+// rather than only ever replacing one that's already there.
+//
+// MIL-219: `Em version:` — which `em` last wrote this file — is a THIRD migration-tolerant
+// bullet, same "absent parses as the sentinel, never an error" treatment (its sentinel is the
+// literal `unknown`, not `none`/`never` — there's no meaningful zero value for "which em," just
+// "we don't know"). Anchored right after `Model file:` (the state file's very first bullet)
+// rather than beside the other two MIL-218 bullets — it's provenance about the TOOL, not about
+// the model's own version history, so it reads first. Written by `em scaffold` (the installed
+// em at scaffold time) and, per the MIL-219 ruling, by EVERY `em state` writer: cli.ts's shared
+// `writeStateUpdate` helper stamps it on every successful write, since each of those write paths
+// is already rewriting the file — see that function, not this module, for the actual stamping
+// (this module only exposes the pure `setEmVersion` patch, same split every other bullet here
+// holds). `em upgrade --apply` additionally writes it as its own dedicated final commit,
+// regardless of whether any of its five mechanical steps applied — see src/cli/upgrade.ts.
+//
+// Pure text in, text/data out (parseState, setPhase, setConformance, setModelVersion,
+// setCertified, setReview); `loadStateFile` is the one bit of fs I/O, kept here so both `em
+// state` (src/cli.ts) and any future caller share the same file-location convention instead of
+// re-deriving it.
 import { existsSync, readFileSync } from "node:fs";
 import { basename, join } from "node:path";
 /** Filename the skill scaffolds/reads at `<model-dir>/.event-modeling.md`. */
@@ -35,6 +59,14 @@ const LABELS = {
     lastConformance: "Last conformance",
     lastStakeholderReview: "Last stakeholder review",
 };
+/** MIL-218/MIL-219: the three migration-tolerant bullets — see module header. Kept in a separate
+ *  map from `LABELS` (rather than folded in) so `parseState`'s missing-bullet loop can treat them
+ *  differently: absent is `none`/`never`/`unknown`, never a parse error. */
+const OPTIONAL_LABELS = {
+    modelVersion: "Model version",
+    certified: "Certified",
+    emVersion: "Em version",
+};
 function escapeForRegex(s) {
     return s.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
 }
@@ -63,12 +95,23 @@ export function loadStateFile(dirOrFile) {
     }
     return { ok: true, path, text: readFileSync(path, "utf8") };
 }
-const LAST_CONFORMANCE_RE = /^(\d{4}-\d{2}-\d{2}) @ (.+?) — report: (.+)$/;
+// MIL-214: the `( (partial)`)?` tail is `--partial`'s marker — see `setConformance` below. The
+// report capture stays non-greedy (`.+?`) so the optional suffix, not the report path, absorbs
+// a trailing "(partial)" when present.
+const LAST_CONFORMANCE_RE = /^(\d{4}-\d{2}-\d{2}) @ (.+?) — report: (.+?)( \(partial\))?$/;
 const LEADING_DATE_RE = /^(\d{4}-\d{2}-\d{2})\b/;
-/** Parse the six mechanical bullets out of a state file's raw text. `ok: false` when the file
- *  is missing one of the bullet lines entirely, or when `Last conformance:`/`Last stakeholder
- *  review:` holds neither `never` nor its documented format — both are the file failing to be
- *  the thing resume/conform scoping needs, so both are reported the same way. */
+// MIL-218: `Model version:` holds a bare positive integer or the literal `none`.
+const MODEL_VERSION_RE = /^(\d+)$/;
+// MIL-218: `Certified:` holds `v<N> @ <revision> (YYYY-MM-DD)` or the literal `never` — same
+// `v<N>` prefix convention lineage refs use elsewhere in em (docs/dsl.md).
+const CERTIFIED_RE = /^v(\d+) @ (.+) \((\d{4}-\d{2}-\d{2})\)$/;
+/** Parse the mechanical bullets out of a state file's raw text. `ok: false` when the file is
+ *  missing one of the six REQUIRED bullet lines entirely, or when `Last conformance:`/`Last
+ *  stakeholder review:` holds neither `never` nor its documented format — both are the file
+ *  failing to be the thing resume/conform scoping needs, so both are reported the same way.
+ *  MIL-218: `Model version:`/`Certified:` are migration-tolerant — see module header — so a
+ *  missing bullet there is never added to `missing`; it parses as the `none`/`never` default
+ *  instead, same as if the bullet were present and held that literal value. */
 export function parseState(text) {
     const missing = [];
     const raw = {};
@@ -85,6 +128,11 @@ export function parseState(text) {
             message: `missing bullet line(s): ${missing.map((l) => `"- **${l}:**"`).join(", ")}`,
         };
     }
+    const optionalRaw = {};
+    for (const label of Object.values(OPTIONAL_LABELS)) {
+        const sentinel = label === OPTIONAL_LABELS.modelVersion ? "none" : label === OPTIONAL_LABELS.emVersion ? "unknown" : "never";
+        optionalRaw[label] = bulletValue(text, label) ?? sentinel;
+    }
     const modelPath = raw[LABELS.modelFile].replace(/^`|`$/g, "");
     const lastConformanceRaw = raw[LABELS.lastConformance];
     let lastConformance = null;
@@ -96,7 +144,7 @@ export function parseState(text) {
                 message: `"- **Last conformance:**" doesn't match "YYYY-MM-DD @ <revision> — report: <path>" or "never": ${lastConformanceRaw}`,
             };
         }
-        lastConformance = { date: m[1], revision: m[2], report: m[3] };
+        lastConformance = { date: m[1], revision: m[2], report: m[3], partial: m[4] !== undefined };
     }
     const lastReviewRaw = raw[LABELS.lastStakeholderReview];
     let lastReview = null;
@@ -110,6 +158,32 @@ export function parseState(text) {
         }
         lastReview = m[1];
     }
+    const modelVersionRaw = optionalRaw[OPTIONAL_LABELS.modelVersion];
+    let modelVersion = null;
+    if (modelVersionRaw !== "none") {
+        const m = MODEL_VERSION_RE.exec(modelVersionRaw);
+        if (!m) {
+            return {
+                ok: false,
+                message: `"- **Model version:**" doesn't match a bare integer or "none": ${modelVersionRaw}`,
+            };
+        }
+        modelVersion = Number(m[1]);
+    }
+    const certifiedRaw = optionalRaw[OPTIONAL_LABELS.certified];
+    let certified = null;
+    if (certifiedRaw !== "never") {
+        const m = CERTIFIED_RE.exec(certifiedRaw);
+        if (!m) {
+            return {
+                ok: false,
+                message: `"- **Certified:**" doesn't match "v<N> @ <revision> (YYYY-MM-DD)" or "never": ${certifiedRaw}`,
+            };
+        }
+        certified = { version: Number(m[1]), revision: m[2], date: m[3] };
+    }
+    const emVersionRaw = optionalRaw[OPTIONAL_LABELS.emVersion];
+    const emVersion = emVersionRaw === "unknown" ? null : emVersionRaw;
     return {
         ok: true,
         state: {
@@ -118,6 +192,9 @@ export function parseState(text) {
             step: raw[LABELS.currentStep],
             lastUpdated: raw[LABELS.lastUpdated],
             lastConformance,
+            modelVersion,
+            certified,
+            emVersion,
             lastReview,
         },
     };
@@ -159,6 +236,26 @@ function applyBulletUpdates(text, updates) {
     }
     return { ok: true, text: result };
 }
+/** MIL-218: update `label`'s bullet if present, else INSERT it right after `afterLabel`'s own
+ *  bullet line — the one-time migration act for a state file predating `Model version:`/
+ *  `Certified:` (module header). Matches the line-ending style already in use right after
+ *  `afterLabel`'s line (CRLF if that's what follows, else LF) so a migrated file doesn't end up
+ *  with mixed endings. `afterLabel` is trusted to already exist (`setModelVersion`/
+ *  `setCertified` only ever anchor on `Last conformance:`, one of the six REQUIRED bullets
+ *  `loadStateFile`'s caller has already confirmed is present via a successful `parseState`). */
+function insertOrUpdateBullet(text, label, value, afterLabel) {
+    const re = bulletLineRegex(label);
+    if (re.test(text)) {
+        return text.replace(re, () => `- **${label}:** ${value}`);
+    }
+    const afterRe = bulletLineRegex(afterLabel);
+    const m = afterRe.exec(text);
+    if (!m)
+        return text; // afterLabel missing — shouldn't happen on a real caller's already-parsed text
+    const insertPos = m.index + m[0].length;
+    const eol = text.slice(insertPos, insertPos + 2) === "\r\n" ? "\r\n" : "\n";
+    return `${text.slice(0, insertPos)}${eol}- **${label}:** ${value}${text.slice(insertPos)}`;
+}
 /** `em state set-phase`: rewrite `Current phase:` (and `Current step:` when `step` is given)
  *  plus `Last updated:`. `phase` is trusted to already be a validated `Phase` — the CLI layer
  *  checks against `PHASES` before calling this so the enum has exactly one home. */
@@ -172,14 +269,78 @@ export function setPhase(text, phase, today, step) {
 /** `em state set-conformance`: rewrite `Last conformance:` in the EXACT format
  *  reference/conform.md's "keep the format exact" instruction specifies — the next conform
  *  run's scoping (reference/conform.md step 1) parses this line back out — plus `Last
- *  updated:`. */
-export function setConformance(text, revision, report, today) {
-    const value = `${today} @ ${revision} — report: ${report}`;
+ *  updated:`. `partial` (MIL-214, `--partial`) appends a ` (partial)` suffix — the marker for a
+ *  conformance sweep whose findings weren't ALL ruled on before the marker was recorded
+ *  (`em state set-conformance`'s own refusal, cli.ts, is what `--partial` escapes) — parsed back
+ *  out by `LAST_CONFORMANCE_RE`/`ParsedState.lastConformance.partial` above, and surfaced by
+ *  every reader of `Last conformance:` (conform-scope.ts, status.ts, freshnessJson.ts). */
+export function setConformance(text, revision, report, today, partial = false) {
+    const value = `${today} @ ${revision} — report: ${report}${partial ? " (partial)" : ""}`;
     return applyBulletUpdates(text, [
         { label: LABELS.lastConformance, value },
         { label: LABELS.lastUpdated, value: today },
     ]);
 }
+/** MIL-219: rewrite `Em version:` (inserting it right after `Model file:` — the state file's
+ *  very first bullet, module header — the first time a migrated file is touched) plus `Last
+ *  updated:`. `version` is trusted to already be the em that's doing the writing — every caller
+ *  passes its own `PKG_VERSION`/installed version, never a value read back from somewhere else.
+ *  The one writer every OTHER `em state` mutator's output is piped through (cli.ts's
+ *  `writeStateUpdate`) — see module header — so this is rarely called directly outside that
+ *  wrapper and `em upgrade`'s own final commit (src/cli/upgrade.ts). */
+export function setEmVersion(text, version, today) {
+    const withVersion = insertOrUpdateBullet(text, OPTIONAL_LABELS.emVersion, version, LABELS.modelFile);
+    return applyBulletUpdates(withVersion, [{ label: LABELS.lastUpdated, value: today }]);
+}
+/** `em model version bump` (MIL-218): rewrite `Model version:` (inserting it right after `Last
+ *  conformance:` the first time a migrated file is touched — see module header) plus `Last
+ *  updated:`. `version` is trusted to already be the freshly-bumped design version — the CLI
+ *  layer computes it via `modelVersion.ts`'s `runModelVersionBump` before calling this. */
+export function setModelVersion(text, version, today) {
+    const withVersion = insertOrUpdateBullet(text, OPTIONAL_LABELS.modelVersion, String(version), LABELS.lastConformance);
+    return applyBulletUpdates(withVersion, [{ label: LABELS.lastUpdated, value: today }]);
+}
+/** `em state set-conformance` (non-`--partial`, MIL-218 ruling D): rewrite `Certified:` plus
+ *  `Last updated:`. Inserting it for the first time anchors on `Model version:` when that
+ *  bullet is already present (the ordinary case — a model version must exist before it can be
+ *  certified, `runCertifyModelVersion`'s own refusal), so the canonical bullet order (`Last
+ *  conformance`, `Model version`, `Certified`, `Last stakeholder review`) holds regardless of
+ *  which of the two migration inserts happens first; falls back to `Last conformance:` only
+ *  for the edge case of a state file that somehow carries `Certified:` without `Model
+ *  version:` yet. `version`/`revision`/`date` are trusted to already be the just-recorded
+ *  certification — the CLI layer computes them via `modelVersion.ts`'s
+ *  `runCertifyModelVersion` before calling this. */
+export function setCertified(text, version, revision, date, today) {
+    const value = `v${version} @ ${revision} (${date})`;
+    const anchor = bulletLineRegex(OPTIONAL_LABELS.modelVersion).test(text) ? OPTIONAL_LABELS.modelVersion : LABELS.lastConformance;
+    const withCertified = insertOrUpdateBullet(text, OPTIONAL_LABELS.certified, value, anchor);
+    return applyBulletUpdates(withCertified, [{ label: LABELS.lastUpdated, value: today }]);
+}
+/** `em upgrade`'s `state-file` step (MIL-219): insert whichever of `Model version:`/`Certified:`
+ *  are missing from `text` ENTIRELY, each at its own template default (`none`/`never` — same
+ *  sentinels `parseState` already tolerates when a bullet is absent) — everything else, byte for
+ *  byte, untouched. Deliberately excludes `Em version:`: that bullet gets its own dedicated
+ *  final commit from `em upgrade --apply` (src/cli/upgrade.ts), regardless of whether this step
+ *  ran at all, so folding it in here would double-write it across two commits on a first-ever
+ *  upgrade. A no-op (both bullets already present) returns `text` unchanged — the caller decides
+ *  whether "nothing changed" means "nothing to commit," same idempotency contract every other
+ *  upgrade step holds. */
+export function ensureOptionalBullets(text, today) {
+    let result = text;
+    let changed = false;
+    if (!bulletLineRegex(OPTIONAL_LABELS.modelVersion).test(result)) {
+        result = insertOrUpdateBullet(result, OPTIONAL_LABELS.modelVersion, "none", LABELS.lastConformance);
+        changed = true;
+    }
+    if (!bulletLineRegex(OPTIONAL_LABELS.certified).test(result)) {
+        const anchor = bulletLineRegex(OPTIONAL_LABELS.modelVersion).test(result) ? OPTIONAL_LABELS.modelVersion : LABELS.lastConformance;
+        result = insertOrUpdateBullet(result, OPTIONAL_LABELS.certified, "never", anchor);
+        changed = true;
+    }
+    if (!changed)
+        return { ok: true, text };
+    return applyBulletUpdates(result, [{ label: LABELS.lastUpdated, value: today }]);
+}
 /** `em state set-review`: rewrite `Last stakeholder review:` (per templates/state.md's format)
  *  plus `Last updated:`. `date` is trusted to already look like `YYYY-MM-DD` — the CLI layer
  *  validates before calling this. */

package/dist/cli/stateFile.js.map

@@ -1 +1 @@
-{"version":3,"file":"stateFile.js","sourceRoot":"","sources":["../../src/cli/stateFile.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,2EAA2E;AAC3E,+FAA+F;AAC/F,6FAA6F;AAC7F,8FAA8F;AAC9F,6FAA6F;AAC7F,gGAAgG;AAChG,+CAA+C;AAC/C,EAAE;AACF,4FAA4F;AAC5F,6FAA6F;AAC7F,+FAA+F;AAC/F,cAAc;AACd,EAAE;AACF,iGAAiG;AACjG,4FAA4F;AAC5F,qEAAqE;AAErE,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAE3C,8EAA8E;AAC9E,MAAM,CAAC,MAAM,eAAe,GAAG,oBAAoB,CAAC;AAEpD;;;2FAG2F;AAC3F,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,UAAU,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,CAAU,CAAC;AAGvH,MAAM,UAAU,OAAO,CAAC,KAAa;IACnC,OAAQ,MAA4B,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AACvD,CAAC;AAED,MAAM,MAAM,GAAG;IACb,SAAS,EAAE,YAAY;IACvB,YAAY,EAAE,eAAe;IAC7B,WAAW,EAAE,cAAc;IAC3B,WAAW,EAAE,cAAc;IAC3B,eAAe,EAAE,kBAAkB;IACnC,qBAAqB,EAAE,yBAAyB;CACxC,CAAC;AAiBX,SAAS,cAAc,CAAC,CAAS;IAC/B,OAAO,CAAC,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,eAAe,CAAC,KAAa;IACpC,4FAA4F;IAC5F,oDAAoD;IACpD,OAAO,IAAI,MAAM,CAAC,eAAe,cAAc,CAAC,KAAK,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC9C,MAAM,EAAE,GAAG,IAAI,MAAM,CAAC,eAAe,cAAc,CAAC,KAAK,CAAC,kBAAkB,EAAE,GAAG,CAAC,CAAC;IACnF,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAChC,CAAC;AAED;;;oFAGoF;AACpF,MAAM,UAAU,oBAAoB,CAAC,SAAiB;IACpD,OAAO,QAAQ,CAAC,SAAS,CAAC,KAAK,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,eAAe,CAAC,CAAC;AAChG,CAAC;AAID,gEAAgE;AAChE,MAAM,UAAU,aAAa,CAAC,SAAiB;IAC7C,MAAM,IAAI,GAAG,oBAAoB,CAAC,SAAS,CAAC,CAAC;IAC7C,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACtB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,8BAA8B,IAAI,EAAE,EAAE,CAAC;IACtE,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;AAC9D,CAAC;AAED,MAAM,mBAAmB,GAAG,8CAA8C,CAAC;AAC3E,MAAM,eAAe,GAAG,wBAAwB,CAAC;AAEjD;;;iFAGiF;AACjF,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1C,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACnC,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;;YAC/B,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACtB,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EAAE,2BAA2B,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;SACrF,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IAE9D,MAAM,kBAAkB,GAAG,GAAG,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;IACvD,IAAI,eAAe,GAAmC,IAAI,CAAC;IAC3D,IAAI,kBAAkB,KAAK,OAAO,EAAE,CAAC;QACnC,MAAM,CAAC,GAAG,mBAAmB,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QACvD,IAAI,CAAC,CAAC,EAAE,CAAC;YACP,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,OAAO,EAAE,kGAAkG,kBAAkB,EAAE;aAChI,CAAC;QACJ,CAAC;QACD,eAAe,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACjE,CAAC;IAED,MAAM,aAAa,GAAG,GAAG,CAAC,MAAM,CAAC,qBAAqB,CAAC,CAAC;IACxD,IAAI,UAAU,GAAkB,IAAI,CAAC;IACrC,IAAI,aAAa,KAAK,OAAO,EAAE,CAAC;QAC9B,MAAM,CAAC,GAAG,eAAe,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC9C,IAAI,CAAC,CAAC,EAAE,CAAC;YACP,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,OAAO,EAAE,gFAAgF,aAAa,EAAE;aACzG,CAAC;QACJ,CAAC;QACD,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;IAED,OAAO;QACL,EAAE,EAAE,IAAI;QACR,KAAK,EAAE;YACL,SAAS;YACT,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC;YAC/B,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC;YAC7B,WAAW,EAAE,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC;YACpC,eAAe;YACf,UAAU;SACX;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;;iGAQiG;AACjG,MAAM,UAAU,iBAAiB,CAAC,SAAiB,EAAE,IAAY;IAC/D,IAAI,CAAC,SAAS,IAAI,SAAS,KAAK,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5D,OAAO,yBAAyB,SAAS,WAAW,QAAQ,CAAC,IAAI,CAAC,4CAA4C,CAAC;AACjH,CAAC;AAED;;;uBAGuB;AACvB,SAAS,kBAAkB,CAAC,IAAY,EAAE,OAAgD;IACxF,IAAI,MAAM,GAAG,IAAI,CAAC;IAClB,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,OAAO,EAAE,CAAC;QACvC,MAAM,EAAE,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;QAClC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACrB,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACpB,SAAS;QACX,CAAC;QACD,0FAA0F;QAC1F,yFAAyF;QACzF,8EAA8E;QAC9E,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,OAAO,KAAK,OAAO,KAAK,EAAE,CAAC,CAAC;IAChE,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,2BAA2B,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;IAC7G,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AACpC,CAAC;AAED;;oFAEoF;AACpF,MAAM,UAAU,QAAQ,CAAC,IAAY,EAAE,KAAY,EAAE,KAAa,EAAE,IAAa;IAC/E,MAAM,OAAO,GAA4C,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,YAAY,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;IACxG,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACjF,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;IAC1D,OAAO,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAC3C,CAAC;AAED;;;iBAGiB;AACjB,MAAM,UAAU,cAAc,CAAC,IAAY,EAAE,QAAgB,EAAE,MAAc,EAAE,KAAa;IAC1F,MAAM,KAAK,GAAG,GAAG,KAAK,MAAM,QAAQ,cAAc,MAAM,EAAE,CAAC;IAC3D,OAAO,kBAAkB,CAAC,IAAI,EAAE;QAC9B,EAAE,KAAK,EAAE,MAAM,CAAC,eAAe,EAAE,KAAK,EAAE;QACxC,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE;KAC5C,CAAC,CAAC;AACL,CAAC;AAED;;qCAEqC;AACrC,MAAM,UAAU,SAAS,CAAC,IAAY,EAAE,IAAY,EAAE,KAAa;IACjE,MAAM,KAAK,GAAG,GAAG,IAAI,gCAAgC,CAAC;IACtD,OAAO,kBAAkB,CAAC,IAAI,EAAE;QAC9B,EAAE,KAAK,EAAE,MAAM,CAAC,qBAAqB,EAAE,KAAK,EAAE;QAC9C,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE;KAC5C,CAAC,CAAC;AACL,CAAC;AAED,MAAM,OAAO,GAAG,2BAA2B,CAAC;AAE5C;;+BAE+B;AAC/B,MAAM,UAAU,iBAAiB,CAAC,CAAS;IACzC,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1B,IAAI,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACrB,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3B,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzB,OAAO,KAAK,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC,IAAI,GAAG,IAAI,EAAE,CAAC;AAC5D,CAAC"}
+{"version":3,"file":"stateFile.js","sourceRoot":"","sources":["../../src/cli/stateFile.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,2EAA2E;AAC3E,+FAA+F;AAC/F,6FAA6F;AAC7F,2FAA2F;AAC3F,8FAA8F;AAC9F,0FAA0F;AAC1F,uFAAuF;AACvF,EAAE;AACF,4FAA4F;AAC5F,6FAA6F;AAC7F,2FAA2F;AAC3F,cAAc;AACd,EAAE;AACF,wFAAwF;AACxF,4FAA4F;AAC5F,6FAA6F;AAC7F,0FAA0F;AAC1F,6FAA6F;AAC7F,sFAAsF;AACtF,4FAA4F;AAC5F,0FAA0F;AAC1F,4DAA4D;AAC5D,EAAE;AACF,2FAA2F;AAC3F,8FAA8F;AAC9F,gGAAgG;AAChG,4FAA4F;AAC5F,+FAA+F;AAC/F,8FAA8F;AAC9F,gGAAgG;AAChG,iGAAiG;AACjG,8FAA8F;AAC9F,8FAA8F;AAC9F,yFAAyF;AACzF,2FAA2F;AAC3F,EAAE;AACF,sFAAsF;AACtF,4FAA4F;AAC5F,+FAA+F;AAC/F,kBAAkB;AAElB,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAE3C,8EAA8E;AAC9E,MAAM,CAAC,MAAM,eAAe,GAAG,oBAAoB,CAAC;AAEpD;;;2FAG2F;AAC3F,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,UAAU,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,CAAU,CAAC;AAGvH,MAAM,UAAU,OAAO,CAAC,KAAa;IACnC,OAAQ,MAA4B,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AACvD,CAAC;AAED,MAAM,MAAM,GAAG;IACb,SAAS,EAAE,YAAY;IACvB,YAAY,EAAE,eAAe;IAC7B,WAAW,EAAE,cAAc;IAC3B,WAAW,EAAE,cAAc;IAC3B,eAAe,EAAE,kBAAkB;IACnC,qBAAqB,EAAE,yBAAyB;CACxC,CAAC;AAEX;;4EAE4E;AAC5E,MAAM,eAAe,GAAG;IACtB,YAAY,EAAE,eAAe;IAC7B,SAAS,EAAE,WAAW;IACtB,SAAS,EAAE,YAAY;CACf,CAAC;AA2BX,SAAS,cAAc,CAAC,CAAS;IAC/B,OAAO,CAAC,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,eAAe,CAAC,KAAa;IACpC,4FAA4F;IAC5F,oDAAoD;IACpD,OAAO,IAAI,MAAM,CAAC,eAAe,cAAc,CAAC,KAAK,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC9C,MAAM,EAAE,GAAG,IAAI,MAAM,CAAC,eAAe,cAAc,CAAC,KAAK,CAAC,kBAAkB,EAAE,GAAG,CAAC,CAAC;IACnF,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAChC,CAAC;AAED;;;oFAGoF;AACpF,MAAM,UAAU,oBAAoB,CAAC,SAAiB;IACpD,OAAO,QAAQ,CAAC,SAAS,CAAC,KAAK,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,eAAe,CAAC,CAAC;AAChG,CAAC;AAID,gEAAgE;AAChE,MAAM,UAAU,aAAa,CAAC,SAAiB;IAC7C,MAAM,IAAI,GAAG,oBAAoB,CAAC,SAAS,CAAC,CAAC;IAC7C,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACtB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,8BAA8B,IAAI,EAAE,EAAE,CAAC;IACtE,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;AAC9D,CAAC;AAED,+FAA+F;AAC/F,+FAA+F;AAC/F,uCAAuC;AACvC,MAAM,mBAAmB,GAAG,8DAA8D,CAAC;AAC3F,MAAM,eAAe,GAAG,wBAAwB,CAAC;AAEjD,iFAAiF;AACjF,MAAM,gBAAgB,GAAG,SAAS,CAAC;AACnC,6FAA6F;AAC7F,2EAA2E;AAC3E,MAAM,YAAY,GAAG,yCAAyC,CAAC;AAE/D;;;;;;+EAM+E;AAC/E,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1C,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACnC,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;;YAC/B,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACtB,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EAAE,2BAA2B,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;SACrF,CAAC;IACJ,CAAC;IACD,MAAM,WAAW,GAA2B,EAAE,CAAC;IAC/C,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,EAAE,CAAC;QACnD,MAAM,QAAQ,GAAG,KAAK,KAAK,eAAe,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,KAAK,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC;QAC7H,WAAW,CAAC,KAAK,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,QAAQ,CAAC;IAC5D,CAAC;IAED,MAAM,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IAE9D,MAAM,kBAAkB,GAAG,GAAG,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;IACvD,IAAI,eAAe,GAAmC,IAAI,CAAC;IAC3D,IAAI,kBAAkB,KAAK,OAAO,EAAE,CAAC;QACnC,MAAM,CAAC,GAAG,mBAAmB,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QACvD,IAAI,CAAC,CAAC,EAAE,CAAC;YACP,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,OAAO,EAAE,kGAAkG,kBAAkB,EAAE;aAChI,CAAC;QACJ,CAAC;QACD,eAAe,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;IAC9F,CAAC;IAED,MAAM,aAAa,GAAG,GAAG,CAAC,MAAM,CAAC,qBAAqB,CAAC,CAAC;IACxD,IAAI,UAAU,GAAkB,IAAI,CAAC;IACrC,IAAI,aAAa,KAAK,OAAO,EAAE,CAAC;QAC9B,MAAM,CAAC,GAAG,eAAe,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC9C,IAAI,CAAC,CAAC,EAAE,CAAC;YACP,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,OAAO,EAAE,gFAAgF,aAAa,EAAE;aACzG,CAAC;QACJ,CAAC;QACD,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC;IAED,MAAM,eAAe,GAAG,WAAW,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC;IAClE,IAAI,YAAY,GAAkB,IAAI,CAAC;IACvC,IAAI,eAAe,KAAK,MAAM,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAG,gBAAgB,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QACjD,IAAI,CAAC,CAAC,EAAE,CAAC;YACP,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,OAAO,EAAE,kEAAkE,eAAe,EAAE;aAC7F,CAAC;QACJ,CAAC;QACD,YAAY,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC;IAED,MAAM,YAAY,GAAG,WAAW,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC;IAC5D,IAAI,SAAS,GAA6B,IAAI,CAAC;IAC/C,IAAI,YAAY,KAAK,OAAO,EAAE,CAAC;QAC7B,MAAM,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC1C,IAAI,CAAC,CAAC,EAAE,CAAC;YACP,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,OAAO,EAAE,iFAAiF,YAAY,EAAE;aACzG,CAAC;QACJ,CAAC;QACD,SAAS,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACpE,CAAC;IAED,MAAM,YAAY,GAAG,WAAW,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC;IAC5D,MAAM,SAAS,GAAG,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC;IAEnE,OAAO;QACL,EAAE,EAAE,IAAI;QACR,KAAK,EAAE;YACL,SAAS;YACT,KAAK,EAAE,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC;YAC/B,IAAI,EAAE,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC;YAC7B,WAAW,EAAE,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC;YACpC,eAAe;YACf,YAAY;YACZ,SAAS;YACT,SAAS;YACT,UAAU;SACX;KACF,CAAC;AACJ,CAAC;AAED;;;;;;;;iGAQiG;AACjG,MAAM,UAAU,iBAAiB,CAAC,SAAiB,EAAE,IAAY;IAC/D,IAAI,CAAC,SAAS,IAAI,SAAS,KAAK,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5D,OAAO,yBAAyB,SAAS,WAAW,QAAQ,CAAC,IAAI,CAAC,4CAA4C,CAAC;AACjH,CAAC;AAED;;;uBAGuB;AACvB,SAAS,kBAAkB,CAAC,IAAY,EAAE,OAAgD;IACxF,IAAI,MAAM,GAAG,IAAI,CAAC;IAClB,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,OAAO,EAAE,CAAC;QACvC,MAAM,EAAE,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;QAClC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACrB,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACpB,SAAS;QACX,CAAC;QACD,0FAA0F;QAC1F,yFAAyF;QACzF,8EAA8E;QAC9E,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,OAAO,KAAK,OAAO,KAAK,EAAE,CAAC,CAAC;IAChE,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,2BAA2B,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;IAC7G,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AACpC,CAAC;AAED;;;;;;gGAMgG;AAChG,SAAS,oBAAoB,CAAC,IAAY,EAAE,KAAa,EAAE,KAAa,EAAE,UAAkB;IAC1F,MAAM,EAAE,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;IAClC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAClB,OAAO,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,OAAO,KAAK,OAAO,KAAK,EAAE,CAAC,CAAC;IAC5D,CAAC;IACD,MAAM,OAAO,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;IAC5C,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,+EAA+E;IACpG,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IACxC,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,SAAS,GAAG,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5E,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,GAAG,OAAO,KAAK,OAAO,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;AAC7F,CAAC;AAED;;oFAEoF;AACpF,MAAM,UAAU,QAAQ,CAAC,IAAY,EAAE,KAAY,EAAE,KAAa,EAAE,IAAa;IAC/E,MAAM,OAAO,GAA4C,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,YAAY,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;IACxG,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACjF,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;IAC1D,OAAO,kBAAkB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAC3C,CAAC;AAED;;;;;;;2FAO2F;AAC3F,MAAM,UAAU,cAAc,CAAC,IAAY,EAAE,QAAgB,EAAE,MAAc,EAAE,KAAa,EAAE,OAAO,GAAG,KAAK;IAC3G,MAAM,KAAK,GAAG,GAAG,KAAK,MAAM,QAAQ,cAAc,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IACzF,OAAO,kBAAkB,CAAC,IAAI,EAAE;QAC9B,EAAE,KAAK,EAAE,MAAM,CAAC,eAAe,EAAE,KAAK,EAAE;QACxC,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE;KAC5C,CAAC,CAAC;AACL,CAAC;AAED;;;;;;wEAMwE;AACxE,MAAM,UAAU,YAAY,CAAC,IAAY,EAAE,OAAe,EAAE,KAAa;IACvE,MAAM,WAAW,GAAG,oBAAoB,CAAC,IAAI,EAAE,eAAe,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC;IACrG,OAAO,kBAAkB,CAAC,WAAW,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;AACxF,CAAC;AAED;;;2FAG2F;AAC3F,MAAM,UAAU,eAAe,CAAC,IAAY,EAAE,OAAe,EAAE,KAAa;IAC1E,MAAM,WAAW,GAAG,oBAAoB,CAAC,IAAI,EAAE,eAAe,CAAC,YAAY,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,eAAe,CAAC,CAAC;IACtH,OAAO,kBAAkB,CAAC,WAAW,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;AACxF,CAAC;AAED;;;;;;;;;oDASoD;AACpD,MAAM,UAAU,YAAY,CAAC,IAAY,EAAE,OAAe,EAAE,QAAgB,EAAE,IAAY,EAAE,KAAa;IACvG,MAAM,KAAK,GAAG,IAAI,OAAO,MAAM,QAAQ,KAAK,IAAI,GAAG,CAAC;IACpD,MAAM,MAAM,GAAG,eAAe,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,eAAe,CAAC;IAChI,MAAM,aAAa,GAAG,oBAAoB,CAAC,IAAI,EAAE,eAAe,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IAC3F,OAAO,kBAAkB,CAAC,aAAa,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;AAC1F,CAAC;AAED;;;;;;;;0BAQ0B;AAC1B,MAAM,UAAU,qBAAqB,CAAC,IAAY,EAAE,KAAa;IAC/D,IAAI,MAAM,GAAG,IAAI,CAAC;IAClB,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,CAAC,eAAe,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAChE,MAAM,GAAG,oBAAoB,CAAC,MAAM,EAAE,eAAe,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,CAAC,eAAe,CAAC,CAAC;QACpG,OAAO,GAAG,IAAI,CAAC;IACjB,CAAC;IACD,IAAI,CAAC,eAAe,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7D,MAAM,MAAM,GAAG,eAAe,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,eAAe,CAAC;QAClI,MAAM,GAAG,oBAAoB,CAAC,MAAM,EAAE,eAAe,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QAClF,OAAO,GAAG,IAAI,CAAC;IACjB,CAAC;IACD,IAAI,CAAC,OAAO;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACxC,OAAO,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;AACnF,CAAC;AAED;;qCAEqC;AACrC,MAAM,UAAU,SAAS,CAAC,IAAY,EAAE,IAAY,EAAE,KAAa;IACjE,MAAM,KAAK,GAAG,GAAG,IAAI,gCAAgC,CAAC;IACtD,OAAO,kBAAkB,CAAC,IAAI,EAAE;QAC9B,EAAE,KAAK,EAAE,MAAM,CAAC,qBAAqB,EAAE,KAAK,EAAE;QAC9C,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE;KAC5C,CAAC,CAAC;AACL,CAAC;AAED,MAAM,OAAO,GAAG,2BAA2B,CAAC;AAE5C;;+BAE+B;AAC/B,MAAM,UAAU,iBAAiB,CAAC,CAAS;IACzC,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1B,IAAI,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC;IACrB,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3B,MAAM,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzB,OAAO,KAAK,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC,IAAI,GAAG,IAAI,EAAE,CAAC;AAC5D,CAAC"}

package/dist/cli/status.d.ts

@@ -6,6 +6,7 @@ import { Diagnostic } from "../model/validate.js";
 import { CoverageReport } from "./coverage.js";
 import { GitRunner } from "./diff-inputs.js";
 import { SliceDocFacts } from "./conformScope.js";
+import { ModelVersionSliceChange } from "./modelVersion.js";
 /** The 4 canonical slice-doc lifecycle statuses (docs/slice-doc-schema.md) — the same enum
  *  `em catalog`'s header coloring and `em render`'s status legend already recognize. */
 export declare const CANONICAL_STATUSES: readonly ["draft", "reviewed", "ready-to-implement", "implemented"];
@@ -81,7 +82,16 @@ export interface ConformanceEntry {
     lastConformance: {
         date: string;
         revision: string;
+        partial: boolean;
     } | null;
+    /** MIL-214: unruled (`locus: null`) conformance findings in scope (every `implemented` slice;
+     *  a `slice: null` finding counts as in scope for all of them) from the findings JSON beside
+     *  `lastConformance`'s report — the same file `em state set-conformance`'s refusal/`--partial`
+     *  gate reads (cli/findings.ts's `unruledFindingsInScope`). Null when there's no
+     *  `lastConformance` to look beside, or no findings JSON exists there (a report written before
+     *  MIL-214 — the documented migration path, same non-fatal "nothing to report" `null` every
+     *  other opt-in count in this document uses). */
+    unruledFindings: number | null;
     /** The repo `commitsBehindHead` was computed in — `--repo` when given, else the model's own
      *  directory (works out of the box for a single-repo project; conform-scope's `--repo`
      *  convention still applies for a model whose implementation lives in a different repo). */
@@ -190,6 +200,50 @@ export declare function resolveSlicePRsBehindHead(repo: string, revision: string
  * rather than silently misattributed.
  */
 export declare function resolveConformanceEntry(file: string, repoOverride: string | undefined, sliceDocFacts: SliceDocFacts[], runGit?: GitRunner): ConformanceEntry;
+/** One model's design/certified version facts (`em model version bump`/`em state
+ *  set-conformance`'s certify step, modelVersion.ts) — the state-of-the-system rollup's own
+ *  window onto the same `model-versions/*.json` manifests `em model version show` reads
+ *  directly. `certified` names the most recently CERTIFIED design version, which need not be
+ *  `design` itself (a later bump can outrun certification — `findCertifiedVersion`'s own
+ *  "newest certified wins, not necessarily newest bumped" contract). `drifted`/`changes` are
+ *  `modelVersionDrift`'s own predicate, verbatim — the same one `em validate`'s
+ *  `model-version-stale` warning and the `em slice ratify`/`reratify` advisory read, never
+ *  re-derived a third way. */
+export interface ModelVersionStatusEntry {
+    file: string;
+    design: number | null;
+    certified: {
+        version: number;
+        at: string;
+        on: string;
+    } | null;
+    drifted: boolean;
+    changes: {
+        hashChanged: boolean;
+        slices: ModelVersionSliceChange[];
+    };
+}
+/** Resolve one input model's `ModelVersionStatusEntry`. `source` is that model's own `.em` text
+ *  (for the modelHash comparison inside `modelVersionDrift`) — the caller's `compileFile(file)`
+ *  result already carries it, never re-read here. */
+export declare function resolveModelVersionStatusEntry(file: string, model: NormalizedModel, refs: RefsResult, source: string): ModelVersionStatusEntry;
+/** One model directory's recorded-vs-installed `em` fact — the state file's `Em version:`
+ *  bullet against the em actually running `em status`. `recorded: null` covers both "no state
+ *  file bullet yet" (a repo predating MIL-219) and the file's own `unknown` sentinel — same
+ *  "null means no evidence" reading `stateFile.ts`'s `ParsedState.emVersion` already holds.
+ *  `behind` is `util/semver.ts`'s `isOlder` verbatim — `false` (never a crash) when `recorded`
+ *  is null or unparseable, since "can't prove it's behind" reads the same as "not behind" for a
+ *  warn-only advisory (`em upgrade` is the actual authority on whether a repo needs work). */
+export interface EmVersionStatusEntry {
+    file: string;
+    recorded: string | null;
+    installed: string;
+    behind: boolean;
+}
+/** Resolve one input model's `EmVersionStatusEntry` — `null` when its state file is missing or
+ *  fails to parse at all (same non-fatal "nothing to report" treatment `resolveConformanceEntry`
+ *  gives a missing state file, rather than surfacing a second copy of that error here). */
+export declare function resolveEmVersionStatusEntry(file: string, installedVersion: string): EmVersionStatusEntry | null;
 export interface StatusSliceCounts {
     total: number;
     byStatus: {
@@ -211,6 +265,11 @@ export interface StatusDriftCounts {
     neverImplemented: number;
     unpropagatedDelta: number;
     implementedWithoutLink: number;
+    /** MIL-214: status: implemented, implementedIn set, but `conformedVersion` is absent or
+     *  doesn't match the current `version` — nobody has certified THIS version yet. Expected
+     *  post-ship default (`em validate` never warns on it), same treatment `unpropagatedDelta`
+     *  gets — see catalog/driftSignal.ts's `uncertified`. */
+    uncertified: number;
     /** Slices with no doc bound at all (or a binding naming a missing file) — driftSignal is null
      *  because there's nothing to classify. Distinct from `frontmatterInvalid` below: THIS bucket
      *  is `resolveSliceDocJoin`'s `found: false`, in either dimension. */
@@ -266,6 +325,15 @@ export interface StatusReport {
     invariants: StatusInvariantTotals | null;
     issues: StatusIssueTotals;
     conformance: ConformanceEntry[];
+    /** MIL-218: one entry per input file — design/certified version, and whether the vector has
+     *  drifted since the design version was bumped. Named `modelVersion` (singular), valued as an
+     *  array — same per-file breakdown shape `conformance`/`owners` already hold. */
+    modelVersion: ModelVersionStatusEntry[];
+    /** MIL-219: one entry per input file whose state file resolved — recorded `Em version:` vs.
+     *  the em actually running, and whether it's behind. Same per-file array shape `modelVersion`
+     *  holds (not a single flat object) — a repo's several models can share directories with
+     *  DIFFERENT state files, so "one recorded fact" isn't well-defined at the report level. */
+    emVersion: EmVersionStatusEntry[];
     /** Doc-join diagnostics (`binding-missing-file`/`frontmatter-invalid` warnings) collected
      *  while resolving every slice's doc, across every input file — carried here rather than
      *  discarded, so a state-of-the-system report doesn't hide a broken doc reference just
@@ -278,7 +346,7 @@ export interface StatusReport {
 /** Aggregate everything `em status` reports into one `StatusReport` — pure, no I/O. Callers
  *  (the CLI action, the MCP tool) resolve every input first (compile each model, join every
  *  slice's doc, scan the test tree once, resolve conformance) and hand the results here. */
-export declare function buildStatusReport(files: string[], sliceFacts: SliceStatusFact[], openIssuesCount: number, invariants: StatusInvariantTotals | null, conformance: ConformanceEntry[], diagnostics: StatusDiagnostic[]): StatusReport;
+export declare function buildStatusReport(files: string[], sliceFacts: SliceStatusFact[], openIssuesCount: number, invariants: StatusInvariantTotals | null, conformance: ConformanceEntry[], diagnostics: StatusDiagnostic[], modelVersion?: ModelVersionStatusEntry[], emVersion?: EmVersionStatusEntry[]): StatusReport;
 /** Sum per-model `CoverageReport`s (see `./coverage.ts`) into one `StatusInvariantTotals` —
  *  `em status` doesn't need the per-slice/per-ID detail `em coverage --json` carries, just the
  *  totals, across however many models `--tests <dir>` was scanned against. */
@@ -290,6 +358,16 @@ export declare function formatConformancePart(entry: ConformanceEntry): string;
  *  the path the entry already resolved (relative to that model's own directory). Shared by the
  *  text and markdown reports so the two can't drift. Existence only; never a content judgment. */
 export declare function formatConstitutionPart(entry: ConformanceEntry): string;
+/** MIL-218: the per-model model-version clause — design version, most recently certified
+ *  version (if any), and whether the vector has drifted since the design version was bumped.
+ *  `"never bumped"` when `entry.design` is `null` — the routine state for a model that hasn't
+ *  opted into `em model version bump` yet. */
+export declare function formatModelVersionPart(entry: ModelVersionStatusEntry): string;
+/** MIL-219: `"recorded 1.10.0, installed 1.13.0 — behind, run \`em upgrade\`"`, or `"recorded
+ *  unknown, installed 1.13.0"` when the state file predates the `Em version:` bullet — never
+ *  claims "behind" without a recorded value to compare (same conservative reading
+ *  `resolveEmVersionStatusEntry`'s own `isOlder` call holds). */
+export declare function formatEmVersionPart(entry: EmVersionStatusEntry): string;
 /** The one-line rollup: `"8/8 implemented · 20/20 invariants covered · 0 open issues · last
  *  conformed <rev>, N commits behind HEAD"` (MIL-163's acceptance line). For multiple input
  *  models, the conformance clause reports the FIRST file's entry — a single-file invocation is