@milehimikey/em 1.6.1 → 1.7.0

package/dist/model/rules.d.ts

@@ -0,0 +1,252 @@
+import type { Diagnostic, Severity } from "./validate.js";
+export interface RuleDef {
+    severity: Severity;
+    /** Short human title for a generated table row — not the dynamic per-instance `message`. */
+    title: string;
+    /** Static, generation-ready fix hint (e.g. "Split them into separate slices."). */
+    fix: string;
+    /** docs/validation.md H3 anchor this rule nests under, when one exists and covers >1 rule. */
+    docAnchor?: string;
+    /** True for the 4 `--slice-ready`-only codes (src/catalog/sliceReadyValidate.ts, MIL-87). */
+    optIn?: true;
+}
+export declare const RULES: {
+    readonly "grid-collision": {
+        readonly severity: "error";
+        readonly title: "Band collision";
+        readonly fix: "Split the colliding elements into separate slices.";
+    };
+    readonly "automation-shares-slice-with-command": {
+        readonly severity: "warning";
+        readonly title: "Automation shares slice with its command";
+        readonly fix: "Put the triggered command in the next slice.";
+    };
+    readonly "ui-shares-slice-with-automation": {
+        readonly severity: "warning";
+        readonly title: "`ui` shares slice with a reaction, no command";
+        readonly fix: "Move the `ui` to the read-model slice, or to the slice with the command this triggers.";
+    };
+    readonly "both-ends-of-a-flow/command-no-event": {
+        readonly severity: "warning";
+        readonly title: "Command without event";
+        readonly fix: "Add the event this command records.";
+        readonly docAnchor: "both-ends-of-a-flow";
+    };
+    readonly "view-no-source": {
+        readonly severity: "warning";
+        readonly title: "Read model without source";
+        readonly fix: "Add `from \"Event\"`, or place the view in a slice with an event.";
+    };
+    readonly "view-from-unresolved": {
+        readonly severity: "error";
+        readonly title: "Unknown event source";
+        readonly fix: "Fix the `from` reference to name an existing event.";
+    };
+    readonly "view-from-future-event": {
+        readonly severity: "error";
+        readonly title: "Backward timeline (view reads a future event)";
+        readonly fix: "Move the source to a later `view X again` instance.";
+    };
+    readonly "fields-completeness/view-field-no-source": {
+        readonly severity: "warning";
+        readonly title: "View field with no source";
+        readonly fix: "Add the field to a source event, or remove it from the view.";
+        readonly docAnchor: "fields-completeness";
+    };
+    readonly "fields-completeness/event-field-no-source": {
+        readonly severity: "warning";
+        readonly title: "Event field not from a command";
+        readonly fix: "Add the field to a command in the slice, or remove it from the event.";
+        readonly docAnchor: "fields-completeness";
+    };
+    readonly "reaction-from-unresolved": {
+        readonly severity: "error";
+        readonly title: "Unknown read-model source";
+        readonly fix: "Project the event into a view first, or fix the `from` reference.";
+    };
+    readonly "reaction-from-future-view": {
+        readonly severity: "error";
+        readonly title: "Backward timeline (reaction reads a future view)";
+        readonly fix: "Declare the view in or before the reaction's slice.";
+    };
+    readonly "view-again-without-earlier": {
+        readonly severity: "error";
+        readonly title: "`again` without an earlier declaration";
+        readonly fix: "Declare the view plainly the first time it appears.";
+    };
+    readonly "both-ends-of-a-flow/command-untriggered": {
+        readonly severity: "warning";
+        readonly title: "Command with no trigger";
+        readonly fix: "Add a `ui` in this slice, or a reaction in the previous slice.";
+        readonly docAnchor: "both-ends-of-a-flow";
+    };
+    readonly "both-ends-of-a-flow/view-unconsumed": {
+        readonly severity: "warning";
+        readonly title: "Read model with no consumer";
+        readonly fix: "Add a `ui` or reaction that consumes it, or drop this instance.";
+        readonly docAnchor: "both-ends-of-a-flow";
+    };
+    readonly "both-ends-of-a-flow/event-unread": {
+        readonly severity: "warning";
+        readonly title: "Event nobody reads";
+        readonly fix: "Project it into a view, or reconsider recording it.";
+        readonly docAnchor: "both-ends-of-a-flow";
+    };
+    readonly "both-ends-of-a-flow/event-unproduced": {
+        readonly severity: "warning";
+        readonly title: "Event with no producing command";
+        readonly fix: "Add the command that records it, or an explicit arrow from one.";
+        readonly docAnchor: "both-ends-of-a-flow";
+    };
+    readonly "both-ends-of-a-flow/ui-unbacked": {
+        readonly severity: "warning";
+        readonly title: "`ui` with no read model or command";
+        readonly fix: "Add a `view` it displays, or the command it triggers.";
+        readonly docAnchor: "both-ends-of-a-flow";
+    };
+    readonly "arrow-backward": {
+        readonly severity: "error";
+        readonly title: "Backward arrow";
+        readonly fix: "Restructure so the target comes later.";
+    };
+    readonly "connection-legality/illegal-pair": {
+        readonly severity: "error";
+        readonly title: "Illegal connection";
+        readonly fix: "Only ui→command→event→view→ui and view→reaction→command are legal — the message names the missing step.";
+        readonly docAnchor: "connection-legality";
+    };
+    readonly "arrow-unresolved-source": {
+        readonly severity: "error";
+        readonly title: "Arrow source unresolved";
+        readonly fix: "Fix the arrow's source name.";
+    };
+    readonly "arrow-unresolved-target": {
+        readonly severity: "error";
+        readonly title: "Arrow target unresolved";
+        readonly fix: "Fix the arrow's target name.";
+    };
+    readonly "open-issue": {
+        readonly severity: "warning";
+        readonly title: "Open issue";
+        readonly fix: "Resolve the question, then remove the `issue` clause.";
+    };
+    readonly "duplicate-name": {
+        readonly severity: "warning";
+        readonly title: "Duplicate name";
+        readonly fix: "Rename one of the duplicates.";
+    };
+    readonly "translation-name-collision": {
+        readonly severity: "warning";
+        readonly title: "Translation name reused for different producers";
+        readonly fix: "Use a distinct name per producer to avoid confusion.";
+    };
+    readonly "duplicate-type-name": {
+        readonly severity: "warning";
+        readonly title: "Duplicate type name";
+        readonly fix: "Rename one of the duplicate `type` declarations.";
+    };
+    readonly "type-cycle": {
+        readonly severity: "error";
+        readonly title: "Cyclic type reference";
+        readonly fix: "Break the cycle, or route the self/mutual reference through an array.";
+    };
+    readonly "lineage-ref-malformed": {
+        readonly severity: "error";
+        readonly title: "Malformed lineage ref";
+        readonly fix: "Fix the value to `<slice-key>@v<N>`, or remove it.";
+        readonly docAnchor: "lineage";
+    };
+    readonly "lineage-ref-cycle": {
+        readonly severity: "error";
+        readonly title: "Lineage cycle";
+        readonly fix: "Break the cycle — a slice can't be its own ancestor.";
+        readonly docAnchor: "lineage";
+    };
+    readonly "lineage-forward-dangling": {
+        readonly severity: "error";
+        readonly title: "Dangling forward lineage ref";
+        readonly fix: "Fix the key, or remove the stale successor.";
+        readonly docAnchor: "lineage";
+    };
+    readonly "lineage-version-impossible": {
+        readonly severity: "error";
+        readonly title: "Impossible lineage version";
+        readonly fix: "Fix the referenced version, or ratify the target slice first.";
+        readonly docAnchor: "lineage";
+    };
+    readonly "frontmatter-coherence-implemented-without-link": {
+        readonly severity: "warning";
+        readonly title: "Implemented without a link";
+        readonly fix: "Add `implementedIn` once the slice ships.";
+        readonly docAnchor: "frontmatter-coherence";
+    };
+    readonly "binding-missing-file": {
+        readonly severity: "warning";
+        readonly title: "Doc binding points at a missing file";
+        readonly fix: "Create the slice doc, or fix the `note` path.";
+    };
+    readonly "frontmatter-invalid": {
+        readonly severity: "warning";
+        readonly title: "Invalid or missing frontmatter";
+        readonly fix: "Add the required frontmatter keys, or add a frontmatter block.";
+    };
+    readonly "duplicate-slice-name": {
+        readonly severity: "warning";
+        readonly title: "Duplicate slice name";
+        readonly fix: "Rename the slice so its export key is unique.";
+    };
+    readonly "duplicate-element-ref": {
+        readonly severity: "warning";
+        readonly title: "Duplicate element ref";
+        readonly fix: "Rename the element so its export ref is unique.";
+    };
+    readonly "duplicate-type-ref": {
+        readonly severity: "warning";
+        readonly title: "Duplicate type ref";
+        readonly fix: "Rename the type so its export ref is unique.";
+    };
+    readonly "slice-ready-unknown-slice": {
+        readonly severity: "error";
+        readonly title: "Unknown --slice-ready key";
+        readonly fix: "Pass a valid export key that exists in this model.";
+        readonly docAnchor: "slice-readiness";
+        readonly optIn: true;
+    };
+    readonly "slice-ready-no-doc-bound": {
+        readonly severity: "warning";
+        readonly title: "No doc bound";
+        readonly fix: "Bind a slice doc via `note \"slices/<key>.md\"`.";
+        readonly docAnchor: "slice-readiness";
+        readonly optIn: true;
+    };
+    readonly "slice-ready-status-not-ready": {
+        readonly severity: "warning";
+        readonly title: "Not ready-to-implement";
+        readonly fix: "Set `status: ready-to-implement`.";
+        readonly docAnchor: "slice-readiness";
+        readonly optIn: true;
+    };
+    readonly "slice-ready-open-questions-unchecked": {
+        readonly severity: "warning";
+        readonly title: "Unchecked Open Questions";
+        readonly fix: "Check off the remaining Open Questions.";
+        readonly docAnchor: "slice-readiness";
+        readonly optIn: true;
+    };
+};
+export type RuleCode = keyof typeof RULES;
+/** Build one diagnostic, severity looked up from the registry — the per-instance `message`
+ *  (and optional `line`/`refs`) is all a call site supplies. Throws on an unregistered code:
+ *  a typo here is a bug in the validator itself, not a model-quality finding, so it fails loud
+ *  rather than shipping a diagnostic with no matching rule doc. */
+export declare function makeDiag(code: RuleCode, extra: {
+    message: string;
+    line?: number;
+    refs?: string[];
+}): Diagnostic;
+/** `diags.push(makeDiag(...))`, spelled as one call — the common case at every validator site. */
+export declare function pushDiag(diags: Diagnostic[], code: RuleCode, extra: {
+    message: string;
+    line?: number;
+    refs?: string[];
+}): void;

