@milehimikey/em 1.9.1 → 1.10.0

package/.claude/skills/event-modeling/SKILL.md

@@ -1,6 +1,6 @@
 ---
 name: event-modeling
-em-version: 1.9.1
+em-version: 1.10.0
 description: >-
   Use when the user runs `/event-modeling` (with or without a phase name), or wants to resume an
   event-modeling session without specifying which part of the process applies. Reads the model's

package/.claude/skills/event-modeling-conform/SKILL.md

@@ -1,6 +1,6 @@
 ---
 name: event-modeling-conform
-em-version: 1.9.1
+em-version: 1.10.0
 description: >-
   Use when checking a ratified event model (and its slice docs) for drift against the codebase
   that implements it — advisory only, never a gate, never an unprompted edit — or when walking

package/.claude/skills/event-modeling-design/SKILL.md

@@ -1,6 +1,6 @@
 ---
 name: event-modeling-design
-em-version: 1.9.1
+em-version: 1.10.0
 description: >-
   Use when structuring a draft event model into swimlanes and the four patterns (State Change,
   State View, Automation, Translation), evaluating a model's structural completeness, or writing

package/.claude/skills/event-modeling-discover/SKILL.md

@@ -1,6 +1,6 @@
 ---
 name: event-modeling-discover
-em-version: 1.9.1
+em-version: 1.10.0
 description: >-
   Use when starting a brand-new event model from scratch — greenfield discovery: brainstorming
   past-tense events, storyboarding the happy path, finding the commands and read models — or when

package/.claude/skills/event-modeling-implement/SKILL.md

@@ -1,6 +1,6 @@
 ---
 name: event-modeling-implement
-em-version: 1.9.1
+em-version: 1.10.0
 description: >-
   Use when building a single ratified event-modeling slice (status: ready-to-implement) into
   merged, tested code — the one phase where the agent builds rather than facilitates. Gates on

package/.claude/skills/event-modeling-review/SKILL.md

@@ -1,6 +1,6 @@
 ---
 name: event-modeling-review
-em-version: 1.9.1
+em-version: 1.10.0
 description: >-
   Use when starting em's live browser viewer (`em watch --serve`) so a team can watch a model
   update in real time, or facilitating a SCHEDULED stakeholder walkthrough that steps through

package/.claude/skills/event-modeling-shared/reference/em-dsl.md

@@ -111,8 +111,43 @@ em status <files> -o, --out <path>                            # write output to
 em freshness <file>                                           # standalone freshness signal for one model's conformance record (MIL-164): "last conformed <rev> — N commits and M slice-PRs behind HEAD", computed from the same conform-scope machinery `em status`'s conformance clause uses — for when you want just this fact, no full state-of-the-system rollup (see docs/cli.md)
 em freshness <file> --repo <path>                             # git repo to compute behind-HEAD in (default: the model's own directory)
 em freshness <file> --json                                    # print a JSON document instead of the text line
+em query consumers <files>                                    # views/reactions consuming an event, plus their slices
+em query consumers <files> --event <ref-or-name>              # the event's export ref or display name
+em query consumers <files> --json                             # print a JSON document instead of the text report
+em query producers <files>                                    # commands producing an event, plus their slices and ui triggers
+em query producers <files> --event <ref-or-name>              # the event's export ref or display name
+em query producers <files> --json                             # print a JSON document instead of the text report
+em query downstream <files>                                   # transitive closure along legal edges from an element — impact analysis
+em query downstream <files> --of <ref-or-name>                # the starting element's export ref or display name
+em query downstream <files> --depth <n>                       # limit traversal to n hops (default: unlimited)
+em query downstream <files> --json                            # print a JSON document instead of the text report
+em query upstream <files>                                     # transitive closure against legal-edge direction from an element
+em query upstream <files> --of <ref-or-name>                  # the starting element's export ref or display name
+em query upstream <files> --depth <n>                         # limit traversal to n hops (default: unlimited)
+em query upstream <files> --json                              # print a JSON document instead of the text report
+em query slices <files>                                       # filtered slice list — pattern/status/context/persona/tag filters AND-combine
+em query slices <files> --pattern <p>                         # state-change | state-view | automation | translation | unclassified
+em query slices <files> --status <s>                          # the slice's joined doc status (draft, reviewed, ready-to-implement, implemented, ...)
+em query slices <files> --context <c>                         # match a slice with an event in this @Context
+em query slices <files> --persona <p>                         # match a slice with a ui in this @Persona
+em query slices <files> --tag <t>                             # match a slice with an event carrying this tag key
+em query slices <files> --json                                # print a JSON document instead of the text report
+em query invariant <files>                                    # declaring slice + doc facts for one INV-* id, and (with --tests) its test citations
+em query invariant <files> --id <inv-id>                      # the INV-* id to look up
+em query invariant <files> --tests <dir>                      # directory to scan for test files citing this id
+em query invariant <files> --json                             # print a JSON document instead of the text report
+em query field <files>                                        # one field's facts on an element — type, tag/assigned markers, renamed-from chain
+em query field <files> --of <element-ref>                     # the element's export ref or display name
+em query field <files> --name <field>                         # the field's name
+em query field <files> --json                                 # print a JSON document instead of the text report
+em query path <files>                                         # shortest path between two elements through the six legal connection types
+em query path <files> --from <ref-or-name>                    # the starting element's export ref or display name
+em query path <files> --to <ref-or-name>                      # the ending element's export ref or display name
+em query path <files> --json                                  # print a JSON document instead of the text report
+em system <manifest>                                          # verify a seam manifest (system.yaml) against its models' exports — every `public` event/view bound to a reaction in another model, the cross-model half of "both ends of a flow" (MIL-194, see docs/cli.md)
+em system <manifest> --json                                   # print a JSON document instead of the text report (see docs/cli.md)
 em contract                                                   # print the packaged implementation contract (reference/implement.md) to stdout — the agent-neutral discovery path for any agent that can run a shell, not just Claude Code (MIL-129); see docs/cli.md
