@milehimikey/em 1.7.2 → 1.8.1

package/dist/model/rules.js

@@ -1,217 +1,326 @@
 // 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).
+// siblings in src/catalog/) can emit — severity, a short human title, a static "fix" hint, and
+// a usage-log category string, 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.
+// immediately rather than shipping an undocumented rule. `usageCategory` is generated into
+// docs/usage-data.md's Categories tables the same way (MIL-97) — the fixed vocabulary a
+// `.event-modeling.md` Usage log line picks from, so it can't drift from RULES either.
 //
 // `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.
+// of a plain `em validate` run, excluded from the generated base rule reference (but still
+// included in the usage-log Categories tables — a session can hit them too).
 export const RULES = {
     "grid-collision": {
         severity: "error",
         title: "Band collision",
         fix: "Split the colliding elements into separate slices.",
+        usageCategory: "same-band collision",
     },
     "ui-shares-slice-with-automation": {
         severity: "warning",
         title: "`ui` shares slice with a reaction",
         fix: "Move the `ui` to the slice that displays the read model, or drop it.",
+        usageCategory: "ui shares slice with reaction",
     },
     "both-ends-of-a-flow/command-no-event": {
         severity: "warning",
         title: "Command without event",
         fix: "Add the event this command records.",
+        usageCategory: "command produces no event",
         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.',
+        usageCategory: "read model has no source",
     },
     "view-from-unresolved": {
         severity: "error",
         title: "Unknown event source",
         fix: "Fix the `from` reference to name an existing event.",
+        usageCategory: "view references unknown 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.",
+        usageCategory: "event feeds earlier view 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.",
+        usageCategory: "view field no source",
         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.",
+        usageCategory: "event field not provided by command",
         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.",
+        usageCategory: "reaction references unknown read model",
     },
     "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.",
+        usageCategory: "reaction reads view before it exists",
     },
     "view-again-without-earlier": {
         severity: "error",
         title: "`again` without an earlier declaration",
         fix: "Declare the view plainly the first time it appears.",
+        usageCategory: "view again with no earlier declaration",
     },
     "both-ends-of-a-flow/command-untriggered": {
         severity: "warning",
         title: "Command with no trigger",
         fix: "Add a `ui` or the reaction that issues it, both in this slice.",
+        usageCategory: "command nothing triggers",
         docAnchor: "both-ends-of-a-flow",
     },
     "both-ends-of-a-flow/reaction-no-command": {
         severity: "warning",
         title: "Reaction with no command",
         fix: "Add the command it triggers, in this slice, or an explicit arrow to one.",
+        usageCategory: "reaction triggers no command",
         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.",
+        usageCategory: "read model has no consumer",
         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.",
+        usageCategory: "event not read by any read model",
         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.",
+        usageCategory: "event has no producing command",
         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.",
+        usageCategory: "ui with no view or command",
         docAnchor: "both-ends-of-a-flow",
     },
     "arrow-backward": {
         severity: "error",
         title: "Backward arrow",
         fix: "Restructure so the target comes later.",
+        usageCategory: "arrow points backward",
     },
     "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.",
