@milehimikey/em 1.9.0 → 1.10.0

package/.claude/skills/event-modeling-shared/templates/slice.md

@@ -22,7 +22,7 @@ ships; that mismatch is an intended drift signal, not a bug), and fill in the `#
 below with this hop's change, replacing whatever it held before (it always shows only the latest
 hop — full history lives in git, same-commit-ratification convention). Full grammar — the fixed
 heading, the four operation subsections, why the heading never varies, the replace-not-accumulate
-lifecycle — is documented in docs/slice-doc-schema.md#delta-section-grammar-and-lifecycle; treat
+lifecycle — is documented in ../reference/slice-doc-schema.md#delta-section-grammar-and-lifecycle; treat
 it the same Socratic way as every other section here, don't generate it mechanically.
 
 The three lineage keys only apply when this doc was produced by a split, merge, or rename —
@@ -47,7 +47,7 @@ command writes either. `owner` is free text naming who (a person or team) holds
 never talks to a tracker itself. Delete both otherwise; most docs never carry them.
 
 Full machine schema — required-vs-optional keys per `status`, value types/enums, the
-unknown-key policy — is documented in docs/slice-doc-schema.md.
+unknown-key policy — is documented in ../reference/slice-doc-schema.md.
 
 The diagram below is generated, not hand-drawn: `em render <model>.em --slice "{{Slice Name}}"
 -o slices/{{slice-name}}.svg` (kebab-case the slice name to match this doc's own filename).
@@ -62,13 +62,13 @@ version: 1
 implementedIn: {{PR/commit link — fill in once status is `implemented`}}
 # Lineage — only when this doc exists because of a split, merge, or rename (delete these three
 # lines otherwise). Grammar: <slice-key>@v<N>. See
-# docs/slice-doc-schema.md#lineage-grammar-and-cardinality.
+# ../reference/slice-doc-schema.md#lineage-grammar-and-cardinality.
 # split-from: <slice-key>@v<N>
 # merged-from: <slice-key>@v<N>, <slice-key>@v<N>
 # superseded-by: <slice-key>@v<N>, <slice-key>@v<N>
 # Cross-slice coverage — only when this doc also covers another slice with no doc of its own
 # (e.g. the view-only half of a two-slice Automation/Translation, MIL-121); delete otherwise.
-# Plain slice keys, comma-separated. See docs/slice-doc-schema.md#cross-slice-coverage-covers.
+# Plain slice keys, comma-separated. See ../reference/slice-doc-schema.md#cross-slice-coverage-covers.
 # covers: <slice-key>, <slice-key>
 # Ownership / tracking — optional, hand-filled (no `em` command writes either); delete otherwise.
 # owner: <person or team>
@@ -81,7 +81,7 @@ implementedIn: {{PR/commit link — fill in once status is `implemented`}}
 <!-- Only on re-ratification of an already-`implemented` slice — omit this whole section on a
      slice's first version (v1 has no delta yet). The heading is always the literal `## Delta`,
      never `## Delta: vX → vY` — hop metadata is a display line inside the section instead (see
-     docs/slice-doc-schema.md#delta-section-grammar-and-lifecycle for why). Replace this
+     ../reference/slice-doc-schema.md#delta-section-grammar-and-lifecycle for why). Replace this
      section's content wholesale on the next re-ratification — it shows only the latest hop, not
      an accumulating log. Omit any of the four subsections below with no entries this hop; keep
      the remaining ones in this order (Added/Modified/Removed/Renamed). `Renamed` is for a
@@ -161,7 +161,7 @@ an event directly.}}
 <!-- What must ALWAYS hold. Give each a stable ID so tests and code can reference it:
      `INV-<MNEMONIC>-<n>`, where `<MNEMONIC>` is a short (2-4 letter/digit), slice-unique
      abbreviation of this slice's key (e.g. slice `checkout` -> `INV-CHK-1`) — see
-     docs/slice-doc-schema.md. Add a letter suffix for a closely-related sub-invariant
+     ../reference/slice-doc-schema.md. Add a letter suffix for a closely-related sub-invariant
      (`INV-CHK-3a`). Keep the rule statement itself to one line. If it needs more — why the rule
      exists, what "violation" looks like in practice, an edge case worth calling out — add that as
      a nested bullet under the rule instead of one long run-on sentence: this section renders as
@@ -217,5 +217,5 @@ an event directly.}}
      as `## Delta`, for the same reason: an ever-growing scroll of resolved questions goes stale
      exactly like an accumulating Delta log would, and full history already lives in git
      (`git log -p slices/<name>.md`) — this section is a live worklist, not an audit trail. See
-     docs/slice-doc-schema.md#open-questions-section-lifecycle. -->
+     ../reference/slice-doc-schema.md#open-questions-section-lifecycle. -->
 - [ ] {{question}}

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"}