-em mcp                                                        # start an MCP (Model Context Protocol) server over stdio, exposing validate/slice_ready/list_markers/export_model/export_slice/coverage/contract as tools (MIL-21) — a structured, agent-facing alternative to shelling out to `em`; see docs/mcp.md. Equivalent to running the `em-mcp` bin directly
+em mcp                                                        # start an MCP (Model Context Protocol) server over stdio (MIL-21) — a structured, agent-facing alternative to shelling out to `em`; see docs/mcp.md for the full, current tool table (the list changes as commands gain MCP parity, so it's not repeated here — MIL-187). Equivalent to running the `em-mcp` bin directly
 em skill install                                              # copy the event-modeling skill bundle into .claude/skills/ (event-modeling, event-modeling-discover/-design/-implement/-conform/-review, event-modeling-shared)
 em skill install -f, --force                                  # overwrite an existing installation
 em skill install --no-agents-md                               # skip writing/updating the AGENTS.md agent-contract section (on by default, MIL-129)
@@ -561,11 +596,13 @@ not the prose above has caught up yet. `--slice-ready <key>`-only codes are excl
 | `both-ends-of-a-flow/view-unconsumed` | warning | Read model with no consumer | Add a `ui` or reaction that consumes it, or drop this instance. |
 | `connection-legality/illegal-pair` | error | Illegal connection | Only ui→command→event→view→ui and view→reaction→command are legal — the message names the missing step. |
 | `cross-model-slice-doc-collision` | warning | Colliding slice doc path across models | Give each model its own directory (see docs/cli.md, "Multi-model projects"). |
+| `dangling-public-event` | warning | Public event/view no seam consumes | Declare the seam that reads it, or drop `public` if nothing outside the model does. |
 | `doc-model-element-not-in-doc` | warning | Model element the doc doesn't mention | Add the matching marker to the doc, or remove the element from the model. |
 | `doc-model-element-not-in-model` | warning | Doc names an element the model doesn't have | Add the element to the model, or fix/remove it in the doc. |
 | `doc-model-field-mismatch` | warning | Doc/model field mismatch | Reconcile the field table with the model's fields — names and types. |
 | `doc-model-pattern-mismatch` | warning | Doc/model pattern mismatch | Fix the doc's `pattern:` frontmatter to match the model, or restructure the slice to match the doc. |
 | `duplicate-element-ref` | warning | Duplicate element ref | Rename the element so its export ref is unique. |
+| `duplicate-model-key` | warning | Duplicate model key | Give each model a unique `model "Name"` so its key (and every cross-model ref) is stable. |
 | `duplicate-name` | warning | Duplicate name | Rename one of the duplicates. |
 | `duplicate-slice-name` | warning | Duplicate slice name | Rename the slice so its export key is unique. |
 | `duplicate-type-name` | warning | Duplicate type name | Rename one of the duplicate `type` declarations. |
@@ -587,11 +624,19 @@ not the prose above has caught up yet. `--slice-ready <key>`-only codes are excl
 | `orphaned-slice-doc` | warning | Orphaned slice doc | Rename it to a current slice's key, add `covers:` (plus a `note` binding) to attach it to a live slice, or delete it. |
 | `reaction-from-future-view` | error | Backward timeline (reaction reads a future view) | Declare the view in or before the reaction's slice. |
 | `reaction-from-unresolved` | error | Unknown read-model source | Project the event into a view first, or fix the `from` reference. |
+| `seam-consumer-not-reaction` | error | Seam consumer is not a reaction | Point `to` at a translation/automation element (or a slice containing exactly one). |
+| `seam-duplicate` | warning | Duplicate seam | Remove the repeated `from`/`to` pair. |
+| `seam-endpoint-unresolved` | error | Seam endpoint does not resolve | Fix the ref to an element the named model actually exports (`em export` lists every ref), or re-declare the seam after a rename. |
+| `seam-source-not-public` | error | Seam source is not `public` | Mark the event/view `public` in its model, or point the seam at the element that is. |
+| `system-manifest-invalid` | error | Seam manifest invalid | Fix the manifest: required keys, `systemSchemaVersion: "1.0"`, a readable `source` per model, and only declared model keys in seam refs. |
+| `system-model-key-mismatch` | error | Manifest model key differs from the export's `model.key` | Rename the manifest's `models:` key to the computed key the message prints. |
 | `tag-composite-unknown-field` | error | Composite tag names an unknown field | Fix the field name, or add it to the event's fields. |
 | `tag-duplicate-key` | error | Duplicate tag key | Rename one of the tags so every key on the event is unique. |
 | `translation-name-collision` | warning | Translation name reused for different producers | Use a distinct name per producer to avoid confusion. |
 | `type-cycle` | error | Cyclic type reference | Break the cycle, or route the self/mutual reference through an array. |
 | `ui-shares-slice-with-automation` | warning | `ui` shares slice with a reaction | Move the `ui` to the slice that displays the read model, or drop it. |
+| `unbound-translation` | warning | Externally-fed reaction no seam feeds | Declare the seam whose `to` is this reaction, or give it an in-model `from`. |
+| `undeclared-seam-candidate` | warning | Looks connected across models, no seam declared | Declare the seam, or rename one side so the name match stops looking like a link. |
 | `view-again-without-earlier` | error | `again` without an earlier declaration | Declare the view plainly the first time it appears. |
 | `view-from-future-event` | error | Backward timeline (view reads a future event) | Move the source to a later `view X again` instance. |
 | `view-from-unresolved` | error | Unknown event source | Fix the `from` reference to name an existing event. |

