@milehimikey/em 1.12.0 → 1.13.0

package/dist/cli/metrics.js

@@ -0,0 +1,331 @@
+// SPDX-License-Identifier: MIT
+// `em metrics --from <rev>` (MIL-170): the four pilot metrics named in advance by the register —
+// conform-cycle cadence + finding counts, ratification turnaround, status-vs-reality
+// disagreement, and whether the readiness gate changes what gets built — computed from git
+// history alone. Three of the four are deterministically computable; the fourth
+// (`readinessGateEffect`) is not and is reported as such rather than approximated by a proxy.
+//
+// Same seams every other historical/git-facing module in this file reuses rather than
+// re-deriving: the injectable `GitRunner`/`realGit` convention (diff-inputs.ts), `resolveRevision`/
+// `resolveDocAtRevision`/`listSliceKeysAtRevision` for reading a slice doc or key list at a
+// revision, `classifyImplementationDrift` (catalog/driftSignal.ts) for the disagreement signal,
+// `parseState`/`STATE_FILE_NAME` (stateFile.ts) for the `Last conformance:` marker, and
+// `findingsPathForReport`/`validateFindingsShape` (findings.ts) for the findings record. No
+// second git wrapper, no second doc parser.
+//
+// Deterministic by construction: every date comes from git's own `--date=format:%Y-%m-%d`
+// (which renders using the TIMEZONE RECORDED WITH THE COMMIT, not the machine running `em` —
+// so it's identical on any machine, unlike `--date=format-local`), every list is either
+// naturally ordered by `--reverse` (oldest first) or explicitly sorted before being returned,
+// and nothing reads "now" — a range `--from <rev> --to <rev>` (or the working `HEAD` default)
+// produces byte-identical output for the same repository state, run twice.
+import { realpathSync } from "node:fs";
+import { dirname, join, relative, resolve } from "node:path";
+import { realGit, resolveRevision, resolveDocAtRevision, listSliceKeysAtRevision } from "./diff-inputs.js";
+import { classifyImplementationDrift } from "../catalog/driftSignal.js";
+import { parseState, STATE_FILE_NAME } from "./stateFile.js";
+import { findingsPathForReport, validateFindingsShape } from "./findings.js";
+// git's own hex-byte format escapes — literal 4/4-character strings handed to `--format`, which
+// git substitutes with the corresponding raw byte IN THE OUTPUT. Same technique
+// `ledgerCheck.ts`'s `FORMAT_HASH_SEP`/`FORMAT_RECORD_END` use, one separator further: `%x02`
+// (STX) delimits one commit's whole record (header line + following name-only/name-status
+// lines) so a multi-line-per-commit `git log` call can be split back into records, `%x00` (NUL)
+// delimits the two fields on a record's header line.
+const FORMAT_RECORD_SEP = "%x02";
+const FORMAT_FIELD_SEP = "%x00";
+const RECORD_SEP = "\x02";
+const FIELD_SEP = "\x00";
+function repoRootOf(repo, runGit) {
+    const toplevel = runGit(["-C", repo, "rev-parse", "--show-toplevel"]);
+    return toplevel.status === 0 ? toplevel.stdout.trim() : null;
+}
+function daysBetween(fromDate, toDate) {
+    const a = Date.parse(`${fromDate}T00:00:00Z`);
+    const b = Date.parse(`${toDate}T00:00:00Z`);
+    return Math.round((b - a) / 86_400_000);
+}
+function median(nums) {
+    if (nums.length === 0)
+        return null;
+    const sorted = [...nums].sort((a, b) => a - b);
+    const mid = Math.floor(sorted.length / 2);
+    return sorted.length % 2 === 1 ? sorted[mid] : (sorted[mid - 1] + sorted[mid]) / 2;
+}
+function statsOf(nums) {
+    return {
+        count: nums.length,
+        medianDays: median(nums),
+        minDays: nums.length > 0 ? Math.min(...nums) : null,
+        maxDays: nums.length > 0 ? Math.max(...nums) : null,
+    };
+}
+/** One `git log --reverse` call producing one record per commit, each record's first line
+ *  `<hash>\x00<date>` and every following non-blank line whatever `--name-only`/`--name-status`
+ *  appended. Returns `[]` (not an error) when the call fails or the range/pathspec matches
+ *  nothing — both routine (an empty range, a path that never existed), matching every other
+ *  "missing is not a crash" git helper in this codebase. */
+function logRecords(repoRoot, from, to, pathspecs, extraArgs, runGit) {
+    const log = runGit([
+        "-C",
+        repoRoot,
+        "log",
+        "--reverse",
+        `--format=${FORMAT_RECORD_SEP}%H${FORMAT_FIELD_SEP}%ad`,
+        "--date=format:%Y-%m-%d",
+        ...extraArgs,
+        `${from}..${to}`,
+        "--",
+        ...pathspecs,
+    ]);
+    if (log.status !== 0)
+        return [];
+    return log.stdout
+        .split(RECORD_SEP)
+        .map((chunk) => chunk.split("\n").filter((l) => l.length > 0))
+        .filter((lines) => lines.length > 0)
+        .map((lines) => {
+        const [hash, date] = lines[0].split(FIELD_SEP);
+        return { hash, date, lines: lines.slice(1) };
+    });
+}
+/** Slice-doc-touching commits in the range, grouped by the slice key each touched path names —
+ *  a single `git log --name-only` walk over `slices/`, rather than one walk per key. */
+function slicesTouchedByCommit(repoRoot, slicesDirAbs, from, to, runGit) {
+    const records = logRecords(repoRoot, from, to, [slicesDirAbs], ["--name-only"], runGit);
+    const byKey = new Map();
+    const SLICE_DOC_RE = /(?:^|\/)slices\/([^/]+)\.md$/;
+    for (const { hash, date, lines } of records) {
+        for (const path of lines) {
+            const m = SLICE_DOC_RE.exec(path);
+            if (!m)
+                continue;
+            const key = m[1];
+            const events = byKey.get(key) ?? [];
+            events.push({ commit: hash, date });
+            byKey.set(key, events);
+        }
+    }
+    return byKey;
+}
+/** First-appearance detector: locks onto the first commit where `curr` is non-null while the
+ *  immediately preceding known value (`prev`) was null — returns the already-locked event on
+ *  every subsequent call for the same accumulator. */
+function firstAppearance(existing, prev, curr, commit, date) {
+    if (existing !== null)
+        return existing;
+    return prev === null && curr !== null ? { commit, date } : null;
+}
+function computeRatificationTurnaround(anchorFile, repoRoot, baseDir, from, to, runGit) {
+    const slicesDirAbs = resolve(baseDir, "slices");
+    const byKey = slicesTouchedByCommit(repoRoot, slicesDirAbs, from, to, runGit);
+    const keys = [...byKey.keys()].sort();
+    const slices = keys.map((key) => {
+        const baseline = resolveDocAtRevision(anchorFile, key, from, runGit);
+        let prevReviewed = baseline?.reviewedOn ?? null;
+        let prevRatified = baseline?.ratifiedOn ?? null;
+        let prevImplemented = baseline?.implementedIn ?? null;
+        let reviewedEvent = null;
+        let ratifiedEvent = null;
+        let implementedEvent = null;
+        for (const { commit, date } of byKey.get(key)) {
+            const doc = resolveDocAtRevision(anchorFile, key, commit, runGit);
+            if (!doc)
+                continue; // deleted at this commit — nothing to read, keep prior state
+            reviewedEvent = firstAppearance(reviewedEvent, prevReviewed, doc.reviewedOn, commit, date);
+            ratifiedEvent = firstAppearance(ratifiedEvent, prevRatified, doc.ratifiedOn, commit, date);
+            implementedEvent = firstAppearance(implementedEvent, prevImplemented, doc.implementedIn, commit, date);
+            prevReviewed = doc.reviewedOn;
+            prevRatified = doc.ratifiedOn;
+            prevImplemented = doc.implementedIn;
+        }
+        const reviewToRatifyDays = reviewedEvent && ratifiedEvent ? daysBetween(reviewedEvent.date, ratifiedEvent.date) : null;
+        const ratifyToImplementDays = ratifiedEvent && implementedEvent ? daysBetween(ratifiedEvent.date, implementedEvent.date) : null;
+        return { key, reviewedOn: reviewedEvent, ratifiedOn: ratifiedEvent, implementedIn: implementedEvent, reviewToRatifyDays, ratifyToImplementDays };
+    });
+    return {
+        slices,
+        reviewToRatify: statsOf(slices.map((s) => s.reviewToRatifyDays).filter((n) => n !== null)),
+        ratifyToImplement: statsOf(slices.map((s) => s.ratifyToImplementDays).filter((n) => n !== null)),
+    };
+}
+const REPORT_ADD_RE = /^(?:(.*)\/)?conformance\/(\d{4}-\d{2}-\d{2})-report\.md$/;
+function computeConformCadence(baseDir, repoRoot, from, to, runGit) {
+    const conformanceDirAbs = resolve(baseDir, "conformance");
+    // `repoRoot` (from `git rev-parse --show-toplevel`) is already fully resolved — macOS's
+    // `/tmp`/`$TMPDIR` are themselves symlinks into `/private/...`, so `baseDir` needs the same
+    // `realpathSync` treatment before `relative()` can compare the two meaningfully; git's own
+    // pathspec matching (every OTHER absolute path this module hands to `git log`) already
+    // resolves symlinks internally, so this is the one place that needs it done explicitly.
+    const baseDirReal = realpathSync(resolve(baseDir));
+    const baseDirRepoRel = relative(repoRoot, baseDirReal).split("\\").join("/"); // "" when baseDir IS the repo root
+    const records = logRecords(repoRoot, from, to, [conformanceDirAbs], ["--name-status", "--diff-filter=A"], runGit);
+    const rows = [];
+    for (const { hash, lines } of records) {
+        for (const line of lines) {
+            const tab = line.indexOf("\t");
+            if (tab === -1)
+                continue;
+            const status = line.slice(0, tab);
+            const path = line.slice(tab + 1);
+            if (status !== "A")
+                continue;
+            const m = REPORT_ADD_RE.exec(path);
+            if (!m)
+                continue;
+            const prefix = m[1] ?? "";
+            if (prefix !== baseDirRepoRel)
+                continue; // a sibling model's own conformance/ report — not this model's
+            const relPath = baseDirRepoRel ? path.slice(baseDirRepoRel.length + 1) : path;
+            rows.push({ commit: hash, date: m[2], path: relPath });
+        }
+    }
+    // Sort by the report's own filename date (the conform run's own record of when it ran), then
+    // by commit hash for a deterministic tiebreak on same-day reports.
+    rows.sort((a, b) => (a.date === b.date ? a.commit.localeCompare(b.commit) : a.date.localeCompare(b.date)));
+    const entries = [];
+    let prevDate = null;
+    for (const row of rows) {
+        let revision = null;
+        let revisionSource = null;
+        let findingsCount = null;
+        let ruledCount = null;
+        let unruledCount = null;
+        const findingsRelPath = findingsPathForReport(row.path);
+        if (findingsRelPath) {
+            // Read at `to` (the range's end) rather than the adding commit — the findings record is
+            // sometimes filled in over one or more commits after the report itself lands; `to`
+            // reflects the fullest, final picture of what got ruled, not a point-in-time snapshot.
+            const atTo = resolveRevision(join(baseDir, findingsRelPath), to, runGit);
+            if (atTo.ok) {
+                let parsed = null;
+                try {
+                    parsed = JSON.parse(atTo.content);
+                }
+                catch {
+                    parsed = null;
+                }
+                const shape = parsed !== null ? validateFindingsShape(parsed) : { ok: false, errors: [] };
+                if (shape.ok) {
+                    findingsCount = shape.doc.findings.length;
+                    ruledCount = shape.doc.findings.filter((f) => f.locus !== null).length;
+                    unruledCount = findingsCount - ruledCount;
+                    if (shape.doc.revision) {
+                        revision = shape.doc.revision;
+                        revisionSource = "findings";
+                    }
+                }
+            }
+        }
+        if (revision === null) {
+            const atCommit = resolveRevision(join(baseDir, STATE_FILE_NAME), row.commit, runGit);
+            if (atCommit.ok) {
+                const parsed = parseState(atCommit.content);
+                if (parsed.ok && parsed.state.lastConformance && parsed.state.lastConformance.report === row.path) {
+                    revision = parsed.state.lastConformance.revision;
+                    revisionSource = "state";
+                }
+            }
+        }
+        const daysSincePrevious = prevDate === null ? null : daysBetween(prevDate, row.date);
+        prevDate = row.date;
+        entries.push({ date: row.date, path: row.path, commit: row.commit, revision, revisionSource, findingsCount, ruledCount, unruledCount, daysSincePrevious });
+    }
+    return { entries, medianCadenceDays: median(entries.map((e) => e.daysSincePrevious).filter((n) => n !== null)) };
+}
+function countDriftAt(anchorFile, rev, runGit) {
+    const keys = listSliceKeysAtRevision(anchorFile, rev, runGit);
+    let disagreementCount = 0;
+    let unpropagatedCount = 0;
+    for (const key of keys) {
+        const doc = resolveDocAtRevision(anchorFile, key, rev, runGit);
+        if (!doc)
+            continue;
+        const signal = classifyImplementationDrift(doc);
+        if (signal === "implemented-without-link" || signal === "uncertified")
+            disagreementCount++;
+        else if (signal === "unpropagated-delta")
+            unpropagatedCount++;
+    }
+    return { disagreementCount, unpropagatedCount };
+}
+function computeStatusVsReality(anchorFile, baseDir, repoRoot, from, to, runGit) {
+    const slicesDirAbs = resolve(baseDir, "slices");
+    const stateFileAbs = join(baseDir, STATE_FILE_NAME);
+    const records = logRecords(repoRoot, from, to, [slicesDirAbs, stateFileAbs], [], runGit);
+    const series = records.map(({ hash, date }) => ({ commit: hash, date, ...countDriftAt(anchorFile, hash, runGit) }));
+    const current = countDriftAt(anchorFile, to, runGit);
+    return { series, current };
+}
+/**
+ * Compute `em metrics <file> --from <rev> --to <rev>` (MIL-170): the three git-history-
+ * computable pilot metrics, plus `readinessGateEffect: null` (Metric 4, not computable — see
+ * `MetricsResult`). `anchorFile` locates `slices/`/`conformance/`/`.event-modeling.md` relative
+ * to it, same convention `em ledger`/`em conform-scope` use — never parsed or compiled.
+ */
+export function computeMetrics(anchorFile, from, to, runGit = realGit) {
+    const baseDir = dirname(resolve(anchorFile));
+    const repoRoot = repoRootOf(baseDir, runGit);
+    if (repoRoot === null) {
+        return { ok: false, message: `em metrics: ${anchorFile} is not inside a git repository` };
+    }
+    const fromCheck = runGit(["-C", repoRoot, "rev-parse", "--verify", `${from}^{commit}`]);
+    if (fromCheck.status !== 0) {
+        return { ok: false, message: `em metrics: unknown revision "${from}"` };
+    }
+    const toCheck = runGit(["-C", repoRoot, "rev-parse", "--verify", `${to}^{commit}`]);
+    if (toCheck.status !== 0) {
+        return { ok: false, message: `em metrics: unknown revision "${to}"` };
+    }
+    const ratificationTurnaround = computeRatificationTurnaround(anchorFile, repoRoot, baseDir, from, to, runGit);
+    const conformCadence = computeConformCadence(baseDir, repoRoot, from, to, runGit);
+    const statusVsReality = computeStatusVsReality(anchorFile, baseDir, repoRoot, from, to, runGit);
+    return { ok: true, result: { from, to, ratificationTurnaround, conformCadence, statusVsReality, readinessGateEffect: null } };
+}
+function pluralize(n, word) {
+    return `${n} ${word}${n === 1 ? "" : "s"}`;
+}
+function statsLine(s) {
+    if (s.count === 0)
+        return "no data";
+    return `${pluralize(s.count, "slice")}, median ${s.medianDays}d, min ${s.minDays}d, max ${s.maxDays}d`;
+}
+/** The `em metrics` text report — same "rollup line(s), then detail" spirit `em status`'s text
+ *  form uses, kept plain (no table alignment) since the row counts are unbounded. */
+export function formatMetricsText(m) {
+    const lines = [];
+    lines.push(`em metrics ${m.from}..${m.to}`);
+    lines.push("");
+    lines.push("Ratification turnaround:");
+    lines.push(`  reviewed -> ratified: ${statsLine(m.ratificationTurnaround.reviewToRatify)}`);
+    lines.push(`  ratified -> implemented: ${statsLine(m.ratificationTurnaround.ratifyToImplement)}`);
+    if (m.ratificationTurnaround.slices.length === 0) {
+        lines.push("  (no slice doc's lifecycle fields changed in this range)");
+    }
+    else {
+        for (const s of m.ratificationTurnaround.slices) {
+            const reviewed = s.reviewedOn ? s.reviewedOn.date : "—";
+            const ratified = s.ratifiedOn ? `${s.ratifiedOn.date} (${s.reviewToRatifyDays}d)` : "—";
+            const implemented = s.implementedIn ? `${s.implementedIn.date} (${s.ratifyToImplementDays}d)` : "—";
+            lines.push(`    ${s.key}: reviewed ${reviewed}, ratified ${ratified}, implemented ${implemented}`);
+        }
+    }
+    lines.push("");
+    lines.push("Conform cadence:");
+    lines.push(`  median cadence: ${m.conformCadence.medianCadenceDays ?? "n/a"} day(s) — ${pluralize(m.conformCadence.entries.length, "report")}`);
+    for (const e of m.conformCadence.entries) {
+        const findings = e.findingsCount === null ? "findings unknown" : `${pluralize(e.findingsCount, "finding")} (${e.ruledCount} ruled, ${e.unruledCount} unruled)`;
+        const cadence = e.daysSincePrevious === null ? "" : `, ${e.daysSincePrevious}d since previous`;
+        lines.push(`    ${e.date} ${e.path} — ${findings}, revision ${e.revision ?? "unknown"}${cadence}`);
+    }
+    lines.push("");
+    lines.push("Status-vs-reality disagreement:");
+    lines.push(`  current: ${pluralize(m.statusVsReality.current.disagreementCount, "disagreement")}, ${pluralize(m.statusVsReality.current.unpropagatedCount, "unpropagated-delta")}`);
+    lines.push(`  ${pluralize(m.statusVsReality.series.length, "commit")} touched slices/state in this range`);
+    for (const p of m.statusVsReality.series) {
+        lines.push(`    ${p.date} ${p.commit} — ${pluralize(p.disagreementCount, "disagreement")}, ${pluralize(p.unpropagatedCount, "unpropagated-delta")}`);
+    }
+    lines.push("");
+    lines.push("Readiness-gate effect: not computable from history — see docs/usage-data.md");
+    return lines.join("\n");
+}
+//# sourceMappingURL=metrics.js.map

