@milehimikey/em 1.5.0 → 1.6.1

package/.claude/skills/event-modeling/reference/methodology.md

@@ -77,12 +77,11 @@ against invariants and records one or more events.
 **Event(s) → Read Model → UI.** Past events are projected into a read model that a screen
 displays. Read-only; changes no state.
 - `em` shape: `slice { view V from "Event A", "Event B"  ui Screen @Persona }`
-- **Headless / API systems (no UI):** when there is no UI, a read model is consumed by an
-  **external caller querying the API**, modeled as a **read translation** — the outbound analog of
-  `→ ui`. Shape: `slice { view V from "..."  translation <Caller> Read <V> }`. A read translation
-  **triggers no command** (it returns data); it is *not* a reaction, so the
-  `reaction → command → event` rule does **not** apply to it. (Contrast: a *reaction* translation in
-  pattern 4 triggers a command.)
+- **Headless / API systems:** still use `ui`/`persona` — declare a persona per external
+  caller/role (e.g. `IntegratorAPI`) and treat its `ui` boxes as API calls, not screens. Shape:
+  `slice { view V from "..."  ui Read V @IntegratorAPI }`, same as any State View slice.
+  `translation` stays reserved for genuine reactions/external-system boundaries (pattern 4), not
+  for a synchronous request/response API call.
 - **Repeat read models across the timeline.** A read model is drawn fresh in **every** slice where
   it is read — after the events that update it, before the actions that consume it — so the diagram
   shows state flowing left-to-right (the information-completeness staircase). The same read-model
@@ -136,6 +135,11 @@ records an event directly.
   The processor band holds no event; the command in the next slice produces it. Keeping the
   triggered command in the same slice as the processor is a validation warning — always split it.
   Forgetting the third slice leaves `E` unread, which is also a warning.
+- **Naming:** name the read model after the pending work — `Payments To Process`,
+  `Orders To Fulfill`, `Pending Approvals` — never after the triggering event. The event is what
+  happened; the view is what's left to do. Reusing the event's name also collides in the shared
+  element namespace: `from` references then resolve by element kind, and `em validate` flags the
+  duplicated name.
 - Socratic prompts: *"What should happen without a human? What condition triggers it? What work
   list does the processor watch? What command does it fire? What if it fails or retries?"*
 
@@ -143,15 +147,30 @@ records an event directly.
 **Boundary crossing → command → event.** An adapter translates data across a boundary (an external
 system, or another bounded context) into the model's own language. Like an automation, a
 translation is a *reaction*: it **triggers a command**, never records an event directly. Two