+        usageCategory: "illegal connection",
         docAnchor: "connection-legality",
     },
     "arrow-unresolved-source": {
         severity: "error",
         title: "Arrow source unresolved",
         fix: "Fix the arrow's source name.",
+        usageCategory: "arrow endpoint unresolved",
     },
     "arrow-unresolved-target": {
         severity: "error",
         title: "Arrow target unresolved",
         fix: "Fix the arrow's target name.",
+        usageCategory: "arrow endpoint unresolved",
     },
     "open-issue": {
         severity: "warning",
         title: "Open issue",
         fix: "Resolve the question, then remove the `issue` clause.",
+        usageCategory: "open issue",
     },
     "duplicate-name": {
         severity: "warning",
         title: "Duplicate name",
         fix: "Rename one of the duplicates.",
+        usageCategory: "duplicate name referenced",
     },
     "translation-name-collision": {
         severity: "warning",
         title: "Translation name reused for different producers",
         fix: "Use a distinct name per producer to avoid confusion.",
+        usageCategory: "translation name collision",
     },
     "duplicate-type-name": {
         severity: "warning",
         title: "Duplicate type name",
         fix: "Rename one of the duplicate `type` declarations.",
+        usageCategory: "duplicate type name",
+    },
+    "tag-composite-unknown-field": {
+        severity: "error",
+        title: "Composite tag names an unknown field",
+        fix: "Fix the field name, or add it to the event's fields.",
+        usageCategory: "composite tag references unknown field",
+    },
+    "tag-duplicate-key": {
+        severity: "error",
+        title: "Duplicate tag key",
+        fix: "Rename one of the tags so every key on the event is unique.",
+        usageCategory: "duplicate tag key",
     },
     "type-cycle": {
         severity: "error",
         title: "Cyclic type reference",
         fix: "Break the cycle, or route the self/mutual reference through an array.",
+        usageCategory: "type cycle",
     },
     "lineage-ref-malformed": {
         severity: "error",
         title: "Malformed lineage ref",
         fix: "Fix the value to `<slice-key>@v<N>`, or remove it.",
+        usageCategory: "lineage ref malformed",
         docAnchor: "lineage",
     },
     "lineage-ref-cycle": {
         severity: "error",
         title: "Lineage cycle",
         fix: "Break the cycle — a slice can't be its own ancestor.",
+        usageCategory: "lineage ref cycle",
         docAnchor: "lineage",
     },
     "lineage-forward-dangling": {
         severity: "error",
         title: "Dangling forward lineage ref",
         fix: "Fix the key, or remove the stale successor.",
+        usageCategory: "lineage forward dangling",
         docAnchor: "lineage",
     },
     "lineage-version-impossible": {
         severity: "error",
         title: "Impossible lineage version",
         fix: "Fix the referenced version, or ratify the target slice first.",
+        usageCategory: "lineage version impossible",
         docAnchor: "lineage",
     },
     "frontmatter-coherence-implemented-without-link": {
         severity: "warning",
         title: "Implemented without a link",
         fix: "Add `implementedIn` once the slice ships.",
+        usageCategory: "implemented without link",
         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.",
+        usageCategory: "doc binding points at missing file",
     },
     "frontmatter-invalid": {
         severity: "warning",
         title: "Invalid or missing frontmatter",
         fix: "Add the required frontmatter keys, or add a frontmatter block.",
+        usageCategory: "invalid or missing frontmatter",
+    },
+    "note-binding-extra": {
+        severity: "warning",
+        title: "Extra doc-binding note, ignored",
+        fix: "Remove the note, or point it at the slice's actual bound doc.",
+        usageCategory: "extra doc-binding note ignored",
+        docAnchor: "note-binding-mismatch",
+    },
+    "note-binding-dangling": {
+        severity: "warning",
+        title: "Dangling cross-slice note",
+        fix: "Create the doc at that path, or fix/remove the note.",
+        usageCategory: "cross-slice note points nowhere",
+        docAnchor: "note-binding-mismatch",
+    },
+    "note-binding-unusable": {
+        severity: "warning",
+        title: "Cross-slice note to a doc with unusable frontmatter",
+        fix: "Fix that doc's frontmatter, or fix/remove the note.",
+        usageCategory: "cross-slice note targets unusable doc",
+        docAnchor: "note-binding-mismatch",
+    },
+    "note-binding-unratified": {
+        severity: "warning",
+        title: "Unratified cross-slice note",
+        fix: "Add `covers: <this-slice-key>` to that doc's frontmatter, or correct the note's path.",
+        usageCategory: "cross-slice note not ratified by target doc",
+        docAnchor: "note-binding-mismatch",
+    },
+    "doc-model-pattern-mismatch": {
+        severity: "warning",
+        title: "Doc/model pattern mismatch",
+        fix: "Fix the doc's `pattern:` frontmatter to match the model, or restructure the slice to match the doc.",
+        usageCategory: "doc pattern disagrees with model",
+        docAnchor: "doc-model-consistency",
+    },
+    "doc-model-element-not-in-model": {
+        severity: "warning",
+        title: "Doc names an element the model doesn't have",
+        fix: "Add the element to the model, or fix/remove it in the doc.",
+        usageCategory: "doc element missing from model",
+        docAnchor: "doc-model-consistency",
+    },
+    "doc-model-element-not-in-doc": {
+        severity: "warning",
+        title: "Model element the doc doesn't mention",
+        fix: "Add the matching marker to the doc, or remove the element from the model.",
+        usageCategory: "model element missing from doc",
+        docAnchor: "doc-model-consistency",
+    },
+    "doc-model-field-mismatch": {
+        severity: "warning",
+        title: "Doc/model field mismatch",
+        fix: "Reconcile the field table with the model's fields — names and types.",
+        usageCategory: "doc field table disagrees with model",
+        docAnchor: "doc-model-consistency",
     },
     "duplicate-slice-name": {
         severity: "warning",
         title: "Duplicate slice name",
         fix: "Rename the slice so its export key is unique.",
+        usageCategory: "duplicate slice name",
     },
     "duplicate-element-ref": {
         severity: "warning",
         title: "Duplicate element ref",
         fix: "Rename the element so its export ref is unique.",
+        usageCategory: "duplicate element ref",
     },
     "duplicate-type-ref": {
         severity: "warning",
         title: "Duplicate type ref",
         fix: "Rename the type so its export ref is unique.",
+        usageCategory: "duplicate type ref",
     },
     "slice-ready-unknown-slice": {
         severity: "error",
         title: "Unknown --slice-ready key",
         fix: "Pass a valid export key that exists in this model.",
+        usageCategory: "slice-ready key does not exist",
         docAnchor: "slice-readiness",
         optIn: true,
     },