package/dist/model/rules.js

@@ -0,0 +1,253 @@
+// SPDX-License-Identifier: MIT
+// The single declarative registry of every diagnostic `code` `em validate` (and its fs-aware
+// siblings in src/catalog/) can emit — severity, a short human title, and a static "fix" hint,
+// separate from the dynamic per-instance `message` each call site still writes inline (MIL-92).
+//
+// This exists so the skill's own reference docs can be *generated* from the same source the
+// tool executes (scripts/generate-skill-docs.ts) instead of hand-copied and left to drift —
+// the failure mode MIL-86 hit once already. `pushDiag`/`makeDiag` are the enforcement
+// mechanism: severity is looked up here, never hand-typed a second time at the call site, so a
+// code and its severity can't silently disagree, and a code used but never registered throws
+// immediately rather than shipping an undocumented rule.
+//
+// `optIn: true` marks the 4 codes `em validate --slice-ready <key>` adds (MIL-87) — never part
+// of a plain `em validate` run, excluded from the generated base rule reference.
+export const RULES = {
+    "grid-collision": {
+        severity: "error",
+        title: "Band collision",
+        fix: "Split the colliding elements into separate slices.",
+    },
+    "automation-shares-slice-with-command": {
+        severity: "warning",
+        title: "Automation shares slice with its command",
+        fix: "Put the triggered command in the next slice.",
+    },
+    "ui-shares-slice-with-automation": {
+        severity: "warning",
+        title: "`ui` shares slice with a reaction, no command",
+        fix: "Move the `ui` to the read-model slice, or to the slice with the command this triggers.",
+    },
+    "both-ends-of-a-flow/command-no-event": {
+        severity: "warning",
+        title: "Command without event",
+        fix: "Add the event this command records.",
+        docAnchor: "both-ends-of-a-flow",
+    },
+    "view-no-source": {
+        severity: "warning",
+        title: "Read model without source",
+        fix: 'Add `from "Event"`, or place the view in a slice with an event.',
+    },
+    "view-from-unresolved": {
+        severity: "error",
+        title: "Unknown event source",
+        fix: "Fix the `from` reference to name an existing event.",
+    },
+    "view-from-future-event": {
+        severity: "error",
+        title: "Backward timeline (view reads a future event)",
+        fix: "Move the source to a later `view X again` instance.",
+    },
+    "fields-completeness/view-field-no-source": {
+        severity: "warning",
+        title: "View field with no source",
+        fix: "Add the field to a source event, or remove it from the view.",
+        docAnchor: "fields-completeness",
+    },
+    "fields-completeness/event-field-no-source": {
+        severity: "warning",
+        title: "Event field not from a command",
+        fix: "Add the field to a command in the slice, or remove it from the event.",
+        docAnchor: "fields-completeness",
+    },
+    "reaction-from-unresolved": {
+        severity: "error",
+        title: "Unknown read-model source",
+        fix: "Project the event into a view first, or fix the `from` reference.",
+    },
+    "reaction-from-future-view": {
+        severity: "error",
+        title: "Backward timeline (reaction reads a future view)",
+        fix: "Declare the view in or before the reaction's slice.",
+    },
+    "view-again-without-earlier": {
+        severity: "error",
+        title: "`again` without an earlier declaration",
+        fix: "Declare the view plainly the first time it appears.",
+    },
+    "both-ends-of-a-flow/command-untriggered": {
+        severity: "warning",
+        title: "Command with no trigger",
+        fix: "Add a `ui` in this slice, or a reaction in the previous slice.",
+        docAnchor: "both-ends-of-a-flow",
+    },
+    "both-ends-of-a-flow/view-unconsumed": {
+        severity: "warning",
+        title: "Read model with no consumer",
+        fix: "Add a `ui` or reaction that consumes it, or drop this instance.",
+        docAnchor: "both-ends-of-a-flow",
+    },
+    "both-ends-of-a-flow/event-unread": {
+        severity: "warning",
+        title: "Event nobody reads",
+        fix: "Project it into a view, or reconsider recording it.",
+        docAnchor: "both-ends-of-a-flow",
+    },
+    "both-ends-of-a-flow/event-unproduced": {
+        severity: "warning",
+        title: "Event with no producing command",
+        fix: "Add the command that records it, or an explicit arrow from one.",
+        docAnchor: "both-ends-of-a-flow",
+    },
+    "both-ends-of-a-flow/ui-unbacked": {
+        severity: "warning",
+        title: "`ui` with no read model or command",
+        fix: "Add a `view` it displays, or the command it triggers.",
+        docAnchor: "both-ends-of-a-flow",
+    },
+    "arrow-backward": {
+        severity: "error",
+        title: "Backward arrow",
+        fix: "Restructure so the target comes later.",
+    },
+    "connection-legality/illegal-pair": {
+        severity: "error",
+        title: "Illegal connection",
+        fix: "Only ui→command→event→view→ui and view→reaction→command are legal — the message names the missing step.",
+        docAnchor: "connection-legality",
+    },
+    "arrow-unresolved-source": {
+        severity: "error",
+        title: "Arrow source unresolved",
+        fix: "Fix the arrow's source name.",
+    },
+    "arrow-unresolved-target": {
+        severity: "error",
+        title: "Arrow target unresolved",
+        fix: "Fix the arrow's target name.",
+    },
+    "open-issue": {
+        severity: "warning",
+        title: "Open issue",
+        fix: "Resolve the question, then remove the `issue` clause.",
+    },
+    "duplicate-name": {
+        severity: "warning",
+        title: "Duplicate name",
+        fix: "Rename one of the duplicates.",
+    },
+    "translation-name-collision": {
+        severity: "warning",
+        title: "Translation name reused for different producers",
+        fix: "Use a distinct name per producer to avoid confusion.",
+    },
+    "duplicate-type-name": {
+        severity: "warning",
+        title: "Duplicate type name",
+        fix: "Rename one of the duplicate `type` declarations.",
+    },
+    "type-cycle": {
+        severity: "error",
+        title: "Cyclic type reference",
+        fix: "Break the cycle, or route the self/mutual reference through an array.",
+    },
+    "lineage-ref-malformed": {
+        severity: "error",
+        title: "Malformed lineage ref",
+        fix: "Fix the value to `<slice-key>@v<N>`, or remove it.",
+        docAnchor: "lineage",
+    },
+    "lineage-ref-cycle": {
+        severity: "error",
+        title: "Lineage cycle",
+        fix: "Break the cycle — a slice can't be its own ancestor.",
+        docAnchor: "lineage",
+    },
+    "lineage-forward-dangling": {
+        severity: "error",
+        title: "Dangling forward lineage ref",
+        fix: "Fix the key, or remove the stale successor.",
+        docAnchor: "lineage",
+    },
+    "lineage-version-impossible": {
+        severity: "error",
+        title: "Impossible lineage version",
+        fix: "Fix the referenced version, or ratify the target slice first.",
+        docAnchor: "lineage",
+    },
+    "frontmatter-coherence-implemented-without-link": {
+        severity: "warning",
+        title: "Implemented without a link",
+        fix: "Add `implementedIn` once the slice ships.",
+        docAnchor: "frontmatter-coherence",
+    },
+    "binding-missing-file": {
+        severity: "warning",
+        title: "Doc binding points at a missing file",
+        fix: "Create the slice doc, or fix the `note` path.",
+    },
+    "frontmatter-invalid": {
+        severity: "warning",
+        title: "Invalid or missing frontmatter",
+        fix: "Add the required frontmatter keys, or add a frontmatter block.",
+    },
+    "duplicate-slice-name": {
+        severity: "warning",
+        title: "Duplicate slice name",
+        fix: "Rename the slice so its export key is unique.",
+    },
+    "duplicate-element-ref": {
+        severity: "warning",
+        title: "Duplicate element ref",
+        fix: "Rename the element so its export ref is unique.",
+    },
+    "duplicate-type-ref": {
+        severity: "warning",
+        title: "Duplicate type ref",
+        fix: "Rename the type so its export ref is unique.",
+    },
+    "slice-ready-unknown-slice": {
+        severity: "error",
+        title: "Unknown --slice-ready key",
+        fix: "Pass a valid export key that exists in this model.",
+        docAnchor: "slice-readiness",
+        optIn: true,
+    },
+    "slice-ready-no-doc-bound": {
+        severity: "warning",
+        title: "No doc bound",
+        fix: 'Bind a slice doc via `note "slices/<key>.md"`.',
+        docAnchor: "slice-readiness",
+        optIn: true,
+    },
+    "slice-ready-status-not-ready": {
+        severity: "warning",
+        title: "Not ready-to-implement",
+        fix: "Set `status: ready-to-implement`.",
+        docAnchor: "slice-readiness",
+        optIn: true,
+    },
+    "slice-ready-open-questions-unchecked": {
+        severity: "warning",
+        title: "Unchecked Open Questions",
+        fix: "Check off the remaining Open Questions.",
+        docAnchor: "slice-readiness",
+        optIn: true,
+    },
+};
+/** Build one diagnostic, severity looked up from the registry — the per-instance `message`
+ *  (and optional `line`/`refs`) is all a call site supplies. Throws on an unregistered code:
+ *  a typo here is a bug in the validator itself, not a model-quality finding, so it fails loud
+ *  rather than shipping a diagnostic with no matching rule doc. */
+export function makeDiag(code, extra) {
+    const rule = RULES[code];
+    if (!rule)
+        throw new Error(`makeDiag: unknown rule code "${code}" — register it in src/model/rules.ts`);
+    return { severity: rule.severity, code, ...extra };
+}
+/** `diags.push(makeDiag(...))`, spelled as one call — the common case at every validator site. */
+export function pushDiag(diags, code, extra) {
+    diags.push(makeDiag(code, extra));
+}
+//# sourceMappingURL=rules.js.map

