@milehimikey/em 1.2.0 → 1.4.0

package/.claude/skills/event-modeling/templates/state.md

@@ -10,6 +10,7 @@ Keep it current at the end of every working session.
 - **Current phase:** {{extract | discover | model | slice}}
 - **Current step:** {{1–7, see methodology; or extraction round R1–R7}}
 - **Last updated:** {{YYYY-MM-DD}}
+- **Last conformance:** {{YYYY-MM-DD @ <target-repo revision> — report: conformance/<date>-report.md | never}}
 
 ## Session inputs
 - **Scope line:** {{one-line description of what's in/out of bounds for this model}}
@@ -18,6 +19,11 @@ Keep it current at the end of every working session.
 - **Source mode:** {{greenfield | extract-event-driven | extract-procedural}}
 - **Existing system refs:** {{repo paths, event-schema/topic locations, docs — or "n/a"}}
 
+## Participants
+<!-- Populate at session start. Live workshop: one human proxy relays questions to the room;
+     attribute every answer/decision in the Decisions log to a named participant here. -->
+- {{Name}} — {{role}} — {{domain area}}
+
 ## Extraction progress (existing-system models only — delete for greenfield)
 - [ ] R1. Candidate events (extracted/synthesized, filtered, confirmed)
 - [ ] R2. Timeline order (as-is narrative, actors/callers, first render)
@@ -37,14 +43,18 @@ Keep it current at the end of every working session.
 - [ ] 7. Evaluate completeness (`em validate` clean)
 
 ## Decisions log
-<!-- Resolved choices, with the reasoning, so they aren't re-litigated. -->
-- {{YYYY-MM-DD}}: {{decision}} — {{why}}
+<!-- Resolved choices, with the reasoning, so they aren't re-litigated. In a live workshop,
+     attribute each entry to the participant who made the call (see Participants above). -->
+- {{YYYY-MM-DD}}: {{decision}} — {{why}} — by {{participant, if a live workshop}}
 
 ## Open questions / parking lot
-<!-- Unresolved items to bring back to the user. Never guess these. -->
-- [ ] {{question}}
+<!-- Unresolved items to bring back to the user. Never guess these. Metadata is optional and
+     flat — add only what's known: source (ticket/conversation that spawned it), blocked on
+     (who/what), revisit (when). -->
+- [ ] {{question}} — source: {{ticket/conversation link, optional}} — blocked on: {{who/what, optional}} — revisit: {{when, optional}}
 
 ## Slice inventory
-| Slice | Pattern | Doc status |
-|-------|---------|------------|
-| {{Slice Name}} | {{State Change/View/Automation/Translation}} | {{none / draft / reviewed / ready-to-implement}} |
+<!-- Deliberately NOT a table: the canonical slice index (slice, pattern, status, doc link)
+     lives in README.md's "Slices" section — one source of truth, updated there. This file
+     only tracks resumable session state. -->
+See `README.md` → **Slices** for the slice index and per-slice doc status.

package/README.md

@@ -28,6 +28,14 @@ em watch model.em --serve # live browser view, re-renders on every save
 em validate model.em      # check event-modeling rules
 ```
 
+Once a model is real and committed, `em` keeps working on it over time:
+
+```bash
+em export model.em        # versioned JSON, for agents and tooling
+em diff model.em --from HEAD~1   # what this change did to the model
+em changelog model.em     # the model's git history as a business ledger
+```
+
 A model is a list of slices — vertical time steps, read left to right — whose elements land
 in swimlane rows:
 
@@ -50,7 +58,9 @@ slice "View Open Orders" {
 ```
 
 The [tutorial](docs/tutorial.md) builds a complete model from an empty file in about twenty
-minutes.
+minutes, and [docs/workflow.md](docs/workflow.md) picks up where it leaves off: how a model
+gets specified, gated in CI, handed to implementation, and checked against the code that
+implements it.
 
 ## Model with AI
 
@@ -61,8 +71,10 @@ the questions, you supply the domain, and the model renders live as it grows.
 em skill install          # copy the skill into .claude/skills/event-modeling/
 ```
 
-Then run `/event-modeling` in Claude Code. See [docs/ai-workflow.md](docs/ai-workflow.md)
-for the phases and what a session produces, and the
+Then run `/event-modeling` in Claude Code. The same skill also runs the reverse direction:
+`extract` derives a model from a system that already exists, and `conform` checks a model
+against the code implementing it and reports where they've drifted. See
+[docs/ai-workflow.md](docs/ai-workflow.md) for the phases and what a session produces, and the
 [em-with-ai repository](https://github.com/milehimikey/em-with-ai) for a ~50-slice model
 built this way.
 
@@ -71,10 +83,12 @@ built this way.
 | Doc | What it answers |
 |---|---|
 | [docs/tutorial.md](docs/tutorial.md) | Learn the tool by building a model from scratch |
+| [docs/workflow.md](docs/workflow.md) | The model lifecycle: specify, gate, hand off, track change, detect drift |
 | [docs/patterns.md](docs/patterns.md) | The four Event Modeling patterns and their DSL shapes |
 | [docs/dsl.md](docs/dsl.md) | Full DSL reference: keywords, `from`, `again`, fields, notes |
 | [docs/cli.md](docs/cli.md) | Every command and flag |
 | [docs/validation.md](docs/validation.md) | Every rule `em validate` checks, and the fixes |
+| [docs/ci.md](docs/ci.md) | Copy-paste CI recipes: validate `.em` changes, run conformance on a schedule |
 | [docs/timeline.md](docs/timeline.md) | The Two Laws of the Timeline |
 | [docs/ai-workflow.md](docs/ai-workflow.md) | The Claude Code skill: install, phases, artifacts |
 | [docs/dependencies.md](docs/dependencies.md) | What's bundled vs. what needs a system install |

package/dist/cli/changelog-git.d.ts

@@ -0,0 +1,53 @@
+import { GitRunner } from "./diff-inputs.js";
+export interface CommitInfo {
+    /** Full commit hash — what `readFileAtCommit`/`git show` reads content at. */
+    hash: string;
+    shortHash: string;
+    /** YYYY-MM-DD author date (`--date=short`). */
+    date: string;
+    subject: string;
+    /**
+     * Repo-relative path of the file AS OF this commit, taken from the same
+     * `git log --follow --name-only` walk — pre-rename commits carry the old
+     * path, the one `git show <hash>:<path>` can actually read.
+     */
+    path: string;
+}
+export type CommitsResult = {
+    ok: true;
+    repoRoot: string;
+    commits: CommitInfo[];
+} | {
+    ok: false;
+    message: string;
+};
+/**
+ * List every commit that touched `file` (rename-following via `--follow`),
+ * oldest -> newest, each carrying the file's path as of that commit.
+ *
+ * `--from`/`--to` bound the walk **inclusive of both boundary commits**: the
+ * range compiles to `<from>^..<to>` (git's standard idiom for an
+ * inclusive-from range), so `--from` itself is the oldest commit in the
+ * output and `--to` the newest. `--to` defaults to `HEAD`. `--from` on a
+ * root commit (no parent to exclude) falls back to an unbounded walk up to
+ * `<to>`, which is equivalent — there's nothing before a root commit to
+ * exclude anyway.
+ */
+export declare function listModelCommits(file: string, opts?: {
+    from?: string;
+    to?: string;
+}, runGit?: GitRunner): CommitsResult;
+/** File content at a commit, or a note-ready `message` (no command prefix — it lands inside a changelog section). */
+export type FileAtCommitResult = {
+    ok: true;
+    content: string;
+} | {
+    ok: false;
+    message: string;
+};
+/**
+ * Read the model's content at `commit`, using `commit.path` — the path the
+ * file had AT that commit — so reads keep working across renames, where the
+ * current path doesn't exist in older revisions.
+ */
+export declare function readFileAtCommit(repoRoot: string, commit: CommitInfo, runGit?: GitRunner): FileAtCommitResult;

package/dist/cli/changelog-git.js

@@ -0,0 +1,112 @@
+// SPDX-License-Identifier: MIT
+// Git interaction for `em changelog`, isolated like diff-inputs.ts: listing
+// the commits that touched a model file and reading a revision's content
+// (`readFileAtCommit`) are the only impure operations here — everything
+// formattable/parseable (markdown assembly, decisions parsing) lives in
+// ../emit/changelog.ts, unit-tested without git.
+import { dirname, resolve } from "node:path";
+import { realGit } from "./diff-inputs.js";
+// A control character, not a valid character in a commit subject — safe as a
+// field separator in `git log --format`.
+const FS = "\x01";
+/**
+ * List every commit that touched `file` (rename-following via `--follow`),
+ * oldest -> newest, each carrying the file's path as of that commit.
+ *
+ * `--from`/`--to` bound the walk **inclusive of both boundary commits**: the
+ * range compiles to `<from>^..<to>` (git's standard idiom for an
+ * inclusive-from range), so `--from` itself is the oldest commit in the
+ * output and `--to` the newest. `--to` defaults to `HEAD`. `--from` on a
+ * root commit (no parent to exclude) falls back to an unbounded walk up to
+ * `<to>`, which is equivalent — there's nothing before a root commit to
+ * exclude anyway.
+ */
+export function listModelCommits(file, opts = {}, runGit = realGit) {
+    const abs = resolve(file);
+    const toplevel = runGit(["-C", dirname(abs), "rev-parse", "--show-toplevel"]);
+    if (toplevel.status !== 0) {
+        return { ok: false, message: `em changelog: ${file} is not inside a git repository` };
+    }
+    const repoRoot = toplevel.stdout.trim();
+    const lsFiles = runGit(["-C", repoRoot, "ls-files", "--full-name", "--", abs]);
+    const relPath = lsFiles.stdout.trim().split("\n")[0];
+    if (!relPath) {
+        return { ok: false, message: `em changelog: ${file} is not tracked by git in ${repoRoot}` };
+    }
+    const upRev = opts.to ?? "HEAD";
+    if (opts.to) {
+        const verifyTo = runGit(["-C", repoRoot, "rev-parse", "--verify", "--end-of-options", opts.to]);
+        if (verifyTo.status !== 0) {
+            return { ok: false, message: `em changelog: unknown revision "${opts.to}" for --to` };
+        }
+    }
+    let range = upRev;
+    if (opts.from) {
+        const verifyFrom = runGit(["-C", repoRoot, "rev-parse", "--verify", "--end-of-options", opts.from]);
+        if (verifyFrom.status !== 0) {
+            return { ok: false, message: `em changelog: unknown revision "${opts.from}" for --from` };
+        }
+        const verifyParent = runGit(["-C", repoRoot, "rev-parse", "--verify", "--end-of-options", `${opts.from}^`]);
+        range = verifyParent.status === 0 ? `${opts.from}^..${upRev}` : upRev;
+    }
+    // --name-only prints, after each commit's format line, the file's path as
+    // of that commit (--follow makes that the historical, pre-rename path when
+    // applicable). core.quotepath=false keeps non-ASCII paths literal instead
+    // of octal-escaped, so the printed path is usable in `git show`.
+    const log = runGit([
+        "-C",
+        repoRoot,
+        "-c",
+        "core.quotepath=false",
+        "log",
+        "--follow",
+        "--name-only",
+        `--format=%H${FS}%h${FS}%ad${FS}%s`,
+        "--date=short",
+        range,
+        "--",
+        relPath,
+    ]);
+    if (log.status !== 0) {
+        return {
+            ok: false,
+            message: `em changelog: git log failed: ${(log.stderr || "").trim() || "unknown git error"}`,
+        };
+    }
+    // Output alternates: a format line (contains FS), a blank line, then the
+    // path line for that commit. A commit with no path line (e.g. a merge,
+    // whose file list git omits by default) falls back to the current path.
+    const commits = [];
+    for (const line of log.stdout.split("\n")) {
+        if (line.length === 0)
+            continue;
+        if (line.includes(FS)) {
+            const [hash, shortHash, date, ...subjectParts] = line.split(FS);
+            commits.push({ hash, shortHash, date, subject: subjectParts.join(FS), path: relPath });
+        }
+        else if (commits.length > 0) {
+            commits[commits.length - 1].path = line;
+        }
+    }
+    commits.reverse(); // git log is newest-first; changelog building wants oldest->newest
+    if (commits.length === 0) {
+        return { ok: false, message: `em changelog: no commits found for ${relPath} in the given range` };
+    }
+    return { ok: true, repoRoot, commits };
+}
+/**
+ * Read the model's content at `commit`, using `commit.path` — the path the
+ * file had AT that commit — so reads keep working across renames, where the
+ * current path doesn't exist in older revisions.
+ */
+export function readFileAtCommit(repoRoot, commit, runGit = realGit) {
+    const show = runGit(["-C", repoRoot, "show", `${commit.hash}:${commit.path}`]);
+    if (show.status !== 0) {
+        return {
+            ok: false,
+            message: `cannot read ${commit.path} at ${commit.shortHash}: ${(show.stderr || "").trim() || "unknown git error"}`,
+        };
+    }
+    return { ok: true, content: show.stdout };
+}
+//# sourceMappingURL=changelog-git.js.map

package/dist/cli/changelog-git.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"changelog-git.js","sourceRoot":"","sources":["../../src/cli/changelog-git.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,4EAA4E;AAC5E,yEAAyE;AACzE,wEAAwE;AACxE,wEAAwE;AACxE,iDAAiD;AAEjD,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EAAa,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAqBtD,6EAA6E;AAC7E,yCAAyC;AACzC,MAAM,EAAE,GAAG,MAAM,CAAC;AAElB;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,gBAAgB,CAC9B,IAAY,EACZ,OAAuC,EAAE,EACzC,SAAoB,OAAO;IAE3B,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1B,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,WAAW,EAAE,iBAAiB,CAAC,CAAC,CAAC;IAC9E,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,iBAAiB,IAAI,iCAAiC,EAAE,CAAC;IACxF,CAAC;IACD,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IAExC,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,aAAa,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IAC/E,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,iBAAiB,IAAI,6BAA6B,QAAQ,EAAE,EAAE,CAAC;IAC9F,CAAC;IAED,MAAM,KAAK,GAAG,IAAI,CAAC,EAAE,IAAI,MAAM,CAAC;IAChC,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;QACZ,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAE,kBAAkB,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;QAChG,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,mCAAmC,IAAI,CAAC,EAAE,YAAY,EAAE,CAAC;QACxF,CAAC;IACH,CAAC;IAED,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACd,MAAM,UAAU,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAE,kBAAkB,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACpG,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,mCAAmC,IAAI,CAAC,IAAI,cAAc,EAAE,CAAC;QAC5F,CAAC;QACD,MAAM,YAAY,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAE,kBAAkB,EAAE,GAAG,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;QAC5G,KAAK,GAAG,YAAY,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;IACxE,CAAC;IAED,0EAA0E;IAC1E,2EAA2E;IAC3E,0EAA0E;IAC1E,iEAAiE;IACjE,MAAM,GAAG,GAAG,MAAM,CAAC;QACjB,IAAI;QACJ,QAAQ;QACR,IAAI;QACJ,sBAAsB;QACtB,KAAK;QACL,UAAU;QACV,aAAa;QACb,cAAc,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI;QACnC,cAAc;QACd,KAAK;QACL,IAAI;QACJ,OAAO;KACR,CAAC,CAAC;IACH,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EAAE,iCAAiC,CAAC,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,mBAAmB,EAAE;SAC7F,CAAC;IACJ,CAAC;IAED,yEAAyE;IACzE,uEAAuE;IACvE,wEAAwE;IACxE,MAAM,OAAO,GAAiB,EAAE,CAAC;IACjC,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1C,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAChC,IAAI,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;YACtB,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,YAAY,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAChE,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;QACzF,CAAC;aAAM,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC;QAC1C,CAAC;IACH,CAAC;IACD,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,mEAAmE;IAEtF,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,sCAAsC,OAAO,qBAAqB,EAAE,CAAC;IACpG,CAAC;IAED,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;AACzC,CAAC;AAKD;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAC9B,QAAgB,EAChB,MAAkB,EAClB,SAAoB,OAAO;IAE3B,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAC/E,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EAAE,eAAe,MAAM,CAAC,IAAI,OAAO,MAAM,CAAC,SAAS,KAAK,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,mBAAmB,EAAE;SACnH,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;AAC5C,CAAC"}

package/dist/cli/diff-inputs.d.ts

@@ -0,0 +1,44 @@
+/** Resolved `em diff` invocation, or a user-facing `error` for an invalid form. */
+export type DiffPlan = {
+    error: string;
+} | {
+    form: "files";
+    oldFile: string;
+    newFile: string;
+} | {
+    form: "git";
+    file: string;
+    from: string;
+    to?: string;
+};
+/**
+ * Validate the `em diff` argument/flag combination. Pure — no I/O. The two forms
+ * (two files, or one file across git revisions) are mutually exclusive.
+ */
+export declare function planDiffArgs(oldFile: string, newFile: string | undefined, opts: {
+    from?: string;
+    to?: string;
+}): DiffPlan;
+/** The slice of a `spawnSync` result `resolveRevision` reads; lets tests inject a fake git. */
+export interface GitResult {
+    status: number | null;
+    stdout: string;
+    stderr: string;
+}
+export type GitRunner = (args: string[]) => GitResult;
+/** Default runner: really invokes `git` (array args — no shell, no injection). */
+export declare const realGit: GitRunner;
+/** File content at a git revision, or a user-facing `message` for each failure mode. */
+export type RevisionResult = {
+    ok: true;
+    content: string;
+} | {
+    ok: false;
+    message: string;
+};
+/**
+ * Resolve `file`'s content at git revision `rev` via `git show <rev>:<repo-relative-path>`.
+ * The git runner is injectable so the not-a-repo / not-tracked / bad-rev branches are
+ * unit-testable without a real repository.
+ */
+export declare function resolveRevision(file: string, rev: string, runGit?: GitRunner): RevisionResult;

package/dist/cli/diff-inputs.js

@@ -0,0 +1,62 @@
+// SPDX-License-Identifier: MIT
+// Testable input handling for `em diff`: argument-form validation and
+// git-revision resolution, factored out of cli.ts so the branching logic can be
+// unit-tested without spawning a subprocess or a real git repo (cli.ts keeps the
+// process.exit/console wiring; see test/diff-inputs.test.ts).
+import { spawnSync } from "node:child_process";
+import { dirname, resolve } from "node:path";
+/**
+ * Validate the `em diff` argument/flag combination. Pure — no I/O. The two forms
+ * (two files, or one file across git revisions) are mutually exclusive.
+ */
+export function planDiffArgs(oldFile, newFile, opts) {
+    if (opts.from) {
+        if (newFile) {
+            return {
+                error: "em diff: cannot combine two file arguments with --from/--to — use one form or the other",
+            };
+        }
+        return { form: "git", file: oldFile, from: opts.from, to: opts.to };
+    }
+    if (opts.to) {
+        return { error: "em diff: --to requires --from" };
+    }
+    if (!newFile) {
+        return {
+            error: "em diff: provide two files (`em diff old.em new.em`) or one file with --from <rev>",
+        };
+    }
+    return { form: "files", oldFile, newFile };
+}
+/** Default runner: really invokes `git` (array args — no shell, no injection). */
+export const realGit = (args) => {
+    const r = spawnSync("git", args, { encoding: "utf8" });
+    return { status: r.status, stdout: r.stdout ?? "", stderr: r.stderr ?? "" };
+};
+/**
+ * Resolve `file`'s content at git revision `rev` via `git show <rev>:<repo-relative-path>`.
+ * The git runner is injectable so the not-a-repo / not-tracked / bad-rev branches are
+ * unit-testable without a real repository.
+ */
+export function resolveRevision(file, rev, runGit = realGit) {
+    const abs = resolve(file);
+    const toplevel = runGit(["-C", dirname(abs), "rev-parse", "--show-toplevel"]);
+    if (toplevel.status !== 0) {
+        return { ok: false, message: `em diff: ${file} is not inside a git repository (needed for --from/--to)` };
+    }
+    const repoRoot = toplevel.stdout.trim();
+    const lsFiles = runGit(["-C", repoRoot, "ls-files", "--full-name", "--", abs]);
+    const relPath = lsFiles.stdout.trim().split("\n")[0];
+    if (!relPath) {
+        return { ok: false, message: `em diff: ${file} is not tracked by git in ${repoRoot}` };
+    }
+    const show = runGit(["-C", repoRoot, "show", `${rev}:${relPath}`]);
+    if (show.status !== 0) {
+        return {
+            ok: false,
+            message: `em diff: cannot read ${relPath} at revision "${rev}": ${(show.stderr || "").trim() || "unknown git error"}`,
+        };
+    }
+    return { ok: true, content: show.stdout };
+}
+//# sourceMappingURL=diff-inputs.js.map

package/dist/cli/diff-inputs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff-inputs.js","sourceRoot":"","sources":["../../src/cli/diff-inputs.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,sEAAsE;AACtE,gFAAgF;AAChF,iFAAiF;AACjF,8DAA8D;AAE9D,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAC/C,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAQ7C;;;GAGG;AACH,MAAM,UAAU,YAAY,CAC1B,OAAe,EACf,OAA2B,EAC3B,IAAoC;IAEpC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QACd,IAAI,OAAO,EAAE,CAAC;YACZ,OAAO;gBACL,KAAK,EAAE,yFAAyF;aACjG,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC;IACtE,CAAC;IACD,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;QACZ,OAAO,EAAE,KAAK,EAAE,+BAA+B,EAAE,CAAC;IACpD,CAAC;IACD,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO;YACL,KAAK,EAAE,oFAAoF;SAC5F,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AAC7C,CAAC;AAUD,kFAAkF;AAClF,MAAM,CAAC,MAAM,OAAO,GAAc,CAAC,IAAI,EAAE,EAAE;IACzC,MAAM,CAAC,GAAG,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;IACvD,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;AAC9E,CAAC,CAAC;AAKF;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,IAAY,EAAE,GAAW,EAAE,SAAoB,OAAO;IACpF,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1B,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,WAAW,EAAE,iBAAiB,CAAC,CAAC,CAAC;IAC9E,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,YAAY,IAAI,0DAA0D,EAAE,CAAC;IAC5G,CAAC;IACD,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IACxC,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,aAAa,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;IAC/E,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IACrD,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,YAAY,IAAI,6BAA6B,QAAQ,EAAE,EAAE,CAAC;IACzF,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,GAAG,IAAI,OAAO,EAAE,CAAC,CAAC,CAAC;IACnE,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO;YACL,EAAE,EAAE,KAAK;YACT,OAAO,EAAE,wBAAwB,OAAO,iBAAiB,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,mBAAmB,EAAE;SACtH,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;AAC5C,CAAC"}