@milehimikey/em 1.17.0 → 1.18.1

package/dist/render/storylineBands.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"storylineBands.js","sourceRoot":"","sources":["../../src/render/storylineBands.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,mEAAmE;AACnE,EAAE;AACF,4FAA4F;AAC5F,+FAA+F;AAC/F,qFAAqF;AACrF,6FAA6F;AAG7F,OAAO,EAAQ,aAAa,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AACrF,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAGvD,yEAAyE;AACzE,SAAS,OAAO,CAAC,IAAU;IACzB,OAAO,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;AACrD,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,gBAAgB,CAAC,IAAU;IACzC,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IACrB,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE;QAAE,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAClE,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,GAAG,CAAC,CAAS;IACpB,OAAO,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;AACtG,CAAC;AAED;qEACqE;AACrE,MAAM,UAAU,mBAAmB,CAAC,KAAsB,EAAE,IAAU,EAAE,KAAwB;IAC9F,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACxB,IAAI,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IACrB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,GAAG,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QACvC,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;QACvD,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QACpD,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI;YAAE,SAAS;QAC9B,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACxC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;QACxB,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC;QACtC,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC;QACxC,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACpB,MAAM,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,SAAS,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC;QAC/E,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;QAC7D,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;QAChG,MAAM,GAAG,GAAG,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,SAAS,CAAC,IAAI,MAAM,GAAG,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC;QAC1G,KAAK,CAAC,IAAI,CACR,gDAAgD,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI;YACzE,UAAU,GAAG,CAAC,GAAG,CAAC,UAAU;YAC5B,YAAY,IAAI,QAAQ,KAAK,CAAC,GAAG,YAAY,KAAK,aAAa,MAAM,WAAW;YAChF,SAAS,KAAK,CAAC,IAAI,aAAa,KAAK,CAAC,MAAM,sBAAsB;YAClE,iCAAiC,IAAI,GAAG,KAAK,GAAG,CAAC,QAAQ,KAAK,CAAC,GAAG,GAAG,MAAM,GAAG,CAAC,GAAG,CAAC,IAAI;YACvF,+FAA+F;YAC/F,SAAS,KAAK,CAAC,SAAS,KAAK,GAAG,CAAC,KAAK,CAAC,aAAa,CACvD,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACxB,CAAC;AAED,MAAM,YAAY,GAAG,GAAG,CAAC;AAEzB;qDACqD;AACrD,MAAM,UAAU,cAAc,CAAC,GAAW,EAAE,KAAsB;IAChE,IAAI,GAAG,GAAG,GAAG,CAAC;IACd,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,EAAE;QAChC,IAAI,CAAC,KAAK,CAAC,IAAI;YAAE,OAAO;QACxB,MAAM,GAAG,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAClE,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;YACrB,MAAM,EAAE,GAAG,IAAI,MAAM,CAAC,6CAA6C,QAAQ,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC;YAC5F,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,eAAe,YAAY,KAAK,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,QAAQ,CAAC,CAAS;IACzB,OAAO,CAAC,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;AAClD,CAAC"}

package/dist/render/storylineDiagram.d.ts

@@ -0,0 +1,14 @@
+import { NormalizedModel, Storyline } from "../model/model.js";
+import { Grid, LayoutOptions } from "../layout/grid.js";
+export interface StorylineDiagramResult {
+    model: NormalizedModel;
+    grid: Grid;
+    dot: string;
+}
+/** The storyline named `name`, or an error message naming the available ones. */
+export declare function resolveStorylineArg(model: NormalizedModel, name: string): {
+    storyline: Storyline;
+} | {
+    error: string;
+};
+export declare function buildStorylineDiagram(model: NormalizedModel, storyline: Storyline, opts?: LayoutOptions): StorylineDiagramResult;

package/dist/render/storylineDiagram.js