package/README.md

@@ -38,6 +38,13 @@ em diff model.em --from HEAD~1   # what this change did to the model
 em changelog model.em     # the model's git history as a business ledger
 ```
 
+A system of several models — one per team or sub-department, each in its own directory — gets
+the same treatment across model boundaries: a seam manifest (`system.yaml`) declares which
+model's `public` event feeds which other model's Translation slice, and `em system system.yaml`
+verifies every binding against the models' exports and emits the org-level context map
+([docs/cli.md](docs/cli.md#em-system-manifest); worked example in
+[examples/multi-model/](examples/multi-model/)).
+
 A model is a list of slices — vertical time steps, read left to right — whose elements land
 in swimlane rows:
 
@@ -117,7 +124,7 @@ built this way.
 | [docs/usage-data.md](docs/usage-data.md) | What usage data em captures, and how to roll it up for a retro |
 | [docs/architecture.md](docs/architecture.md) | How rendering works; why Graphviz, not PlantUML |
 | [docs/roadmap.md](docs/roadmap.md) | What's planned |
-| [docs/decisions/](docs/decisions/) | Write-ups for open design questions (starts with [MIL-162](docs/decisions/mil-162-teachable-navigator.md), the stakeholder-portal decision) |
+| [docs/decisions/](docs/decisions/) | Write-ups for open design questions ([MIL-162](docs/decisions/mil-162-teachable-navigator.md), the stakeholder-portal decision; [MIL-194](docs/decisions/mil-194-seam-manifest.md), the seam manifest) |
 
 ## Development
 

package/dist/cli/ciInit.d.ts

@@ -4,13 +4,20 @@ export declare function ciWorkflowPath(repoRoot: string): string;
 export declare function conformWorkflowPath(repoRoot: string): string;
 export declare function findUnsafeCiInitArg(value: string): string | null;
 /** The managed block only (no header/`on:`/`jobs:` scaffolding) — what gets written between
- *  the marker pair, both for a fresh file and to patch an existing marked one in place. */
-export declare function ciManagedBody(model: string, testsDir: string): string;
+ *  the marker pair, both for a fresh file and to patch an existing marked one in place.
+ *
+ *  Every `npx @milehimikey/em` invocation pins the generating em's own exact version
+ *  (MIL-188): an unpinned line floats to whatever `latest` resolves to on the runner that
+ *  day, which is the opposite of a preset. Because the pin lives inside the managed body,
+ *  `--check` from a different em version reports the block as stale — the same
+ *  upgrade-visibility `em skill check` gets from its version stamp — and a file scaffolded
+ *  by a pre-pin em shows stale the same way. */
+export declare function ciManagedBody(model: string, testsDir: string, emVersion: string): string;
 export declare function buildCiWorkflowFile(model: string, testsDir: string, emVersion: string): string;
 /** The managed block only (no header/`on:`/`permissions:`/`jobs:` scaffolding) — what gets
  *  written between the marker pair, both for a fresh file and to patch an existing marked one
  *  in place. */
-export declare function conformManagedBody(model: string): string;
+export declare function conformManagedBody(model: string, emVersion: string): string;
 export declare function buildConformWorkflowFile(model: string, emVersion: string): string;
 export type CiFileStatus = {
     kind: "create";

package/dist/cli/ciInit.js

@@ -45,8 +45,16 @@ export function findUnsafeCiInitArg(value) {
 }
 // ---- em-ci.yml (PR gates + push-triggered badge rebuild) ----
 /** The managed block only (no header/`on:`/`jobs:` scaffolding) — what gets written between
- *  the marker pair, both for a fresh file and to patch an existing marked one in place. */
-export function ciManagedBody(model, testsDir) {
+ *  the marker pair, both for a fresh file and to patch an existing marked one in place.
+ *
+ *  Every `npx @milehimikey/em` invocation pins the generating em's own exact version
+ *  (MIL-188): an unpinned line floats to whatever `latest` resolves to on the runner that
+ *  day, which is the opposite of a preset. Because the pin lives inside the managed body,
+ *  `--check` from a different em version reports the block as stale — the same
+ *  upgrade-visibility `em skill check` gets from its version stamp — and a file scaffolded
+ *  by a pre-pin em shows stale the same way. */
+export function ciManagedBody(model, testsDir, emVersion) {
+    const em = `npx @milehimikey/em@${emVersion}`;
     return `  validate:
     name: em validate (changed .em files)
     if: github.event_name == 'pull_request'