@@ -219,6 +328,7 @@ export const RULES = {
         severity: "warning",
         title: "No doc bound",
         fix: 'Bind a slice doc via `note "slices/<key>.md"`.',
+        usageCategory: "slice-ready slice has no doc bound",
         docAnchor: "slice-readiness",
         optIn: true,
     },
@@ -226,6 +336,7 @@ export const RULES = {
         severity: "warning",
         title: "Not ready-to-implement",
         fix: "Set `status: ready-to-implement`.",
+        usageCategory: "slice-ready slice not ready-to-implement",
         docAnchor: "slice-readiness",
         optIn: true,
     },
@@ -233,6 +344,7 @@ export const RULES = {
         severity: "warning",
         title: "Unchecked Open Questions",
         fix: "Check off the remaining Open Questions.",
+        usageCategory: "slice-ready slice has unchecked open questions",
         docAnchor: "slice-readiness",
         optIn: true,
     },

package/dist/model/rules.js.map

@@ -1 +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,iCAAiC,EAAE;QACjC,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,mCAAmC;QAC1C,GAAG,EAAE,sEAAsE;KAC5E;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,yCAAyC,EAAE;QACzC,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,0BAA0B;QACjC,GAAG,EAAE,0EAA0E;QAC/E,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"}
+{"version":3,"file":"rules.js","sourceRoot":"","sources":["../../src/model/rules.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,6FAA6F;AAC7F,+FAA+F;AAC/F,+FAA+F;AAC/F,gCAAgC;AAChC,EAAE;AACF,4FAA4F;AAC5F,4FAA4F;AAC5F,sFAAsF;AACtF,+FAA+F;AAC/F,6FAA6F;AAC7F,2FAA2F;AAC3F,wFAAwF;AACxF,uFAAuF;AACvF,EAAE;AACF,+FAA+F;AAC/F,2FAA2F;AAC3F,6EAA6E;AAsB7E,MAAM,CAAC,MAAM,KAAK,GAAG;IACnB,gBAAgB,EAAE;QAChB,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,gBAAgB;QACvB,GAAG,EAAE,oDAAoD;QACzD,aAAa,EAAE,qBAAqB;KACrC;IACD,iCAAiC,EAAE;QACjC,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,mCAAmC;QAC1C,GAAG,EAAE,sEAAsE;QAC3E,aAAa,EAAE,+BAA+B;KAC/C;IACD,sCAAsC,EAAE;QACtC,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,uBAAuB;QAC9B,GAAG,EAAE,qCAAqC;QAC1C,aAAa,EAAE,2BAA2B;QAC1C,SAAS,EAAE,qBAAqB;KACjC;IACD,gBAAgB,EAAE;QAChB,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,2BAA2B;QAClC,GAAG,EAAE,iEAAiE;QACtE,aAAa,EAAE,0BAA0B;KAC1C;IACD,sBAAsB,EAAE;QACtB,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,sBAAsB;QAC7B,GAAG,EAAE,qDAAqD;QAC1D,aAAa,EAAE,+BAA+B;KAC/C;IACD,wBAAwB,EAAE;QACxB,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,+CAA+C;QACtD,GAAG,EAAE,qDAAqD;QAC1D,aAAa,EAAE,mCAAmC;KACnD;IACD,0CAA0C,EAAE;QAC1C,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,2BAA2B;QAClC,GAAG,EAAE,8DAA8D;QACnE,aAAa,EAAE,sBAAsB;QACrC,SAAS,EAAE,qBAAqB;KACjC;IACD,2CAA2C,EAAE;QAC3C,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,gCAAgC;QACvC,GAAG,EAAE,uEAAuE;QAC5E,aAAa,EAAE,qCAAqC;QACpD,SAAS,EAAE,qBAAqB;KACjC;IACD,0BAA0B,EAAE;QAC1B,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,2BAA2B;QAClC,GAAG,EAAE,mEAAmE;QACxE,aAAa,EAAE,wCAAwC;KACxD;IACD,2BAA2B,EAAE;QAC3B,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,kDAAkD;QACzD,GAAG,EAAE,qDAAqD;QAC1D,aAAa,EAAE,sCAAsC;KACtD;IACD,4BAA4B,EAAE;QAC5B,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,wCAAwC;QAC/C,GAAG,EAAE,qDAAqD;QAC1D,aAAa,EAAE,wCAAwC;KACxD;IACD,yCAAyC,EAAE;QACzC,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,yBAAyB;QAChC,GAAG,EAAE,gEAAgE;QACrE,aAAa,EAAE,0BAA0B;QACzC,SAAS,EAAE,qBAAqB;KACjC;IACD,yCAAyC,EAAE;QACzC,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,0BAA0B;QACjC,GAAG,EAAE,0EAA0E;QAC/E,aAAa,EAAE,8BAA8B;QAC7C,SAAS,EAAE,qBAAqB;KACjC;IACD,qCAAqC,EAAE;QACrC,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,6BAA6B;QACpC,GAAG,EAAE,iEAAiE;QACtE,aAAa,EAAE,4BAA4B;QAC3C,SAAS,EAAE,qBAAqB;KACjC;IACD,kCAAkC,EAAE;QAClC,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,oBAAoB;QAC3B,GAAG,EAAE,qDAAqD;QAC1D,aAAa,EAAE,kCAAkC;QACjD,SAAS,EAAE,qBAAqB;KACjC;IACD,sCAAsC,EAAE;QACtC,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,iCAAiC;QACxC,GAAG,EAAE,iEAAiE;QACtE,aAAa,EAAE,gCAAgC;QAC/C,SAAS,EAAE,qBAAqB;KACjC;IACD,iCAAiC,EAAE;QACjC,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,oCAAoC;QAC3C,GAAG,EAAE,uDAAuD;QAC5D,aAAa,EAAE,4BAA4B;QAC3C,SAAS,EAAE,qBAAqB;KACjC;IACD,gBAAgB,EAAE;QAChB,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,gBAAgB;QACvB,GAAG,EAAE,wCAAwC;QAC7C,aAAa,EAAE,uBAAuB;KACvC;IACD,kCAAkC,EAAE;QAClC,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,oBAAoB;QAC3B,GAAG,EAAE,yGAAyG;QAC9G,aAAa,EAAE,oBAAoB;QACnC,SAAS,EAAE,qBAAqB;KACjC;IACD,yBAAyB,EAAE;QACzB,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,yBAAyB;QAChC,GAAG,EAAE,8BAA8B;QACnC,aAAa,EAAE,2BAA2B;KAC3C;IACD,yBAAyB,EAAE;QACzB,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,yBAAyB;QAChC,GAAG,EAAE,8BAA8B;QACnC,aAAa,EAAE,2BAA2B;KAC3C;IACD,YAAY,EAAE;QACZ,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,YAAY;QACnB,GAAG,EAAE,uDAAuD;QAC5D,aAAa,EAAE,YAAY;KAC5B;IACD,gBAAgB,EAAE;QAChB,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,gBAAgB;QACvB,GAAG,EAAE,+BAA+B;QACpC,aAAa,EAAE,2BAA2B;KAC3C;IACD,4BAA4B,EAAE;QAC5B,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,iDAAiD;QACxD,GAAG,EAAE,sDAAsD;QAC3D,aAAa,EAAE,4BAA4B;KAC5C;IACD,qBAAqB,EAAE;QACrB,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,qBAAqB;QAC5B,GAAG,EAAE,kDAAkD;QACvD,aAAa,EAAE,qBAAqB;KACrC;IACD,6BAA6B,EAAE;QAC7B,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,sCAAsC;QAC7C,GAAG,EAAE,sDAAsD;QAC3D,aAAa,EAAE,wCAAwC;KACxD;IACD,mBAAmB,EAAE;QACnB,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,mBAAmB;QAC1B,GAAG,EAAE,6DAA6D;QAClE,aAAa,EAAE,mBAAmB;KACnC;IACD,YAAY,EAAE;QACZ,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,uBAAuB;QAC9B,GAAG,EAAE,uEAAuE;QAC5E,aAAa,EAAE,YAAY;KAC5B;IACD,uBAAuB,EAAE;QACvB,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,uBAAuB;QAC9B,GAAG,EAAE,oDAAoD;QACzD,aAAa,EAAE,uBAAuB;QACtC,SAAS,EAAE,SAAS;KACrB;IACD,mBAAmB,EAAE;QACnB,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,eAAe;QACtB,GAAG,EAAE,sDAAsD;QAC3D,aAAa,EAAE,mBAAmB;QAClC,SAAS,EAAE,SAAS;KACrB;IACD,0BAA0B,EAAE;QAC1B,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,8BAA8B;QACrC,GAAG,EAAE,6CAA6C;QAClD,aAAa,EAAE,0BAA0B;QACzC,SAAS,EAAE,SAAS;KACrB;IACD,4BAA4B,EAAE;QAC5B,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,4BAA4B;QACnC,GAAG,EAAE,+DAA+D;QACpE,aAAa,EAAE,4BAA4B;QAC3C,SAAS,EAAE,SAAS;KACrB;IACD,gDAAgD,EAAE;QAChD,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,4BAA4B;QACnC,GAAG,EAAE,2CAA2C;QAChD,aAAa,EAAE,0BAA0B;QACzC,SAAS,EAAE,uBAAuB;KACnC;IACD,sBAAsB,EAAE;QACtB,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,sCAAsC;QAC7C,GAAG,EAAE,+CAA+C;QACpD,aAAa,EAAE,oCAAoC;KACpD;IACD,qBAAqB,EAAE;QACrB,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,gCAAgC;QACvC,GAAG,EAAE,gEAAgE;QACrE,aAAa,EAAE,gCAAgC;KAChD;IACD,oBAAoB,EAAE;QACpB,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,iCAAiC;QACxC,GAAG,EAAE,+DAA+D;QACpE,aAAa,EAAE,gCAAgC;QAC/C,SAAS,EAAE,uBAAuB;KACnC;IACD,uBAAuB,EAAE;QACvB,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,2BAA2B;QAClC,GAAG,EAAE,sDAAsD;QAC3D,aAAa,EAAE,iCAAiC;QAChD,SAAS,EAAE,uBAAuB;KACnC;IACD,uBAAuB,EAAE;QACvB,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,qDAAqD;QAC5D,GAAG,EAAE,qDAAqD;QAC1D,aAAa,EAAE,uCAAuC;QACtD,SAAS,EAAE,uBAAuB;KACnC;IACD,yBAAyB,EAAE;QACzB,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,6BAA6B;QACpC,GAAG,EAAE,uFAAuF;QAC5F,aAAa,EAAE,6CAA6C;QAC5D,SAAS,EAAE,uBAAuB;KACnC;IACD,4BAA4B,EAAE;QAC5B,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,4BAA4B;QACnC,GAAG,EAAE,qGAAqG;QAC1G,aAAa,EAAE,kCAAkC;QACjD,SAAS,EAAE,uBAAuB;KACnC;IACD,gCAAgC,EAAE;QAChC,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,6CAA6C;QACpD,GAAG,EAAE,4DAA4D;QACjE,aAAa,EAAE,gCAAgC;QAC/C,SAAS,EAAE,uBAAuB;KACnC;IACD,8BAA8B,EAAE;QAC9B,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,uCAAuC;QAC9C,GAAG,EAAE,2EAA2E;QAChF,aAAa,EAAE,gCAAgC;QAC/C,SAAS,EAAE,uBAAuB;KACnC;IACD,0BAA0B,EAAE;QAC1B,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,0BAA0B;QACjC,GAAG,EAAE,sEAAsE;QAC3E,aAAa,EAAE,sCAAsC;QACrD,SAAS,EAAE,uBAAuB;KACnC;IACD,sBAAsB,EAAE;QACtB,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,sBAAsB;QAC7B,GAAG,EAAE,+CAA+C;QACpD,aAAa,EAAE,sBAAsB;KACtC;IACD,uBAAuB,EAAE;QACvB,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,uBAAuB;QAC9B,GAAG,EAAE,iDAAiD;QACtD,aAAa,EAAE,uBAAuB;KACvC;IACD,oBAAoB,EAAE;QACpB,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,oBAAoB;QAC3B,GAAG,EAAE,8CAA8C;QACnD,aAAa,EAAE,oBAAoB;KACpC;IACD,2BAA2B,EAAE;QAC3B,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,2BAA2B;QAClC,GAAG,EAAE,oDAAoD;QACzD,aAAa,EAAE,gCAAgC;QAC/C,SAAS,EAAE,iBAAiB;QAC5B,KAAK,EAAE,IAAI;KACZ;IACD,0BAA0B,EAAE;QAC1B,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,cAAc;QACrB,GAAG,EAAE,gDAAgD;QACrD,aAAa,EAAE,oCAAoC;QACnD,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,aAAa,EAAE,0CAA0C;QACzD,SAAS,EAAE,iBAAiB;QAC5B,KAAK,EAAE,IAAI;KACZ;IACD,sCAAsC,EAAE;QACtC,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,0BAA0B;QACjC,GAAG,EAAE,yCAAyC;QAC9C,aAAa,EAAE,gDAAgD;QAC/D,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.js

@@ -1,7 +1,7 @@
 // SPDX-License-Identifier: MIT
 // Event-modeling rule checks over the normalized model + grid.
 import { AUTOMATION_KINDS } from "../parser/ast.js";
-import { normalizeName, resolveTypeRef } from "./model.js";
+import { collectTags, normalizeName, resolveTypeRef } from "./model.js";
 import { pushDiag } from "./rules.js";
 export function validate(model, grid, refs) {
     const diags = [];
@@ -125,7 +125,9 @@ export function validate(model, grid, refs) {
         // Fields completeness: every event field in a slice should trace to a field on
         // one of that slice's commands (unioned) — again, only once both sides declare
         // `{ fields }`: the event, and *every* command in the slice. A fieldless
-        // command may be the field's provider, so a mixed slice stays silent.
+        // command may be the field's provider, so a mixed slice stays silent. A field
+        // marked `assigned` (MIL-148) opts out of this check entirely — it's the
+        // model's own record that the server/handler sets the field, not the command.
         if (commands.length > 0) {
             const commandsDeclareFields = commands.every((c) => (c.fields ?? []).length > 0);
             if (commandsDeclareFields) {
@@ -140,6 +142,12 @@ export function validate(model, grid, refs) {
                     if (!evt.fields || evt.fields.length === 0)
                         continue;
                     for (const f of evt.fields) {
+                        // `assigned` fields (MIL-148) are system-assigned — set by the server/handler,
+                        // never supplied by the triggering command — so they never trace to a command
+                        // field and never warn here. They stay fully visible to the view↔event check
+                        // above, which is a separate loop this one doesn't touch.
+                        if (f.assigned)
+                            continue;
                         if (!commandFieldUnion.has(normalizeName(f.name))) {
                             pushDiag(diags, "fields-completeness/event-field-no-source", {
                                 message: `event "${evt.name}" field "${f.name}" not provided by ${byCommands}`,
@@ -304,18 +312,40 @@ export function validate(model, grid, refs) {
     // complete State View is event -> read model -> ui (or -> reaction, the Automation pattern).
     const consumedViews = new Set();
     for (const el of model.elements) {
-        // A reaction's `from` binds to the nearest instance at-or-before it, same as the renderer.
+        // The renderer draws a reaction's `from` arrow to the nearest view instance at-or-before
+        // it — that resolution is unchanged. But em's span-1/wire-once DSL rules force an
+        // accumulating view across multiple slice instances, each re-declaring it with `from`
+        // naming only the newly adjacent event, and the consuming reaction legitimately sits only
+        // at the LAST instance. Crediting just that nearest instance (as before MIL-75) left every
+        // earlier "fold" instance falsely warning "no consumer," even though it feeds the instance
+        // the reaction reads. So for a reaction (AUTOMATION_KINDS), every instance at-or-before it
+        // counts as consumed, not just the nearest one (MIL-75). Instances strictly after the last
+        // consuming reaction still warn — they accumulate state nothing later reads — and a
+        // logical view no reaction ever reads still warns on every instance.
         if (el.kind === "view")
             continue;
         for (const name of el.from ?? []) {
             const bucket = model.byName.get(normalizeName(name));
             if (!bucket)
                 continue;
-            const src = bucket
-                .filter((x) => x.kind === "view" && x.sliceIndex <= el.sliceIndex)
-                .sort((a, b) => b.sliceIndex - a.sliceIndex)[0] ?? bucket.find((x) => x.kind === "view");
-            if (src)
-                consumedViews.add(src.id);
+            const views = bucket.filter((x) => x.kind === "view");
+            const atOrBefore = views
+                .filter((x) => x.sliceIndex <= el.sliceIndex)
+                .sort((a, b) => b.sliceIndex - a.sliceIndex);
+            if (atOrBefore.length === 0) {
+                // A reaction before any instance of the view (separately flagged by
+                // reaction-from-future-view) — credit the first instance, same as pre-MIL-75 behavior.
+                // There's no instance at-or-before to propagate backward from.
+                if (views[0])
+                    consumedViews.add(views[0].id);
+            }
+            else if (AUTOMATION_KINDS.has(el.kind)) {
+                for (const v of atOrBefore)
+                    consumedViews.add(v.id);
+            }
+            else {
+                consumedViews.add(atOrBefore[0].id);
+            }
         }
     }
     for (const a of model.arrows) {
@@ -469,6 +499,60 @@ export function validate(model, grid, refs) {
             refs: group.map((t) => refOf(t.id)),
         });
     }
+    // Event tag metadata (MIL-66): identity (inline field `tag`), composite (`tag X from a, b`),
+    // and external (`tag X external "..."`) tag keys. Only ever populated on events (`tag`
+    // clauses are a parse error on any other kind), so no kind filter is needed to make either
+    // loop below a no-op elsewhere.
+    for (const el of model.elements) {
+        // A composite tag's field list must name fields that actually exist on the event — checked
+        // against `el.tags` directly (not the merged `collectTags` view) since only composite
+        // clauses carry a field list to validate, and each needs its own `line` for the diagnostic.
+        const fieldNames = new Set((el.fields ?? []).map((f) => normalizeName(f.name)));
+        for (const t of el.tags ?? []) {
+            if (t.kind !== "composite")
+                continue;
+            for (const fname of t.fields ?? []) {
+                if (fieldNames.has(normalizeName(fname)))
+                    continue;
+                pushDiag(diags, "tag-composite-unknown-field", {
+                    message: `event "${el.name}" tag "${t.key}" names field "${fname}", which isn't declared ` +
+                        `on this event`,
+                    line: t.line,
+                    refs: [refOf(el.id)],
+                });
+            }
+        }
+        // Duplicate tag key — inline identity keys and element-level (composite/external) keys
+        // counted together, since they all share one namespace on the event.
+        const tags = collectTags(el);
+        if (tags.length === 0)
+            continue;
+        const keyCounts = new Map();
+        for (const t of tags) {
+            const k = normalizeName(t.key);
+            const entry = keyCounts.get(k);
+            if (entry)
+                entry.count++;
+            else
+                keyCounts.set(k, { display: t.key, count: 1 });
+        }
+        for (const { display, count } of keyCounts.values()) {
+            if (count <= 1)
+                continue;
+            // Anchor to the offending clause's own line, like `tag-composite-unknown-field` does,
+            // rather than the event's header line — look up the LAST element-level `tag` clause
+            // (`el.tags`, which carries a `line`) whose key normalizes to this duplicate, falling
+            // back to `el.line` when every occurrence is an inline field `tag` instead (fields carry
+            // no line of their own).
+            const normalizedKey = normalizeName(display);
+            const lastClause = [...(el.tags ?? [])].reverse().find((t) => normalizeName(t.key) === normalizedKey);
+            pushDiag(diags, "tag-duplicate-key", {
+                message: `event "${el.name}" declares tag key "${display}" ${count} times; tag keys must be unique per event`,
+                line: lastClause?.line ?? el.line,
+                refs: [refOf(el.id)],
+            });
+        }
+    }
     // Ambiguous names (used by arrows / view sources) get a heads-up.
     for (const [key, els] of model.byName) {
         // Later \`again\` instances of a view are the SAME logical read model reappearing on the