@milehimikey/em 1.17.0 → 1.18.1

package/dist/model/shapeLint.js

@@ -0,0 +1,170 @@
+// SPDX-License-Identifier: MIT
+// Advisory "shape" lints (GH #292): patterns that are legal but usually mean a reaction was
+// split by outcome instead of modeled as one slice whose command may record several events.
+//   - automation-split-by-outcome: sibling reaction slices fed by the same view whose events
+//     differ only by an outcome word (Payment Succeeded / Payment Failed).
+//   - retry-slice-of: a slice whose command is `Retry <X>` where `<X>` is another command.
+// Name matching is on normalised, tokenised names; the outcome vocabulary is a constant list
+// (a future config knob — see the PR Decisions).
+import { AUTOMATION_KINDS } from "../parser/ast.js";
+import { normalizeName } from "./model.js";
+import { viewSourceNames } from "./continuation.js";
+import { pushDiag } from "./rules.js";
+/** Outcome words that mark a failure-ish or non-success branch on their own, normalised
+ *  (`timed out` is a two-token phrase). A constant list; a config knob is future work. */
+export const STRONG_OUTCOME_WORDS = new Set([
+    "succeeded", "failed", "rejected", "retried", "declined",
+]);
+/** Domain verbs that double as outcome words. They only count as outcome words when the rest
+ *  of the name matches a sibling exactly, and never make a group on their own: `Order
+ *  Cancelled` beside `Order Completed` is two decisions, not two outcomes of one. */
+export const WEAK_OUTCOME_WORDS = new Set(["completed", "cancelled", "canceled", "expired"]);
+export const OUTCOME_WORDS = new Set([...STRONG_OUTCOME_WORDS, ...WEAK_OUTCOME_WORDS]);
+/** Outcome verbs and nominals as they appear inside a command name. */
+const COMMAND_OUTCOME_TOKENS = new Set([
+    "fail", "failure", "retry", "time", "out", "expire", "reject", "decline", "succeed", "record", "mark", "to", "the", "of",
+]);
+/** Light verb-form normalisation: fulfilled / fulfilment / fulfil share a root, as do
+ *  captured / capture. */
+function root(word) {
+    let w = word;
+    for (const suf of ["ization", "ation", "ment", "ed", "ing", "s"]) {
+        if (w.length - suf.length >= 3 && w.endsWith(suf)) {
+            w = w.slice(0, -suf.length);
+            if (suf === "ization")
+                w += "iz";
+            break;
+        }
+    }
+    if (w.length > 3 && w.endsWith("e"))
+        w = w.slice(0, -1);
+    return w.replace(/([^aeiou])\1$/, "$1");
+}
+/** Name tokens (root-normalised) with outcome words and the `timed out` phrase removed. */
+function stemTokens(name) {
+    const raw = normalizeName(name).split(" ").filter(Boolean);
+    const tokens = [];
+    let strong = false;
+    let weak = false;
+    for (let i = 0; i < raw.length; i++) {
+        if (raw[i] === "timed" && raw[i + 1] === "out") {
+            strong = true;
+            i++;
+        }
+        else if (STRONG_OUTCOME_WORDS.has(raw[i]))
+            strong = true;
+        else if (WEAK_OUTCOME_WORDS.has(raw[i]))
+            weak = true;
+        else
+            tokens.push(root(raw[i]));
+    }
+    return { tokens, strong, weak };
+}
+const REACTION_KINDS = new Set(["automation", "processor", "saga", "translation"]);
+export function shapeDiagnostics(model, refs, diags) {
+    const refOf = (id) => refs.refById.get(id);
+    // --- automation-split-by-outcome ---
+    const rs = [];
+    model.slices.forEach((slice, index) => {
+        const reaction = slice.elements.find((e) => REACTION_KINDS.has(e.kind) && (e.from?.length ?? 0) > 0);
+        const command = slice.elements.find((e) => e.kind === "command");
+        const events = slice.elements.filter((e) => e.kind === "event");
+        if (!reaction || !command || events.length === 0)
+            return;
+        const feeds = new Set();
+        for (const src of reaction.from ?? []) {
+            const key = normalizeName(src);
+            feeds.add(`view:${key}`);
+            for (const v of model.byName.get(key)?.filter((e) => e.kind === "view") ?? []) {
+                for (const ev of viewSourceNames(model, v))
+                    feeds.add(`event:${normalizeName(ev)}`);
+            }
+        }
+        rs.push({ index, reaction, command, events, feeds, context: events[0].context ?? "" });
+    });
+    const commandTokens = (c) => {
+        const out = new Set();
+        for (const t of normalizeName(c.name).split(" ")) {
+            if (COMMAND_OUTCOME_TOKENS.has(t) || OUTCOME_WORDS.has(t))
+                continue;
+            out.add(root(t));
+        }
+        return out;
+    };
+    // Commands share a stem when, minus outcome vocabulary, they overlap on two or more tokens
+    // (verb included) or are identical: `Fulfil Order` / `Fail Order Fulfilment`.
+    const commandsShareStem = (a, b) => {
+        const ta = commandTokens(a);
+        const tb = commandTokens(b);
+        const shared = [...ta].filter((t) => tb.has(t)).length;
+        return shared >= 2 || (shared >= 1 && shared === ta.size && shared === tb.size);
+    };
+    const siblings = (a, b) => {
+        if (a.context !== b.context)
+            return false;
+        if (![...a.feeds].some((f) => b.feeds.has(f)))
+            return false;
+        if (!commandsShareStem(a.command, b.command))
+            return false;
+        return a.events.some((ea) => b.events.some((eb) => {
+            if (normalizeName(ea.name) === normalizeName(eb.name))
+                return false;
+            const sa = stemTokens(ea.name);
+            const sb = stemTokens(eb.name);
+            // At least one side carries an unambiguous outcome word; the other may be plain
+            // (the success sibling, `Order Fulfilled`) or carry any outcome word.
+            return sa.tokens.join(" ") === sb.tokens.join(" ") && (sa.strong || sb.strong);
+        }));
+    };
+    const parent = rs.map((_, i) => i);
+    const find = (i) => (parent[i] === i ? i : (parent[i] = find(parent[i])));
+    for (let i = 0; i < rs.length; i++) {
+        for (let j = i + 1; j < rs.length; j++)
+            if (siblings(rs[i], rs[j]))
+                parent[find(j)] = find(i);
+    }
+    const groups = new Map();
+    rs.forEach((r, i) => groups.set(find(i), [...(groups.get(find(i)) ?? []), r]));
+    for (const group of groups.values()) {
+        if (group.length < 2)
+            continue;
+        const first = group[0];
+        const eventNames = [...new Set(group.flatMap((g) => g.events.map((e) => e.name)))];
+        const sliceNames = group.map((g) => `"${model.slices[g.index].name}"`).join(", ");
+        pushDiag(diags, "automation-split-by-outcome", {
+            message: `slices ${sliceNames} are fed by the same read model and differ only by outcome ` +
+                `(${eventNames.join(", ")}); model one Automation slice where ${first.reaction.kind} ` +
+                `"${first.reaction.name}" triggers one command recording the outcomes as alternative ` +
+                `events (\`event ${eventNames.join(" | ")}\`) instead of one slice per outcome ` +
+                `(docs/patterns.md#automation)`,
+            line: first.reaction.line,
+            refs: [
+                ...group.map((g) => refs.sliceKeys[g.index]),
+                ...group.flatMap((g) => [refOf(g.reaction.id), refOf(g.command.id)]),
+            ],
+        });
+    }
+    // --- retry-slice-of ---
+    const commands = model.elements.filter((e) => e.kind === "command");
+    for (const cmd of commands) {
+        const own = model.slices[cmd.sliceIndex].elements;
+        // State Change slices only: no reaction, and this is the slice's sole command.
+        if (own.some((e) => AUTOMATION_KINDS.has(e.kind)) || own.filter((e) => e.kind === "command").length !== 1)
+            continue;
+        const toks = normalizeName(cmd.name).split(" ");
+        if (toks[0] !== "retry" || toks.length < 2)
+            continue;
+        const rest = toks.slice(1).join(" ");
+        const target = commands.find((c) => c.sliceIndex !== cmd.sliceIndex && normalizeName(c.name) === rest);
+        if (!target)
+            continue;
+        pushDiag(diags, "retry-slice-of", {
+            message: `command "${cmd.name}" (slice ${cmd.sliceIndex + 1}) only retries command "${target.name}"; ` +
+                `a retry is the same command issued again — model it as another trigger of "${target.name}", ` +
+                `not a slice of its own (docs/patterns.md#automation)`,
+            line: cmd.line,
+            refs: [refOf(cmd.id), refOf(target.id)],
+        });
+    }
+}
+//# sourceMappingURL=shapeLint.js.map