@@ -0,0 +1,142 @@
+// SPDX-License-Identifier: MIT
+// Renders ONE storyline alone (`em render --storyline <name>`, GH #277): a subset of the
+// normal timeline's columns, not a redrawn pattern shape (that is `--slice`).
+//
+// The columns are the storyline's own slices, in order, preceded by dimmed STUB columns: every
+// element a slice of the storyline reads from outside it (so each arrow still has a source), and
+// for a storyline declared `after "<other>"` the referenced storyline's end state — the latest
+// earlier instance of each read model the storyline continues with `again`. A stub column holds
+// only the referenced elements of its origin slice, never the whole slice, so the picture can
+// never balloon into the rest of the model. Like render/sliceDiagram.ts this builds a small
+// synthetic NormalizedModel from shallow clones of the real Elements (same ids, fields, notes)
+// and runs it through the unmodified layout()/emitDot()/composeSvg() pipeline.
+import { AUTOMATION_KINDS } from "../parser/ast.js";
+import { normalizeName } from "../model/model.js";
+import { semanticEdges } from "../model/edges.js";
+import { findStoryline, latestOnTimeline, composedRank } from "../model/storylines.js";
+import { layout } from "../layout/grid.js";
+import { emitDot } from "../emit/dot.js";
+/** The storyline named `name`, or an error message naming the available ones. */
+export function resolveStorylineArg(model, name) {
+    const storylines = model.storylines ?? [];
+    const storyline = findStoryline(model, name);
+    if (storyline)
+        return { storyline };
+    const known = storylines.map((s) => `"${s.name}"`).join(", ");
+    return {
+        error: storylines.length === 0
+            ? `em render --storyline: this model declares no storylines`
+            : `em render --storyline: no storyline "${name}" (declared: ${known})`,
+    };
+}
+export function buildStorylineDiagram(model, storyline, opts = {}) {
+    const own = [...storyline.sliceIndexes].sort((a, b) => a - b);
+    const ownSet = new Set(own);
+    const stubs = collectStubs(model, storyline, ownSet);
+    // Left to right: the storyline's own slices and every stub column in ONE sequence ordered on
+    // the composed timeline (model/storylines.ts's relationOnTimeline — the ordering validation
+    // uses), file order as the fallback. The storylines this one comes `after` precede it on that
+    // timeline, so their end-state stubs land on the left naturally, while a stub from a slice
+    // between two blocks of this storyline is interleaved with its own columns: no arrow in the
+    // subset points right-to-left.
+    const columns = [
+        ...own.map((i) => ({ i, stub: false })),
+        ...[...stubs.keys()].map((i) => ({ i, stub: true })),
+    ].sort((x, y) => {
+        return composedRank(model, x.i) - composedRank(model, y.i);
+    });
+    const slices = [];
+    const elements = [];
+    const byId = new Map();
+    const byName = new Map();
+    const addColumn = (origin, els, isStub) => {
+        const index = slices.length;
+        const cloned = els.map((el) => ({ ...el, sliceIndex: index }));
+        slices.push({
+            name: origin.name,
+            index,
+            source: origin.source,
+            storyline: isStub ? undefined : storyline.name,
+            stub: isStub || undefined,
+            elements: cloned,
+            line: origin.line,
+        });
+        for (const el of cloned) {
+            elements.push(el);
+            byId.set(el.id, el);
+            const key = normalizeName(el.name);
+            const bucket = byName.get(key);
+            if (bucket)
+                bucket.push(el);
+            else
+                byName.set(key, [el]);
+        }
+    };
+    for (const { i, stub } of columns) {
+        addColumn(model.slices[i], stub ? [...stubs.get(i).values()] : model.slices[i].elements, stub);
+    }
+    const dedupe = (values) => [...new Set(values.filter((v) => !!v))];
+    const synthetic = {
+        name: `${model.name} — ${storyline.name}`,
+        nameDeclared: true,
+        personas: dedupe(elements.filter((e) => e.kind === "ui").map((e) => e.persona)),
+        contexts: dedupe(elements.filter((e) => e.kind === "event").map((e) => e.context)),
+        hasAutomation: elements.some((e) => AUTOMATION_KINDS.has(e.kind)),
+        slices,
+        storylines: [
+            {
+                name: storyline.name,
+                source: storyline.source,
+                after: storyline.after,
+                sliceIndexes: slices.filter((s) => !s.stub).map((s) => s.index),
+                line: storyline.line,
+            },
+        ],
+        elements,
+        byId,
+        byName,
+        // As in sliceDiagram: explicit `arrow` statements are dropped from a subset extraction.
+        arrows: [],
+        types: model.types,
+        typesByName: model.typesByName,
+    };
+    const grid = layout(synthetic, opts);
+    return { model: synthetic, grid, dot: emitDot(synthetic, grid) };
+}
+/** origin slice index -> the elements of that slice the storyline needs as stubs. */
+function collectStubs(model, storyline, ownSet) {
+    const stubs = new Map();
+    const add = (el) => {
+        if (!el || ownSet.has(el.sliceIndex))
+            return;
+        let bucket = stubs.get(el.sliceIndex);
+        if (!bucket)
+            stubs.set(el.sliceIndex, (bucket = new Map()));
+        bucket.set(el.id, el);
+    };
+    for (const edge of semanticEdges(model)) {
+        const from = model.byId.get(edge.from);
+        const to = model.byId.get(edge.to);
+        if (!from || !to)
+            continue;
+        if (edge.source === "loops-to") {
+            if (ownSet.has(from.sliceIndex))
+                add(to); // the earlier view a loop re-feeds
+        }
+        else if (ownSet.has(to.sliceIndex)) {
+            add(from); // something the storyline reads
+        }
+    }
+    // The referenced storyline's end state: the latest earlier instance of every read model this
+    // storyline continues with `again`.
+    for (const i of storyline.sliceIndexes) {
+        for (const el of model.slices[i].elements) {
+            if (el.kind !== "view" || !el.again)
+                continue;
+            const earlier = model.elements.filter((x) => x.kind === "view" && x.logicalId === el.logicalId && x.id !== el.id);
+            add(latestOnTimeline(model, earlier, el.sliceIndex, true));
+        }
+    }
+    return stubs;
+}
+//# sourceMappingURL=storylineDiagram.js.map