package/dist/cli/metrics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"metrics.js","sourceRoot":"","sources":["../../src/cli/metrics.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,iGAAiG;AACjG,qFAAqF;AACrF,2FAA2F;AAC3F,gFAAgF;AAChF,8FAA8F;AAC9F,EAAE;AACF,sFAAsF;AACtF,oGAAoG;AACpG,4FAA4F;AAC5F,gGAAgG;AAChG,wFAAwF;AACxF,4FAA4F;AAC5F,4CAA4C;AAC5C,EAAE;AACF,0FAA0F;AAC1F,6FAA6F;AAC7F,wFAAwF;AACxF,8FAA8F;AAC9F,8FAA8F;AAC9F,2EAA2E;AAE3E,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC7D,OAAO,EAAa,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,uBAAuB,EAAE,MAAM,kBAAkB,CAAC;AACtH,OAAO,EAAE,2BAA2B,EAAE,MAAM,2BAA2B,CAAC;AACxE,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAC7D,OAAO,EAAE,qBAAqB,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AAE7E,gGAAgG;AAChG,gFAAgF;AAChF,8FAA8F;AAC9F,0FAA0F;AAC1F,gGAAgG;AAChG,qDAAqD;AACrD,MAAM,iBAAiB,GAAG,MAAM,CAAC;AACjC,MAAM,gBAAgB,GAAG,MAAM,CAAC;AAChC,MAAM,UAAU,GAAG,MAAM,CAAC;AAC1B,MAAM,SAAS,GAAG,MAAM,CAAC;AAEzB,SAAS,UAAU,CAAC,IAAY,EAAE,MAAiB;IACjD,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,iBAAiB,CAAC,CAAC,CAAC;IACtE,OAAO,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC/D,CAAC;AAED,SAAS,WAAW,CAAC,QAAgB,EAAE,MAAc;IACnD,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,QAAQ,YAAY,CAAC,CAAC;IAC9C,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,MAAM,YAAY,CAAC,CAAC;IAC5C,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC;AAC1C,CAAC;AAED,SAAS,MAAM,CAAC,IAAc;IAC5B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACnC,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/C,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC1C,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;AACrF,CAAC;AASD,SAAS,OAAO,CAAC,IAAc;IAC7B,OAAO;QACL,KAAK,EAAE,IAAI,CAAC,MAAM;QAClB,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC;QACxB,OAAO,EAAE,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI;QACnD,OAAO,EAAE,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI;KACpD,CAAC;AACJ,CAAC;AAqFD;;;;4DAI4D;AAC5D,SAAS,UAAU,CAAC,QAAgB,EAAE,IAAY,EAAE,EAAU,EAAE,SAAmB,EAAE,SAAmB,EAAE,MAAiB;IACzH,MAAM,GAAG,GAAG,MAAM,CAAC;QACjB,IAAI;QACJ,QAAQ;QACR,KAAK;QACL,WAAW;QACX,YAAY,iBAAiB,KAAK,gBAAgB,KAAK;QACvD,wBAAwB;QACxB,GAAG,SAAS;QACZ,GAAG,IAAI,KAAK,EAAE,EAAE;QAChB,IAAI;QACJ,GAAG,SAAS;KACb,CAAC,CAAC;IACH,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAChC,OAAO,GAAG,CAAC,MAAM;SACd,KAAK,CAAC,UAAU,CAAC;SACjB,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;SAC7D,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;SACnC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACb,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC/C,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/C,CAAC,CAAC,CAAC;AACP,CAAC;AAED;wFACwF;AACxF,SAAS,qBAAqB,CAAC,QAAgB,EAAE,YAAoB,EAAE,IAAY,EAAE,EAAU,EAAE,MAAiB;IAChH,MAAM,OAAO,GAAG,UAAU,CAAC,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,YAAY,CAAC,EAAE,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC,CAAC;IACxF,MAAM,KAAK,GAAG,IAAI,GAAG,EAA6B,CAAC;IACnD,MAAM,YAAY,GAAG,8BAA8B,CAAC;IACpD,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,OAAO,EAAE,CAAC;QAC5C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClC,IAAI,CAAC,CAAC;gBAAE,SAAS;YACjB,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACjB,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;YACpC,MAAM,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;YACpC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;sDAEsD;AACtD,SAAS,eAAe,CAAC,QAAgC,EAAE,IAAmB,EAAE,IAAmB,EAAE,MAAc,EAAE,IAAY;IAC/H,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,QAAQ,CAAC;IACvC,OAAO,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAClE,CAAC;AAED,SAAS,6BAA6B,CAAC,UAAkB,EAAE,QAAgB,EAAE,OAAe,EAAE,IAAY,EAAE,EAAU,EAAE,MAAiB;IACvI,MAAM,YAAY,GAAG,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,qBAAqB,CAAC,QAAQ,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;IAC9E,MAAM,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAEtC,MAAM,MAAM,GAAsB,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QACjD,MAAM,QAAQ,GAAG,oBAAoB,CAAC,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QACrE,IAAI,YAAY,GAAG,QAAQ,EAAE,UAAU,IAAI,IAAI,CAAC;QAChD,IAAI,YAAY,GAAG,QAAQ,EAAE,UAAU,IAAI,IAAI,CAAC;QAChD,IAAI,eAAe,GAAG,QAAQ,EAAE,aAAa,IAAI,IAAI,CAAC;QACtD,IAAI,aAAa,GAA2B,IAAI,CAAC;QACjD,IAAI,aAAa,GAA2B,IAAI,CAAC;QACjD,IAAI,gBAAgB,GAA2B,IAAI,CAAC;QAEpD,KAAK,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,CAAE,EAAE,CAAC;YAC/C,MAAM,GAAG,GAAG,oBAAoB,CAAC,UAAU,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;YAClE,IAAI,CAAC,GAAG;gBAAE,SAAS,CAAC,6DAA6D;YACjF,aAAa,GAAG,eAAe,CAAC,aAAa,EAAE,YAAY,EAAE,GAAG,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YAC3F,aAAa,GAAG,eAAe,CAAC,aAAa,EAAE,YAAY,EAAE,GAAG,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YAC3F,gBAAgB,GAAG,eAAe,CAAC,gBAAgB,EAAE,eAAe,EAAE,GAAG,CAAC,aAAa,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;YACvG,YAAY,GAAG,GAAG,CAAC,UAAU,CAAC;YAC9B,YAAY,GAAG,GAAG,CAAC,UAAU,CAAC;YAC9B,eAAe,GAAG,GAAG,CAAC,aAAa,CAAC;QACtC,CAAC;QAED,MAAM,kBAAkB,GAAG,aAAa,IAAI,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,aAAa,CAAC,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACvH,MAAM,qBAAqB,GAAG,aAAa,IAAI,gBAAgB,CAAC,CAAC,CAAC,WAAW,CAAC,aAAa,CAAC,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAChI,OAAO,EAAE,GAAG,EAAE,UAAU,EAAE,aAAa,EAAE,UAAU,EAAE,aAAa,EAAE,aAAa,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,CAAC;IACnJ,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,MAAM;QACN,cAAc,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;QACvG,iBAAiB,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;KAC9G,CAAC;AACJ,CAAC;AAED,MAAM,aAAa,GAAG,0DAA0D,CAAC;AAEjF,SAAS,qBAAqB,CAAC,OAAe,EAAE,QAAgB,EAAE,IAAY,EAAE,EAAU,EAAE,MAAiB;IAC3G,MAAM,iBAAiB,GAAG,OAAO,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;IAC1D,wFAAwF;IACxF,4FAA4F;IAC5F,2FAA2F;IAC3F,uFAAuF;IACvF,wFAAwF;IACxF,MAAM,WAAW,GAAG,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC;IACnD,MAAM,cAAc,GAAG,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,mCAAmC;IACjH,MAAM,OAAO,GAAG,UAAU,CAAC,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,iBAAiB,CAAC,EAAE,CAAC,eAAe,EAAE,iBAAiB,CAAC,EAAE,MAAM,CAAC,CAAC;IAElH,MAAM,IAAI,GAAqD,EAAE,CAAC;IAClE,KAAK,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,OAAO,EAAE,CAAC;QACtC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC/B,IAAI,GAAG,KAAK,CAAC,CAAC;gBAAE,SAAS;YACzB,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAClC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;YACjC,IAAI,MAAM,KAAK,GAAG;gBAAE,SAAS;YAC7B,MAAM,CAAC,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnC,IAAI,CAAC,CAAC;gBAAE,SAAS;YACjB,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAC1B,IAAI,MAAM,KAAK,cAAc;gBAAE,SAAS,CAAC,+DAA+D;YACxG,MAAM,OAAO,GAAG,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAC9E,IAAI,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;QACzD,CAAC;IACH,CAAC;IACD,6FAA6F;IAC7F,mEAAmE;IACnE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAE3G,MAAM,OAAO,GAA0B,EAAE,CAAC;IAC1C,IAAI,QAAQ,GAAkB,IAAI,CAAC;IACnC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,IAAI,QAAQ,GAAkB,IAAI,CAAC;QACnC,IAAI,cAAc,GAAmB,IAAI,CAAC;QAC1C,IAAI,aAAa,GAAkB,IAAI,CAAC;QACxC,IAAI,UAAU,GAAkB,IAAI,CAAC;QACrC,IAAI,YAAY,GAAkB,IAAI,CAAC;QAEvC,MAAM,eAAe,GAAG,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACxD,IAAI,eAAe,EAAE,CAAC;YACpB,wFAAwF;YACxF,mFAAmF;YACnF,uFAAuF;YACvF,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,CAAC,OAAO,EAAE,eAAe,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;YACzE,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;gBACZ,IAAI,MAAM,GAAY,IAAI,CAAC;gBAC3B,IAAI,CAAC;oBACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACpC,CAAC;gBAAC,MAAM,CAAC;oBACP,MAAM,GAAG,IAAI,CAAC;gBAChB,CAAC;gBACD,MAAM,KAAK,GAAG,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,qBAAqB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAc,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;gBACnG,IAAI,KAAK,CAAC,EAAE,EAAE,CAAC;oBACb,aAAa,GAAG,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC;oBAC1C,UAAU,GAAG,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC;oBACvE,YAAY,GAAG,aAAa,GAAG,UAAU,CAAC;oBAC1C,IAAI,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;wBACvB,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC;wBAC9B,cAAc,GAAG,UAAU,CAAC;oBAC9B,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;YACtB,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,OAAO,EAAE,eAAe,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YACrF,IAAI,QAAQ,CAAC,EAAE,EAAE,CAAC;gBAChB,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;gBAC5C,IAAI,MAAM,CAAC,EAAE,IAAI,MAAM,CAAC,KAAK,CAAC,eAAe,IAAI,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,KAAK,GAAG,CAAC,IAAI,EAAE,CAAC;oBAClG,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,QAAQ,CAAC;oBACjD,cAAc,GAAG,OAAO,CAAC;gBAC3B,CAAC;YACH,CAAC;QACH,CAAC;QAED,MAAM,iBAAiB,GAAG,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QACrF,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC;QACpB,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,cAAc,EAAE,aAAa,EAAE,UAAU,EAAE,YAAY,EAAE,iBAAiB,EAAE,CAAC,CAAC;IAC7J,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,iBAAiB,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC;AAChI,CAAC;AAED,SAAS,YAAY,CAAC,UAAkB,EAAE,GAAW,EAAE,MAAiB;IACtE,MAAM,IAAI,GAAG,uBAAuB,CAAC,UAAU,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;IAC9D,IAAI,iBAAiB,GAAG,CAAC,CAAC;IAC1B,IAAI,iBAAiB,GAAG,CAAC,CAAC;IAC1B,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,oBAAoB,CAAC,UAAU,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC;QAC/D,IAAI,CAAC,GAAG;YAAE,SAAS;QACnB,MAAM,MAAM,GAAG,2BAA2B,CAAC,GAAG,CAAC,CAAC;QAChD,IAAI,MAAM,KAAK,0BAA0B,IAAI,MAAM,KAAK,aAAa;YAAE,iBAAiB,EAAE,CAAC;aACtF,IAAI,MAAM,KAAK,oBAAoB;YAAE,iBAAiB,EAAE,CAAC;IAChE,CAAC;IACD,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,CAAC;AAClD,CAAC;AAED,SAAS,sBAAsB,CAAC,UAAkB,EAAE,OAAe,EAAE,QAAgB,EAAE,IAAY,EAAE,EAAU,EAAE,MAAiB;IAChI,MAAM,YAAY,GAAG,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IAChD,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;IACpD,MAAM,OAAO,GAAG,UAAU,CAAC,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,YAAY,EAAE,YAAY,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;IACzF,MAAM,MAAM,GAA2B,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,YAAY,CAAC,UAAU,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5I,MAAM,OAAO,GAAG,YAAY,CAAC,UAAU,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;IACrD,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;AAC7B,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,UAAkB,EAAE,IAAY,EAAE,EAAU,EAAE,SAAoB,OAAO;IACtG,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAG,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC7C,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,eAAe,UAAU,iCAAiC,EAAE,CAAC;IAC5F,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAE,GAAG,IAAI,WAAW,CAAC,CAAC,CAAC;IACxF,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,iCAAiC,IAAI,GAAG,EAAE,CAAC;IAC1E,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC,CAAC;IACpF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,iCAAiC,EAAE,GAAG,EAAE,CAAC;IACxE,CAAC;IAED,MAAM,sBAAsB,GAAG,6BAA6B,CAAC,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;IAC9G,MAAM,cAAc,GAAG,qBAAqB,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;IAClF,MAAM,eAAe,GAAG,sBAAsB,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;IAEhG,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,sBAAsB,EAAE,cAAc,EAAE,eAAe,EAAE,mBAAmB,EAAE,IAAI,EAAE,EAAE,CAAC;AAChI,CAAC;AAED,SAAS,SAAS,CAAC,CAAS,EAAE,IAAY;IACxC,OAAO,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;AAC7C,CAAC;AAED,SAAS,SAAS,CAAC,CAAkB;IACnC,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACpC,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC,UAAU,UAAU,CAAC,CAAC,OAAO,UAAU,CAAC,CAAC,OAAO,GAAG,CAAC;AACzG,CAAC;AAED;qFACqF;AACrF,MAAM,UAAU,iBAAiB,CAAC,CAAgB;IAChD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC5C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;IACvC,KAAK,CAAC,IAAI,CAAC,2BAA2B,SAAS,CAAC,CAAC,CAAC,sBAAsB,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC;IAC5F,KAAK,CAAC,IAAI,CAAC,8BAA8B,SAAS,CAAC,CAAC,CAAC,sBAAsB,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC;IAClG,IAAI,CAAC,CAAC,sBAAsB,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjD,KAAK,CAAC,IAAI,CAAC,2DAA2D,CAAC,CAAC;IAC1E,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,sBAAsB,CAAC,MAAM,EAAE,CAAC;YAChD,MAAM,QAAQ,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;YACxD,MAAM,QAAQ,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC,CAAC,kBAAkB,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;YACxF,MAAM,WAAW,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,aAAa,CAAC,IAAI,KAAK,CAAC,CAAC,qBAAqB,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;YACpG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,GAAG,cAAc,QAAQ,cAAc,QAAQ,iBAAiB,WAAW,EAAE,CAAC,CAAC;QACrG,CAAC;IACH,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IAC/B,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,cAAc,CAAC,iBAAiB,IAAI,KAAK,aAAa,SAAS,CAAC,CAAC,CAAC,cAAc,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC;IAChJ,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,cAAc,CAAC,OAAO,EAAE,CAAC;QACzC,MAAM,QAAQ,GAAG,CAAC,CAAC,aAAa,KAAK,IAAI,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,aAAa,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,UAAU,WAAW,CAAC,CAAC,YAAY,WAAW,CAAC;QAC/J,MAAM,OAAO,GAAG,CAAC,CAAC,iBAAiB,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,iBAAiB,kBAAkB,CAAC;QAC/F,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,MAAM,QAAQ,cAAc,CAAC,CAAC,QAAQ,IAAI,SAAS,GAAG,OAAO,EAAE,CAAC,CAAC;IACrG,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IAC9C,KAAK,CAAC,IAAI,CAAC,cAAc,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC,iBAAiB,EAAE,cAAc,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,OAAO,CAAC,iBAAiB,EAAE,oBAAoB,CAAC,EAAE,CAAC,CAAC;IACpL,KAAK,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,qCAAqC,CAAC,CAAC;IAC3G,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,MAAM,EAAE,CAAC;QACzC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,MAAM,SAAS,CAAC,CAAC,CAAC,iBAAiB,EAAE,cAAc,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,iBAAiB,EAAE,oBAAoB,CAAC,EAAE,CAAC,CAAC;IACvJ,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,CAAC,IAAI,CAAC,6EAA6E,CAAC,CAAC;IAC1F,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/cli/modelVersion.d.ts

@@ -0,0 +1,139 @@
+import { NormalizedModel } from "../model/model.js";
+import { RefsResult } from "../model/refs.js";
+export declare const MODEL_VERSION_SCHEMA_VERSION = "1.0";
+/** "design version N was certified at revision R on date D" (MIL-214's full, non-`--partial`
+ *  `em state set-conformance`) — written into the CURRENT design version's manifest only.
+ *  `report` is the conformance report path that run wrote; `findings` is the sibling findings
+ *  JSON path beside it, or `null` when none was found (the pre-MIL-214 migration path). */
+export interface ModelVersionCertified {
+    at: string;
+    on: string;
+    report: string;
+    findings: string | null;
+}
+/** One `model-versions/v<N>.json` document — see module header. `slices` keys are export keys
+ *  (never re-sorted by the reader; `serializeModelVersionDoc` is the one place key order is
+ *  made deterministic on write). */
+export interface ModelVersionManifest {
+    modelVersionSchemaVersion: string;
+    /** The `.em` file's own basename — e.g. `"checkout.em"` — disambiguating within a directory
+     *  that (like `conformance/`/`slices/`) can hold more than one model's manifests. */
+    model: string;
+    version: number;
+    bumpedBy: string;
+    bumpedOn: string;
+    /** The running `em`'s own `GENERATOR_VERSION` at bump time — provenance, never read back by
+     *  `em` itself. */
+    emVersion: string;
+    modelHash: string;
+    slices: Record<string, number | null>;
+    certified: ModelVersionCertified | null;
+}
+/** 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 declare function computeModelHash(source: string): string;
+/** 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 declare function serializeModelVersionDoc(doc: ModelVersionManifest): string;
+/** `<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 declare function modelVersionsDir(baseDir: string): string;
+export declare function modelVersionManifestPath(baseDir: string, version: number): string;
+/** 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 declare function listModelVersionNumbers(baseDir: string): number[];
+/** The highest bumped design version, or `null` when this model directory has never bumped. */
+export declare function latestModelVersionNumber(baseDir: string): number | null;
+export type ReadManifestResult = {
+    ok: true;
+    manifest: ModelVersionManifest;
+} | {
+    ok: false;
+    message: string;
+};
+/** 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 declare function readModelVersionManifest(baseDir: string, version: number): ReadManifestResult | null;
+/** 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 declare function computeSlicesVector(model: NormalizedModel, refs: RefsResult, baseDir: string): Record<string, number | null>;
+export type BumpModelVersionResult = {
+    ok: true;
+    version: number;
+    path: string;
+} | {
+    ok: false;
+    message: string;
+};
+/**
+ * `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 declare function runModelVersionBump(baseDir: string, modelFileName: string, model: NormalizedModel, refs: RefsResult, source: string, by: string, on: string, emVersion: string, force: boolean): BumpModelVersionResult;
+export interface ModelVersionSliceChange {
+    key: string;
+    from: number | null;
+    to: number | null;
+}
+/** The warn-only "has the vector moved since the last bump" fact — never a refusal, every
+ *  caller (`em status`, `em validate`'s `model-version-stale`, the ratify/reratify advisory)
+ *  decides how to surface it. `current: null` (never bumped) always reads as no drift — a repo
+ *  that never bumped a design version has nothing to be stale against. A manifest that exists
+ *  but fails to read/parse is treated the same conservative way: no drift reported (the file's
+ *  own problem is a `readModelVersionManifest` concern for a caller that wants to surface it,
+ *  not this predicate's).
+ */
+export interface ModelVersionDrift {
+    current: number | null;
+    hashChanged: boolean;
+    slicesChanged: ModelVersionSliceChange[];
+}
+export declare function modelVersionDrift(baseDir: string, model: NormalizedModel, refs: RefsResult, source: string): ModelVersionDrift;
+/** 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 declare function findCertifiedVersion(baseDir: string): {
+    version: number;
+    certified: ModelVersionCertified;
+} | null;
+export type CertifyModelVersionResult = {
+    ok: true;
+    version: number;
+    path: string;
+} | {
+    ok: false;
+    message: string;
+};
+/**
+ * `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 declare function runCertifyModelVersion(baseDir: string, model: NormalizedModel, refs: RefsResult, source: string, at: string, on: string, report: string, findings: string | null): CertifyModelVersionResult;