package/dist/model/shapeLint.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"shapeLint.js","sourceRoot":"","sources":["../../src/model/shapeLint.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,4FAA4F;AAC5F,4FAA4F;AAC5F,6FAA6F;AAC7F,2EAA2E;AAC3E,2FAA2F;AAC3F,6FAA6F;AAC7F,iDAAiD;AAEjD,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAG3C,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAGtC;0FAC0F;AAC1F,MAAM,CAAC,MAAM,oBAAoB,GAAwB,IAAI,GAAG,CAAC;IAC/D,WAAW,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU;CACzD,CAAC,CAAC;AACH;;qFAEqF;AACrF,MAAM,CAAC,MAAM,kBAAkB,GAAwB,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,WAAW,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC;AAClH,MAAM,CAAC,MAAM,aAAa,GAAwB,IAAI,GAAG,CAAC,CAAC,GAAG,oBAAoB,EAAE,GAAG,kBAAkB,CAAC,CAAC,CAAC;AAE5G,uEAAuE;AACvE,MAAM,sBAAsB,GAAG,IAAI,GAAG,CAAC;IACrC,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI;CACzH,CAAC,CAAC;AAEH;0BAC0B;AAC1B,SAAS,IAAI,CAAC,IAAY;IACxB,IAAI,CAAC,GAAG,IAAI,CAAC;IACb,KAAK,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC;QACjE,IAAI,CAAC,CAAC,MAAM,GAAG,GAAG,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAClD,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YAC5B,IAAI,GAAG,KAAK,SAAS;gBAAE,CAAC,IAAI,IAAI,CAAC;YACjC,MAAM;QACR,CAAC;IACH,CAAC;IACD,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC;QAAE,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACxD,OAAO,CAAC,CAAC,OAAO,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;AAC1C,CAAC;AAED,2FAA2F;AAC3F,SAAS,UAAU,CAAC,IAAY;IAC9B,MAAM,GAAG,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACpC,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;YAC/C,MAAM,GAAG,IAAI,CAAC;YACd,CAAC,EAAE,CAAC;QACN,CAAC;aAAM,IAAI,oBAAoB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAAE,MAAM,GAAG,IAAI,CAAC;aACtD,IAAI,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAAE,IAAI,GAAG,IAAI,CAAC;;YAChD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAClC,CAAC;AAED,MAAM,cAAc,GAAwB,IAAI,GAAG,CAAC,CAAC,YAAY,EAAE,WAAW,EAAE,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC;AAWxG,MAAM,UAAU,gBAAgB,CAAC,KAAsB,EAAE,IAAgB,EAAE,KAAmB;IAC5F,MAAM,KAAK,GAAG,CAAC,EAAU,EAAU,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;IAE5D,sCAAsC;IACtC,MAAM,EAAE,GAAoB,EAAE,CAAC;IAC/B,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;QACpC,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACrG,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;QAChE,IAAI,CAAC,QAAQ,IAAI,CAAC,OAAO,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO;QACzD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;QAChC,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC;YACtC,MAAM,GAAG,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;YAC/B,KAAK,CAAC,GAAG,CAAC,QAAQ,GAAG,EAAE,CAAC,CAAC;YACzB,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;gBAC9E,KAAK,MAAM,EAAE,IAAI,eAAe,CAAC,KAAK,EAAE,CAAC,CAAC;oBAAE,KAAK,CAAC,GAAG,CAAC,SAAS,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACtF,CAAC;QACH,CAAC;QACD,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,IAAI,EAAE,EAAE,CAAC,CAAC;IACzF,CAAC,CAAC,CAAC;IAED,MAAM,aAAa,GAAG,CAAC,CAAU,EAAe,EAAE;QAClD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;QAC9B,KAAK,MAAM,CAAC,IAAI,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YACjD,IAAI,sBAAsB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,SAAS;YACpE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACnB,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IACF,2FAA2F;IAC3F,8EAA8E;IAC9E,MAAM,iBAAiB,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE;QAC5D,MAAM,EAAE,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,EAAE,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,MAAM,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QACvD,OAAO,MAAM,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,MAAM,KAAK,EAAE,CAAC,IAAI,IAAI,MAAM,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC;IAClF,CAAC,CAAC;IACF,MAAM,QAAQ,GAAG,CAAC,CAAgB,EAAE,CAAgB,EAAW,EAAE;QAC/D,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO;YAAE,OAAO,KAAK,CAAC;QAC1C,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QAC5D,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC;YAAE,OAAO,KAAK,CAAC;QAC3D,OAAO,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAC1B,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE;YACnB,IAAI,aAAa,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,aAAa,CAAC,EAAE,CAAC,IAAI,CAAC;gBAAE,OAAO,KAAK,CAAC;YACpE,MAAM,EAAE,GAAG,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YAC/B,MAAM,EAAE,GAAG,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YAC/B,gFAAgF;YAChF,sEAAsE;YACtE,OAAO,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,IAAI,EAAE,CAAC,MAAM,CAAC,CAAC;QACjF,CAAC,CAAC,CACH,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,MAAM,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1F,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACnC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,IAAI,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;gBAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IAChG,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,GAAG,EAA2B,CAAC;IAClD,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/E,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;QACpC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS;QAC/B,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACvB,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACnF,MAAM,UAAU,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClF,QAAQ,CAAC,KAAK,EAAE,6BAA6B,EAAE;YAC7C,OAAO,EACL,UAAU,UAAU,6DAA6D;gBACjF,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,uCAAuC,KAAK,CAAC,QAAQ,CAAC,IAAI,GAAG;gBACtF,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,+DAA+D;gBACtF,mBAAmB,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,uCAAuC;gBAChF,+BAA+B;YACjC,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,IAAI;YACzB,IAAI,EAAE;gBACJ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAC5C,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;aACrE;SACF,CAAC,CAAC;IACL,CAAC;IAED,yBAAyB;IACzB,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IACpE,KAAK,MAAM,GAAG,IAAI,QAAQ,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,QAAQ,CAAC;QAClD,+EAA+E;QAC/E,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACpH,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAChD,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,OAAO,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS;QACrD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,GAAG,CAAC,UAAU,IAAI,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC;QACvG,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,QAAQ,CAAC,KAAK,EAAE,gBAAgB,EAAE;YAChC,OAAO,EACL,YAAY,GAAG,CAAC,IAAI,YAAY,GAAG,CAAC,UAAU,GAAG,CAAC,2BAA2B,MAAM,CAAC,IAAI,KAAK;gBAC7F,8EAA8E,MAAM,CAAC,IAAI,KAAK;gBAC9F,sDAAsD;YACxD,IAAI,EAAE,GAAG,CAAC,IAAI;YACd,IAAI,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;SACxC,CAAC,CAAC;IACL,CAAC;AACH,CAAC"}

