@milehimikey/em 1.9.1 → 1.11.0

package/dist/model/rules.d.ts

@@ -68,6 +68,13 @@ export declare const RULES: {
         readonly usageCategory: "event field not provided by command";
         readonly docAnchor: "fields-completeness";
     };
+    readonly "derived-from-unresolved": {
+        readonly severity: "error";
+        readonly title: "`derived from` names an unknown event";
+        readonly fix: "Name one of the view's actual sources, or drop the traced event from `derived from`.";
+        readonly usageCategory: "derived from names unresolved event";
+        readonly docAnchor: "fields-completeness";
+    };
     readonly "reaction-from-unresolved": {
         readonly severity: "error";
         readonly title: "Unknown read-model source";
@@ -134,6 +141,18 @@ export declare const RULES: {
         readonly fix: "Restructure so the target comes later.";
         readonly usageCategory: "arrow points backward";
     };
+    readonly "loops-to-forward": {
+        readonly severity: "error";
+        readonly title: "`loops-to` target not earlier on the timeline";
+        readonly fix: "Point `loops-to` at an earlier view, or use `from` on a later `view … again` instance instead.";
+        readonly usageCategory: "loops-to points forward";
+    };
+    readonly "loops-to-unresolved": {
+        readonly severity: "error";
+        readonly title: "`loops-to` target unresolved";
+        readonly fix: "Name a view that exists, or declare it before this event.";
+        readonly usageCategory: "loops-to target unresolved";
+    };
     readonly "connection-legality/illegal-pair": {
         readonly severity: "error";
         readonly title: "Illegal connection";
@@ -323,12 +342,81 @@ export declare const RULES: {
         readonly fix: "Rename the type so its export ref is unique.";
         readonly usageCategory: "duplicate type ref";
     };
+    readonly "duplicate-model-key": {
+        readonly severity: "warning";
+        readonly title: "Duplicate model key";
+        readonly fix: "Give each model a unique `model \"Name\"` so its key (and every cross-model ref) is stable.";
+        readonly usageCategory: "duplicate model key";
+    };
     readonly "cross-model-slice-doc-collision": {
         readonly severity: "warning";
         readonly title: "Colliding slice doc path across models";
         readonly fix: "Give each model its own directory (see docs/cli.md, \"Multi-model projects\").";
         readonly usageCategory: "colliding slice doc path across models";
     };
+    readonly "system-manifest-invalid": {
+        readonly severity: "error";
+        readonly title: "Seam manifest invalid";
+        readonly fix: "Fix the manifest: required keys, `systemSchemaVersion: \"1.0\"`, a readable `source` per model, and only declared model keys in seam refs.";
+        readonly usageCategory: "seam manifest invalid";
+        readonly docAnchor: "seam-manifest";
+    };
+    readonly "system-model-key-mismatch": {
+        readonly severity: "error";
+        readonly title: "Manifest model key differs from the export's `model.key`";
+        readonly fix: "Rename the manifest's `models:` key to the computed key the message prints.";
+        readonly usageCategory: "seam manifest model key mismatch";
+        readonly docAnchor: "seam-manifest";
+    };
+    readonly "seam-endpoint-unresolved": {
+        readonly severity: "error";
+        readonly title: "Seam endpoint does not resolve";
+        readonly fix: "Fix the ref to an element the named model actually exports (`em export` lists every ref), or re-declare the seam after a rename.";
+        readonly usageCategory: "seam endpoint unresolved";
+        readonly docAnchor: "seam-manifest";
+    };
+    readonly "seam-source-not-public": {
+        readonly severity: "error";
+        readonly title: "Seam source is not `public`";
+        readonly fix: "Mark the event/view `public` in its model, or point the seam at the element that is.";
+        readonly usageCategory: "seam source not public";
+        readonly docAnchor: "seam-manifest";
+    };
+    readonly "seam-consumer-not-reaction": {
+        readonly severity: "error";
+        readonly title: "Seam consumer is not a reaction";
+        readonly fix: "Point `to` at a translation/automation element (or a slice containing exactly one).";
+        readonly usageCategory: "seam consumer not a reaction";
+        readonly docAnchor: "seam-manifest";
+    };
+    readonly "seam-duplicate": {
+        readonly severity: "warning";
+        readonly title: "Duplicate seam";
+        readonly fix: "Remove the repeated `from`/`to` pair.";
+        readonly usageCategory: "duplicate seam";
+        readonly docAnchor: "seam-manifest";
+    };
+    readonly "dangling-public-event": {
+        readonly severity: "warning";
+        readonly title: "Public event/view no seam consumes";
+        readonly fix: "Declare the seam that reads it, or drop `public` if nothing outside the model does.";
+        readonly usageCategory: "public event not consumed by any seam";
+        readonly docAnchor: "seam-manifest";
+    };
+    readonly "unbound-translation": {
+        readonly severity: "warning";
+        readonly title: "Externally-fed reaction no seam feeds";
+        readonly fix: "Declare the seam whose `to` is this reaction, or give it an in-model `from`.";
+        readonly usageCategory: "externally-fed reaction not bound by any seam";
+        readonly docAnchor: "seam-manifest";
+    };
+    readonly "undeclared-seam-candidate": {
+        readonly severity: "warning";
+        readonly title: "Looks connected across models, no seam declared";
+        readonly fix: "Declare the seam, or rename one side so the name match stops looking like a link.";
+        readonly usageCategory: "undeclared seam candidate";
+        readonly docAnchor: "seam-manifest";
+    };
     readonly "slice-ready-unknown-slice": {
         readonly severity: "error";
         readonly title: "Unknown --slice-ready key";

package/dist/model/rules.js

@@ -68,6 +68,13 @@ export const RULES = {
         usageCategory: "event field not provided by command",
         docAnchor: "fields-completeness",
     },
+    "derived-from-unresolved": {
+        severity: "error",
+        title: "`derived from` names an unknown event",
+        fix: "Name one of the view's actual sources, or drop the traced event from `derived from`.",
+        usageCategory: "derived from names unresolved event",
+        docAnchor: "fields-completeness",
+    },
     "reaction-from-unresolved": {
         severity: "error",
         title: "Unknown read-model source",
@@ -134,6 +141,18 @@ export const RULES = {
         fix: "Restructure so the target comes later.",
         usageCategory: "arrow points backward",
     },
+    "loops-to-forward": {
+        severity: "error",
+        title: "`loops-to` target not earlier on the timeline",
+        fix: "Point `loops-to` at an earlier view, or use `from` on a later `view … again` instance instead.",
+        usageCategory: "loops-to points forward",
+    },
+    "loops-to-unresolved": {
+        severity: "error",
+        title: "`loops-to` target unresolved",
+        fix: "Name a view that exists, or declare it before this event.",
+        usageCategory: "loops-to target unresolved",
+    },
     "connection-legality/illegal-pair": {
         severity: "error",
         title: "Illegal connection",
@@ -323,6 +342,17 @@ export const RULES = {
         fix: "Rename the type so its export ref is unique.",
         usageCategory: "duplicate type ref",
     },
+    // MIL-193: two models in one multi-model invocation whose model keys (kebab-slugged declared
+    // names, model/qualifiedRef.ts) collide — the later one takes a `~n` suffix, exactly as
+    // `duplicate-slice-name` handles a slice-key collision. Raised by computeModelKeys(), which
+    // only ever runs where more than one model is in play (`em query`, MIL-194's `em system`);
+    // a single-model compile can never see it.
+    "duplicate-model-key": {
+        severity: "warning",
+        title: "Duplicate model key",
+        fix: "Give each model a unique `model \"Name\"` so its key (and every cross-model ref) is stable.",
+        usageCategory: "duplicate model key",
+    },
     // MIL-160: two input models sharing a directory (so both resolve slice docs at
     // `<that-directory>/slices/<key>.md`) whose compiled slice keys overlap — nothing before this
     // caught it, since computeRefs() dedupes slice keys only within one model's own compile. Raised
@@ -336,6 +366,77 @@ export const RULES = {
         fix: "Give each model its own directory (see docs/cli.md, \"Multi-model projects\").",
         usageCategory: "colliding slice doc path across models",
     },
+    // MIL-194: the nine codes `em system <manifest>` raises while verifying a seam manifest
+    // (docs/cli.md "em system") against each model's export document — the cross-model half of
+    // "both ends of a flow": every `public` event/view needs a declared reader somewhere in the
+    // system, every externally-fed reaction needs a declared producer. Raised by
+    // src/system/verify.ts (pure, over export JSON only — never a compiled model) and
+    // src/system/manifest.ts (the manifest's own shape). Registered here, like
+    // `cross-model-slice-doc-collision`, so severity/title/fix generate into the same reference
+    // tables every other code does; none of them is ever raised by `em validate` itself.
+    "system-manifest-invalid": {
+        severity: "error",
+        title: "Seam manifest invalid",
+        fix: "Fix the manifest: required keys, `systemSchemaVersion: \"1.0\"`, a readable `source` per model, and only declared model keys in seam refs.",
+        usageCategory: "seam manifest invalid",
+        docAnchor: "seam-manifest",
+    },
+    "system-model-key-mismatch": {
+        severity: "error",
+        title: "Manifest model key differs from the export's `model.key`",
+        fix: "Rename the manifest's `models:` key to the computed key the message prints.",
+        usageCategory: "seam manifest model key mismatch",
+        docAnchor: "seam-manifest",
+    },
+    "seam-endpoint-unresolved": {
+        severity: "error",
+        title: "Seam endpoint does not resolve",
+        fix: "Fix the ref to an element the named model actually exports (`em export` lists every ref), or re-declare the seam after a rename.",
+        usageCategory: "seam endpoint unresolved",
+        docAnchor: "seam-manifest",
+    },
+    "seam-source-not-public": {
+        severity: "error",
+        title: "Seam source is not `public`",
+        fix: "Mark the event/view `public` in its model, or point the seam at the element that is.",
+        usageCategory: "seam source not public",
+        docAnchor: "seam-manifest",
+    },
+    "seam-consumer-not-reaction": {
+        severity: "error",
+        title: "Seam consumer is not a reaction",
+        fix: "Point `to` at a translation/automation element (or a slice containing exactly one).",
+        usageCategory: "seam consumer not a reaction",
+        docAnchor: "seam-manifest",
+    },
+    "seam-duplicate": {
+        severity: "warning",
+        title: "Duplicate seam",
+        fix: "Remove the repeated `from`/`to` pair.",
+        usageCategory: "duplicate seam",
+        docAnchor: "seam-manifest",
+    },
+    "dangling-public-event": {
+        severity: "warning",
+        title: "Public event/view no seam consumes",
+        fix: "Declare the seam that reads it, or drop `public` if nothing outside the model does.",
+        usageCategory: "public event not consumed by any seam",
+        docAnchor: "seam-manifest",
+    },
+    "unbound-translation": {
+        severity: "warning",
+        title: "Externally-fed reaction no seam feeds",
+        fix: "Declare the seam whose `to` is this reaction, or give it an in-model `from`.",
+        usageCategory: "externally-fed reaction not bound by any seam",
+        docAnchor: "seam-manifest",
+    },
+    "undeclared-seam-candidate": {
+        severity: "warning",
+        title: "Looks connected across models, no seam declared",
+        fix: "Declare the seam, or rename one side so the name match stops looking like a link.",
+        usageCategory: "undeclared seam candidate",
+        docAnchor: "seam-manifest",
+    },
     "slice-ready-unknown-slice": {
         severity: "error",
         title: "Unknown --slice-ready key",

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,+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,oBAAoB,EAAE;QACpB,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,oBAAoB;QAC3B,GAAG,EAAE,uHAAuH;QAC5H,aAAa,EAAE,uDAAuD;QACtE,SAAS,EAAE,oBAAoB;KAChC;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,+EAA+E;IAC/E,8FAA8F;IAC9F,gGAAgG;IAChG,+FAA+F;IAC/F,+FAA+F;IAC/F,+FAA+F;IAC/F,4CAA4C;IAC5C,iCAAiC,EAAE;QACjC,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,wCAAwC;QAC/C,GAAG,EAAE,gFAAgF;QACrF,aAAa,EAAE,wCAAwC;KACxD;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"}
+{"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,yBAAyB,EAAE;QACzB,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,uCAAuC;QAC9C,GAAG,EAAE,sFAAsF;QAC3F,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,kBAAkB,EAAE;QAClB,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,+CAA+C;QACtD,GAAG,EAAE,gGAAgG;QACrG,aAAa,EAAE,yBAAyB;KACzC;IACD,qBAAqB,EAAE;QACrB,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,8BAA8B;QACrC,GAAG,EAAE,2DAA2D;QAChE,aAAa,EAAE,4BAA4B;KAC5C;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,oBAAoB,EAAE;QACpB,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,oBAAoB;QAC3B,GAAG,EAAE,uHAAuH;QAC5H,aAAa,EAAE,uDAAuD;QACtE,SAAS,EAAE,oBAAoB;KAChC;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,6FAA6F;IAC7F,wFAAwF;IACxF,4FAA4F;IAC5F,2FAA2F;IAC3F,2CAA2C;IAC3C,qBAAqB,EAAE;QACrB,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,qBAAqB;QAC5B,GAAG,EAAE,6FAA6F;QAClG,aAAa,EAAE,qBAAqB;KACrC;IACD,+EAA+E;IAC/E,8FAA8F;IAC9F,gGAAgG;IAChG,+FAA+F;IAC/F,+FAA+F;IAC/F,+FAA+F;IAC/F,4CAA4C;IAC5C,iCAAiC,EAAE;QACjC,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,wCAAwC;QAC/C,GAAG,EAAE,gFAAgF;QACrF,aAAa,EAAE,wCAAwC;KACxD;IACD,wFAAwF;IACxF,2FAA2F;IAC3F,4FAA4F;IAC5F,6EAA6E;IAC7E,kFAAkF;IAClF,2EAA2E;IAC3E,4FAA4F;IAC5F,qFAAqF;IACrF,yBAAyB,EAAE;QACzB,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,uBAAuB;QAC9B,GAAG,EAAE,4IAA4I;QACjJ,aAAa,EAAE,uBAAuB;QACtC,SAAS,EAAE,eAAe;KAC3B;IACD,2BAA2B,EAAE;QAC3B,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,0DAA0D;QACjE,GAAG,EAAE,6EAA6E;QAClF,aAAa,EAAE,kCAAkC;QACjD,SAAS,EAAE,eAAe;KAC3B;IACD,0BAA0B,EAAE;QAC1B,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,gCAAgC;QACvC,GAAG,EAAE,kIAAkI;QACvI,aAAa,EAAE,0BAA0B;QACzC,SAAS,EAAE,eAAe;KAC3B;IACD,wBAAwB,EAAE;QACxB,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,6BAA6B;QACpC,GAAG,EAAE,sFAAsF;QAC3F,aAAa,EAAE,wBAAwB;QACvC,SAAS,EAAE,eAAe;KAC3B;IACD,4BAA4B,EAAE;QAC5B,QAAQ,EAAE,OAAO;QACjB,KAAK,EAAE,iCAAiC;QACxC,GAAG,EAAE,qFAAqF;QAC1F,aAAa,EAAE,8BAA8B;QAC7C,SAAS,EAAE,eAAe;KAC3B;IACD,gBAAgB,EAAE;QAChB,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,gBAAgB;QACvB,GAAG,EAAE,uCAAuC;QAC5C,aAAa,EAAE,gBAAgB;QAC/B,SAAS,EAAE,eAAe;KAC3B;IACD,uBAAuB,EAAE;QACvB,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,oCAAoC;QAC3C,GAAG,EAAE,qFAAqF;QAC1F,aAAa,EAAE,uCAAuC;QACtD,SAAS,EAAE,eAAe;KAC3B;IACD,qBAAqB,EAAE;QACrB,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,uCAAuC;QAC9C,GAAG,EAAE,8EAA8E;QACnF,aAAa,EAAE,+CAA+C;QAC9D,SAAS,EAAE,eAAe;KAC3B;IACD,2BAA2B,EAAE;QAC3B,QAAQ,EAAE,SAAS;QACnB,KAAK,EAAE,iDAAiD;QACxD,GAAG,EAAE,mFAAmF;QACxF,aAAa,EAAE,2BAA2B;QAC1C,SAAS,EAAE,eAAe;KAC3B;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/sliceDocIndex.d.ts

@@ -0,0 +1,30 @@
+import { SliceDoc } from "../catalog/sliceDoc.js";
+import { DriftSignalKind } from "../catalog/driftSignal.js";
+import { Slice } from "./model.js";
+/** Read + parse every `slices/*.md` file under `baseDir` exactly once, keyed by its filename
+ *  stem (lowercased) — the same key `computeRefs()` assigns as a slice's export key. A missing
+ *  `slices/` directory (routine — not every model has reached specify yet) returns an empty map,
+ *  the same "nothing bound" state `readSliceDoc()` reports per-file via `null`. An individual
+ *  file that fails to read (permissions, a broken symlink) is skipped rather than thrown —
+ *  same silent-miss convention `readSliceDoc()` uses for a missing file. */
+export declare function loadSliceDocsOnce(baseDir: string): Map<string, SliceDoc>;
+/** A slice's query-facing doc join — deliberately narrower than `SliceDocExport`
+ *  (`catalog/docJoin.ts`): only the facts `em query`'s verbs actually surface (declaring
+ *  slice, doc path/status, drift, and the doc body for invariant-ID extraction), no lineage/
+ *  ratification/owner fields. */
+export interface SliceQueryDoc {
+    found: boolean;
+    path: string;
+    reason: "no-doc-bound" | "binding-missing-file" | "frontmatter-invalid" | null;
+    status: string | null;
+    implementedIn: string | null;
+    driftSignal: DriftSignalKind | null;
+    /** The doc's body text (post-frontmatter), for `extractInvariantIds()` — null whenever
+     *  `found` is false or the frontmatter wasn't usable (nothing safe to scan). */
+    body: string | null;
+}
+/** Same resolution semantics as `docJoin.ts`'s resolveSliceDocJoin() — canonical `note` binding
+ *  first, then a ratified MIL-121 cross-binding naming this slice in its `covers:` list — but
+ *  reading from the in-memory map `loadSliceDocsOnce()` built once for the whole model, instead
+ *  of one `readSliceDoc()` fs call per slice/candidate. */
+export declare function joinSliceDocFast(slice: Slice, sliceKey: string, docsByKey: Map<string, SliceDoc>): SliceQueryDoc;

package/dist/model/sliceDocIndex.js

@@ -0,0 +1,110 @@
+// SPDX-License-Identifier: MIT
+// A once-per-model slice-doc join for `em query` (MIL-168): the same canonical-then-
+// MIL-121-cross-binding resolution `catalog/docJoin.ts`'s resolveSliceDocJoin() performs, but
+// sourced from one `readdirSync(<baseDir>/slices/)` up front instead of one
+// `existsSync`+`readFileSync` pair (`readSliceDoc.ts`) per slice/candidate. `em export`/`em
+// status`/`em coverage` each call resolveSliceDocJoin() once per slice already and stay on that
+// path unchanged (their per-slice cost is amortized across a single command run the same way);
+// this module exists because `em query` builds one ModelIndex per compiled model and then
+// answers many lookups against it, so paying the fs cost once, up front, per model — rather
+// than once per slice scattered through the join — is the win at thousands-of-slices scale (see
+// this ticket's report for the benchmark).
+//
+// Deliberately a read path, not a lint: unlike resolveSliceDocJoin(), this never raises a
+// diagnostic for a missing-but-bound doc or invalid frontmatter — `em query` reports facts
+// (`found`/`reason`), and leaves surfacing that as a warning to `em export`/`em status`, which
+// already do.
+import { existsSync, readdirSync, readFileSync } from "node:fs";
+import { join } from "node:path";
+import { parseSliceDoc, hasUsableFrontmatter } from "../catalog/sliceDoc.js";
+import { classifyImplementationDrift } from "../catalog/driftSignal.js";
+import { NOTE_SLICE_PATH } from "../catalog/docJoin.js";
+/** Matches a slice-doc filename (`slices/<key>.md`) — same kebab-slug grammar
+ *  `catalog/sliceDoc.ts`'s SLICE_REF and `docJoin.ts`'s NOTE_SLICE_PATH use for the key itself. */
+const SLICE_DOC_FILENAME_RE = /^([a-z0-9]+(?:-[a-z0-9]+)*)\.md$/i;
+/** Read + parse every `slices/*.md` file under `baseDir` exactly once, keyed by its filename
+ *  stem (lowercased) — the same key `computeRefs()` assigns as a slice's export key. A missing
+ *  `slices/` directory (routine — not every model has reached specify yet) returns an empty map,
+ *  the same "nothing bound" state `readSliceDoc()` reports per-file via `null`. An individual
+ *  file that fails to read (permissions, a broken symlink) is skipped rather than thrown —
+ *  same silent-miss convention `readSliceDoc()` uses for a missing file. */
+export function loadSliceDocsOnce(baseDir) {
+    const docs = new Map();
+    let entries;
+    try {
+        entries = readdirSync(join(baseDir, "slices"));
+    }
+    catch {
+        return docs;
+    }
+    const names = new Set(entries);
+    for (const name of entries) {
+        const m = SLICE_DOC_FILENAME_RE.exec(name);
+        if (!m)
+            continue;
+        const key = m[1].toLowerCase();
+        // `readSliceDoc()` opens `slices/<key>.md` with the lowercased key verbatim, so a mixed-case
+        // filename is only a doc where the filesystem itself folds case. If the exact lowercase
+        // file is its own directory entry (a case-sensitive fs holding both), that entry is the
+        // one readSliceDoc() reads — skip this one, whatever order readdir listed them in.
+        // Otherwise probe once — only for the rare mixed-case entry — so query and export agree
+        // on every platform.
+        if (m[1] !== key) {
+            if (names.has(`${key}.md`))
+                continue;
+            if (!existsSync(join(baseDir, "slices", `${key}.md`)))
+                continue;
+        }
+        try {
+            docs.set(key, parseSliceDoc(readFileSync(join(baseDir, "slices", name), "utf8")));
+        }
+        catch {
+            // unreadable — treated as "no doc" for this key, same as a fs error inside readSliceDoc().
+        }
+    }
+    return docs;
+}
+/** Same resolution semantics as `docJoin.ts`'s resolveSliceDocJoin() — canonical `note` binding
+ *  first, then a ratified MIL-121 cross-binding naming this slice in its `covers:` list — but
+ *  reading from the in-memory map `loadSliceDocsOnce()` built once for the whole model, instead
+ *  of one `readSliceDoc()` fs call per slice/candidate. */
+export function joinSliceDocFast(slice, sliceKey, docsByKey) {
+    const path = `slices/${sliceKey}.md`;
+    const boundEls = slice.elements.filter((el) => el.note === path);
+    if (boundEls.length === 0) {
+        for (const el of slice.elements) {
+            if (!el.note)
+                continue;
+            const m = el.note.match(NOTE_SLICE_PATH);
+            if (!m)
+                continue;
+            const otherKey = m[1].toLowerCase();
+            if (otherKey === sliceKey)
+                continue;
+            const doc = docsByKey.get(otherKey);
+            if (!doc || !hasUsableFrontmatter(doc) || !doc.covers.includes(sliceKey))
+                continue;
+            return foundDoc(`slices/${otherKey}.md`, doc);
+        }
+        return { found: false, path, reason: "no-doc-bound", status: null, implementedIn: null, driftSignal: null, body: null };
+    }
+    const doc = docsByKey.get(sliceKey);
+    if (!doc)
+        return { found: false, path, reason: "binding-missing-file", status: null, implementedIn: null, driftSignal: null, body: null };
+    if (!hasUsableFrontmatter(doc)) {
+        return { found: true, path, reason: "frontmatter-invalid", status: null, implementedIn: null, driftSignal: null, body: null };
+    }
+    return foundDoc(path, doc);
+}
+function foundDoc(path, doc) {
+    return {
+        found: true,
+        path,
+        reason: null,
+        status: doc.status,
+        implementedIn: doc.implementedIn,
+        driftSignal: classifyImplementationDrift(doc),
+        body: doc.body,
+    };
+}
+//# sourceMappingURL=sliceDocIndex.js.map

package/dist/model/sliceDocIndex.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sliceDocIndex.js","sourceRoot":"","sources":["../../src/model/sliceDocIndex.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,qFAAqF;AACrF,8FAA8F;AAC9F,4EAA4E;AAC5E,4FAA4F;AAC5F,gGAAgG;AAChG,+FAA+F;AAC/F,0FAA0F;AAC1F,4FAA4F;AAC5F,gGAAgG;AAChG,2CAA2C;AAC3C,EAAE;AACF,0FAA0F;AAC1F,2FAA2F;AAC3F,+FAA+F;AAC/F,cAAc;AAEd,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAChE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,aAAa,EAAY,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AACvF,OAAO,EAAE,2BAA2B,EAAmB,MAAM,2BAA2B,CAAC;AACzF,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAGxD;mGACmG;AACnG,MAAM,qBAAqB,GAAG,mCAAmC,CAAC;AAElE;;;;;4EAK4E;AAC5E,MAAM,UAAU,iBAAiB,CAAC,OAAe;IAC/C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAoB,CAAC;IACzC,IAAI,OAAiB,CAAC;IACtB,IAAI,CAAC;QACH,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;IACjD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAI,CAAC,CAAC;YAAE,SAAS;QACjB,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QAC/B,6FAA6F;QAC7F,wFAAwF;QACxF,wFAAwF;QACxF,mFAAmF;QACnF,wFAAwF;QACxF,qBAAqB;QACrB,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YACjB,IAAI,KAAK,CAAC,GAAG,CAAC,GAAG,GAAG,KAAK,CAAC;gBAAE,SAAS;YACrC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,EAAE,GAAG,GAAG,KAAK,CAAC,CAAC;gBAAE,SAAS;QAClE,CAAC;QACD,IAAI,CAAC;YACH,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,aAAa,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QACpF,CAAC;QAAC,MAAM,CAAC;YACP,2FAA2F;QAC7F,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAkBD;;;2DAG2D;AAC3D,MAAM,UAAU,gBAAgB,CAAC,KAAY,EAAE,QAAgB,EAAE,SAAgC;IAC/F,MAAM,IAAI,GAAG,UAAU,QAAQ,KAAK,CAAC;IACrC,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAEjE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YAChC,IAAI,CAAC,EAAE,CAAC,IAAI;gBAAE,SAAS;YACvB,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;YACzC,IAAI,CAAC,CAAC;gBAAE,SAAS;YACjB,MAAM,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;YACpC,IAAI,QAAQ,KAAK,QAAQ;gBAAE,SAAS;YACpC,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YACpC,IAAI,CAAC,GAAG,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC;gBAAE,SAAS;YACnF,OAAO,QAAQ,CAAC,UAAU,QAAQ,KAAK,EAAE,GAAG,CAAC,CAAC;QAChD,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAC1H,CAAC;IAED,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACpC,IAAI,CAAC,GAAG;QAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,sBAAsB,EAAE,MAAM,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAC1I,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/B,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,qBAAqB,EAAE,MAAM,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAChI,CAAC;IACD,OAAO,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;AAC7B,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY,EAAE,GAAa;IAC3C,OAAO;QACL,KAAK,EAAE,IAAI;QACX,IAAI;QACJ,MAAM,EAAE,IAAI;QACZ,MAAM,EAAE,GAAG,CAAC,MAAM;QAClB,aAAa,EAAE,GAAG,CAAC,aAAa;QAChC,WAAW,EAAE,2BAA2B,CAAC,GAAG,CAAC;QAC7C,IAAI,EAAE,GAAG,CAAC,IAAI;KACf,CAAC;AACJ,CAAC"}

package/dist/model/validate.js

@@ -3,6 +3,7 @@
 import { AUTOMATION_KINDS } from "../parser/ast.js";
 import { collectTags, normalizeName, resolveTypeRef } from "./model.js";
 import { pushDiag } from "./rules.js";
+import { connectionKind, resolveLoopsToTarget } from "./edges.js";
 export function validate(model, grid, refs) {
     const diags = [];
     const refOf = (id) => refs.refById.get(id);
@@ -93,6 +94,9 @@ export function validate(model, grid, refs) {
             // `{ fields }`: the view, and *every* source event. A partially-declared
             // source set can't prove a gap (the fieldless event may well provide the
             // field), so it stays silent rather than warning on legitimate fields.
+            // A field marked `derived` (MIL-200) opts out of this check entirely — it's the
+            // model's own record that the field is computed from which events have landed, not
+            // copied from a single source event's payload.
             if (view.fields && view.fields.length > 0) {
                 const fromNames = view.from ?? [];
                 const sourceEvents = [];
@@ -111,6 +115,11 @@ export function validate(model, grid, refs) {
                     }
                     const eventList = fromNames.map((n) => `"${n}"`).join(", ");
                     for (const f of view.fields) {
+                        // `derived` (bare or traced, MIL-200) marks a field as computed from which events
+                        // have landed rather than copied from a single source event's payload — exempt
+                        // from this check entirely, same posture as `assigned` below for event fields.
+                        if (f.derived)
+                            continue;
                         if (!fieldUnion.has(normalizeName(f.name))) {
                             pushDiag(diags, "fields-completeness/view-field-no-source", {
                                 message: `view "${view.name}" field "${f.name}" has no source in ${eventList}`,
@@ -120,6 +129,28 @@ export function validate(model, grid, refs) {
                         }
                     }
                 }
+                // `derived from "Event A", "Event B"` (view fields only, MIL-200): the traced form
+                // still checks something — every named event must resolve among the view's ACTUAL
+                // sources, its `from` names, or (for a `from`-less view) the events in its own slice.
+                // Independent of `sourcesDeclareFields` above: this checks event *names*, not field
+                // completeness, so it applies whether or not the sources declare `{ fields }`.
+                const actualSourceEvents = fromNames.length > 0 ? sourceEvents : events;
+                const actualSourceNames = new Set(actualSourceEvents.map((e) => normalizeName(e.name)));
+                for (const f of view.fields) {
+                    for (const name of f.derivedFrom ?? []) {
+                        if (!actualSourceNames.has(normalizeName(name))) {
+                            const actualList = actualSourceEvents.length > 0
+                                ? actualSourceEvents.map((e) => `"${e.name}"`).join(", ")
+                                : "(none)";
+                            pushDiag(diags, "derived-from-unresolved", {
+                                message: `view "${view.name}" field "${f.name}" is derived from unknown event "${name}" — ` +
+                                    `its actual sources are ${actualList}`,
+                                line: view.line,
+                                refs: [refOf(view.id), ...actualSourceEvents.map((e) => refOf(e.id))],
+                            });
+                        }
+                    }
+                }
             }
         }
         // Fields completeness: every event field in a slice should trace to a field on
@@ -193,6 +224,45 @@ export function validate(model, grid, refs) {
             }
         }
     }
+    // `loops-to "View"` (event only, MIL-199): a later fact re-feeding an earlier read model —
+    // the one loop-back device forward-only `from`/`arrow` can't express. The target must
+    // resolve to a `view` instance strictly EARLIER on the timeline; same-slice-or-later is
+    // what `from` on a later `view … again` instance is for.
+    for (const el of model.elements) {
+        if (el.kind !== "event")
+            continue;
+        for (const name of el.loopsTo ?? []) {
+            const bucket = model.byName.get(normalizeName(name));
+            const views = bucket?.filter((e) => e.kind === "view") ?? [];
+            if (views.length === 0) {
+                // Same courtesy as the reaction/view `from` checks above: a name that exists but as
+                // the wrong kind reads like a typo without saying so.
+                const other = bucket?.[0];
+                pushDiag(diags, "loops-to-unresolved", {
+                    message: other
+                        ? `event "${el.name}" loops-to "${name}", which is a ${other.kind}, not a read model — ` +
+                            `\`loops-to\` names the view this event re-feeds`
+                        : `event "${el.name}" loops-to unknown read model "${name}"`,
+                    line: el.line,
+                    refs: other ? [refOf(el.id), refOf(other.id)] : [refOf(el.id)],
+                });
+                continue;
+            }
+            const target = resolveLoopsToTarget(model, el, name);
+            if (!target) {
+                const nearest = views
+                    .filter((v) => v.sliceIndex >= el.sliceIndex)
+                    .sort((a, b) => a.sliceIndex - b.sliceIndex)[0];
+                pushDiag(diags, "loops-to-forward", {
+                    message: `time flows left to right: event "${el.name}" (slice ${el.sliceIndex + 1}) loops-to ` +
+                        `"${name}" (slice ${nearest.sliceIndex + 1}), which is not earlier on the timeline — ` +
+                        `that's what \`from\` on a later \`view ${name} again\` instance is for`,
+                    line: el.line,
+                    refs: [refOf(el.id), refOf(nearest.id)],
+                });
+            }
+        }
+    }
     // A \`view X again\` instance needs an earlier declaration to continue.
     for (const el of model.elements) {
         if (el.kind === "view" && el.again && el.logicalId === el.id) {
@@ -396,6 +466,18 @@ export function validate(model, grid, refs) {
         if (from?.kind === "event" && to?.kind === "view")
             readEvents.add(normalizeName(from.name));
     }
+    // A resolved `loops-to "View"` (MIL-199) counts as consumption too — the event re-feeds an
+    // earlier read model instead of a new one, but it's still read by something. An unresolved
+    // or forward target (already flagged above by its own rule) does not credit the event here;
+    // it stays reported as unread on top of its loops-to diagnostic rather than silently passing.
+    for (const el of model.elements) {
+        if (el.kind !== "event")
+            continue;
+        for (const name of el.loopsTo ?? []) {
+            if (resolveLoopsToTarget(model, el, name))
+                readEvents.add(normalizeName(el.name));
+        }
+    }
     for (const el of model.elements) {
         if (el.kind !== "event")
             continue;
@@ -662,17 +744,9 @@ const isAuto = (k) => AUTOMATION_KINDS.has(k);
 /** The only kind pairs a connection may take, per the four patterns: information enters the
  *  system through a command and leaves through a read model, and nothing skips a step. */
 function isLegalFlow(from, to) {
-    if (from === "ui")
-        return to === "command"; // State Change
-    if (from === "command")
-        return to === "event"; // State Change
-    if (from === "event")
-        return to === "view"; // State View
-    if (from === "view")
-        return to === "ui" || isAuto(to); // State View / Automation / Translation
-    if (isAuto(from))
-        return to === "command"; // reactions always go through a command
-    return false;
+    // The six legal connections are a pure function of the endpoint kinds — edges.ts owns the
+    // table (the renderer, `em query`, and this rule all read the same one).
+    return connectionKind(from, to) !== undefined;
 }
 /** Why a given illegal pair is illegal, and what to put in the gap. */
 function flowGuidance(from, to) {