@@ -71,8 +79,8 @@ export function ciManagedBody(model, testsDir) {
           status=0
           for f in $changed; do
             echo "::group::em validate $f"
-            npx @milehimikey/em validate "$f" || status=1
-            npx @milehimikey/em validate "$f" --list-issues
+            ${em} validate "$f" || status=1
+            ${em} validate "$f" --list-issues
             echo "::endgroup::"
           done
           exit $status
@@ -87,7 +95,7 @@ export function ciManagedBody(model, testsDir) {
         with:
           node-version: 20
       - name: Check README Slices table is current
-        run: npx @milehimikey/em slice index "${model}" --check
+        run: ${em} slice index "${model}" --check
 
   coverage:
     name: "em coverage --strict (invariant citations)"
@@ -99,7 +107,7 @@ export function ciManagedBody(model, testsDir) {
         with:
           node-version: 20
       - name: Check invariant test coverage
-        run: npx @milehimikey/em coverage "${model}" --tests "${testsDir}" --strict
+        run: ${em} coverage "${model}" --tests "${testsDir}" --strict
 
   ledger:
     name: em ledger (slice doc version/content agreement)
@@ -113,7 +121,7 @@ export function ciManagedBody(model, testsDir) {
         with:
           node-version: 20
       - name: Check slice doc version/content agreement
-        run: npx @milehimikey/em ledger "${model}" --from "\${{ github.event.pull_request.base.sha }}"
+        run: ${em} ledger "${model}" --from "\${{ github.event.pull_request.base.sha }}"
 
   skill-check:
     name: em skill check (vendored skill drift)
@@ -127,7 +135,7 @@ export function ciManagedBody(model, testsDir) {
       - name: Check vendored skill matches installed em
         run: |
           if [ -d .claude/skills/event-modeling ]; then
-            npx @milehimikey/em skill check
+            ${em} skill check
           else
             echo "no vendored skill at .claude/skills/event-modeling — skipping (run \`em skill install\` to opt in)"
           fi
@@ -142,7 +150,7 @@ export function ciManagedBody(model, testsDir) {
         with:
           node-version: 20
       - name: Check glossary consistency across models
-        run: npx @milehimikey/em glossary $(git ls-files '*.em') --fail-on-conflicts
+        run: ${em} glossary $(git ls-files '*.em') --fail-on-conflicts
 
   status-badge:
     name: rebuild status badge (advisory — publish only, never a gate)
@@ -156,7 +164,7 @@ export function ciManagedBody(model, testsDir) {
         with:
           node-version: 20
       - name: Rebuild status badge
-        run: npx @milehimikey/em status "${model}" --tests "${testsDir}" --badge -o status-badge.svg
+        run: ${em} status "${model}" --tests "${testsDir}" --badge -o status-badge.svg
       - name: Commit badge if changed
         run: |
           if git diff --quiet -- status-badge.svg; then
@@ -201,13 +209,13 @@ jobs:
 // closing marker's leading spaces vanished on a second `em ci init` run).
 export function buildCiWorkflowFile(model, testsDir, emVersion) {
     const { start, end } = markerPair(CI_WORKFLOW_MARKER, "hash");
-    return `${ciWorkflowHeader(model, emVersion)}${start}\n${ciManagedBody(model, testsDir)}\n${end}\n`;
+    return `${ciWorkflowHeader(model, emVersion)}${start}\n${ciManagedBody(model, testsDir, emVersion)}\n${end}\n`;
 }
 // ---- em-conform.yml (scheduled, advisory-only conformance cadence) ----
 /** The managed block only (no header/`on:`/`permissions:`/`jobs:` scaffolding) — what gets
  *  written between the marker pair, both for a fresh file and to patch an existing marked one
  *  in place. */
-export function conformManagedBody(model) {
+export function conformManagedBody(model, emVersion) {
     const modelDir = dirname(model) === "." ? "." : dirname(model);
     return `  conform:
     runs-on: ubuntu-latest
@@ -222,7 +230,7 @@ export function conformManagedBody(model) {
 
       - name: Run conform phase
         run: |
-          npm i -g @milehimikey/em@1 @anthropic-ai/claude-code
+          npm i -g @milehimikey/em@${emVersion} @anthropic-ai/claude-code
           em skill install --force
           claude -p "/event-modeling conform" \\
             --allowedTools "Bash(em:*),Bash(git:*),Read,Grep,Glob,Write,Edit"
@@ -268,7 +276,7 @@ jobs:
 }
 export function buildConformWorkflowFile(model, emVersion) {
     const { start, end } = markerPair(CONFORM_WORKFLOW_MARKER, "hash");
-    return `${conformWorkflowHeader(model, emVersion)}${start}\n${conformManagedBody(model)}\n${end}\n`;
+    return `${conformWorkflowHeader(model, emVersion)}${start}\n${conformManagedBody(model, emVersion)}\n${end}\n`;
 }
 /**
  * Decide what to do with one generated file: create it if missing, patch the managed block if

package/dist/cli/ciInit.js.map

@@ -1 +1 @@
-{"version":3,"file":"ciInit.js","sourceRoot":"","sources":["../../src/cli/ciInit.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,wFAAwF;AACxF,2FAA2F;AAC3F,4FAA4F;AAC5F,yFAAyF;AACzF,2EAA2E;AAC3E,EAAE;AACF,0FAA0F;AAC1F,yFAAyF;AACzF,uFAAuF;AACvF,6FAA6F;AAC7F,2EAA2E;AAC3E,4FAA4F;AAC5F,6FAA6F;AAC7F,2FAA2F;AAC3F,cAAc;AACd,8FAA8F;AAC9F,6FAA6F;AAC7F,sEAAsE;AACtE,EAAE;AACF,0FAA0F;AAC1F,gGAAgG;AAChG,6FAA6F;AAC7F,6FAA6F;AAC7F,4DAA4D;AAE5D,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAClE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAE7D,MAAM,CAAC,MAAM,kBAAkB,GAAG,OAAO,CAAC;AAC1C,MAAM,CAAC,MAAM,uBAAuB,GAAG,YAAY,CAAC;AAEpD,MAAM,mBAAmB,GAAG,IAAI,CAAC,SAAS,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;AACtE,MAAM,wBAAwB,GAAG,IAAI,CAAC,SAAS,EAAE,WAAW,EAAE,gBAAgB,CAAC,CAAC;AAEhF,MAAM,UAAU,cAAc,CAAC,QAAgB;IAC7C,OAAO,IAAI,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC;AAC7C,CAAC;AACD,MAAM,UAAU,mBAAmB,CAAC,QAAgB;IAClD,OAAO,IAAI,CAAC,QAAQ,EAAE,wBAAwB,CAAC,CAAC;AAClD,CAAC;AAED;;iEAEiE;AACjE,MAAM,gBAAgB,GAAG,SAAS,CAAC;AAEnC,MAAM,UAAU,mBAAmB,CAAC,KAAa;IAC/C,OAAO,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AACrD,CAAC;AAED,gEAAgE;AAEhE;2FAC2F;AAC3F,MAAM,UAAU,aAAa,CAAC,KAAa,EAAE,QAAgB;IAC3D,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;gDAwCuC,KAAK;;;;;;;;;;;;6CAYR,KAAK,cAAc,QAAQ;;;;;;;;;;;;;;2CAc7B,KAAK;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;2CA2CL,KAAK,cAAc,QAAQ;;;;;;;;;;;mBAWnD,CAAC;AACpB,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAa,EAAE,SAAiB;IACxD,OAAO,oCAAoC,KAAK,UAAU,SAAS;;;0BAG3C,kBAAkB;;;;iBAI3B,KAAK;;;;;;;;;;;;;;CAcrB,CAAC;AACF,CAAC;AAED,yFAAyF;AACzF,4FAA4F;AAC5F,gGAAgG;AAChG,4FAA4F;AAC5F,0FAA0F;AAC1F,0EAA0E;AAC1E,MAAM,UAAU,mBAAmB,CAAC,KAAa,EAAE,QAAgB,EAAE,SAAiB;IACpF,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,UAAU,CAAC,kBAAkB,EAAE,MAAM,CAAC,CAAC;IAC9D,OAAO,GAAG,gBAAgB,CAAC,KAAK,EAAE,SAAS,CAAC,GAAG,KAAK,KAAK,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,GAAG,IAAI,CAAC;AACtG,CAAC;AAED,0EAA0E;AAE1E;;gBAEgB;AAChB,MAAM,UAAU,kBAAkB,CAAC,KAAa;IAC9C,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC/D,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mBAiCU,QAAQ,EAAE,CAAC;AAC9B,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAa,EAAE,SAAiB;IAC7D,OAAO,oCAAoC,KAAK,UAAU,SAAS;;;;;;;;;;;;;;;;;;;CAmBpE,CAAC;AACF,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,KAAa,EAAE,SAAiB;IACvE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,UAAU,CAAC,uBAAuB,EAAE,MAAM,CAAC,CAAC;IACnE,OAAO,GAAG,qBAAqB,CAAC,KAAK,EAAE,SAAS,CAAC,GAAG,KAAK,KAAK,kBAAkB,CAAC,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC;AACtG,CAAC;AAWD;;;;;;;;;GASG;AACH,MAAM,UAAU,UAAU,CACxB,IAAY,EACZ,SAAiB,EACjB,WAAmB,EACnB,UAAkB,EAClB,KAAc;IAEd,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;IAErE,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC5C,MAAM,OAAO,GAAG,WAAW,CAAC,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;IAEvE,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACrB,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,CAAC;IAC7F,CAAC;IACD,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAC3H,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,IAAY,EAAE,MAAoB;IAC5D,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC3F,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC9C,CAAC;AACH,CAAC"}
+{"version":3,"file":"ciInit.js","sourceRoot":"","sources":["../../src/cli/ciInit.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,wFAAwF;AACxF,2FAA2F;AAC3F,4FAA4F;AAC5F,yFAAyF;AACzF,2EAA2E;AAC3E,EAAE;AACF,0FAA0F;AAC1F,yFAAyF;AACzF,uFAAuF;AACvF,6FAA6F;AAC7F,2EAA2E;AAC3E,4FAA4F;AAC5F,6FAA6F;AAC7F,2FAA2F;AAC3F,cAAc;AACd,8FAA8F;AAC9F,6FAA6F;AAC7F,sEAAsE;AACtE,EAAE;AACF,0FAA0F;AAC1F,gGAAgG;AAChG,6FAA6F;AAC7F,6FAA6F;AAC7F,4DAA4D;AAE5D,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAClE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAE7D,MAAM,CAAC,MAAM,kBAAkB,GAAG,OAAO,CAAC;AAC1C,MAAM,CAAC,MAAM,uBAAuB,GAAG,YAAY,CAAC;AAEpD,MAAM,mBAAmB,GAAG,IAAI,CAAC,SAAS,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;AACtE,MAAM,wBAAwB,GAAG,IAAI,CAAC,SAAS,EAAE,WAAW,EAAE,gBAAgB,CAAC,CAAC;AAEhF,MAAM,UAAU,cAAc,CAAC,QAAgB;IAC7C,OAAO,IAAI,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC;AAC7C,CAAC;AACD,MAAM,UAAU,mBAAmB,CAAC,QAAgB;IAClD,OAAO,IAAI,CAAC,QAAQ,EAAE,wBAAwB,CAAC,CAAC;AAClD,CAAC;AAED;;iEAEiE;AACjE,MAAM,gBAAgB,GAAG,SAAS,CAAC;AAEnC,MAAM,UAAU,mBAAmB,CAAC,KAAa;IAC/C,OAAO,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AACrD,CAAC;AAED,gEAAgE;AAEhE;;;;;;;;gDAQgD;AAChD,MAAM,UAAU,aAAa,CAAC,KAAa,EAAE,QAAgB,EAAE,SAAiB;IAC9E,MAAM,EAAE,GAAG,uBAAuB,SAAS,EAAE,CAAC;IAC9C,OAAO;;;;;;;;;;;;;;;;;;;;;;;;cAwBK,EAAE;cACF,EAAE;;;;;;;;;;;;;;;eAeD,EAAE,iBAAiB,KAAK;;;;;;;;;;;;eAYxB,EAAE,cAAc,KAAK,cAAc,QAAQ;;;;;;;;;;;;;;eAc3C,EAAE,YAAY,KAAK;;;;;;;;;;;;;;cAcpB,EAAE;;;;;;;;;;;;;;;eAeD,EAAE;;;;;;;;;;;;;;eAcF,EAAE,YAAY,KAAK,cAAc,QAAQ;;;;;;;;;;;mBAWrC,CAAC;AACpB,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAa,EAAE,SAAiB;IACxD,OAAO,oCAAoC,KAAK,UAAU,SAAS;;;0BAG3C,kBAAkB;;;;iBAI3B,KAAK;;;;;;;;;;;;;;CAcrB,CAAC;AACF,CAAC;AAED,yFAAyF;AACzF,4FAA4F;AAC5F,gGAAgG;AAChG,4FAA4F;AAC5F,0FAA0F;AAC1F,0EAA0E;AAC1E,MAAM,UAAU,mBAAmB,CAAC,KAAa,EAAE,QAAgB,EAAE,SAAiB;IACpF,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,UAAU,CAAC,kBAAkB,EAAE,MAAM,CAAC,CAAC;IAC9D,OAAO,GAAG,gBAAgB,CAAC,KAAK,EAAE,SAAS,CAAC,GAAG,KAAK,KAAK,aAAa,CAAC,KAAK,EAAE,QAAQ,EAAE,SAAS,CAAC,KAAK,GAAG,IAAI,CAAC;AACjH,CAAC;AAED,0EAA0E;AAE1E;;gBAEgB;AAChB,MAAM,UAAU,kBAAkB,CAAC,KAAa,EAAE,SAAiB;IACjE,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC/D,OAAO;;;;;;;;;;;;;qCAa4B,SAAS;;;;;;;;;;;;;;;;;;;;mBAoB3B,QAAQ,EAAE,CAAC;AAC9B,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAa,EAAE,SAAiB;IAC7D,OAAO,oCAAoC,KAAK,UAAU,SAAS;;;;;;;;;;;;;;;;;;;CAmBpE,CAAC;AACF,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,KAAa,EAAE,SAAiB;IACvE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,UAAU,CAAC,uBAAuB,EAAE,MAAM,CAAC,CAAC;IACnE,OAAO,GAAG,qBAAqB,CAAC,KAAK,EAAE,SAAS,CAAC,GAAG,KAAK,KAAK,kBAAkB,CAAC,KAAK,EAAE,SAAS,CAAC,KAAK,GAAG,IAAI,CAAC;AACjH,CAAC;AAWD;;;;;;;;;GASG;AACH,MAAM,UAAU,UAAU,CACxB,IAAY,EACZ,SAAiB,EACjB,WAAmB,EACnB,UAAkB,EAClB,KAAc;IAEd,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;IAErE,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC5C,MAAM,OAAO,GAAG,WAAW,CAAC,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;IAEvE,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;QACrB,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,CAAC;IAC7F,CAAC;IACD,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAC3H,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,IAAY,EAAE,MAAoB;IAC5D,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC3F,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IAC9C,CAAC;AACH,CAAC"}

package/dist/cli/systemInputs.d.ts

@@ -0,0 +1,34 @@
+import { SystemManifest } from "../system/manifest.js";
+import { SystemDiagnostic, SystemExportDoc, SystemModelInput } from "../system/verify.js";
+/** The oldest `em export` schema whose document carries what the verifier reads (`model.key`
+ *  from MIL-193, `model.edges` from MIL-191 — both schema 1.10). */
+export declare const MIN_EXPORT_SCHEMA: {
+    major: number;
+    minor: number;
+};
+export type LoadSystemResult = {
+    ok: true;
+    manifest: SystemManifest;
+    manifestText: string;
+    models: SystemModelInput[];
+} | {
+    ok: false;
+    diagnostics: SystemDiagnostic[];
+};
+/** Read + parse the manifest at `manifestPath` and load every model it declares. `ok: false`
+ *  means the system can't be verified at all (unreadable/invalid manifest, or a source that
+ *  can't be read, parsed, or has compile errors) — the caller refuses, the same way `em export`
+ *  refuses a model with errors, rather than verifying a partial system. */
+export declare function loadSystem(manifestPath: string): LoadSystemResult;
+type LoadedSource = {
+    sourceKind: "em" | "export";
+    doc: SystemExportDoc;
+} | {
+    error: string;
+};
+/** Shape-check an `em export --json` document: `schemaVersion` >= 1.10 and the `model.key`/
+ *  `model.slices`/`model.edges` fields present. Deliberately shallow — this is a guard against
+ *  handing the verifier a file that isn't an export at all (or one from an older em), not a
+ *  full schema validation; an export em itself wrote is trusted past this point. */
+export declare function readExportDoc(text: string, file: string): LoadedSource;
+export {};

package/dist/cli/systemInputs.js

@@ -0,0 +1,129 @@
+// SPDX-License-Identifier: MIT
+// The filesystem half of `em system` (MIL-194): read the manifest, resolve each model's
+// `source` relative to the manifest's directory, and turn every source — a `.em` file compiled
+// in-process, or an `em export --json` document read as-is — into the ONE input shape the
+// verifier (src/system/verify.ts) accepts: an export document. That is how "verification reads
+// export JSON only" stays true while a co-located repo still gets to point at its `.em` files
+// directly: a `.em` source is compiled with the same `compile()` + `buildExportDoc()` `em export`
+// itself runs, never through a second model reader, so the verifier can't tell the two apart.
+//
+// Shared by the CLI action (src/cli.ts) and the MCP `system` tool (src/mcp/server.ts) so the two
+// surfaces load a system identically — the parity requirement. Every failure is a returned
+// diagnostic, never a throw or a process exit: the CLI prints and exits, MCP returns a tool error.
+import { readFileSync } from "node:fs";
+import { dirname, extname, isAbsolute, join } from "node:path";
+import { compile } from "../pipeline.js";
+import { ParseError } from "../parser/parser.js";
+import { hasErrors } from "../model/validate.js";
+import { buildExportDoc } from "../emit/json.js";
+import { makeDiag } from "../model/rules.js";
+import { parseManifest } from "../system/manifest.js";
+/** The oldest `em export` schema whose document carries what the verifier reads (`model.key`
+ *  from MIL-193, `model.edges` from MIL-191 — both schema 1.10). */
+export const MIN_EXPORT_SCHEMA = { major: 1, minor: 10 };
+/** Read + parse the manifest at `manifestPath` and load every model it declares. `ok: false`
+ *  means the system can't be verified at all (unreadable/invalid manifest, or a source that
+ *  can't be read, parsed, or has compile errors) — the caller refuses, the same way `em export`
+ *  refuses a model with errors, rather than verifying a partial system. */
+export function loadSystem(manifestPath) {
+    let manifestText;
+    try {
+        manifestText = readFileSync(manifestPath, "utf8");
+    }
+    catch {
+        return { ok: false, diagnostics: [{ file: manifestPath, ...makeDiag("system-manifest-invalid", { message: `cannot read ${manifestPath}` }) }] };
+    }
+    const parsed = parseManifest(manifestText);
+    if (!parsed.ok) {
+        return { ok: false, diagnostics: parsed.diagnostics.map((d) => ({ file: manifestPath, ...d })) };
+    }
+    const baseDir = dirname(manifestPath);
+    const diagnostics = [];
+    const models = [];
+    for (const entry of parsed.manifest.models) {
+        // Joined, not resolved: diagnostics and `--json` echo this path, and a document a CI job
+        // commits must not embed one machine's absolute checkout path — `em export`'s `source.path`
+        // keeps the same "as given" posture.
+        const file = isAbsolute(entry.source) ? entry.source : join(baseDir, entry.source);
+        const loaded = loadSource(file);
+        if ("error" in loaded) {
+            diagnostics.push({
+                file: manifestPath,
+                ...makeDiag("system-manifest-invalid", { message: `model "${entry.key}": ${loaded.error}`, line: entry.line }),
+            });
+            continue;
+        }
+        models.push({ key: entry.key, source: entry.source, sourceKind: loaded.sourceKind, owner: entry.owner, file, doc: loaded.doc });
+    }
+    if (diagnostics.length > 0)
+        return { ok: false, diagnostics };
+    return { ok: true, manifest: parsed.manifest, manifestText, models };
+}
+/** One source path to an export document. `.em` compiles (refusing on parse/validation
+ *  errors, same gate as `em export`); anything else is read as an `em export --json` document
+ *  and shape-checked for the fields the verifier needs. */
+function loadSource(file) {
+    let text;
+    try {
+        text = readFileSync(file, "utf8");
+    }
+    catch {
+        return { error: `cannot read ${file}` };
+    }
+    if (extname(file).toLowerCase() === ".em") {
+        try {
+            const { model, refs, diagnostics } = compile(text);
+            if (hasErrors(diagnostics)) {
+                return { error: `${file} has validation errors — run \`em validate ${file}\` and fix them first` };
+            }
+            // The document's own `model.key` (MIL-193, schema 1.10) is the key the manifest must match —
+            // never recomputed here, so `em system` and `em export` can't disagree about it.
+            const { doc } = buildExportDoc(model, refs, diagnostics, text, file);
+            return { sourceKind: "em", doc };
+        }
+        catch (e) {
+            if (e instanceof ParseError)
+                return { error: `parse error in ${file} ${e.message}` };
+            throw e;
+        }
+    }
+    return readExportDoc(text, file);
+}
+/** Shape-check an `em export --json` document: `schemaVersion` >= 1.10 and the `model.key`/
+ *  `model.slices`/`model.edges` fields present. Deliberately shallow — this is a guard against
+ *  handing the verifier a file that isn't an export at all (or one from an older em), not a
+ *  full schema validation; an export em itself wrote is trusted past this point. */
+export function readExportDoc(text, file) {
+    let raw;
+    try {
+        raw = JSON.parse(text);
+    }
+    catch {
+        return { error: `${file} is not valid JSON (expected an \`em export --json\` document)` };
+    }
+    if (typeof raw !== "object" || raw === null || typeof raw.schemaVersion !== "string") {
+        return { error: `${file} is not an \`em export --json\` document (no schemaVersion)` };
+    }
+    const doc = raw;
+    const [majorStr, minorStr] = doc.schemaVersion.split(".");
+    const major = Number(majorStr);
+    const minor = Number(minorStr);
+    const tooOld = !Number.isInteger(major) || !Number.isInteger(minor) || major < MIN_EXPORT_SCHEMA.major || (major === MIN_EXPORT_SCHEMA.major && minor < MIN_EXPORT_SCHEMA.minor);
+    if (tooOld) {
+        return {
+            error: `${file} has export schemaVersion "${doc.schemaVersion}" — \`em system\` needs >= ${MIN_EXPORT_SCHEMA.major}.${MIN_EXPORT_SCHEMA.minor} ` +
+                `(model.key and model.edges); regenerate it with a current \`em export --json\``,
+        };
+    }
+    const model = doc.model;
+    if (typeof model !== "object" || model === null)
+        return { error: `${file}: export document has no \`model\`` };
+    if (typeof model.key !== "string")
+        return { error: `${file}: export document has no \`model.key\` — regenerate it with a current \`em export --json\`` };
+    if (!Array.isArray(model.slices))
+        return { error: `${file}: export document has no \`model.slices\`` };
+    if (!Array.isArray(model.edges))
+        return { error: `${file}: export document has no \`model.edges\` — regenerate it with a current \`em export --json\`` };
+    return { sourceKind: "export", doc: raw };
+}
+//# sourceMappingURL=systemInputs.js.map

package/dist/cli/systemInputs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"systemInputs.js","sourceRoot":"","sources":["../../src/cli/systemInputs.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,wFAAwF;AACxF,+FAA+F;AAC/F,0FAA0F;AAC1F,+FAA+F;AAC/F,8FAA8F;AAC9F,kGAAkG;AAClG,8FAA8F;AAC9F,EAAE;AACF,iGAAiG;AACjG,2FAA2F;AAC3F,mGAAmG;AAEnG,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAC/D,OAAO,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AACzC,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AACjD,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACjD,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC7C,OAAO,EAAE,aAAa,EAAkB,MAAM,uBAAuB,CAAC;AAGtE;oEACoE;AACpE,MAAM,CAAC,MAAM,iBAAiB,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;AAMzD;;;2EAG2E;AAC3E,MAAM,UAAU,UAAU,CAAC,YAAoB;IAC7C,IAAI,YAAoB,CAAC;IACzB,IAAI,CAAC;QACH,YAAY,GAAG,YAAY,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IACpD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,QAAQ,CAAC,yBAAyB,EAAE,EAAE,OAAO,EAAE,eAAe,YAAY,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;IAClJ,CAAC;IACD,MAAM,MAAM,GAAG,aAAa,CAAC,YAAY,CAAC,CAAC;IAC3C,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;IACnG,CAAC;IAED,MAAM,OAAO,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;IACtC,MAAM,WAAW,GAAuB,EAAE,CAAC;IAC3C,MAAM,MAAM,GAAuB,EAAE,CAAC;IACtC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC3C,yFAAyF;QACzF,4FAA4F;QAC5F,qCAAqC;QACrC,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACnF,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,OAAO,IAAI,MAAM,EAAE,CAAC;YACtB,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,YAAY;gBAClB,GAAG,QAAQ,CAAC,yBAAyB,EAAE,EAAE,OAAO,EAAE,UAAU,KAAK,CAAC,GAAG,MAAM,MAAM,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;aAC/G,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;IAClI,CAAC;IACD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;IAC9D,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC;AACvE,CAAC;AAID;;2DAE2D;AAC3D,SAAS,UAAU,CAAC,IAAY;IAC9B,IAAI,IAAY,CAAC;IACjB,IAAI,CAAC;QACH,IAAI,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACpC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,KAAK,EAAE,eAAe,IAAI,EAAE,EAAE,CAAC;IAC1C,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,KAAK,KAAK,EAAE,CAAC;QAC1C,IAAI,CAAC;YACH,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;YACnD,IAAI,SAAS,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC3B,OAAO,EAAE,KAAK,EAAE,GAAG,IAAI,8CAA8C,IAAI,uBAAuB,EAAE,CAAC;YACrG,CAAC;YACD,6FAA6F;YAC7F,iFAAiF;YACjF,MAAM,EAAE,GAAG,EAAE,GAAG,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;YACrE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QACnC,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,IAAI,CAAC,YAAY,UAAU;gBAAE,OAAO,EAAE,KAAK,EAAE,kBAAkB,IAAI,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC;YACrF,MAAM,CAAC,CAAC;QACV,CAAC;IACH,CAAC;IACD,OAAO,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;AACnC,CAAC;AAED;;;oFAGoF;AACpF,MAAM,UAAU,aAAa,CAAC,IAAY,EAAE,IAAY;IACtD,IAAI,GAAY,CAAC;IACjB,IAAI,CAAC;QACH,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACzB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,KAAK,EAAE,GAAG,IAAI,gEAAgE,EAAE,CAAC;IAC5F,CAAC;IACD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,OAAQ,GAAmC,CAAC,aAAa,KAAK,QAAQ,EAAE,CAAC;QACtH,OAAO,EAAE,KAAK,EAAE,GAAG,IAAI,6DAA6D,EAAE,CAAC;IACzF,CAAC;IACD,MAAM,GAAG,GAAG,GAAiE,CAAC;IAC9E,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,GAAG,GAAG,CAAC,aAAa,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC1D,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC/B,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC/B,MAAM,MAAM,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,iBAAiB,CAAC,KAAK,IAAI,CAAC,KAAK,KAAK,iBAAiB,CAAC,KAAK,IAAI,KAAK,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;IACjL,IAAI,MAAM,EAAE,CAAC;QACX,OAAO;YACL,KAAK,EACH,GAAG,IAAI,8BAA8B,GAAG,CAAC,aAAa,8BAA8B,iBAAiB,CAAC,KAAK,IAAI,iBAAiB,CAAC,KAAK,GAAG;gBACzI,gFAAgF;SACnF,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC;IACxB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,EAAE,KAAK,EAAE,GAAG,IAAI,oCAAoC,EAAE,CAAC;IAC/G,IAAI,OAAO,KAAK,CAAC,GAAG,KAAK,QAAQ;QAAE,OAAO,EAAE,KAAK,EAAE,GAAG,IAAI,4FAA4F,EAAE,CAAC;IACzJ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,GAAG,IAAI,2CAA2C,EAAE,CAAC;IACvG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,KAAK,EAAE,GAAG,IAAI,8FAA8F,EAAE,CAAC;IACzJ,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,GAAG,EAAE,GAAsB,EAAE,CAAC;AAC/D,CAAC"}