package/dist/model/storylines.d.ts

@@ -0,0 +1,51 @@
+import { Storyline, NormalizedModel } from "./model.js";
+export type TimelineRelation = "before" | "same" | "after";
+/** A slice's position in the composed total order (see `composedRanks`). */
+export declare function composedRank(model: NormalizedModel, sliceIndex: number): number;
+/** The storyline a slice was declared in, if any. */
+export declare function storylineOfSlice(model: NormalizedModel, sliceIndex: number): Storyline | undefined;
+/** Storyline lookup by (case/whitespace-insensitive) name. */
+export declare function findStoryline(model: NormalizedModel, name: string): Storyline | undefined;
+/** The storylines `storyline` comes after, transitively: root first, the directly referenced one
+ *  last. `[]` when it has no (valid) `after`. */
+export declare function afterChain(model: NormalizedModel, storyline: Storyline): Storyline[];
+/**
+ * Where slice `target` sits on the timeline relative to slice `viewer`: "before" (strictly
+ * earlier), "same" (the same slice) or "after" (strictly later) — a comparison of the two slices'
+ * composed ranks (`composedRanks`), so it is a strict total order: every pair is comparable and
+ * the answer is antisymmetric.
+ */
+export declare function relationOnTimeline(model: NormalizedModel, target: number, viewer: number): TimelineRelation;
+/** True when `target` is strictly later than `viewer` on the timeline. */
+export declare function isLaterOnTimeline(model: NormalizedModel, target: number, viewer: number): boolean;
+/** True when `target` is strictly earlier than `viewer` on the timeline. */
+export declare function isEarlierOnTimeline(model: NormalizedModel, target: number, viewer: number): boolean;
+/**
+ * The candidate that is the latest at-or-before `viewer` on the timeline (strict: `strict` drops
+ * the viewer's own slice). A viewer inside a storyline that declares `after` prefers, in order:
+ * a candidate in its own storyline, then one in the storylines it comes after (nearest
+ * referenced storyline first, latest slice within it), then anything else by file order — so
+ * `from`/`again` resolve against the referenced storyline's end state, not whatever view a
+ * sibling storyline left in between. Any other viewer gets plain file order.
+ */
+export declare function latestOnTimeline<T extends {
+    sliceIndex: number;
+}>(model: NormalizedModel, candidates: T[], viewer: number, strict?: boolean): T | undefined;
+/** True when the flow `source -> target` points left in the full-model render (file order) even
+ *  though the composed timeline reads it forward — a storyline declared `after` another that
+ *  sits lower in the file. The one case where composing the timeline would let an arrow point
+ *  right-to-left, which is an error rather than a special render. */
+export declare function composedButRenderedBackward(model: NormalizedModel, source: number, target: number): boolean;
+/** Declaration index of the storyline a slice belongs to, or -1 for a slice outside any. */
+export declare function storylineIndexOfSlice(model: NormalizedModel, sliceIndex: number): number;
+/** One contiguous run of columns belonging to one storyline: a storyline whose slices are
+ *  interleaved with others renders one band segment per run (GH #277). */
+export interface StorylineRun {
+    storyline: Storyline;
+    /** Declaration index of the storyline (drives its colour). */
+    index: number;
+    fromCol: number;
+    toCol: number;
+}
+/** The band segments of the full-model render, in column order. */
+export declare function storylineRuns(model: NormalizedModel): StorylineRun[];