package/dist/render/storylineDiagram.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"storylineDiagram.js","sourceRoot":"","sources":["../../src/render/storylineDiagram.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,yFAAyF;AACzF,8EAA8E;AAC9E,EAAE;AACF,+FAA+F;AAC/F,iGAAiG;AACjG,+FAA+F;AAC/F,gGAAgG;AAChG,8FAA8F;AAC9F,4FAA4F;AAC5F,+FAA+F;AAC/F,+EAA+E;AAE/E,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,EAA8C,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAC9F,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AACvF,OAAO,EAAuB,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAChE,OAAO,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAQzC,iFAAiF;AACjF,MAAM,UAAU,mBAAmB,CACjC,KAAsB,EACtB,IAAY;IAEZ,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC;IAC1C,MAAM,SAAS,GAAG,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC7C,IAAI,SAAS;QAAE,OAAO,EAAE,SAAS,EAAE,CAAC;IACpC,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,OAAO;QACL,KAAK,EACH,UAAU,CAAC,MAAM,KAAK,CAAC;YACrB,CAAC,CAAC,0DAA0D;YAC5D,CAAC,CAAC,wCAAwC,IAAI,gBAAgB,KAAK,GAAG;KAC3E,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,KAAsB,EACtB,SAAoB,EACpB,OAAsB,EAAE;IAExB,MAAM,GAAG,GAAG,CAAC,GAAG,SAAS,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9D,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;IAC5B,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;IAErD,6FAA6F;IAC7F,4FAA4F;IAC5F,8FAA8F;IAC9F,2FAA2F;IAC3F,4FAA4F;IAC5F,+BAA+B;IAC/B,MAAM,OAAO,GAAG;QACd,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QACvC,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;KACrD,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACd,OAAO,YAAY,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAmB,CAAC;IACxC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC5C,MAAM,SAAS,GAAG,CAAC,MAAa,EAAE,GAAc,EAAE,MAAe,EAAQ,EAAE;QACzE,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC;QAC5B,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAW,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QACxE,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,KAAK;YACL,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI;YAC9C,IAAI,EAAE,MAAM,IAAI,SAAS;YACzB,QAAQ,EAAE,MAAM;YAChB,IAAI,EAAE,MAAM,CAAC,IAAI;SAClB,CAAC,CAAC;QACH,KAAK,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;YACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAClB,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YACpB,MAAM,GAAG,GAAG,aAAa,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YACnC,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC/B,IAAI,MAAM;gBAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;;gBACvB,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,CAAC;IACH,CAAC,CAAC;IACF,KAAK,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,OAAO,EAAE,CAAC;QAClC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAClG,CAAC;IAED,MAAM,MAAM,GAAG,CAAC,MAA8B,EAAY,EAAE,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClH,MAAM,SAAS,GAAoB;QACjC,IAAI,EAAE,GAAG,KAAK,CAAC,IAAI,MAAM,SAAS,CAAC,IAAI,EAAE;QACzC,YAAY,EAAE,IAAI;QAClB,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAC/E,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAClF,aAAa,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACjE,MAAM;QACN,UAAU,EAAE;YACV;gBACE,IAAI,EAAE,SAAS,CAAC,IAAI;gBACpB,MAAM,EAAE,SAAS,CAAC,MAAM;gBACxB,KAAK,EAAE,SAAS,CAAC,KAAK;gBACtB,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;gBAC/D,IAAI,EAAE,SAAS,CAAC,IAAI;aACrB;SACF;QACD,QAAQ;QACR,IAAI;QACJ,MAAM;QACN,wFAAwF;QACxF,MAAM,EAAE,EAAE;QACV,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,WAAW,EAAE,KAAK,CAAC,WAAW;KAC/B,CAAC;IACF,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;IACrC,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC;AACnE,CAAC;AAED,qFAAqF;AACrF,SAAS,YAAY,CAAC,KAAsB,EAAE,SAAoB,EAAE,MAAmB;IACrF,MAAM,KAAK,GAAG,IAAI,GAAG,EAAgC,CAAC;IACtD,MAAM,GAAG,GAAG,CAAC,EAAuB,EAAQ,EAAE;QAC5C,IAAI,CAAC,EAAE,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC;YAAE,OAAO;QAC7C,IAAI,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC;QACtC,IAAI,CAAC,MAAM;YAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,EAAE,CAAC,MAAM,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC;QAC5D,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IACxB,CAAC,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,MAAM,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE;YAAE,SAAS;QAC3B,IAAI,IAAI,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;YAC/B,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC;gBAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,mCAAmC;QAC/E,CAAC;aAAM,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;YACrC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,gCAAgC;QAC7C,CAAC;IACH,CAAC;IACD,6FAA6F;IAC7F,oCAAoC;IACpC,KAAK,MAAM,CAAC,IAAI,SAAS,CAAC,YAAY,EAAE,CAAC;QACvC,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC1C,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,EAAE,CAAC,KAAK;gBAAE,SAAS;YAC9C,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,SAAS,KAAK,EAAE,CAAC,SAAS,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;YAClH,GAAG,CAAC,gBAAgB,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC;QAC7D,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/roster/check.d.ts

@@ -0,0 +1,32 @@
+import { NormalizedModel } from "../model/model.js";
+import { RefsResult } from "../model/refs.js";
+import { Diagnostic } from "../model/validate.js";
+import { LoadedRoster, RosterRole } from "./roster.js";
+export declare const ROSTER_CHECK_SCHEMA_VERSION = "1.0";
+export interface RosterCheckResult {
+    sliceKey: string;
+    doc: string;
+    role: RosterRole;
+    name: string;
+    status: string | null;
+    contexts: string[];
+    ok: boolean;
+    /** The refusal text when `ok` is false. */
+    message: string | null;
+}
+export interface RosterCheckReport {
+    roster: {
+        state: LoadedRoster["state"];
+        path: string | null;
+    };
+    results: RosterCheckResult[];
+    /** Docs whose signer is em's `grandfathered ...` migration marker -- exempt, counted. */
+    grandfathered: number;
+    diagnostics: Diagnostic[];
+    /** No roster, or a valid one with every checked signer permitted. */
+    ok: boolean;
+}
+export declare function checkRoster(model: NormalizedModel, refs: RefsResult, baseDir: string, file: string, loaded: LoadedRoster): RosterCheckReport;
+export declare function grandfatheredNotice(n: number): string | null;
+export declare function formatRosterCheck(report: RosterCheckReport): string[];
+export declare function buildRosterCheckJson(file: string, report: RosterCheckReport): string;

package/dist/roster/check.js

@@ -0,0 +1,92 @@
+// SPDX-License-Identifier: MIT
+// `em roster check <model>` (GH #259): the whole-model CI enforcement of the ratifier roster. Where
+// `--slice-ready <key>` judges one ready-to-implement slice, this walks EVERY bound slice doc and
+// tests each recorded signer against the roster: `ratifiedBy` on `ready-to-implement` and
+// `implemented` docs, `reviewedBy` on any doc that carries one. em's own `grandfathered ...`
+// placeholder is not a signer and is exempt (counted, so the exemption is visible).
+import { computeModelKey } from "../model/qualifiedRef.js";
+import { resolveSliceDocJoin } from "../catalog/docJoin.js";
+import { makeDiag } from "../model/rules.js";
+import { isGrandfatheredSignoff, rosterRefusal, sliceContexts } from "./roster.js";
+export const ROSTER_CHECK_SCHEMA_VERSION = "1.0";
+const RATIFIED_STATUSES = new Set(["ready-to-implement", "implemented"]);
+export function checkRoster(model, refs, baseDir, file, loaded) {
+    if (loaded.state === "absent")
+        return { roster: { state: "absent", path: null }, results: [], grandfathered: 0, diagnostics: [], ok: true };
+    if (loaded.state === "invalid") {
+        return {
+            roster: { state: "invalid", path: loaded.path },
+            results: [],
+            grandfathered: 0,
+            diagnostics: loaded.diagnostics.map((d) => makeDiag("roster-invalid", { message: `${loaded.path}: ${d.message}`, line: d.line })),
+            ok: false,
+        };
+    }
+    const modelKey = computeModelKey(model, file);
+    const results = [];
+    const diagnostics = [];
+    const seenDocs = new Set();
+    let grandfathered = 0;
+    refs.sliceKeys.forEach((sliceKey, i) => {
+        const { doc, continuationOf } = resolveSliceDocJoin(model, refs, model.slices[i], sliceKey, baseDir, (id) => refs.refById.get(id));
+        if (continuationOf || doc.reason !== null || seenDocs.has(doc.path))
+            return;
+        seenDocs.add(doc.path);
+        const contexts = sliceContexts(model, i);
+        const signers = [
+            ["ratifiers", doc.status !== null && RATIFIED_STATUSES.has(doc.status) ? doc.ratifiedBy : null],
+            ["reviewers", doc.reviewedBy],
+        ];
+        let countedGrandfathered = false;
+        for (const [role, name] of signers) {
+            if (!name)
+                continue;
+            if (isGrandfatheredSignoff(name, doc.ratifiedHash)) {
+                if (!countedGrandfathered)
+                    grandfathered++;
+                countedGrandfathered = true;
+                continue;
+            }
+            const refusal = rosterRefusal(loaded.roster, role, name, contexts, modelKey);
+            const ok = refusal === null;
+            results.push({ sliceKey, doc: doc.path, role, name, status: doc.status, contexts, ok, message: refusal });
+            if (!ok) {
+                diagnostics.push(makeDiag(role === "ratifiers" ? "ratified-by-not-in-roster" : "reviewed-by-not-in-roster", {
+                    message: `slice "${sliceKey}" (${doc.path}): ${role === "ratifiers" ? "ratifiedBy" : "reviewedBy"} ${refusal} (${loaded.path})`,
+                    refs: [sliceKey],
+                }));
+            }
+        }
+    });
+    return { roster: { state: "present", path: loaded.path }, results, grandfathered, diagnostics, ok: diagnostics.length === 0 };
+}
+export function grandfatheredNotice(n) {
+    return n > 0 ? `${n} doc${n === 1 ? "" : "s"} ${n === 1 ? "carries" : "carry"} the grandfathered placeholder and ${n === 1 ? "is" : "are"} exempt until re-ratified` : null;
+}
+export function formatRosterCheck(report) {
+    if (report.roster.state === "absent")
+        return ["no ratifiers.yaml found - nothing to check"];
+    const lines = [];
+    if (report.roster.state === "invalid")
+        return lines;
+    const bad = report.results.filter((r) => !r.ok).length;
+    lines.push(bad === 0
+        ? `ok - ${report.results.length} recorded signer(s) all on ${report.roster.path}`
+        : `${bad} of ${report.results.length} recorded signer(s) not permitted by ${report.roster.path}`);
+    const g = grandfatheredNotice(report.grandfathered);
+    if (g)
+        lines.push(g);
+    return lines;
+}
+export function buildRosterCheckJson(file, report) {
+    return JSON.stringify({
+        rosterCheckSchemaVersion: ROSTER_CHECK_SCHEMA_VERSION,
+        file,
+        roster: report.roster,
+        ok: report.ok,
+        grandfathered: report.grandfathered,
+        results: report.results,
+        diagnostics: report.diagnostics.map((d) => ({ severity: d.severity, code: d.code, message: d.message, line: d.line ?? null, refs: d.refs ?? [] })),
+    }, null, 2);
+}
+//# sourceMappingURL=check.js.map

package/dist/roster/check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"check.js","sourceRoot":"","sources":["../../src/roster/check.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,oGAAoG;AACpG,kGAAkG;AAClG,0FAA0F;AAC1F,6FAA6F;AAC7F,oFAAoF;AAIpF,OAAO,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAE5D,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC7C,OAAO,EAA4B,sBAAsB,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAE7G,MAAM,CAAC,MAAM,2BAA2B,GAAG,KAAK,CAAC;AAwBjD,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,CAAC,oBAAoB,EAAE,aAAa,CAAC,CAAC,CAAC;AAEzE,MAAM,UAAU,WAAW,CAAC,KAAsB,EAAE,IAAgB,EAAE,OAAe,EAAE,IAAY,EAAE,MAAoB;IACvH,IAAI,MAAM,CAAC,KAAK,KAAK,QAAQ;QAAE,OAAO,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,aAAa,EAAE,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;IAC5I,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO;YACL,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE;YAC/C,OAAO,EAAE,EAAE;YACX,aAAa,EAAE,CAAC;YAChB,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,gBAAgB,EAAE,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YACjI,EAAE,EAAE,KAAK;SACV,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAwB,EAAE,CAAC;IACxC,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE;QACrC,MAAM,EAAE,GAAG,EAAE,cAAc,EAAE,GAAG,mBAAmB,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC,CAAC;QACpI,IAAI,cAAc,IAAI,GAAG,CAAC,MAAM,KAAK,IAAI,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO;QAC5E,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACvB,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACzC,MAAM,OAAO,GAAuC;YAClD,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,KAAK,IAAI,IAAI,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;YAC/F,CAAC,WAAW,EAAE,GAAG,CAAC,UAAU,CAAC;SAC9B,CAAC;QACF,IAAI,oBAAoB,GAAG,KAAK,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,OAAO,EAAE,CAAC;YACnC,IAAI,CAAC,IAAI;gBAAE,SAAS;YACpB,IAAI,sBAAsB,CAAC,IAAI,EAAE,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC;gBACnD,IAAI,CAAC,oBAAoB;oBAAE,aAAa,EAAE,CAAC;gBAC3C,oBAAoB,GAAG,IAAI,CAAC;gBAC5B,SAAS;YACX,CAAC;YACD,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;YAC7E,MAAM,EAAE,GAAG,OAAO,KAAK,IAAI,CAAC;YAC5B,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;YAC1G,IAAI,CAAC,EAAE,EAAE,CAAC;gBACR,WAAW,CAAC,IAAI,CACd,QAAQ,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,CAAC,2BAA2B,EAAE;oBACzF,OAAO,EAAE,UAAU,QAAQ,MAAM,GAAG,CAAC,IAAI,MAAM,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,YAAY,IAAI,OAAO,KAAK,MAAM,CAAC,IAAI,GAAG;oBAC/H,IAAI,EAAE,CAAC,QAAQ,CAAC;iBACjB,CAAC,CACH,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,EAAE,EAAE,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;AAChI,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,CAAS;IAC3C,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,sCAAsC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,2BAA2B,CAAC,CAAC,CAAC,IAAI,CAAC;AAC9K,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,MAAyB;IACzD,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,KAAK,QAAQ;QAAE,OAAO,CAAC,4CAA4C,CAAC,CAAC;IAC5F,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACpD,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC;IACvD,KAAK,CAAC,IAAI,CACR,GAAG,KAAK,CAAC;QACP,CAAC,CAAC,QAAQ,MAAM,CAAC,OAAO,CAAC,MAAM,8BAA8B,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE;QACjF,CAAC,CAAC,GAAG,GAAG,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,wCAAwC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CACnG,CAAC;IACF,MAAM,CAAC,GAAG,mBAAmB,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;IACpD,IAAI,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrB,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,IAAY,EAAE,MAAyB;IAC1E,OAAO,IAAI,CAAC,SAAS,CACnB;QACE,wBAAwB,EAAE,2BAA2B;QACrD,IAAI;QACJ,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,EAAE,EAAE,MAAM,CAAC,EAAE;QACb,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,IAAI,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC,CAAC;KACnJ,EACD,IAAI,EACJ,CAAC,CACF,CAAC;AACJ,CAAC"}

package/dist/roster/context.d.ts

@@ -0,0 +1,3 @@
+import type { NormalizedModel } from "../model/model.js";
+import { RosterModelContext } from "./roster.js";
+export declare function rosterContextFor(model: NormalizedModel, file: string): RosterModelContext;

package/dist/roster/context.js

@@ -0,0 +1,23 @@
+// SPDX-License-Identifier: MIT
+// Glue between a model file and the roster loader (GH #259): the model key and the enclosing
+// system's model keys (from the nearest system.yaml, when one exists) a roster is validated against.
+import { readFileSync } from "node:fs";
+import { parseManifest } from "../system/manifest.js";
+import { findSystemManifestAbove } from "../cli/systemInputs.js";
+import { rosterModelContext } from "./roster.js";
+export function rosterContextFor(model, file) {
+    let systemModelKeys;
+    try {
+        const manifest = findSystemManifestAbove(file);
+        if (manifest !== null) {
+            const parsed = parseManifest(readFileSync(manifest, "utf8"));
+            if (parsed.ok)
+                systemModelKeys = parsed.manifest.models.map((m) => m.key);
+        }
+    }
+    catch {
+        // unreadable manifest: models: entries are then only shape-checked
+    }
+    return rosterModelContext(model, file, systemModelKeys);
+}
+//# sourceMappingURL=context.js.map

package/dist/roster/context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.js","sourceRoot":"","sources":["../../src/roster/context.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,6FAA6F;AAC7F,qGAAqG;AAErG,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAEvC,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAsB,kBAAkB,EAAE,MAAM,aAAa,CAAC;AAErE,MAAM,UAAU,gBAAgB,CAAC,KAAsB,EAAE,IAAY;IACnE,IAAI,eAAqC,CAAC;IAC1C,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;QAC/C,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;YACtB,MAAM,MAAM,GAAG,aAAa,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;YAC7D,IAAI,MAAM,CAAC,EAAE;gBAAE,eAAe,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,mEAAmE;IACrE,CAAC;IACD,OAAO,kBAAkB,CAAC,KAAK,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC;AAC1D,CAAC"}

package/dist/roster/init.d.ts

@@ -0,0 +1,15 @@
+import { NormalizedModel } from "../model/model.js";
+import { RefsResult } from "../model/refs.js";
+/** `em upgrade`'s ratified-signoff step writes this placeholder; it is not a person. */
+export interface ObservedSigners {
+    ratifiers: string[];
+    reviewers: string[];
+    /** Docs carrying the grandfathered placeholder (skipped; counted so the exemption is visible). */
+    grandfathered: number;
+}
+/** Distinct, sorted signer names across every slice doc bound in the model. */
+export declare function observeSigners(model: NormalizedModel, refs: RefsResult, baseDir: string): ObservedSigners;
+/** Roster text for `observed`. With no ratifier observed there is nothing to seed, so the
+ *  `ratifiers:` list is a commented placeholder -- but the file must still be valid, so the
+ *  caller refuses to write when both lists are empty. */
+export declare function renderRoster(observed: ObservedSigners): string;

package/dist/roster/init.js

@@ -0,0 +1,52 @@
+// SPDX-License-Identifier: MIT
+// `em roster init` (GH #259, the upgrade path #290 names): write a starting `ratifiers.yaml` from
+// the names the model's slice docs already record in `ratifiedBy:` / `reviewedBy:`, so adopting the
+// roster does not start by locking out everyone who has already signed something. Entries carry no
+// `contexts` (whole model) -- narrowing them is the host's decision, made by editing the file.
+import { resolveSliceDocJoin } from "../catalog/docJoin.js";
+import { ROSTER_SCHEMA_VERSION, isGrandfatheredSignoff } from "./roster.js";
+/** Distinct, sorted signer names across every slice doc bound in the model. */
+export function observeSigners(model, refs, baseDir) {
+    const ratifiers = new Set();
+    const reviewers = new Set();
+    let grandfathered = 0;
+    const seen = new Set();
+    refs.sliceKeys.forEach((sliceKey, i) => {
+        const { doc } = resolveSliceDocJoin(model, refs, model.slices[i], sliceKey, baseDir, (id) => refs.refById.get(id));
+        if (doc.reason !== null || seen.has(doc.path))
+            return;
+        seen.add(doc.path);
+        const gf = (n) => isGrandfatheredSignoff(n, doc.ratifiedHash);
+        if (gf(doc.ratifiedBy) || gf(doc.reviewedBy))
+            grandfathered++;
+        if (doc.ratifiedBy && !gf(doc.ratifiedBy))
+            ratifiers.add(doc.ratifiedBy.trim());
+        if (doc.reviewedBy && !gf(doc.reviewedBy))
+            reviewers.add(doc.reviewedBy.trim());
+    });
+    const sorted = (s) => [...s].sort((a, b) => a.localeCompare(b));
+    return { ratifiers: sorted(ratifiers), reviewers: sorted(reviewers), grandfathered };
+}
+const yamlName = (n) => JSON.stringify(n);
+/** Roster text for `observed`. With no ratifier observed there is nothing to seed, so the
+ *  `ratifiers:` list is a commented placeholder -- but the file must still be valid, so the
+ *  caller refuses to write when both lists are empty. */
+export function renderRoster(observed) {
+    const lines = [
+        "# ratifiers.yaml -- who may sign slice docs for this model (em roster init).",
+        "# Seeded from the names already recorded in the slice docs. Narrow an entry with",
+        "# `contexts: [Name, ...]` (omit = whole model). Delete the file to lift the restriction.",
+        `rosterSchemaVersion: "${ROSTER_SCHEMA_VERSION}"`,
+    ];
+    const list = (key, names) => {
+        lines.push(`${key}:`);
+        for (const n of names)
+            lines.push(`  - name: ${yamlName(n)}`);
+    };
+    if (observed.ratifiers.length > 0)
+        list("ratifiers", observed.ratifiers);
+    if (observed.reviewers.length > 0)
+        list("reviewers", observed.reviewers);
+    return lines.join("\n") + "\n";
+}
+//# sourceMappingURL=init.js.map

package/dist/roster/init.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"init.js","sourceRoot":"","sources":["../../src/roster/init.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,kGAAkG;AAClG,oGAAoG;AACpG,mGAAmG;AACnG,+FAA+F;AAI/F,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,EAAE,qBAAqB,EAAE,sBAAsB,EAAE,MAAM,aAAa,CAAC;AAU5E,+EAA+E;AAC/E,MAAM,UAAU,cAAc,CAAC,KAAsB,EAAE,IAAgB,EAAE,OAAe;IACtF,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,IAAI,aAAa,GAAG,CAAC,CAAC;IACtB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE;QACrC,MAAM,EAAE,GAAG,EAAE,GAAG,mBAAmB,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC,CAAC;QACpH,IAAI,GAAG,CAAC,MAAM,KAAK,IAAI,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO;QACtD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnB,MAAM,EAAE,GAAG,CAAC,CAAgB,EAAE,EAAE,CAAC,sBAAsB,CAAC,CAAC,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;QAC7E,IAAI,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC;YAAE,aAAa,EAAE,CAAC;QAC9D,IAAI,GAAG,CAAC,UAAU,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC;YAAE,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;QAChF,IAAI,GAAG,CAAC,UAAU,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC;YAAE,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,CAAC,CAAc,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7E,OAAO,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,aAAa,EAAE,CAAC;AACvF,CAAC;AAED,MAAM,QAAQ,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;AAElD;;yDAEyD;AACzD,MAAM,UAAU,YAAY,CAAC,QAAyB;IACpD,MAAM,KAAK,GAAG;QACZ,8EAA8E;QAC9E,kFAAkF;QAClF,0FAA0F;QAC1F,yBAAyB,qBAAqB,GAAG;KAClD,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,GAAW,EAAE,KAAe,EAAE,EAAE;QAC5C,KAAK,CAAC,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC;QACtB,KAAK,MAAM,CAAC,IAAI,KAAK;YAAE,KAAK,CAAC,IAAI,CAAC,aAAa,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAChE,CAAC,CAAC;IACF,IAAI,QAAQ,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;QAAE,IAAI,CAAC,WAAW,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;IACzE,IAAI,QAAQ,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC;QAAE,IAAI,CAAC,WAAW,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;IACzE,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;AACjC,CAAC"}

package/dist/roster/roster.d.ts

@@ -0,0 +1,79 @@
+import type { Diagnostic } from "../model/validate.js";
+import { type NormalizedModel } from "../model/model.js";
+export declare const ROSTER_FILE = "ratifiers.yaml";
+export declare const ROSTER_SCHEMA_VERSION = "1.0";
+export interface RosterEntry {
+    name: string;
+    /** Contexts this person may sign for; `null` = the whole model. Stored without a leading `@`. */
+    contexts: string[] | null;
+    /** Model keys (as `em export` reports `model.key`) this entry applies to; `null` = every model
+     *  the roster governs. */
+    models: string[] | null;
+}
+/** em's own migration marker (`em upgrade`'s `ratified-signoff`), not a signer: exempt from roster checks. */
+export declare const GRANDFATHERED_RATIFIER = "grandfathered (unsigned before em 1.14)";
+/** Exempt only the exact marker AND only on a doc with no `ratifiedHash` (the state `em upgrade`
+ *  leaves it in): a forged "grandfathered by X" or a marker on a hash-bearing doc is a signer and is checked. */
+export declare function isGrandfatheredSignoff(name: string | null | undefined, ratifiedHash: string | null | undefined): boolean;
+export interface Roster {
+    rosterSchemaVersion: string;
+    /** `null` = the file has no `ratifiers:` key, so ratification is not restricted. */
+    ratifiers: RosterEntry[] | null;
+    /** `null` = no `reviewers:` key, so review is not restricted. */
+    reviewers: RosterEntry[] | null;
+}
+export type ParseRosterResult = {
+    ok: true;
+    roster: Roster;
+} | {
+    ok: false;
+    diagnostics: Diagnostic[];
+};
+export declare function normalizeContext(c: string): string;
+/** Parse and shape-check roster text. Every problem is a `roster-invalid` error (never a throw);
+ *  `ok: false` means the roster cannot be used, and callers refuse rather than fall back to open. */
+export declare function parseRoster(text: string): ParseRosterResult;
+export type LoadedRoster = {
+    state: "absent";
+} | {
+    state: "present";
+    path: string;
+    roster: Roster;
+} | {
+    state: "invalid";
+    path: string;
+    diagnostics: Diagnostic[];
+};
+/** The nearest `ratifiers.yaml` walking up from `startDir`, stopping at the nearest directory that
+ *  holds `.git` (a directory or a file) or at the filesystem root. When no `.git` exists anywhere
+ *  above, only `startDir` itself is searched -- without a repo root there is no principled place
+ *  to stop, and a roster in some unrelated parent must not govern the model. */
+export declare function findRosterAbove(startDir: string): string | null;
+/** Discover (or take an explicit `override` path) and parse the roster for a model in `baseDir`.
+ *  An explicit path that does not exist is `invalid` — asking for a roster and not finding it must
+ *  not silently mean "no roster". */
+export declare function loadRoster(baseDir: string, override?: string, modelCtx?: RosterModelContext): LoadedRoster;
+/** What a roster is validated against: the model it governs (and, when a system.yaml is known,
+ *  its model keys). */
+export interface RosterModelContext {
+    model: NormalizedModel;
+    /** The model key `em export` reports; entries scoped to other models are not checked here. */
+    modelKey: string;
+    /** Every model key of the enclosing system, when one is known; `models:` entries must name one. */
+    systemModelKeys?: string[];
+}
+export declare function rosterModelContext(model: NormalizedModel, file: string, systemModelKeys?: string[]): RosterModelContext;
+/** `roster-invalid` for a `contexts:` entry the model does not declare (case-sensitive) -- checked
+ *  only for entries that apply to this model -- and for a `models:` key the enclosing system does
+ *  not have. */
+export declare function validateRosterForModel(roster: Roster, ctx: RosterModelContext): Diagnostic[];
+/** The contexts of a slice: those of its events, plus those of the events ITS OWN views read (each
+ *  view instance's own `from`, not a union across the read model's instances - so adding a later
+ *  instance never changes an earlier slice's contexts). A continuation slice (only `again` views)
+ *  additionally takes the originating instance's own `from`. A slice with neither has none. */
+export declare function sliceContexts(model: NormalizedModel, sliceIndex: number): string[];
+export type RosterRole = "ratifiers" | "reviewers";
+/** `null` = allowed (including: this role is unrestricted). Otherwise the refusal text. */
+export declare function rosterRefusal(roster: Roster, role: RosterRole, name: string, contexts: string[], modelKey?: string): string | null;
+/** Resolve a roster check for a CLI/MCP write path: `null` = proceed, else the refusal message. */
+export declare function checkRosterForWrite(loaded: LoadedRoster, role: RosterRole, name: string, model: NormalizedModel, sliceIndex: number, modelKey?: string): string | null;