-trigger forms:
-- **Externally triggered:** `external input → translation → command → event`. The trigger comes
-  from outside the model, so the translation has no internal `from`.
-- **Internally triggered** (reacting to the modeled system's own state, e.g. pushing data out):
-  `read model → translation → command → event`. The translation reads a **view** via `from`.
+independent questions shape which form it takes — don't conflate them:
+- **Trigger source:** does the input come from outside the model, or from the model's own state
+  pushed back out?
+- **Durable artifact:** is there a queryable, persisted thing behind the trigger (a queue, topic,
+  or log), or is it an ephemeral call with nothing to query afterward?
+
+The `em` shape only tracks the second question — trigger source doesn't change it:
+- **No durable artifact:** `external input → translation → command → event`. No internal `from`.
+  Typically (not necessarily) externally triggered — a bare webhook call with nothing persisted
+  behind it.
+- **Durable artifact:** `read model → translation → command → event`. The translation reads a
+  **view** via `from`. This shape is the same whether the view was filled by the model's own event
+  (internally triggered, e.g. pushing data out) or by an external system's persisted queue
+  (externally triggered, e.g. a webhook whose inbound message is stored first for retries,
+  ordering, or audit) — an externally triggered translation backed by a real queue is
+  architecturally closer to this case than to the no-artifact one above.
+- **Event legitimacy:** a received external message counts as a legitimate domain `event` when
+  it's scoped to the context/lane whose fact it represents, not by who committed it — the same
+  move as an Anti-Corruption-Layer boundary event in DDD — and stays legitimate as long as it
+  doesn't leak into the model's own domain vocabulary.
 - `em` shape: **two slices**, exactly like an automation, plus the read slice for the event:
   ```em
   slice "Boundary" {
-    view Source from "..."     # internally triggered only; omit for an external trigger
+    view Source from "..."     # durable-artifact form only; omit if there's nothing persisted
     translation T from "Source"
   }
   slice "Record It" {
@@ -242,8 +261,9 @@ Walk the whole model with stakeholders and check for loose ends:
 - Every **command** has something that **triggers** it — a `ui` in its slice, or a reaction in the
   slice before it. A command nothing points at is a write nobody can start. `em validate` warns.
 - Every **command** produces at least one **event**.
-- Every **view** has at least one source event, **and a consumer** — a `ui`, a reaction watching it,
-  or (headless) a read translation. Every *instance* of a repeated view, not just the last one.
+- Every **view** has at least one source event, **and a consumer** — a `ui` (headless: the `ui`
+  tagged to the API-caller persona), or a reaction watching it. Every *instance* of a repeated
+  view, not just the last one.
   A read model nothing displays is information projected out and then dropped. `em validate` warns.
 - Every **event** is **read by a read model** — a `view` naming it in `from` (any `again` instance
   counts), or a `view` with no `from` sitting in its slice. A reaction consuming it does **not**

package/.claude/skills/event-modeling/templates/conformance-report.md

@@ -16,11 +16,11 @@ Replace bracketed placeholders; delete guidance comments before finishing.
 
 ## Summary
 
-| Surface | Real drift | Model gap | Internal inconsistency | Uncertainty |
-|---|---|---|---|---|
-| Structural | {{n}} | {{n}} | — | {{n}} |
-| Spec | {{n}} | {{n}} | — | {{n}} |
-| Internal | — | — | {{n}} | {{n}} |
+| Surface | Real drift | Model gap | Internal inconsistency | Accepted divergence | Uncertainty |
+|---|---|---|---|---|---|
+| Structural | {{n}} | {{n}} | — | {{n}} | {{n}} |
+| Spec | {{n}} | {{n}} | — | {{n}} | {{n}} |
+| Internal | — | — | {{n}} | {{n}} | {{n}} |
 
 {{One or two sentences: overall read — clean, mostly clean with N items, or notably drifted.}}
 
@@ -32,12 +32,14 @@ Replace bracketed placeholders; delete guidance comments before finishing.
 ### {{n}}. {{Short finding title}}
 
 - **Surface:** {{structural | spec | internal}}
-- **Classification:** {{real drift | model gap | internal inconsistency}}
+- **Classification:** {{real drift | model gap | internal inconsistency | accepted divergence}}
 - **Slice:** {{slice name}}
-- **Evidence:** {{file path(s) and line/symbol, or the `em diff --json` entry (type + name)}}
+- **Evidence:** {{file path(s) and line/symbol, or the `em diff --json` entry (type + name) —
+  for accepted divergence, the `divergence "..."` annotation text itself}}
 - **Claim:** {{what the model/doc says vs. what the code/doc shows — the actual disagreement}}
 - **Proposed red note:** `issue "conformance: {{text}}"` on {{element}} (slice "{{slice}}")
   <!-- Omit this line entirely for internal-inconsistency findings with no clear side to flag,
+       for any accepted-divergence finding (already ratified — don't propose re-ratifying it),
        or when the finding doesn't warrant a red note (say why instead). -->
 
 ## Scenario / invariant coverage

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

@@ -3,10 +3,15 @@ Rich slice design document. One per slice, stored in <model>/slices/<slice-name>
 linked from the .em model with:  note "slices/<slice-name>.md"  on the slice's defining element.
 Fill every section through Socratic questioning. Leave "Open Questions" rather than guessing.
 Replace the bracketed placeholders; delete guidance comments before finishing.
+
+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).
 -->
 
 # Slice: {{Slice Name}}
 
+![Diagram](./{{slice-name}}.svg)
+
 - **Pattern:** {{State Change | State View | Automation | Translation}}
 - **Swimlane:** {{Persona/Actor}} → {{Context/Aggregate}}
 - **Status:** {{draft | reviewed | ready-to-implement | implemented}}
@@ -54,7 +59,7 @@ an event directly.}}
 ## Read Model / View
 <!-- For State View slices, and any read model this slice produces or feeds. -->
 - **View:** `{{View Name}}` built from events: {{"Event A", "Event B"}}
-- **Consumed by:** {{which UI screen, reaction, or read translation}}
+- **Consumed by:** {{which UI screen (or API-caller persona), or reaction}}
 <!-- "Consumed by" is required, not optional. A read model nothing displays or watches is
      information projected out of the system and then dropped, and `em validate` warns. Every
      instance of a repeated view needs its own consumer, not just the last one. -->

package/.claude/skills/event-modeling/templates/state.md

@@ -11,6 +11,7 @@ Keep it current at the end of every working session.
 - **Current step:** {{1–7, see methodology; or extraction round R1–R7}}
 - **Last updated:** {{YYYY-MM-DD}}
 - **Last conformance:** {{YYYY-MM-DD @ <target-repo revision> — report: conformance/<date>-report.md | never}}
+- **Last stakeholder review:** {{YYYY-MM-DD — attendees: see Participants | never}}
 
 ## Session inputs
 - **Scope line:** {{one-line description of what's in/out of bounds for this model}}
@@ -47,6 +48,13 @@ Keep it current at the end of every working session.
      attribute each entry to the participant who made the call (see Participants above). -->
 - {{YYYY-MM-DD}}: {{decision}} — {{why}} — by {{participant, if a live workshop}}
 
+## Usage log
+<!-- The team's only usage signal today (see docs/usage-data.md) — cheap and coarse on purpose.
+     One line per session: phase(s) touched, and validate diagnostic *categories* hit (the rule
+     name from docs/validation.md's tables, e.g. "read model nothing consumes" — never the full
+     instance message or any domain content). Append, never edit past entries. -->
+- {{YYYY-MM-DD}}: phases: {{discover | extract | model | slice | conform | review | validate | watch, ...}} — validate: {{diagnostic category (docs/usage-data.md#categories), ... | none}}
+
 ## Open questions / parking lot
 <!-- Unresolved items to bring back to the user. Never guess these. Metadata is optional and
      flat — add only what's known: source (ticket/conversation that spawned it), blocked on

package/README.md

@@ -92,6 +92,7 @@ built this way.
 | [docs/timeline.md](docs/timeline.md) | The Two Laws of the Timeline |
 | [docs/ai-workflow.md](docs/ai-workflow.md) | The Claude Code skill: install, phases, artifacts |
 | [docs/dependencies.md](docs/dependencies.md) | What's bundled vs. what needs a system install |
+| [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 |
 

package/dist/catalog/build.d.ts

@@ -0,0 +1,33 @@
+import { NormalizedModel } from "../model/model.js";
+import { Grid } from "../layout/grid.js";
+import { Diagnostic } from "../model/validate.js";
+export interface CatalogModelInput {
+    /** The .em file as given on the command line — used for the doc-discovery path and display. */
+    file: string;
+    model: NormalizedModel;
+    grid: Grid;
+    dot: string;
+}
+export interface CatalogOptions {
+    outDir: string;
+    format?: "svg" | "png";
+    title?: string;
+    /** Forwarded to buildSliceDiagram's fallback build so `--keep-empty-lanes`
+     *  behaves the same way for a built-on-the-fly slice diagram as it does for
+     *  the main one (which already gets it via the per-file compileFile call
+     *  that produced `model`/`grid` in the first place). */
+    keepEmptyLanes?: boolean;
+}
+export interface CatalogBuildResult {
+    models: number;
+    slices: number;
+    /** Ref-collision warnings raised while assigning slice/element keys (same diagnostics
+     *  `em export`/`em diff` surface via computeRefs), tagged by the input file they came from —
+     *  a duplicate slice/element name still gets a stable `~2` key here, but the caller should
+     *  print these the same way every other command does rather than build silently. */
+    diagnostics: {
+        file: string;
+        diagnostics: Diagnostic[];
+    }[];
+}
+export declare function buildCatalog(inputs: CatalogModelInput[], opts: CatalogOptions): Promise<CatalogBuildResult>;

package/dist/catalog/build.js

@@ -0,0 +1,117 @@
+// SPDX-License-Identifier: MIT
+// Orchestrates `em catalog`'s static-site build — the only I/O in
+// src/catalog/*. One output directory per input model (so slice keys from
+// different files can never collide, even without a cross-file dedup pass):
+//
+//   <outDir>/
+//     index.html
+//     <model-key>/
+//       diagram.svg (or .png)
+//       slices/
+//         <slice-key>.html
+//         <slice-key>.svg   (this slice's own diagram — copied in if authored, else built)
+import { existsSync, readFileSync } from "node:fs";
+import { copyFile, mkdir, writeFile } from "node:fs/promises";
+import { basename, dirname, extname, join } from "node:path";
+import { layoutDot, composeSvg, writeRendered } from "../render/render.js";
+import { buildSliceDiagram } from "../render/sliceDiagram.js";
+import { computeRefs } from "../emit/json.js";
+import { dedupe, kebabSlug } from "../util/slug.js";
+import { classifySlicePattern } from "./classify.js";
+import { parseSliceDoc } from "./sliceDoc.js";
+import { renderIndexPage, renderSlicePage } from "./pages.js";
+export async function buildCatalog(inputs, opts) {
+    const format = opts.format ?? "svg";
+    const title = opts.title ?? "Event Model Catalog";
+    const outDir = opts.outDir;
+    await mkdir(outDir, { recursive: true });
+    const usedModelKeys = new Set();
+    const modelSummaries = [];
+    const diagnostics = [];
+    let sliceCount = 0;
+    for (const { file, model, grid, dot } of inputs) {
+        const modelKey = dedupe(kebabSlug(basename(file, extname(file))), usedModelKeys, "~");
+        const modelDir = join(outDir, modelKey);
+        const slicesDir = join(modelDir, "slices");
+        await mkdir(slicesDir, { recursive: true });
+        const diagramFile = `diagram.${format}`;
+        // baseDir = dirname(file), same as `em render`/`em watch` — this is why note hrefs
+        // embedded in the diagram still resolve correctly from the catalog's output location.
+        const raw = await layoutDot(dot);
+        const mainSvg = composeSvg(raw, model, grid, dirname(file), modelDir);
+        await writeRendered(mainSvg, join(modelDir, diagramFile), format);
+        const refs = computeRefs(model);
+        if (refs.diagnostics.length > 0)
+            diagnostics.push({ file, diagnostics: refs.diagnostics });
+        const sliceSummaries = [];
+        for (let i = 0; i < model.slices.length; i++) {
+            const slice = model.slices[i];
+            const sliceKey = refs.sliceKeys[i];
+            const pattern = classifySlicePattern(slice);
+            // Look up the doc at the *deduped* key, not a fresh kebabSlug(slice.name): for the
+            // (overwhelmingly common) case of a unique slice name they're identical, but if two
+            // slices share a name (see the diagnostics above), only the first gets sliceKey ==
+            // kebabSlug(name) — the doc a human actually authored on disk. The second slice's key
+            // carries a "~2" suffix no doc file will ever match, so it honestly reports "no doc"
+            // instead of silently rendering the first slice's doc content on both pages.
+            const docRelPath = join("slices", `${sliceKey}.md`);
+            const docPath = join(dirname(file), docRelPath);
+            const doc = existsSync(docPath) ? parseSliceDoc(readFileSync(docPath, "utf8")) : null;
+            // Same sibling-file convention as the doc lookup above, one extension over: a
+            // slice diagram authored by `em render --slice` (per the event-modeling skill)
+            // is copied in as-is so the catalog stays self-contained; otherwise built
+            // fresh via buildSliceDiagram, written only into the catalog's own output
+            // tree — `em catalog` never writes back into the source tree.
+            const sliceSvgSrcPath = join(dirname(file), "slices", `${sliceKey}.svg`);
+            const sliceDiagramFile = `${sliceKey}.svg`;
+            if (existsSync(sliceSvgSrcPath)) {
+                await copyFile(sliceSvgSrcPath, join(slicesDir, sliceDiagramFile));
+            }
+            else {
+                // One Graphviz WASM layout pass per slice lacking an authored sibling — unlike
+                // the single shared pass the old crop-based approach paid for once per model.
+                // Each pass is on a tiny 1-3-column graph, so this is fast in absolute terms
+                // and the WASM module itself is loaded once and memoized (render.ts); a real,
+                // deliberate trade-off, not an oversight — worth revisiting only if catalog
+                // build time on a very-many-slice model actually becomes a complaint.
+                const { model: sliceModel, grid: sliceGrid, dot: sliceDot } = buildSliceDiagram(model, i, {
+                    keepEmptyLanes: opts.keepEmptyLanes,
+                });
+                const sliceRaw = await layoutDot(sliceDot);
+                const sliceSvg = composeSvg(sliceRaw, sliceModel, sliceGrid, dirname(file), slicesDir);
+                await writeFile(join(slicesDir, sliceDiagramFile), sliceSvg, "utf8");
+            }
+            const elementRefs = new Map();
+            for (const el of slice.elements) {
+                const ref = refs.refById.get(el.id);
+                if (ref)
+                    elementRefs.set(el.id, ref);
+            }
+            const page = renderSlicePage({
+                modelName: model.name,
+                diagramFile: `../${diagramFile}`,
+                sliceDiagramFile,
+                slice,
+                sliceKey,
+                pattern,
+                elementRefs,
+                doc,
+                docExpectedPath: docRelPath,
+            });
+            await writeFile(join(slicesDir, `${sliceKey}.html`), page, "utf8");
+            sliceSummaries.push({
+                key: sliceKey,
+                name: slice.name,
+                pattern,
+                hasDoc: doc !== null,
+                status: doc?.status ?? null,
+            });
+            sliceCount++;
+        }
+        modelSummaries.push({ key: modelKey, name: model.name, file, diagramFile, slices: sliceSummaries });
+    }
+    const indexHtml = renderIndexPage(modelSummaries, title, format);
+    await writeFile(join(outDir, "index.html"), indexHtml, "utf8");
+    return { models: modelSummaries.length, slices: sliceCount, diagnostics };
+}
+//# sourceMappingURL=build.js.map

package/dist/catalog/build.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"build.js","sourceRoot":"","sources":["../../src/catalog/build.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,kEAAkE;AAClE,0EAA0E;AAC1E,4EAA4E;AAC5E,EAAE;AACF,cAAc;AACd,iBAAiB;AACjB,mBAAmB;AACnB,8BAA8B;AAC9B,gBAAgB;AAChB,2BAA2B;AAC3B,2FAA2F;AAE3F,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC9D,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAG7D,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAE9C,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AACrD,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,eAAe,EAA4C,MAAM,YAAY,CAAC;AA+BxG,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,MAA2B,EAC3B,IAAoB;IAEpB,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,KAAK,CAAC;IACpC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,qBAAqB,CAAC;IAClD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAE3B,MAAM,KAAK,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAEzC,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACxC,MAAM,cAAc,GAA0B,EAAE,CAAC;IACjD,MAAM,WAAW,GAAkD,EAAE,CAAC;IACtE,IAAI,UAAU,GAAG,CAAC,CAAC;IAEnB,KAAK,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,MAAM,EAAE,CAAC;QAChD,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,GAAG,CAAC,CAAC;QACtF,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACxC,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAC3C,MAAM,KAAK,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAE5C,MAAM,WAAW,GAAG,WAAW,MAAM,EAAE,CAAC;QACxC,mFAAmF;QACnF,sFAAsF;QACtF,MAAM,GAAG,GAAG,MAAM,SAAS,CAAC,GAAG,CAAC,CAAC;QACjC,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAC;QACtE,MAAM,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,EAAE,WAAW,CAAC,EAAE,MAAM,CAAC,CAAC;QAElE,MAAM,IAAI,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;QAChC,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;YAAE,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;QAC3F,MAAM,cAAc,GAA0B,EAAE,CAAC;QAEjD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7C,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC9B,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YACnC,MAAM,OAAO,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;YAE5C,mFAAmF;YACnF,oFAAoF;YACpF,mFAAmF;YACnF,sFAAsF;YACtF,qFAAqF;YACrF,6EAA6E;YAC7E,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,EAAE,GAAG,QAAQ,KAAK,CAAC,CAAC;YACpD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,CAAC;YAChD,MAAM,GAAG,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAEtF,8EAA8E;YAC9E,+EAA+E;YAC/E,0EAA0E;YAC1E,0EAA0E;YAC1E,8DAA8D;YAC9D,MAAM,eAAe,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,GAAG,QAAQ,MAAM,CAAC,CAAC;YACzE,MAAM,gBAAgB,GAAG,GAAG,QAAQ,MAAM,CAAC;YAC3C,IAAI,UAAU,CAAC,eAAe,CAAC,EAAE,CAAC;gBAChC,MAAM,QAAQ,CAAC,eAAe,EAAE,IAAI,CAAC,SAAS,EAAE,gBAAgB,CAAC,CAAC,CAAC;YACrE,CAAC;iBAAM,CAAC;gBACN,+EAA+E;gBAC/E,8EAA8E;gBAC9E,6EAA6E;gBAC7E,8EAA8E;gBAC9E,4EAA4E;gBAC5E,sEAAsE;gBACtE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,iBAAiB,CAAC,KAAK,EAAE,CAAC,EAAE;oBACxF,cAAc,EAAE,IAAI,CAAC,cAAc;iBACpC,CAAC,CAAC;gBACH,MAAM,QAAQ,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,CAAC;gBAC3C,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,OAAO,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,CAAC;gBACvF,MAAM,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,gBAAgB,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;YACvE,CAAC;YAED,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;YAC9C,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;gBAChC,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;gBACpC,IAAI,GAAG;oBAAE,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;YACvC,CAAC;YAED,MAAM,IAAI,GAAG,eAAe,CAAC;gBAC3B,SAAS,EAAE,KAAK,CAAC,IAAI;gBACrB,WAAW,EAAE,MAAM,WAAW,EAAE;gBAChC,gBAAgB;gBAChB,KAAK;gBACL,QAAQ;gBACR,OAAO;gBACP,WAAW;gBACX,GAAG;gBACH,eAAe,EAAE,UAAU;aAC5B,CAAC,CAAC;YACH,MAAM,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,QAAQ,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YAEnE,cAAc,CAAC,IAAI,CAAC;gBAClB,GAAG,EAAE,QAAQ;gBACb,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,OAAO;gBACP,MAAM,EAAE,GAAG,KAAK,IAAI;gBACpB,MAAM,EAAE,GAAG,EAAE,MAAM,IAAI,IAAI;aAC5B,CAAC,CAAC;YACH,UAAU,EAAE,CAAC;QACf,CAAC;QAED,cAAc,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC;IACtG,CAAC;IAED,MAAM,SAAS,GAAG,eAAe,CAAC,cAAc,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IACjE,MAAM,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,YAAY,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;IAE/D,OAAO,EAAE,MAAM,EAAE,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC;AAC5E,CAAC"}

package/dist/catalog/classify.d.ts

@@ -0,0 +1,14 @@
+import { Slice } from "../model/model.js";
+export type SlicePattern = "translation" | "automation" | "state-change" | "state-view" | "unclassified";
+/**
+ * Classify a single slice by its element kinds. Known simplification, not a
+ * bug: docs/patterns.md describes Automation and Translation as spanning
+ * *two* slices — the reaction slice, then a following `command`+`event`
+ * slice. That second slice has the exact same kind-signature as a State
+ * Change slice, so per-slice classification reads it as State Change. This
+ * matches "derived from which element kinds appear in the slice" and keeps
+ * the classifier a pure function of one slice at a time; don't "fix" this by
+ * trying to look at neighboring slices.
+ */
+export declare function classifySlicePattern(slice: Slice): SlicePattern;
+export declare function slicePatternLabel(pattern: SlicePattern): string;

package/dist/catalog/classify.js

@@ -0,0 +1,44 @@
+// SPDX-License-Identifier: MIT
+// Derives a slice's Event Modeling pattern from which element `kind`s it
+// contains — the pattern itself is never stored in the AST/model (see
+// docs/patterns.md), so `em catalog` is the first consumer that needs it
+// computed. Rules follow docs/patterns.md's "DSL elements" table exactly,
+// checked in priority order (a slice can carry a translation and a view
+// together, for instance, so order matters).
+/**
+ * Classify a single slice by its element kinds. Known simplification, not a
+ * bug: docs/patterns.md describes Automation and Translation as spanning
+ * *two* slices — the reaction slice, then a following `command`+`event`
+ * slice. That second slice has the exact same kind-signature as a State
+ * Change slice, so per-slice classification reads it as State Change. This
+ * matches "derived from which element kinds appear in the slice" and keeps
+ * the classifier a pure function of one slice at a time; don't "fix" this by
+ * trying to look at neighboring slices.
+ */
+export function classifySlicePattern(slice) {
+    const kinds = new Set(slice.elements.map((el) => el.kind));
+    if (kinds.has("translation"))
+        return "translation";
+    if (kinds.has("processor") || kinds.has("automation") || kinds.has("saga"))
+        return "automation";
+    if (kinds.has("command") || kinds.has("event"))
+        return "state-change";
+    if (kinds.has("view"))
+        return "state-view";
+    return "unclassified";
+}
+export function slicePatternLabel(pattern) {
+    switch (pattern) {
+        case "translation":
+            return "Translation";
+        case "automation":
+            return "Automation";
+        case "state-change":
+            return "State Change";
+        case "state-view":
+            return "State View";
+        case "unclassified":
+            return "Unclassified";
+    }
+}
+//# sourceMappingURL=classify.js.map

package/dist/catalog/classify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"classify.js","sourceRoot":"","sources":["../../src/catalog/classify.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,yEAAyE;AACzE,sEAAsE;AACtE,yEAAyE;AACzE,0EAA0E;AAC1E,wEAAwE;AACxE,6CAA6C;AAM7C;;;;;;;;;GASG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAY;IAC/C,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3D,IAAI,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC;QAAE,OAAO,aAAa,CAAC;IACnD,IAAI,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,YAAY,CAAC;IAChG,IAAI,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC;QAAE,OAAO,cAAc,CAAC;IACtE,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,YAAY,CAAC;IAC3C,OAAO,cAAc,CAAC;AACxB,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,OAAqB;IACrD,QAAQ,OAAO,EAAE,CAAC;QAChB,KAAK,aAAa;YAChB,OAAO,aAAa,CAAC;QACvB,KAAK,YAAY;YACf,OAAO,YAAY,CAAC;QACtB,KAAK,cAAc;YACjB,OAAO,cAAc,CAAC;QACxB,KAAK,YAAY;YACf,OAAO,YAAY,CAAC;QACtB,KAAK,cAAc;YACjB,OAAO,cAAc,CAAC;IAC1B,CAAC;AACH,CAAC"}

package/dist/catalog/pages.d.ts

@@ -0,0 +1,45 @@
+import { Slice } from "../model/model.js";
+import { SlicePattern } from "./classify.js";
+import { SliceDoc } from "./sliceDoc.js";
+export declare function escapeHtml(s: string): string;
+/** A slice's row in the index page's per-model table. */
+export interface CatalogSliceSummary {
+    key: string;
+    name: string;
+    pattern: SlicePattern;
+    /** Whether a slices/<key>.md doc was found at all — distinct from `status` being null,
+     *  which can also mean "doc exists but has no recognizable Status line". */
+    hasDoc: boolean;
+    /** Lowercased Status value from the doc, or null (no doc, or doc has no Status line). */
+    status: string | null;
+}
+export interface CatalogModelSummary {
+    key: string;
+    name: string;
+    /** Input .em file path, as given on the command line. */
+    file: string;
+    /** Diagram filename, relative to <outDir>/<model-key>/. */
+    diagramFile: string;
+    slices: CatalogSliceSummary[];
+}
+export declare function renderIndexPage(models: CatalogModelSummary[], title: string, format: "svg" | "png"): string;
+export interface SlicePageArgs {
+    modelName: string;
+    /** Full model diagram path relative to this page (which lives in
+     *  <outDir>/<model-key>/slices/) — shown as a secondary "view full diagram" link
+     *  (a plain anchor, not an embed, so no MIME type is needed here). */
+    diagramFile: string;
+    /** This slice's own diagram, relative to this page (same directory) — always
+     *  svg (buildSliceDiagram writes svg regardless of the main diagram's chosen
+     *  format). Shown as the page's primary diagram. */
+    sliceDiagramFile: string;
+    slice: Slice;
+    sliceKey: string;
+    pattern: SlicePattern;
+    /** Internal Element.id -> em export ref, for stable per-row anchors. */
+    elementRefs: Map<string, string>;
+    doc: SliceDoc | null;
+    /** slices/<slug>.md, relative to the source .em file — shown when no doc was found. */
+    docExpectedPath: string;
+}
+export declare function renderSlicePage(args: SlicePageArgs): string;

package/dist/catalog/pages.js

@@ -0,0 +1,174 @@
+// SPDX-License-Identifier: MIT
+// HTML-string builders for `em catalog`'s static site: an index page and one
+// per-slice detail page. Hand-written template literals, no templating
+// library — same convention as the live-viewer page in
+// src/render/serve.ts's VIEWER_HTML, just as functions instead of one static
+// template, since these pages vary per model/slice.
+import { slicePatternLabel } from "./classify.js";
+export function escapeHtml(s) {
+    return s
+        .replace(/&/g, "&")
+        .replace(/</g, "&lt;")
+        .replace(/>/g, "&gt;")
+        .replace(/"/g, "&quot;")
+        .replace(/'/g, "&#39;");
+}
+/** Human-readable status cell: "no doc" (nothing found), "unknown" (doc found, no Status
+ *  line), or the doc's own Status value verbatim. Shared by the index and slice pages so the
+ *  two never drift out of sync on how a missing/freeform doc reads. */
+function statusLabel(hasDoc, status) {
+    if (!hasDoc)
+        return "no doc";
+    if (!status)
+        return "unknown";
+    return status;
+}
+/** MIME type for the diagram `<object>` — must match the actual file `buildCatalog` wrote
+ *  (`diagram.svg` or `diagram.png`), or the browser won't render it. */
+function diagramMimeType(format) {
+    return format === "png" ? "image/png" : "image/svg+xml";
+}
+/** `homeHref` is relative to the page being built (`index.html` from the index page itself,
+ *  `../../index.html` from a slice page two levels down) so the site works opened straight
+ *  off disk via `file://`, with no server — an absolute `href="/"` would jump to the
+ *  filesystem root instead. */
+function layout(title, bodyHtml, homeHref) {
+    return `<!doctype html>
+<html lang="en">
+<head>
+  <meta charset="utf-8" />
+  <title>${escapeHtml(title)}</title>
+  <style>
+    :root { color-scheme: light dark; }
+    body {
+      margin: 0; font-family: system-ui, sans-serif; line-height: 1.5;
+      background: #fafafa; color: #1f2933;
+    }
+    header {
+      padding: .75rem 1.25rem; background: #1f2933; color: #fff;
+    }
+    header a { color: #fff; text-decoration: none; }
+    main { max-width: 960px; margin: 0 auto; padding: 1.5rem 1.25rem 3rem; }
+    table { border-collapse: collapse; width: 100%; margin: 1rem 0; }
+    th, td { text-align: left; padding: .4rem .6rem; border-bottom: 1px solid #ddd; font-size: 14px; }
+    th { font-weight: 600; background: #f0f2f5; }
+    .status { display: inline-block; padding: .1rem .5rem; border-radius: 999px; font-size: 12px; background: #e4e7eb; }
+    .pattern { font-size: 12px; color: #52606d; }
+    /* Fixed-height frame, not a width-driven one: a slice diagram is often
+       narrow and tall relative to the full model's wide/short diagram, so
+       sizing by width alone would blow a narrow one's height up hugely.
+       object-fit doesn't apply to <object> the way it does <img> (needed here,
+       not <img>, so the SVG's clickable note links keep working) — giving it a
+       DEFINITE width AND height together stretches it non-uniformly, distorting
+       the aspect ratio instead of preserving it. width:auto + height:100% +
+       max-width:100% instead sizes it from its own intrinsic aspect ratio
+       (capped, never overflowing the frame); the flex centers it horizontally. */
+    .diagram-frame {
+      height: 420px; border: 1px solid #ddd; margin: 1rem 0; overflow: hidden; background: #fff;
+      display: flex; align-items: flex-start; justify-content: center;
+    }
+    object.diagram { width: auto; height: 100%; max-width: 100%; }
+    .full-diagram-link { margin: 0 0 1rem; font-size: 13px; }
+    .doc { margin-top: 1.5rem; padding-top: 1rem; border-top: 1px solid #ddd; }
+    .doc h1 { font-size: 1.3rem; }
+    .doc h2 { font-size: 1.05rem; }
+    .no-doc { color: #7b8794; font-style: italic; }
+    code { background: #eee; padding: .05rem .3rem; border-radius: 3px; }
+  </style>
+</head>
+<body>
+  <header><a href="${escapeHtml(homeHref)}">Event Model Catalog</a></header>
+  <main>
+${bodyHtml}
+  </main>
+</body>
+</html>
+`;
+}
+export function renderIndexPage(models, title, format) {
+    const sections = models
+        .map((m) => {
+        const rows = m.slices
+            .map((s) => `      <tr>
+        <td><a href="${escapeHtml(m.key)}/slices/${escapeHtml(s.key)}.html">${escapeHtml(s.name)}</a></td>
+        <td class="pattern">${escapeHtml(slicePatternLabel(s.pattern))}</td>
+        <td><span class="status">${escapeHtml(statusLabel(s.hasDoc, s.status))}</span></td>
+      </tr>`)
+            .join("\n");
+        const diagramHref = `${escapeHtml(m.key)}/${escapeHtml(m.diagramFile)}`;
+        return `    <section>
+      <h2>${escapeHtml(m.name)}</h2>
+      <p>${m.slices.length} slice${m.slices.length === 1 ? "" : "s"} · <code>${escapeHtml(m.file)}</code> · <a href="${diagramHref}">open diagram full-size</a></p>
+      <div class="diagram-frame"><object class="diagram" type="${diagramMimeType(format)}" data="${diagramHref}"></object></div>
+      <table>
+        <thead><tr><th>Slice</th><th>Pattern</th><th>Status</th></tr></thead>
+        <tbody>
+${rows}
+        </tbody>
+      </table>
+    </section>`;
+    })
+        .join("\n");
+    return layout(title, `    <h1>${escapeHtml(title)}</h1>
+${sections}`, "index.html");
+}
+function formatFields(el) {
+    if (!el.fields || el.fields.length === 0)
+        return "";
+    return el.fields.map((f) => (f.type ? `${f.name}: ${f.type}` : f.name)).join(", ");
+}
+function elementDetail(el) {
+    const parts = [];
+    if (el.persona)
+        parts.push(`@${el.persona}`);
+    if (el.context)
+        parts.push(`@${el.context}`);
+    if (el.from && el.from.length > 0)
+        parts.push(`from ${el.from.join(", ")}`);
+    if (el.again)
+        parts.push("again");
+    if (el.public)
+        parts.push("public");
+    const fields = formatFields(el);
+    if (fields)
+        parts.push(`{ ${fields} }`);
+    return parts.map(escapeHtml).join(" &middot; ");
+}
+function renderElementsTable(slice, elementRefs) {
+    const rows = slice.elements
+        .map((el) => {
+        const ref = elementRefs.get(el.id);
+        const anchor = ref ? ` id="${escapeHtml(ref)}"` : "";
+        const annotations = [];
+        if (el.issue)
+            annotations.push(`<div><span class="status">issue</span> ${escapeHtml(el.issue)}</div>`);
+        if (el.divergence)
+            annotations.push(`<div><span class="status">divergence</span> ${escapeHtml(el.divergence)}</div>`);
+        return `      <tr${anchor}>
+        <td>${escapeHtml(el.kind)}</td>
+        <td>${escapeHtml(el.name)}</td>
+        <td>${elementDetail(el)}${annotations.join("")}</td>
+      </tr>`;
+    })
+        .join("\n");
+    return `    <table>
+      <thead><tr><th>Kind</th><th>Name</th><th>Detail</th></tr></thead>
+      <tbody>
+${rows}
+      </tbody>
+    </table>`;
+}
+export function renderSlicePage(args) {
+    const { modelName, diagramFile, sliceDiagramFile, slice, pattern, elementRefs, doc, docExpectedPath } = args;
+    const docSection = doc
+        ? `    <div class="doc">${doc.html}</div>`
+        : `    <p class="no-doc">No slice doc found at <code>${escapeHtml(docExpectedPath)}</code>.</p>`;
+    return layout(`${slice.name} — ${modelName}`, `    <p><a href="../../index.html">&larr; ${escapeHtml(modelName)}</a></p>
+    <h1>${escapeHtml(slice.name)}</h1>
+    <p class="pattern">${escapeHtml(slicePatternLabel(pattern))} · <span class="status">${escapeHtml(statusLabel(!!doc, doc?.status ?? null))}</span></p>
+    <div class="diagram-frame"><object class="diagram" type="image/svg+xml" data="${escapeHtml(sliceDiagramFile)}"></object></div>
+    <p class="full-diagram-link"><a href="${escapeHtml(diagramFile)}">View full model diagram &rarr;</a></p>
+${renderElementsTable(slice, elementRefs)}
+${docSection}`, "../../index.html");
+}
+//# sourceMappingURL=pages.js.map

package/dist/catalog/pages.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pages.js","sourceRoot":"","sources":["../../src/catalog/pages.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,6EAA6E;AAC7E,uEAAuE;AACvE,uDAAuD;AACvD,6EAA6E;AAC7E,oDAAoD;AAGpD,OAAO,EAAgB,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAGhE,MAAM,UAAU,UAAU,CAAC,CAAS;IAClC,OAAO,CAAC;SACL,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC;SACtB,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC;SACrB,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC;SACrB,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC;SACvB,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAC5B,CAAC;AAwBD;;uEAEuE;AACvE,SAAS,WAAW,CAAC,MAAe,EAAE,MAAqB;IACzD,IAAI,CAAC,MAAM;QAAE,OAAO,QAAQ,CAAC;IAC7B,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;wEACwE;AACxE,SAAS,eAAe,CAAC,MAAqB;IAC5C,OAAO,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,eAAe,CAAC;AAC1D,CAAC;AAED;;;+BAG+B;AAC/B,SAAS,MAAM,CAAC,KAAa,EAAE,QAAgB,EAAE,QAAgB;IAC/D,OAAO;;;;WAIE,UAAU,CAAC,KAAK,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;qBAwCP,UAAU,CAAC,QAAQ,CAAC;;EAEvC,QAAQ;;;;CAIT,CAAC;AACF,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,MAA6B,EAAE,KAAa,EAAE,MAAqB;IACjG,MAAM,QAAQ,GAAG,MAAM;SACpB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACT,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM;aAClB,GAAG,CACF,CAAC,CAAC,EAAE,EAAE,CAAC;uBACM,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,WAAW,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;8BAClE,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;mCACnC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;YAClE,CACH;aACA,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,MAAM,WAAW,GAAG,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC;QACxE,OAAO;YACD,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;WACnB,CAAC,CAAC,MAAM,CAAC,MAAM,SAAS,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,YAAY,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,sBAAsB,WAAW;iEACjE,eAAe,CAAC,MAAM,CAAC,WAAW,WAAW;;;;EAI5G,IAAI;;;eAGS,CAAC;IACZ,CAAC,CAAC;SACD,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,OAAO,MAAM,CACX,KAAK,EACL,WAAW,UAAU,CAAC,KAAK,CAAC;EAC9B,QAAQ,EAAE,EACR,YAAY,CACb,CAAC;AACJ,CAAC;AAsBD,SAAS,YAAY,CAAC,EAAW;IAC/B,IAAI,CAAC,EAAE,CAAC,MAAM,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACpD,OAAO,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACrF,CAAC;AAED,SAAS,aAAa,CAAC,EAAW;IAChC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,EAAE,CAAC,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;IAC7C,IAAI,EAAE,CAAC,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;IAC7C,IAAI,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC5E,IAAI,EAAE,CAAC,KAAK;QAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAClC,IAAI,EAAE,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACpC,MAAM,MAAM,GAAG,YAAY,CAAC,EAAE,CAAC,CAAC;IAChC,IAAI,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,KAAK,MAAM,IAAI,CAAC,CAAC;IACxC,OAAO,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAY,EAAE,WAAgC;IACzE,MAAM,IAAI,GAAG,KAAK,CAAC,QAAQ;SACxB,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE;QACV,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACnC,MAAM,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,QAAQ,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACrD,MAAM,WAAW,GAAa,EAAE,CAAC;QACjC,IAAI,EAAE,CAAC,KAAK;YAAE,WAAW,CAAC,IAAI,CAAC,0CAA0C,UAAU,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACvG,IAAI,EAAE,CAAC,UAAU;YAAE,WAAW,CAAC,IAAI,CAAC,+CAA+C,UAAU,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QACtH,OAAO,YAAY,MAAM;cACjB,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC;cACnB,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC;cACnB,aAAa,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1C,CAAC;IACT,CAAC,CAAC;SACD,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,OAAO;;;EAGP,IAAI;;aAEO,CAAC;AACd,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,IAAmB;IACjD,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,gBAAgB,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,EAAE,eAAe,EAAE,GAAG,IAAI,CAAC;IAE7G,MAAM,UAAU,GAAG,GAAG;QACpB,CAAC,CAAC,wBAAwB,GAAG,CAAC,IAAI,QAAQ;QAC1C,CAAC,CAAC,qDAAqD,UAAU,CAAC,eAAe,CAAC,cAAc,CAAC;IAEnG,OAAO,MAAM,CACX,GAAG,KAAK,CAAC,IAAI,MAAM,SAAS,EAAE,EAC9B,4CAA4C,UAAU,CAAC,SAAS,CAAC;UAC3D,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC;yBACP,UAAU,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,2BAA2B,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,IAAI,IAAI,CAAC,CAAC;oFACzD,UAAU,CAAC,gBAAgB,CAAC;4CACpE,UAAU,CAAC,WAAW,CAAC;EACjE,mBAAmB,CAAC,KAAK,EAAE,WAAW,CAAC;EACvC,UAAU,EAAE,EACV,kBAAkB,CACnB,CAAC;AACJ,CAAC"}