package/dist/model/storylines.js

@@ -0,0 +1,188 @@
+// SPDX-License-Identifier: MIT
+// The timeline a model's storylines compose (GH #277). File order is the one timeline a model
+// has always had; a `storyline "Name" after "Other" { … }` block is read as if its slices
+// followed the last slice of `Other` (owner ruling on Law 2: "you can't go backward in a
+// story"). Every forward-only check (`view-from-future-event`, `reaction-from-future-view`,
+// `arrow-backward`, `loops-to-forward`) and every `from`/`again` resolution asks THIS module
+// which of two slices is earlier, instead of comparing `sliceIndex` directly, so the composed
+// timeline is one definition. A model with no `after` clause gets exactly the file-order answers
+// it always did.
+import { normalizeName } from "./model.js";
+/**
+ * The composed timeline as a real total order (GH #277): a deterministic topological sort of the
+ * slices in which the ONLY hard constraints are the `after` relations — every slice of the
+ * referenced storyline (all its blocks) precedes every slice of the storyline that comes after
+ * it, transitively — and file order is the tiebreak (Kahn's algorithm, always taking the ready
+ * slice with the lowest file index). `after` cycles and unknown targets contribute no constraint
+ * (validate reports them), so this never cycles. A model without `after` ranks every slice at
+ * its file index. Returns `rank[sliceIndex]`.
+ */
+function composedRanks(model, byKey, chain) {
+    const n = model.slices.length;
+    const preds = Array.from({ length: n }, () => new Set());
+    for (const st of model.storylines ?? []) {
+        if (st.after === undefined || (chain.get(st.name) ?? []).length === 0)
+            continue;
+        const target = byKey.get(normalizeName(st.after));
+        if (!target)
+            continue;
+        for (const dep of st.sliceIndexes)
+            for (const ref of target.sliceIndexes)
+                preds[dep].add(ref);
+    }
+    const rank = new Array(n).fill(-1);
+    const done = new Array(n).fill(false);
+    for (let next = 0; next < n; next++) {
+        let pick = -1;
+        for (let i = 0; i < n && pick < 0; i++) {
+            if (!done[i] && [...preds[i]].every((p) => done[p]))
+                pick = i;
+        }
+        if (pick < 0)
+            pick = done.indexOf(false); // unreachable: constraints are acyclic
+        done[pick] = true;
+        rank[pick] = next;
+    }
+    return rank;
+}
+/** A slice's position in the composed total order (see `composedRanks`). */
+export function composedRank(model, sliceIndex) {
+    return indexOf(model).rank[sliceIndex] ?? sliceIndex;
+}
+const cache = new WeakMap();
+function indexOf(model) {
+    const hit = cache.get(model);
+    if (hit)
+        return hit;
+    const storylines = model.storylines ?? [];
+    const byKey = new Map();
+    for (const st of storylines) {
+        const key = normalizeName(st.name);
+        if (!byKey.has(key))
+            byKey.set(key, st);
+    }
+    const chain = new Map();
+    for (const st of storylines) {
+        const preds = [];
+        const seen = new Set([st]);
+        let cur = st;
+        let cyclic = false;
+        while (cur && cur.after !== undefined) {
+            const next = byKey.get(normalizeName(cur.after));
+            if (!next)
+                break;
+            if (seen.has(next)) {
+                cyclic = true;
+                break;
+            }
+            seen.add(next);
+            preds.unshift(next);
+            cur = next;
+        }
+        chain.set(st.name, cyclic ? [] : preds);
+    }
+    const index = { byKey, chain, rank: composedRanks(model, byKey, chain) };
+    cache.set(model, index);
+    return index;
+}
+/** The storyline a slice was declared in, if any. */
+export function storylineOfSlice(model, sliceIndex) {
+    const name = model.slices[sliceIndex]?.storyline;
+    return name === undefined ? undefined : indexOf(model).byKey.get(normalizeName(name));
+}
+/** Storyline lookup by (case/whitespace-insensitive) name. */
+export function findStoryline(model, name) {
+    return indexOf(model).byKey.get(normalizeName(name));
+}
+/** The storylines `storyline` comes after, transitively: root first, the directly referenced one
+ *  last. `[]` when it has no (valid) `after`. */
+export function afterChain(model, storyline) {
+    return indexOf(model).chain.get(storyline.name) ?? [];
+}
+/**
+ * Where slice `target` sits on the timeline relative to slice `viewer`: "before" (strictly
+ * earlier), "same" (the same slice) or "after" (strictly later) — a comparison of the two slices'
+ * composed ranks (`composedRanks`), so it is a strict total order: every pair is comparable and
+ * the answer is antisymmetric.
+ */
+export function relationOnTimeline(model, target, viewer) {
+    if (target === viewer)
+        return "same";
+    return composedRank(model, target) < composedRank(model, viewer) ? "before" : "after";
+}
+/** True when `target` is strictly later than `viewer` on the timeline. */
+export function isLaterOnTimeline(model, target, viewer) {
+    return relationOnTimeline(model, target, viewer) === "after";
+}
+/** True when `target` is strictly earlier than `viewer` on the timeline. */
+export function isEarlierOnTimeline(model, target, viewer) {
+    return relationOnTimeline(model, target, viewer) === "before";
+}
+/**
+ * The candidate that is the latest at-or-before `viewer` on the timeline (strict: `strict` drops
+ * the viewer's own slice). A viewer inside a storyline that declares `after` prefers, in order:
+ * a candidate in its own storyline, then one in the storylines it comes after (nearest
+ * referenced storyline first, latest slice within it), then anything else by file order — so
+ * `from`/`again` resolve against the referenced storyline's end state, not whatever view a
+ * sibling storyline left in between. Any other viewer gets plain file order.
+ */
+export function latestOnTimeline(model, candidates, viewer, strict = false) {
+    const visible = candidates.filter((c) => {
+        const rel = relationOnTimeline(model, c.sliceIndex, viewer);
+        return rel === "before" || (!strict && rel === "same");
+    });
+    if (visible.length === 0)
+        return undefined;
+    const own = storylineOfSlice(model, viewer);
+    const chain = own ? afterChain(model, own) : [];
+    const rank = (c) => {
+        const r = composedRank(model, c.sliceIndex);
+        if (chain.length === 0)
+            return [0, 0, r];
+        const st = storylineOfSlice(model, c.sliceIndex);
+        if (st === own)
+            return [2, 0, r];
+        const pos = st ? chain.indexOf(st) : -1;
+        if (pos >= 0)
+            return [1, pos, r];
+        return [0, 0, r];
+    };
+    return visible.reduce((best, c) => {
+        const a = rank(best);
+        const b = rank(c);
+        for (let i = 0; i < 3; i++) {
+            if (b[i] !== a[i])
+                return b[i] > a[i] ? c : best;
+        }
+        return best;
+    });
+}
+/** True when the flow `source -> target` points left in the full-model render (file order) even
+ *  though the composed timeline reads it forward — a storyline declared `after` another that
+ *  sits lower in the file. The one case where composing the timeline would let an arrow point
+ *  right-to-left, which is an error rather than a special render. */
+export function composedButRenderedBackward(model, source, target) {
+    return source > target && relationOnTimeline(model, source, target) === "before";
+}
+/** Declaration index of the storyline a slice belongs to, or -1 for a slice outside any. */
+export function storylineIndexOfSlice(model, sliceIndex) {
+    const st = storylineOfSlice(model, sliceIndex);
+    return st ? (model.storylines ?? []).indexOf(st) : -1;
+}
+/** The band segments of the full-model render, in column order. */
+export function storylineRuns(model) {
+    const runs = [];
+    const storylines = model.storylines ?? [];
+    for (let c = 0; c < model.slices.length; c++) {
+        const index = storylineIndexOfSlice(model, c);
+        if (index < 0)
+            continue;
+        const last = runs[runs.length - 1];
+        if (last && last.index === index && last.toCol === c - 1)
+            last.toCol = c;
+        else
+            runs.push({ storyline: storylines[index], index, fromCol: c, toCol: c });
+    }
+    return runs;
+}
+//# sourceMappingURL=storylines.js.map