package/dist/model/rules.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rules.js","sourceRoot":"","sources":["../../src/model/rules.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,6FAA6F;AAC7F,+FAA+F;AAC/F,gGAAgG;AAChG,EAAE;AACF,4FAA4F;AAC5F,4FAA4F;AAC5F,sFAAsF;AACtF,+FAA+F;AAC/F,6FAA6F;AAC7F,yDAAyD;AACzD,EAAE;AACF,+FAA+F;AAC/F,iFAAiF;AAgBjF,MAAM,CAAC,MAAM,KAAK,GAAG;IACnB,gBAAgB,EAAE;QAChB,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,gBAAgB;QACvB,GAAG,EAAE,oDAAoD;KAC1D;IACD,sCAAsC,EAAE;QACtC,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,0CAA0C;QACjD,GAAG,EAAE,8CAA8C;KACpD;IACD,iCAAiC,EAAE;QACjC,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,+CAA+C;QACtD,GAAG,EAAE,wFAAwF;KAC9F;IACD,sCAAsC,EAAE;QACtC,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,uBAAuB;QAC9B,GAAG,EAAE,qCAAqC;QAC1C,SAAS,EAAE,qBAAqB;KACjC;IACD,gBAAgB,EAAE;QAChB,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,2BAA2B;QAClC,GAAG,EAAE,iEAAiE;KACvE;IACD,sBAAsB,EAAE;QACtB,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,sBAAsB;QAC7B,GAAG,EAAE,qDAAqD;KAC3D;IACD,wBAAwB,EAAE;QACxB,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,+CAA+C;QACtD,GAAG,EAAE,qDAAqD;KAC3D;IACD,0CAA0C,EAAE;QAC1C,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,2BAA2B;QAClC,GAAG,EAAE,8DAA8D;QACnE,SAAS,EAAE,qBAAqB;KACjC;IACD,2CAA2C,EAAE;QAC3C,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,gCAAgC;QACvC,GAAG,EAAE,uEAAuE;QAC5E,SAAS,EAAE,qBAAqB;KACjC;IACD,0BAA0B,EAAE;QAC1B,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,2BAA2B;QAClC,GAAG,EAAE,mEAAmE;KACzE;IACD,2BAA2B,EAAE;QAC3B,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,kDAAkD;QACzD,GAAG,EAAE,qDAAqD;KAC3D;IACD,4BAA4B,EAAE;QAC5B,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,wCAAwC;QAC/C,GAAG,EAAE,qDAAqD;KAC3D;IACD,yCAAyC,EAAE;QACzC,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,yBAAyB;QAChC,GAAG,EAAE,gEAAgE;QACrE,SAAS,EAAE,qBAAqB;KACjC;IACD,qCAAqC,EAAE;QACrC,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,6BAA6B;QACpC,GAAG,EAAE,iEAAiE;QACtE,SAAS,EAAE,qBAAqB;KACjC;IACD,kCAAkC,EAAE;QAClC,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,oBAAoB;QAC3B,GAAG,EAAE,qDAAqD;QAC1D,SAAS,EAAE,qBAAqB;KACjC;IACD,sCAAsC,EAAE;QACtC,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,iCAAiC;QACxC,GAAG,EAAE,iEAAiE;QACtE,SAAS,EAAE,qBAAqB;KACjC;IACD,iCAAiC,EAAE;QACjC,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,oCAAoC;QAC3C,GAAG,EAAE,uDAAuD;QAC5D,SAAS,EAAE,qBAAqB;KACjC;IACD,gBAAgB,EAAE;QAChB,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,gBAAgB;QACvB,GAAG,EAAE,wCAAwC;KAC9C;IACD,kCAAkC,EAAE;QAClC,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,oBAAoB;QAC3B,GAAG,EAAE,yGAAyG;QAC9G,SAAS,EAAE,qBAAqB;KACjC;IACD,yBAAyB,EAAE;QACzB,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,yBAAyB;QAChC,GAAG,EAAE,8BAA8B;KACpC;IACD,yBAAyB,EAAE;QACzB,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,yBAAyB;QAChC,GAAG,EAAE,8BAA8B;KACpC;IACD,YAAY,EAAE;QACZ,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,YAAY;QACnB,GAAG,EAAE,uDAAuD;KAC7D;IACD,gBAAgB,EAAE;QAChB,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,gBAAgB;QACvB,GAAG,EAAE,+BAA+B;KACrC;IACD,4BAA4B,EAAE;QAC5B,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,iDAAiD;QACxD,GAAG,EAAE,sDAAsD;KAC5D;IACD,qBAAqB,EAAE;QACrB,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,qBAAqB;QAC5B,GAAG,EAAE,kDAAkD;KACxD;IACD,YAAY,EAAE;QACZ,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,uBAAuB;QAC9B,GAAG,EAAE,uEAAuE;KAC7E;IACD,uBAAuB,EAAE;QACvB,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,uBAAuB;QAC9B,GAAG,EAAE,oDAAoD;QACzD,SAAS,EAAE,SAAS;KACrB;IACD,mBAAmB,EAAE;QACnB,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,eAAe;QACtB,GAAG,EAAE,sDAAsD;QAC3D,SAAS,EAAE,SAAS;KACrB;IACD,0BAA0B,EAAE;QAC1B,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,8BAA8B;QACrC,GAAG,EAAE,6CAA6C;QAClD,SAAS,EAAE,SAAS;KACrB;IACD,4BAA4B,EAAE;QAC5B,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,4BAA4B;QACnC,GAAG,EAAE,+DAA+D;QACpE,SAAS,EAAE,SAAS;KACrB;IACD,gDAAgD,EAAE;QAChD,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,4BAA4B;QACnC,GAAG,EAAE,2CAA2C;QAChD,SAAS,EAAE,uBAAuB;KACnC;IACD,sBAAsB,EAAE;QACtB,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,sCAAsC;QAC7C,GAAG,EAAE,+CAA+C;KACrD;IACD,qBAAqB,EAAE;QACrB,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,gCAAgC;QACvC,GAAG,EAAE,gEAAgE;KACtE;IACD,sBAAsB,EAAE;QACtB,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,sBAAsB;QAC7B,GAAG,EAAE,+CAA+C;KACrD;IACD,uBAAuB,EAAE;QACvB,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,uBAAuB;QAC9B,GAAG,EAAE,iDAAiD;KACvD;IACD,oBAAoB,EAAE;QACpB,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,oBAAoB;QAC3B,GAAG,EAAE,8CAA8C;KACpD;IACD,2BAA2B,EAAE;QAC3B,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,2BAA2B;QAClC,GAAG,EAAE,oDAAoD;QACzD,SAAS,EAAE,iBAAiB;QAC5B,KAAK,EAAE,IAAI;KACZ;IACD,0BAA0B,EAAE;QAC1B,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,cAAc;QACrB,GAAG,EAAE,gDAAgD;QACrD,SAAS,EAAE,iBAAiB;QAC5B,KAAK,EAAE,IAAI;KACZ;IACD,8BAA8B,EAAE;QAC9B,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,wBAAwB;QAC/B,GAAG,EAAE,mCAAmC;QACxC,SAAS,EAAE,iBAAiB;QAC5B,KAAK,EAAE,IAAI;KACZ;IACD,sCAAsC,EAAE;QACtC,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,0BAA0B;QACjC,GAAG,EAAE,yCAAyC;QAC9C,SAAS,EAAE,iBAAiB;QAC5B,KAAK,EAAE,IAAI;KACZ;CACyC,CAAC;AAI7C;;;mEAGmE;AACnE,MAAM,UAAU,QAAQ,CAAC,IAAc,EAAE,KAA0D;IACjG,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;IACzB,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,IAAI,uCAAuC,CAAC,CAAC;IACxG,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,KAAK,EAAE,CAAC;AACrD,CAAC;AAED,kGAAkG;AAClG,MAAM,UAAU,QAAQ,CAAC,KAAmB,EAAE,IAAc,EAAE,KAA0D;IACtH,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;AACpC,CAAC"}