package/dist/model/storylines.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"storylines.js","sourceRoot":"","sources":["../../src/model/storylines.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,8FAA8F;AAC9F,0FAA0F;AAC1F,yFAAyF;AACzF,4FAA4F;AAC5F,6FAA6F;AAC7F,8FAA8F;AAC9F,iGAAiG;AACjG,iBAAiB;AAEjB,OAAO,EAA8B,aAAa,EAAE,MAAM,YAAY,CAAC;AAavE;;;;;;;;GAQG;AACH,SAAS,aAAa,CACpB,KAAsB,EACtB,KAA6B,EAC7B,KAA+B;IAE/B,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IAC9B,MAAM,KAAK,GAAkB,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,IAAI,GAAG,EAAU,CAAC,CAAC;IAChF,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,UAAU,IAAI,EAAE,EAAE,CAAC;QACxC,IAAI,EAAE,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAChF,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;QAClD,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,KAAK,MAAM,GAAG,IAAI,EAAE,CAAC,YAAY;YAAE,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,YAAY;gBAAE,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAChG,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,KAAK,CAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3C,MAAM,IAAI,GAAG,IAAI,KAAK,CAAU,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/C,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC;QACpC,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC;QACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAAE,IAAI,GAAG,CAAC,CAAC;QAChE,CAAC;QACD,IAAI,IAAI,GAAG,CAAC;YAAE,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,uCAAuC;QACjF,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;QAClB,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;IACpB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,YAAY,CAAC,KAAsB,EAAE,UAAkB;IACrE,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC;AACvD,CAAC;AAED,MAAM,KAAK,GAAG,IAAI,OAAO,EAAmC,CAAC;AAE7D,SAAS,OAAO,CAAC,KAAsB;IACrC,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC7B,IAAI,GAAG;QAAE,OAAO,GAAG,CAAC;IACpB,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC;IAC1C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC3C,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,aAAa,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IAC1C,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC7C,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;QAC5B,MAAM,KAAK,GAAgB,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAY,CAAC,EAAE,CAAC,CAAC,CAAC;QACtC,IAAI,GAAG,GAA0B,EAAE,CAAC;QACpC,IAAI,MAAM,GAAG,KAAK,CAAC;QACnB,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACtC,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;YACjD,IAAI,CAAC,IAAI;gBAAE,MAAM;YACjB,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnB,MAAM,GAAG,IAAI,CAAC;gBACd,MAAM;YACR,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACf,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YACpB,GAAG,GAAG,IAAI,CAAC;QACb,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC1C,CAAC;IACD,MAAM,KAAK,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;IACzE,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACxB,OAAO,KAAK,CAAC;AACf,CAAC;AAED,qDAAqD;AACrD,MAAM,UAAU,gBAAgB,CAAC,KAAsB,EAAE,UAAkB;IACzE,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,SAAS,CAAC;IACjD,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;AACxF,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,aAAa,CAAC,KAAsB,EAAE,IAAY;IAChE,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;AACvD,CAAC;AAED;iDACiD;AACjD,MAAM,UAAU,UAAU,CAAC,KAAsB,EAAE,SAAoB;IACrE,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;AACxD,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAsB,EAAE,MAAc,EAAE,MAAc;IACvF,IAAI,MAAM,KAAK,MAAM;QAAE,OAAO,MAAM,CAAC;IACrC,OAAO,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,YAAY,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC;AACxF,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,iBAAiB,CAAC,KAAsB,EAAE,MAAc,EAAE,MAAc;IACtF,OAAO,kBAAkB,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,OAAO,CAAC;AAC/D,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,mBAAmB,CAAC,KAAsB,EAAE,MAAc,EAAE,MAAc;IACxF,OAAO,kBAAkB,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,QAAQ,CAAC;AAChE,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAC9B,KAAsB,EACtB,UAAe,EACf,MAAc,EACd,MAAM,GAAG,KAAK;IAEd,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;QACtC,MAAM,GAAG,GAAG,kBAAkB,CAAC,KAAK,EAAE,CAAC,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QAC5D,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,IAAI,GAAG,KAAK,MAAM,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IACH,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3C,MAAM,GAAG,GAAG,gBAAgB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAChD,MAAM,IAAI,GAAG,CAAC,CAAI,EAA4B,EAAE;QAC9C,MAAM,CAAC,GAAG,YAAY,CAAC,KAAK,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;QAC5C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACzC,MAAM,EAAE,GAAG,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;QACjD,IAAI,EAAE,KAAK,GAAG;YAAE,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACjC,MAAM,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxC,IAAI,GAAG,IAAI,CAAC;YAAE,OAAO,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QACjC,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACnB,CAAC,CAAC;IACF,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE;QAChC,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBAAE,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACnD,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;qEAGqE;AACrE,MAAM,UAAU,2BAA2B,CAAC,KAAsB,EAAE,MAAc,EAAE,MAAc;IAChG,OAAO,MAAM,GAAG,MAAM,IAAI,kBAAkB,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,QAAQ,CAAC;AACnF,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,qBAAqB,CAAC,KAAsB,EAAE,UAAkB;IAC9E,MAAM,EAAE,GAAG,gBAAgB,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;IAC/C,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACxD,CAAC;AAYD,mEAAmE;AACnE,MAAM,UAAU,aAAa,CAAC,KAAsB;IAClD,MAAM,IAAI,GAAmB,EAAE,CAAC;IAChC,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC;IAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,qBAAqB,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAC9C,IAAI,KAAK,GAAG,CAAC;YAAE,SAAS;QACxB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACnC,IAAI,IAAI,IAAI,IAAI,CAAC,KAAK,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,KAAK,CAAC,GAAG,CAAC;YAAE,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;;YACpE,IAAI,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAChF,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/model/validate.d.ts

@@ -15,7 +15,8 @@ export interface Diagnostic {
     /** Export-stable refs/keys (from `computeRefs()`) of every entity this diagnostic concerns —
      *  0, 1, or more (e.g. a duplicate-name collision concerns two elements). Omitted, not `[]`,
      *  at sites with no specific entity to point at. Never a second identifier scheme — always
-     *  sourced from the same `RefsResult` `em export`/`em diff` use. */
+     *  sourced from the same `RefsResult` `em export`/`em diff` use, except that invariant-scoped
+     *  rules (`command-second-intent`) also list the bare `INV-…` ids they concern. */
     refs?: string[];
 }
 /** A GitHub user (`@alice`) or team (`@org/team`) — the shape CODEOWNERS accepts. */
@@ -25,6 +26,10 @@ export declare const OWNER_EMAIL_RE: RegExp;
 /** Whether `owner` is usable in a CODEOWNERS line (MIL-234). */
 export declare function isOwnerHandle(owner: string): boolean;
 export declare function validate(model: NormalizedModel, grid: Grid, refs: RefsResult): Diagnostic[];
+/** Minimum run length for `timeline-entity-clustered` (GH #281). A future config knob; the
+ *  value is set by measurement (see the PR): no shipped example, skill em block or real model
+ *  has a qualifying run even at 2, so 3 is conservative. */
+export declare const TIMELINE_ENTITY_CLUSTER_MIN_RUN = 3;
 /** One field on the public surface whose type does not resolve under R7 (MIL-237). */
 export interface UnresolvedPublicField {
     owner: {