package/dist/model/validate.d.ts

@@ -1,13 +1,35 @@
 import { Grid } from "../layout/grid.js";
 import { Element, NormalizedModel } from "./model.js";
+import type { RefsResult } from "./refs.js";
 export type Severity = "error" | "warning";
 export interface Diagnostic {
     severity: Severity;
+    /** Stable, CI-matchable rule identifier (MIL-91) — the contract; `message` is prose and may
+     *  be reworded freely. One code per distinct rule; nested under a docs/validation.md H3
+     *  anchor (`both-ends-of-a-flow/...`, `fields-completeness/...`, `connection-legality/...`)
+     *  where one exists and covers more than one rule. */
+    code: string;
     message: string;
     line?: number;
+    /** 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. */
+    refs?: string[];
 }
-export declare function validate(model: NormalizedModel, grid: Grid): Diagnostic[];
+export declare function validate(model: NormalizedModel, grid: Grid, refs: RefsResult): Diagnostic[];
 export declare function hasErrors(diags: Diagnostic[]): boolean;
 /** Pretty one-line diagnostic for terminal output. */
 export declare function formatDiagnostic(d: Diagnostic): string;
+/** JSON-shaped diagnostic — `line`/`refs` widened to explicit `null`/`[]`, same convention
+ *  every other optional export field uses. Shared by `em export` (`emit/json.ts`) and `em
+ *  diff --json` (`emit/diffJson.ts`, which spreads `{ side, ...serializeDiagnostic(d) }`) so
+ *  the shape is defined once, next to the `Diagnostic` type it serializes. */
+export declare function serializeDiagnostic(d: Diagnostic): {
+    severity: Severity;
+    code: string;
+    message: string;
+    line: number | null;
+    refs: string[];
+};
 export type { Element };