@milehimikey/em 1.5.0 → 1.6.1

package/dist/parser/ast.d.ts

@@ -20,14 +20,23 @@ export interface ElementNode {
     note?: string;
     /** `issue "text"` — an open question, flagged red on the diagram until resolved. */
     issue?: string;
+    /** `divergence "text"` — a reasoned, ratified deviation between this element and its
+     *  implementation. Distinct from `issue`: this is the *resolved* state (lint-suppression-
+     *  with-rationale for conformance), not an open question. */
+    divergence?: string;
     /** Data attributes declared in a `{ … }` block on the element. */
     fields?: Field[];
     /** view-only: a later timeline instance of an already-declared read model. */
     again?: boolean;
+    /** `public` — event-only: marks this event as part of the published integration
+     *  surface, as opposed to an internal-only fact. */
+    public?: boolean;
     line: number;
 }
 export interface SliceNode {
     name: string;
+    /** `source "url"` — link to the ticket/conversation this slice traces back to. */
+    source?: string;
     elements: ElementNode[];
     line: number;
 }
@@ -36,6 +45,15 @@ export interface ArrowNode {
     to: string;
     line: number;
 }
+/** A named, reusable structured type, e.g. `type Money { amount: int, currency: String }`.
+ *  Declared at top level; referenced from any field's type string elsewhere in the model
+ *  (bare = nested object, `Name[]` = array of it). Supports no clauses in v1 — just a name
+ *  and a `{ fields }` block. */
+export interface TypeDeclNode {
+    name: string;
+    fields: Field[];
+    line: number;
+}
 export interface ModelNode {
     name: string;
     /** Declared persona lanes, in order. */
@@ -45,4 +63,6 @@ export interface ModelNode {
     slices: SliceNode[];
     /** Explicit top-level arrows (e.g. read-model feedback to a UI). */
     arrows: ArrowNode[];
+    /** Named structured type declarations, in document order. */
+    types: TypeDeclNode[];
 }

package/dist/parser/parser.js

@@ -6,14 +6,16 @@
 //   model "Name"
 //   persona Name
 //   context Name
-//   slice "Name" {
+//   slice "Name" [source "url"] {
 //     ui    <free text> [@Persona]
 //     command <free text>
 //     view  <free text> [from "Event"[, "Event2" ...]]
-//     event <free text> [@Context]
+//     event <free text> [@Context] [public]
 //     automation|processor|saga|translation <free text>
 //   }
 //   arrow <From Element> -> <To Element>
+//   type "Name" { field: Type, ... }
+import { AUTOMATION_KINDS, } from "./ast.js";
 import { splitQuotedList, stripComment, unquote } from "./lexer.js";
 export class ParseError extends Error {
     line;
@@ -40,21 +42,46 @@ export function parse(source) {
         contexts: [],
         slices: [],
         arrows: [],
+        types: [],
     };
     const rawLines = source.split(/\r?\n/);
     let currentSlice = null;
     let currentElement = null; // open `{ … }` field block
+    let currentTypeDecl = null; // open `type Name { … }` block
     for (let i = 0; i < rawLines.length; i++) {
         const lineNo = i + 1;
         const line = stripComment(rawLines[i]).trim();
         if (line.length === 0)
             continue;
-        // End of a block: an element's field block closes before its slice.
-        if (line === "}") {
+        // End of a block: an element's field block closes before its slice, and a
+        // top-level `type` block closes on its own (it has no enclosing container).
+        // A multi-line field block's closing line may itself carry trailing
+        // clauses, e.g. `}  note "slices/x.md"` — extract those before dropping
+        // the open element. A `type` block supports no clauses at all, so any
+        // trailing text after its `}` is a hard parse error.
+        if (line === "}" ||
+            (currentElement && line.startsWith("}")) ||
+            (currentTypeDecl && line.startsWith("}"))) {
             if (currentElement) {
+                const trailing = line.slice(1).trim();
+                if (trailing) {
+                    const leftover = extractClauses(currentElement, trailing, lineNo);
+                    if (leftover) {
+                        throw new ParseError(`unrecognized trailing text after '}': '${leftover}'`, lineNo);
+                    }
+                }
                 currentElement = null;
                 continue;
             }
+            if (currentTypeDecl) {
+                const trailing = line.slice(1).trim();
+                if (trailing) {
+                    throw new ParseError(`unrecognized trailing text after '}': '${trailing}' (type declarations support no clauses)`, lineNo);
+                }
+                model.types.push(currentTypeDecl);
+                currentTypeDecl = null;
+                continue;
+            }
             if (currentSlice) {
                 model.slices.push(currentSlice);
                 currentSlice = null;
@@ -64,11 +91,13 @@ export function parse(source) {
         }
         // Inside an open field block: each line is a field declaration.
         if (currentElement) {
-            for (const spec of line.split(",")) {
-                const f = parseFieldSpec(spec);
-                if (f)
-                    (currentElement.fields ??= []).push(f);
-            }
+            for (const f of parseInlineFields(line))
+                (currentElement.fields ??= []).push(f);
+            continue;
+        }
+        // Inside an open `type` block: each line is a field declaration too.
+        if (currentTypeDecl) {
+            currentTypeDecl.fields.push(...parseInlineFields(line));
             continue;
         }
         const [keyword, ...rest] = splitFirstWord(line);
@@ -87,13 +116,23 @@ export function parse(source) {
                 const after = remainder.slice(braceAt + 1);
                 const closeAt = after.indexOf("}");
                 const inner = closeAt >= 0 ? after.slice(0, closeAt) : after;
-                for (const spec of inner.split(",")) {
-                    const f = parseFieldSpec(spec);
-                    if (f)
-                        el.fields.push(f);
-                }
-                if (closeAt < 0)
+                el.fields.push(...parseInlineFields(inner));
+                if (closeAt < 0) {
                     currentElement = el; // block stays open across lines
+                }
+                else {
+                    // Clauses may trail the closing brace on the same line, e.g.
+                    // `event X { a: UUID } issue "..."` — without this, `note`,
+                    // `issue`, `from`, `@Tag`, and `again` written after an inline
+                    // fields block were silently discarded (MIL-65, MIL-74).
+                    const trailing = after.slice(closeAt + 1).trim();
+                    if (trailing) {
+                        const leftover = extractClauses(el, trailing, lineNo);
+                        if (leftover) {
+                            throw new ParseError(`unrecognized trailing text after '{ … }' block: '${leftover}'`, lineNo);
+                        }
+                    }
+                }
                 continue;
             }
             currentSlice.elements.push(parseElement(keyword, remainder, lineNo));
@@ -114,15 +153,50 @@ export function parse(source) {
                 const open = remainder.lastIndexOf("{");
                 if (open < 0)
                     throw new ParseError("slice must open a block with '{'", lineNo);
-                const name = unquote(remainder.slice(0, open).trim());
-                if (!name)
+                let header = remainder.slice(0, open).trim();
+                const node = { name: "", elements: [], line: lineNo };
+                // `source "url"` clause (valid on any slice, order-independent relative
+                // to the name): a link to the ticket/conversation this slice traces
+                // back to, so the intake-loop audit chain is machine-traversable
+                // through `em export` instead of living only in prose (MIL-69).
+                const sourceMatch = header.match(/(?:^|\s)source\s+"([^"]*)"/i);
+                if (sourceMatch && sourceMatch.index !== undefined) {
+                    node.source = sourceMatch[1];
+                    header = (header.slice(0, sourceMatch.index) + header.slice(sourceMatch.index + sourceMatch[0].length)).trim();
+                }
+                node.name = unquote(header);
+                if (!node.name)
                     throw new ParseError("slice requires a name", lineNo);
-                currentSlice = { name, elements: [], line: lineNo };
+                currentSlice = node;
                 break;
             }
             case "arrow":
                 model.arrows.push(parseArrow(remainder, lineNo));
                 break;
+            case "type": {
+                const braceAt = remainder.indexOf("{");
+                if (braceAt < 0)
+                    throw new ParseError("type must open a block with '{'", lineNo);
+                const name = unquote(remainder.slice(0, braceAt).trim());
+                if (!name)
+                    throw new ParseError("type requires a name", lineNo);
+                const decl = { name, fields: [], line: lineNo };
+                const after = remainder.slice(braceAt + 1);
+                const closeAt = after.indexOf("}");
+                const inner = closeAt >= 0 ? after.slice(0, closeAt) : after;
+                decl.fields.push(...parseInlineFields(inner));
+                if (closeAt < 0) {
+                    currentTypeDecl = decl; // block stays open across lines
+                }
+                else {
+                    const trailing = after.slice(closeAt + 1).trim();
+                    if (trailing) {
+                        throw new ParseError(`unrecognized trailing text after '{ … }' block: '${trailing}' (type declarations support no clauses)`, lineNo);
+                    }
+                    model.types.push(decl);
+                }
+                break;
+            }
             default:
                 throw new ParseError(`unknown keyword '${keyword}'`, lineNo);
         }
@@ -130,6 +204,9 @@ export function parse(source) {
     if (currentElement) {
         throw new ParseError(`field block for "${currentElement.name}" is missing a closing '}'`, currentElement.line);
     }
+    if (currentTypeDecl) {
+        throw new ParseError(`type "${currentTypeDecl.name}" is missing a closing '}'`, currentTypeDecl.line);
+    }
     if (currentSlice) {
         throw new ParseError(`slice "${currentSlice.name}" is missing a closing '}'`, currentSlice.line);
     }
@@ -138,11 +215,31 @@ export function parse(source) {
     return model;
 }
 function parseElement(kind, raw, line) {
-    let rest = raw;
     const node = { kind, name: "", line };
+    const rest = extractClauses(node, raw, line);
+    node.name = unquote(rest);
+    if (!node.name)
+        throw new ParseError(`${kind} requires a name`, line);
+    return node;
+}
+/**
+ * Pulls `note`/`issue`/`divergence`/`from`/`public`/`@Tag`/`again` clauses out
+ * of `raw`, applying each to `node` and returning whatever text is left (the
+ * element's name, when called on the text before a `{ … }` block —
+ * otherwise anything unrecognized).
+ *
+ * Shared by `parseElement` (clauses before an inline field block, or on an
+ * element with no field block at all) and the field-block handling in
+ * `parse()` (clauses trailing a `{ … }` block's closing `}`, inline or
+ * multi-line) — trailing clauses are matched the same way as leading ones so
+ * `note`/`issue`/`divergence`/etc. are never silently dropped just because
+ * they come after the fields.
+ */
+function extractClauses(node, raw, line) {
+    let rest = raw;
     // `note "path.md"` clause (valid on any element). Pulled off first because
     // the `from` clause below greedily consumes to end-of-line.
-    const noteMatch = rest.match(/\snote\s+"([^"]*)"/i);
+    const noteMatch = rest.match(/(?:^|\s)note\s+"([^"]*)"/i);
     if (noteMatch && noteMatch.index !== undefined) {
         node.note = noteMatch[1];
         rest = (rest.slice(0, noteMatch.index) + rest.slice(noteMatch.index + noteMatch[0].length)).trim();
@@ -150,24 +247,56 @@ function parseElement(kind, raw, line) {
     // `issue "text"` clause (valid on any element): an open question flagged red on
     // the diagram, distinct from `note`'s file link. Extracted the same way, before
     // `from`, for the same reason.
-    const issueMatch = rest.match(/\sissue\s+"([^"]*)"/i);
+    const issueMatch = rest.match(/(?:^|\s)issue\s+"([^"]*)"/i);
     if (issueMatch && issueMatch.index !== undefined) {
         node.issue = issueMatch[1];
         rest = (rest.slice(0, issueMatch.index) + rest.slice(issueMatch.index + issueMatch[0].length)).trim();
     }
-    // `from "A", "B"` clause (view only, but parsed wherever present).
-    const fromMatch = rest.match(/\sfrom\s+(.+)$/i);
+    // `divergence "text"` clause (valid on any element): a reasoned, ratified
+    // deviation between this element and its implementation — the *resolved*
+    // sibling of `issue`'s open question. Extracted the same way, before
+    // `from`, for the same reason.
+    const divergenceMatch = rest.match(/(?:^|\s)divergence\s+"([^"]*)"/i);
+    if (divergenceMatch && divergenceMatch.index !== undefined) {
+        node.divergence = divergenceMatch[1];
+        rest = (rest.slice(0, divergenceMatch.index) + rest.slice(divergenceMatch.index + divergenceMatch[0].length)).trim();
+    }
+    // `from "A", "B"` clause (views and reactions). The keyword is case-sensitive
+    // and its operand must open with a quote, so a capitalized `From` — or a bare
+    // lowercase `from` — inside an element name (`event Widget Removed From
+    // Cabinet`, `view Requests from partners from "Request Submitted"`) folds
+    // into the free-text name instead of being mistaken for the clause.
+    const fromMatch = rest.match(/(?:^|\s)from\s+(?=")(.+)$/);
     if (fromMatch && fromMatch.index !== undefined) {
+        if (node.kind !== "view" && !AUTOMATION_KINDS.has(node.kind))
+            throw new ParseError("`from` is only valid on view or a reaction (automation/processor/saga/translation)", line);
         node.from = splitQuotedList(fromMatch[1]);
         rest = rest.slice(0, fromMatch.index).trim();
     }
+    // `public` clause (event only): marks this event as part of the published
+    // integration surface (e.g. an AsyncAPI contract), as opposed to an internal-only
+    // fact. Checked here, before `@Tag`, so `public` may be written either as the true
+    // last token (`event X @Context public`) or immediately before a trailing `@Tag`
+    // (`event X public @Context`) — either way `@Context` ends up the trailing-most
+    // token once `public` is excised, which is what the `@Tag` block below requires.
+    // Anywhere else in the line, a bare `public` is left alone and folds into the free-
+    // text name, same as any other unrecognized word (matching `again`'s discipline).
+    // Case-sensitive, like the top-level keyword table, so a title-cased `Public`
+    // in a name (`event Account Made Public`) is never taken as the marker.
+    const publicMatch = rest.match(/(?:^|\s)public(?=\s+@\S+\s*$|\s*$)/);
+    if (publicMatch && publicMatch.index !== undefined) {
+        if (node.kind !== "event")
+            throw new ParseError("`public` is only valid on event — only recorded facts are promoted to the integration surface", line);
+        node.public = true;
+        rest = (rest.slice(0, publicMatch.index) + rest.slice(publicMatch.index + publicMatch[0].length)).trim();
+    }
     // Trailing `@Tag` (persona for ui, context for event).
     const tagMatch = rest.match(/(?:^|\s)@(\S+)\s*$/);
     if (tagMatch && tagMatch.index !== undefined) {
         const tag = tagMatch[1];
-        if (kind === "ui")
+        if (node.kind === "ui")
             node.persona = tag;
-        else if (kind === "event")
+        else if (node.kind === "event")
             node.context = tag;
         else
             throw new ParseError(`'@${tag}' tag is only valid on ui (persona) or event (context)`, line);
@@ -175,17 +304,15 @@ function parseElement(kind, raw, line) {
     }
     // Trailing `again` (view only): a later timeline instance of an existing read model —
     // the Event Modeling device for keeping arrows forward as a view evolves.
-    const againMatch = rest.match(/(?:^|\s)again$/i);
+    // Case-sensitive for the same reason as `public`: `view Backlog Again` is a name.
+    const againMatch = rest.match(/(?:^|\s)again$/);
     if (againMatch && againMatch.index !== undefined) {
-        if (kind !== "view")
+        if (node.kind !== "view")
             throw new ParseError("`again` is only valid on view — read models are the only elements that reappear along the timeline", line);
         node.again = true;
         rest = rest.slice(0, againMatch.index).trim();
     }
-    node.name = unquote(rest);
-    if (!node.name)
-        throw new ParseError(`${kind} requires a name`, line);
-    return node;
+    return rest;
 }
 /** Parse one field spec: `name` or `name: Type`. Returns null for blanks. */
 function parseFieldSpec(raw) {
@@ -201,6 +328,18 @@ function parseFieldSpec(raw) {
     const name = unquote(s);
     return name ? { name } : null;
 }
+/** Parse comma-separated field specs from the inner text of a `{ … }` block (or a single
+ *  line inside an already-open one). Shared by element field blocks and `type` blocks —
+ *  every field-bearing `{ … }` block in the grammar splits and parses fields the same way. */
+function parseInlineFields(inner) {
+    const fields = [];
+    for (const spec of inner.split(",")) {
+        const f = parseFieldSpec(spec);
+        if (f)
+            fields.push(f);
+    }
+    return fields;
+}
 function parseArrow(raw, line) {
     const parts = raw.split("->");
     if (parts.length !== 2)

package/dist/parser/parser.js.map

@@ -1 +1 @@
-{"version":3,"file":"parser.js","sourceRoot":"","sources":["../../src/parser/parser.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,sDAAsD;AACtD,EAAE;AACF,uDAAuD;AACvD,EAAE;AACF,iBAAiB;AACjB,iBAAiB;AACjB,iBAAiB;AACjB,mBAAmB;AACnB,mCAAmC;AACnC,0BAA0B;AAC1B,uDAAuD;AACvD,mCAAmC;AACnC,wDAAwD;AACxD,MAAM;AACN,yCAAyC;AAUzC,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAEpE,MAAM,OAAO,UAAW,SAAQ,KAAK;IACC;IAApC,YAAY,OAAe,EAAS,IAAY;QAC9C,KAAK,CAAC,QAAQ,IAAI,KAAK,OAAO,EAAE,CAAC,CAAC;QADA,SAAI,GAAJ,IAAI,CAAQ;QAE9C,IAAI,CAAC,IAAI,GAAG,YAAY,CAAC;IAC3B,CAAC;CACF;AAED,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAc;IAC5C,IAAI;IACJ,SAAS;IACT,MAAM;IACN,OAAO;IACP,YAAY;IACZ,WAAW;IACX,MAAM;IACN,aAAa;CACd,CAAC,CAAC;AAEH,MAAM,UAAU,KAAK,CAAC,MAAc;IAClC,MAAM,KAAK,GAAc;QACvB,IAAI,EAAE,EAAE;QACR,QAAQ,EAAE,EAAE;QACZ,QAAQ,EAAE,EAAE;QACZ,MAAM,EAAE,EAAE;QACV,MAAM,EAAE,EAAE;KACX,CAAC;IAEF,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACvC,IAAI,YAAY,GAAqB,IAAI,CAAC;IAC1C,IAAI,cAAc,GAAuB,IAAI,CAAC,CAAC,2BAA2B;IAE1E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC;QACrB,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC9C,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAEhC,oEAAoE;QACpE,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjB,IAAI,cAAc,EAAE,CAAC;gBACnB,cAAc,GAAG,IAAI,CAAC;gBACtB,SAAS;YACX,CAAC;YACD,IAAI,YAAY,EAAE,CAAC;gBACjB,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;gBAChC,YAAY,GAAG,IAAI,CAAC;gBACpB,SAAS;YACX,CAAC;YACD,MAAM,IAAI,UAAU,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC;QACjD,CAAC;QAED,gEAAgE;QAChE,IAAI,cAAc,EAAE,CAAC;YACnB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnC,MAAM,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;gBAC/B,IAAI,CAAC;oBAAE,CAAC,cAAc,CAAC,MAAM,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAChD,CAAC;YACD,SAAS;QACX,CAAC;QAED,MAAM,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;QAChD,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QAExC,yDAAyD;QACzD,IAAI,YAAY,EAAE,CAAC;YACjB,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAsB,CAAC,EAAE,CAAC;gBAClD,MAAM,IAAI,UAAU,CAClB,IAAI,OAAO,6GAA6G,EACxH,MAAM,CACP,CAAC;YACJ,CAAC;YACD,oEAAoE;YACpE,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACvC,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;gBACjB,MAAM,EAAE,GAAG,YAAY,CAAC,OAAsB,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,MAAM,CAAC,CAAC;gBAC5F,EAAE,CAAC,MAAM,GAAG,EAAE,CAAC;gBACf,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAC/B,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;gBAC3C,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBACnC,MAAM,KAAK,GAAG,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;gBAC7D,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;oBACpC,MAAM,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;oBAC/B,IAAI,CAAC;wBAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAC3B,CAAC;gBACD,IAAI,OAAO,GAAG,CAAC;oBAAE,cAAc,GAAG,EAAE,CAAC,CAAC,gCAAgC;gBACtE,SAAS;YACX,CAAC;YACD,YAAY,CAAC,QAAQ,CAAC,IAAI,CACxB,YAAY,CAAC,OAAsB,EAAE,SAAS,EAAE,MAAM,CAAC,CACxD,CAAC;YACF,SAAS;QACX,CAAC;QAED,aAAa;QACb,QAAQ,OAAO,EAAE,CAAC;YAChB,KAAK,OAAO;gBACV,KAAK,CAAC,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;gBAChC,MAAM;YACR,KAAK,SAAS;gBACZ,UAAU,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;gBAC/C,MAAM;YACR,KAAK,SAAS;gBACZ,UAAU,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;gBAC/C,MAAM;YACR,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,MAAM,IAAI,GAAG,SAAS,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;gBACxC,IAAI,IAAI,GAAG,CAAC;oBACV,MAAM,IAAI,UAAU,CAAC,kCAAkC,EAAE,MAAM,CAAC,CAAC;gBACnE,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;gBACtD,IAAI,CAAC,IAAI;oBAAE,MAAM,IAAI,UAAU,CAAC,uBAAuB,EAAE,MAAM,CAAC,CAAC;gBACjE,YAAY,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;gBACpD,MAAM;YACR,CAAC;YACD,KAAK,OAAO;gBACV,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;gBACjD,MAAM;YACR;gBACE,MAAM,IAAI,UAAU,CAAC,oBAAoB,OAAO,GAAG,EAAE,MAAM,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IAED,IAAI,cAAc,EAAE,CAAC;QACnB,MAAM,IAAI,UAAU,CAClB,oBAAoB,cAAc,CAAC,IAAI,4BAA4B,EACnE,cAAc,CAAC,IAAI,CACpB,CAAC;IACJ,CAAC;IACD,IAAI,YAAY,EAAE,CAAC;QACjB,MAAM,IAAI,UAAU,CAClB,UAAU,YAAY,CAAC,IAAI,4BAA4B,EACvD,YAAY,CAAC,IAAI,CAClB,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,IAAI;QAAE,KAAK,CAAC,IAAI,GAAG,aAAa,CAAC;IAE5C,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,YAAY,CACnB,IAAiB,EACjB,GAAW,EACX,IAAY;IAEZ,IAAI,IAAI,GAAG,GAAG,CAAC;IACf,MAAM,IAAI,GAAgB,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;IAEnD,2EAA2E;IAC3E,4DAA4D;IAC5D,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;IACpD,IAAI,SAAS,IAAI,SAAS,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC/C,IAAI,CAAC,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACrG,CAAC;IAED,gFAAgF;IAChF,gFAAgF;IAChF,+BAA+B;IAC/B,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC;IACtD,IAAI,UAAU,IAAI,UAAU,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QACjD,IAAI,CAAC,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACxG,CAAC;IAED,mEAAmE;IACnE,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;IAChD,IAAI,SAAS,IAAI,SAAS,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC/C,IAAI,CAAC,IAAI,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;IAC/C,CAAC;IAED,uDAAuD;IACvD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC;IAClD,IAAI,QAAQ,IAAI,QAAQ,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC7C,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,IAAI,KAAK,IAAI;YAAE,IAAI,CAAC,OAAO,GAAG,GAAG,CAAC;aACjC,IAAI,IAAI,KAAK,OAAO;YAAE,IAAI,CAAC,OAAO,GAAG,GAAG,CAAC;;YAE5C,MAAM,IAAI,UAAU,CAClB,KAAK,GAAG,wDAAwD,EAChE,IAAI,CACL,CAAC;QACJ,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9C,CAAC;IAED,sFAAsF;IACtF,0EAA0E;IAC1E,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;IACjD,IAAI,UAAU,IAAI,UAAU,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QACjD,IAAI,IAAI,KAAK,MAAM;YACjB,MAAM,IAAI,UAAU,CAAC,oGAAoG,EAAE,IAAI,CAAC,CAAC;QACnI,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QAClB,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;IAChD,CAAC;IAED,IAAI,CAAC,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1B,IAAI,CAAC,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,UAAU,CAAC,GAAG,IAAI,kBAAkB,EAAE,IAAI,CAAC,CAAC;IACtE,OAAO,IAAI,CAAC;AACd,CAAC;AAED,6EAA6E;AAC7E,SAAS,cAAc,CAAC,GAAW;IACjC,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IACrB,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACpB,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC7B,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACf,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAC/C,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAChD,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3D,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACxB,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAChC,CAAC;AAED,SAAS,UAAU,CAAC,GAAW,EAAE,IAAY;IAC3C,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC9B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QACpB,MAAM,IAAI,UAAU,CAAC,oCAAoC,EAAE,IAAI,CAAC,CAAC;IACnE,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACtC,MAAM,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACpC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE;QAAE,MAAM,IAAI,UAAU,CAAC,0BAA0B,EAAE,IAAI,CAAC,CAAC;IACzE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AAC5B,CAAC;AAED,SAAS,cAAc,CAAC,IAAY;IAClC,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC9B,IAAI,GAAG,GAAG,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAC3B,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;AACnD,CAAC;AAED,SAAS,UAAU,CAAC,GAAa,EAAE,CAAS;IAC1C,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACzC,CAAC"}
+{"version":3,"file":"parser.js","sourceRoot":"","sources":["../../src/parser/parser.ts"],"names":[],"mappings":"AAAA,+BAA+B;AAC/B,sDAAsD;AACtD,EAAE;AACF,uDAAuD;AACvD,EAAE;AACF,iBAAiB;AACjB,iBAAiB;AACjB,iBAAiB;AACjB,kCAAkC;AAClC,mCAAmC;AACnC,0BAA0B;AAC1B,uDAAuD;AACvD,4CAA4C;AAC5C,wDAAwD;AACxD,MAAM;AACN,yCAAyC;AACzC,qCAAqC;AAErC,OAAO,EAEL,gBAAgB,GAOjB,MAAM,UAAU,CAAC;AAClB,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAEpE,MAAM,OAAO,UAAW,SAAQ,KAAK;IACC;IAApC,YAAY,OAAe,EAAS,IAAY;QAC9C,KAAK,CAAC,QAAQ,IAAI,KAAK,OAAO,EAAE,CAAC,CAAC;QADA,SAAI,GAAJ,IAAI,CAAQ;QAE9C,IAAI,CAAC,IAAI,GAAG,YAAY,CAAC;IAC3B,CAAC;CACF;AAED,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAc;IAC5C,IAAI;IACJ,SAAS;IACT,MAAM;IACN,OAAO;IACP,YAAY;IACZ,WAAW;IACX,MAAM;IACN,aAAa;CACd,CAAC,CAAC;AAEH,MAAM,UAAU,KAAK,CAAC,MAAc;IAClC,MAAM,KAAK,GAAc;QACvB,IAAI,EAAE,EAAE;QACR,QAAQ,EAAE,EAAE;QACZ,QAAQ,EAAE,EAAE;QACZ,MAAM,EAAE,EAAE;QACV,MAAM,EAAE,EAAE;QACV,KAAK,EAAE,EAAE;KACV,CAAC;IAEF,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACvC,IAAI,YAAY,GAAqB,IAAI,CAAC;IAC1C,IAAI,cAAc,GAAuB,IAAI,CAAC,CAAC,2BAA2B;IAC1E,IAAI,eAAe,GAAwB,IAAI,CAAC,CAAC,+BAA+B;IAEhF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,MAAM,GAAG,CAAC,GAAG,CAAC,CAAC;QACrB,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC9C,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAEhC,0EAA0E;QAC1E,4EAA4E;QAC5E,oEAAoE;QACpE,wEAAwE;QACxE,sEAAsE;QACtE,qDAAqD;QACrD,IACE,IAAI,KAAK,GAAG;YACZ,CAAC,cAAc,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;YACxC,CAAC,eAAe,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EACzC,CAAC;YACD,IAAI,cAAc,EAAE,CAAC;gBACnB,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBACtC,IAAI,QAAQ,EAAE,CAAC;oBACb,MAAM,QAAQ,GAAG,cAAc,CAAC,cAAc,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;oBAClE,IAAI,QAAQ,EAAE,CAAC;wBACb,MAAM,IAAI,UAAU,CAClB,0CAA0C,QAAQ,GAAG,EACrD,MAAM,CACP,CAAC;oBACJ,CAAC;gBACH,CAAC;gBACD,cAAc,GAAG,IAAI,CAAC;gBACtB,SAAS;YACX,CAAC;YACD,IAAI,eAAe,EAAE,CAAC;gBACpB,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBACtC,IAAI,QAAQ,EAAE,CAAC;oBACb,MAAM,IAAI,UAAU,CAClB,0CAA0C,QAAQ,0CAA0C,EAC5F,MAAM,CACP,CAAC;gBACJ,CAAC;gBACD,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;gBAClC,eAAe,GAAG,IAAI,CAAC;gBACvB,SAAS;YACX,CAAC;YACD,IAAI,YAAY,EAAE,CAAC;gBACjB,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;gBAChC,YAAY,GAAG,IAAI,CAAC;gBACpB,SAAS;YACX,CAAC;YACD,MAAM,IAAI,UAAU,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC;QACjD,CAAC;QAED,gEAAgE;QAChE,IAAI,cAAc,EAAE,CAAC;YACnB,KAAK,MAAM,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC;gBAAE,CAAC,cAAc,CAAC,MAAM,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAChF,SAAS;QACX,CAAC;QAED,qEAAqE;QACrE,IAAI,eAAe,EAAE,CAAC;YACpB,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC;YACxD,SAAS;QACX,CAAC;QAED,MAAM,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;QAChD,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QAExC,yDAAyD;QACzD,IAAI,YAAY,EAAE,CAAC;YACjB,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAsB,CAAC,EAAE,CAAC;gBAClD,MAAM,IAAI,UAAU,CAClB,IAAI,OAAO,6GAA6G,EACxH,MAAM,CACP,CAAC;YACJ,CAAC;YACD,oEAAoE;YACpE,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACvC,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;gBACjB,MAAM,EAAE,GAAG,YAAY,CAAC,OAAsB,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,MAAM,CAAC,CAAC;gBAC5F,EAAE,CAAC,MAAM,GAAG,EAAE,CAAC;gBACf,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAC/B,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;gBAC3C,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBACnC,MAAM,KAAK,GAAG,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;gBAC7D,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC;gBAC5C,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;oBAChB,cAAc,GAAG,EAAE,CAAC,CAAC,gCAAgC;gBACvD,CAAC;qBAAM,CAAC;oBACN,6DAA6D;oBAC7D,4DAA4D;oBAC5D,+DAA+D;oBAC/D,yDAAyD;oBACzD,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;oBACjD,IAAI,QAAQ,EAAE,CAAC;wBACb,MAAM,QAAQ,GAAG,cAAc,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;wBACtD,IAAI,QAAQ,EAAE,CAAC;4BACb,MAAM,IAAI,UAAU,CAClB,oDAAoD,QAAQ,GAAG,EAC/D,MAAM,CACP,CAAC;wBACJ,CAAC;oBACH,CAAC;gBACH,CAAC;gBACD,SAAS;YACX,CAAC;YACD,YAAY,CAAC,QAAQ,CAAC,IAAI,CACxB,YAAY,CAAC,OAAsB,EAAE,SAAS,EAAE,MAAM,CAAC,CACxD,CAAC;YACF,SAAS;QACX,CAAC;QAED,aAAa;QACb,QAAQ,OAAO,EAAE,CAAC;YAChB,KAAK,OAAO;gBACV,KAAK,CAAC,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;gBAChC,MAAM;YACR,KAAK,SAAS;gBACZ,UAAU,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;gBAC/C,MAAM;YACR,KAAK,SAAS;gBACZ,UAAU,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;gBAC/C,MAAM;YACR,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,MAAM,IAAI,GAAG,SAAS,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;gBACxC,IAAI,IAAI,GAAG,CAAC;oBACV,MAAM,IAAI,UAAU,CAAC,kCAAkC,EAAE,MAAM,CAAC,CAAC;gBACnE,IAAI,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;gBAE7C,MAAM,IAAI,GAAc,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;gBAEjE,wEAAwE;gBACxE,oEAAoE;gBACpE,iEAAiE;gBACjE,gEAAgE;gBAChE,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC;gBAChE,IAAI,WAAW,IAAI,WAAW,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;oBACnD,IAAI,CAAC,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;oBAC7B,MAAM,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBACjH,CAAC;gBAED,IAAI,CAAC,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;gBAC5B,IAAI,CAAC,IAAI,CAAC,IAAI;oBAAE,MAAM,IAAI,UAAU,CAAC,uBAAuB,EAAE,MAAM,CAAC,CAAC;gBACtE,YAAY,GAAG,IAAI,CAAC;gBACpB,MAAM;YACR,CAAC;YACD,KAAK,OAAO;gBACV,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;gBACjD,MAAM;YACR,KAAK,MAAM,CAAC,CAAC,CAAC;gBACZ,MAAM,OAAO,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBACvC,IAAI,OAAO,GAAG,CAAC;oBAAE,MAAM,IAAI,UAAU,CAAC,iCAAiC,EAAE,MAAM,CAAC,CAAC;gBACjF,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;gBACzD,IAAI,CAAC,IAAI;oBAAE,MAAM,IAAI,UAAU,CAAC,sBAAsB,EAAE,MAAM,CAAC,CAAC;gBAChE,MAAM,IAAI,GAAiB,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;gBAC9D,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;gBAC3C,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBACnC,MAAM,KAAK,GAAG,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;gBAC7D,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC;gBAC9C,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;oBAChB,eAAe,GAAG,IAAI,CAAC,CAAC,gCAAgC;gBAC1D,CAAC;qBAAM,CAAC;oBACN,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;oBACjD,IAAI,QAAQ,EAAE,CAAC;wBACb,MAAM,IAAI,UAAU,CAClB,oDAAoD,QAAQ,0CAA0C,EACtG,MAAM,CACP,CAAC;oBACJ,CAAC;oBACD,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACzB,CAAC;gBACD,MAAM;YACR,CAAC;YACD;gBACE,MAAM,IAAI,UAAU,CAAC,oBAAoB,OAAO,GAAG,EAAE,MAAM,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IAED,IAAI,cAAc,EAAE,CAAC;QACnB,MAAM,IAAI,UAAU,CAClB,oBAAoB,cAAc,CAAC,IAAI,4BAA4B,EACnE,cAAc,CAAC,IAAI,CACpB,CAAC;IACJ,CAAC;IACD,IAAI,eAAe,EAAE,CAAC;QACpB,MAAM,IAAI,UAAU,CAClB,SAAS,eAAe,CAAC,IAAI,4BAA4B,EACzD,eAAe,CAAC,IAAI,CACrB,CAAC;IACJ,CAAC;IACD,IAAI,YAAY,EAAE,CAAC;QACjB,MAAM,IAAI,UAAU,CAClB,UAAU,YAAY,CAAC,IAAI,4BAA4B,EACvD,YAAY,CAAC,IAAI,CAClB,CAAC;IACJ,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,IAAI;QAAE,KAAK,CAAC,IAAI,GAAG,aAAa,CAAC;IAE5C,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,YAAY,CACnB,IAAiB,EACjB,GAAW,EACX,IAAY;IAEZ,MAAM,IAAI,GAAgB,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;IACnD,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAC7C,IAAI,CAAC,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1B,IAAI,CAAC,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,UAAU,CAAC,GAAG,IAAI,kBAAkB,EAAE,IAAI,CAAC,CAAC;IACtE,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,SAAS,cAAc,CACrB,IAAiB,EACjB,GAAW,EACX,IAAY;IAEZ,IAAI,IAAI,GAAG,GAAG,CAAC;IAEf,2EAA2E;IAC3E,4DAA4D;IAC5D,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,2BAA2B,CAAC,CAAC;IAC1D,IAAI,SAAS,IAAI,SAAS,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC/C,IAAI,CAAC,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QACzB,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACrG,CAAC;IAED,gFAAgF;IAChF,gFAAgF;IAChF,+BAA+B;IAC/B,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC;IAC5D,IAAI,UAAU,IAAI,UAAU,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QACjD,IAAI,CAAC,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACxG,CAAC;IAED,0EAA0E;IAC1E,yEAAyE;IACzE,qEAAqE;IACrE,+BAA+B;IAC/B,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC,iCAAiC,CAAC,CAAC;IACtE,IAAI,eAAe,IAAI,eAAe,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC3D,IAAI,CAAC,UAAU,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;QACrC,IAAI,GAAG,CACL,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,eAAe,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,KAAK,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CACrG,CAAC,IAAI,EAAE,CAAC;IACX,CAAC;IAED,8EAA8E;IAC9E,8EAA8E;IAC9E,wEAAwE;IACxE,0EAA0E;IAC1E,oEAAoE;IACpE,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,2BAA2B,CAAC,CAAC;IAC1D,IAAI,SAAS,IAAI,SAAS,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC/C,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1D,MAAM,IAAI,UAAU,CAClB,oFAAoF,EACpF,IAAI,CACL,CAAC;QACJ,IAAI,CAAC,IAAI,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;IAC/C,CAAC;IAED,0EAA0E;IAC1E,kFAAkF;IAClF,mFAAmF;IACnF,iFAAiF;IACjF,gFAAgF;IAChF,iFAAiF;IACjF,oFAAoF;IACpF,kFAAkF;IAClF,8EAA8E;IAC9E,wEAAwE;IACxE,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,oCAAoC,CAAC,CAAC;IACrE,IAAI,WAAW,IAAI,WAAW,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QACnD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;YACvB,MAAM,IAAI,UAAU,CAClB,+FAA+F,EAC/F,IAAI,CACL,CAAC;QACJ,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;QACnB,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,WAAW,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3G,CAAC;IAED,uDAAuD;IACvD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC;IAClD,IAAI,QAAQ,IAAI,QAAQ,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC7C,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;YAAE,IAAI,CAAC,OAAO,GAAG,GAAG,CAAC;aACtC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;YAAE,IAAI,CAAC,OAAO,GAAG,GAAG,CAAC;;YAEjD,MAAM,IAAI,UAAU,CAClB,KAAK,GAAG,wDAAwD,EAChE,IAAI,CACL,CAAC;QACJ,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9C,CAAC;IAED,sFAAsF;IACtF,0EAA0E;IAC1E,kFAAkF;IAClF,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;IAChD,IAAI,UAAU,IAAI,UAAU,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QACjD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YACtB,MAAM,IAAI,UAAU,CAAC,oGAAoG,EAAE,IAAI,CAAC,CAAC;QACnI,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC;QAClB,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;IAChD,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,6EAA6E;AAC7E,SAAS,cAAc,CAAC,GAAW;IACjC,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IACrB,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACpB,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC7B,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACf,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAC/C,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAChD,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3D,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IACxB,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAChC,CAAC;AAED;;8FAE8F;AAC9F,SAAS,iBAAiB,CAAC,KAAa;IACtC,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QACpC,MAAM,CAAC,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,UAAU,CAAC,GAAW,EAAE,IAAY;IAC3C,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC9B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QACpB,MAAM,IAAI,UAAU,CAAC,oCAAoC,EAAE,IAAI,CAAC,CAAC;IACnE,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACtC,MAAM,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACpC,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE;QAAE,MAAM,IAAI,UAAU,CAAC,0BAA0B,EAAE,IAAI,CAAC,CAAC;IACzE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;AAC5B,CAAC;AAED,SAAS,cAAc,CAAC,IAAY;IAClC,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC9B,IAAI,GAAG,GAAG,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IAC3B,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;AACnD,CAAC;AAED,SAAS,UAAU,CAAC,GAAa,EAAE,CAAS;IAC1C,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;QAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AACzC,CAAC"}

package/dist/render/drawNotes.d.ts

@@ -4,16 +4,20 @@ import { Rect } from "./svgGeometry.js";
 export declare function notedElements(model: NormalizedModel): Element[];
 /** Elements carrying an open issue, in document order. Index + 1 is the footnote number. */
 export declare function issuedElements(model: NormalizedModel): Element[];
+/** Elements carrying an accepted divergence, in document order. Index + 1 is the footnote number. */
+export declare function divergedElements(model: NormalizedModel): Element[];
 /** How to turn an element's note into the link href (default: the raw note path). */
 export type HrefOf = (el: Element) => string;
 /** SVG group with a numbered corner marker per noted element (inside the graph group). */
 export declare function buildNoteMarkers(model: NormalizedModel, rects: Map<string, Rect>, hrefOf?: HrefOf): string;
 /** SVG group with a numbered corner marker per element with an open issue. */
 export declare function buildIssueMarkers(model: NormalizedModel, rects: Map<string, Rect>): string;
+/** SVG group with a numbered corner marker per element with an accepted divergence. */
+export declare function buildDivergenceMarkers(model: NormalizedModel, rects: Map<string, Rect>): string;
 /**
  * Grow the canvas and append a legend below the diagram: a "Notes" section (if any
- * element has a note) and an "Issues" section (if any element has an open issue).
- * Returns the SVG unchanged if there's nothing to show or the dimensions can't be
- * parsed.
+ * element has a note), an "Issues" section (if any element has an open issue), and an
+ * "Accepted Divergences" section (if any element has one). Returns the SVG unchanged
+ * if there's nothing to show or the dimensions can't be parsed.
  */
 export declare function appendNoteLegend(svg: string, model: NormalizedModel, hrefOf?: HrefOf): string;

package/dist/render/drawNotes.js

@@ -1,21 +1,28 @@
 // SPDX-License-Identifier: MIT
-// Draws "has notes" and "has issues" affordances on top of a Graphviz-rendered SVG:
+// Draws "has notes", "has issues", and "has an accepted divergence" affordances on top of
+// a Graphviz-rendered SVG:
 //   - a small folded-corner (dog-ear) marker per noted box, top-right, amber, carrying
 //     a footnote number, linked to the note file;
 //   - a small folded-corner marker per element with an open `issue`, top-left, red,
 //     carrying its own footnote number — no link (there's nothing to open), just a
 //     `<title>` tooltip, since the full text lives in the legend;
+//   - a small folded-corner marker per element with a `divergence`, bottom-right, teal,
+//     same tooltip-only treatment as `issue` (inline text, no file to link to) — the
+//     *resolved* counterpart to issue's red: right side reads "documented" (note,
+//     divergence), left reads "open" (issue);
 //   - a legend appended below the diagram: a "Notes" section mapping each amber number
-//     to its element and note file, and (when present) an "Issues" section mapping each
-//     red number to its element and issue text.
-// An element may carry both a note and an issue at once: the two markers sit on
-// opposite top corners of the box, so they never overlap, and each keeps its own
-// independent numbering (a "1" note and a "1" issue on the same box are unambiguous —
-// distinct color, distinct corner, distinct legend section).
-// In SVG the note markers/rows are anchors (click to open the markdown); issue
-// markers/rows never are, since inline text has no file to link to. Raster output
-// (PNG/PDF) can't carry links or tooltips either way, so the legend is what tells you
-// which note or issue belongs to which element there.
+//     to its element and note file, an "Issues" section mapping each red number to its
+//     element and issue text, and an "Accepted Divergences" section mapping each teal
+//     number to its element and divergence text — each present only when non-empty.
+// An element may carry a note, an issue, and a divergence all at once: note/issue sit on
+// the top corners, divergence sits at bottom-right, so none of them overlap, and each
+// keeps its own independent numbering (a "1" note, a "1" issue, and a "1" divergence on
+// the same box are unambiguous — distinct color, distinct corner, distinct legend
+// section).
+// In SVG the note markers/rows are anchors (click to open the markdown); issue and
+// divergence markers/rows never are, since inline text has no file to link to. Raster
+// output (PNG/PDF) can't carry links or tooltips either way, so the legend is what tells
+// you which note, issue, or divergence belongs to which element there.
 //
 // Marker coordinates come from parseNodeRects (the box coordinate space, inside
 // Graphviz's transform group). The legend is laid out in the SVG's root/viewBox
@@ -26,6 +33,8 @@ const FILL = "#F4C430"; // sticky-note amber (notes)
 const STROKE = "#7A5200"; // dark amber — reads on light and orange fills alike
 const ISSUE_FILL = "#E53935"; // red sticky (open issues)
 const ISSUE_STROKE = "#8B0000"; // dark red
+const DIVERGENCE_FILL = "#26A69A"; // muted teal (accepted divergences — settled, not open)
+const DIVERGENCE_STROKE = "#00695C"; // dark teal
 /** Elements carrying a note, in document order. Index + 1 is the footnote number. */
 export function notedElements(model) {
     return model.elements.filter((el) => el.note);
@@ -34,6 +43,10 @@ export function notedElements(model) {
 export function issuedElements(model) {
     return model.elements.filter((el) => el.issue);
 }
+/** Elements carrying an accepted divergence, in document order. Index + 1 is the footnote number. */
+export function divergedElements(model) {
+    return model.elements.filter((el) => el.divergence);
+}
 const rawNote = (el) => el.note ?? "";
 /** SVG group with a numbered corner marker per noted element (inside the graph group). */
 export function buildNoteMarkers(model, rects, hrefOf = rawNote) {
@@ -57,15 +70,29 @@ export function buildIssueMarkers(model, rects) {
     });
     return `<g class="em-issues">${markers.join("")}</g>`;
 }
-/** The dog-ear glyph + footnote number, anchored at one top corner of the box. */
-function cornerGlyph(r, num, corner, fill, stroke) {
-    const y = r.top + INSET; // y grows downward, so this nudges down from the top edge
+/** SVG group with a numbered corner marker per element with an accepted divergence. */
+export function buildDivergenceMarkers(model, rects) {
+    const markers = [];
+    divergedElements(model).forEach((el, i) => {
+        const r = rects.get(el.id);
+        if (!r)
+            return;
+        markers.push(divergenceMarker(r, el.divergence ?? "", i + 1));
+    });
+    return `<g class="em-divergences">${markers.join("")}</g>`;
+}
+/** The dog-ear glyph + footnote number, anchored at one corner of the box. */
+function cornerGlyph(r, num, corner, vAlign, fill, stroke) {
     const x = corner === "right" ? r.right - INSET : r.left + INSET;
     const foldX = corner === "right" ? x - FOLD : x + FOLD;
-    const tri = `M${n(foldX)},${n(y)} L${n(x)},${n(y)} L${n(x)},${n(y + FOLD)} Z`;
-    const crease = `M${n(foldX)},${n(y)} L${n(x)},${n(y + FOLD)}`;
+    // y grows downward: a top marker nudges down from the top edge and folds further down;
+    // a bottom marker nudges up from the bottom edge and folds further up.
+    const y = vAlign === "top" ? r.top + INSET : r.bottom - INSET;
+    const foldY = vAlign === "top" ? y + FOLD : y - FOLD;
+    const tri = `M${n(foldX)},${n(y)} L${n(x)},${n(y)} L${n(x)},${n(foldY)} Z`;
+    const crease = `M${n(foldX)},${n(y)} L${n(x)},${n(foldY)}`;
     const numX = corner === "right" ? foldX - 2 : foldX + 2;
-    const numY = y + 9;
+    const numY = vAlign === "top" ? y + 9 : y - 5;
     const anchor = corner === "right" ? "end" : "start";
     return (`<path d="${tri}" fill="${fill}" stroke="${stroke}" stroke-width="1" stroke-linejoin="round"/>` +
         `<path d="${crease}" fill="none" stroke="${stroke}" stroke-width="0.7"/>` +
@@ -77,7 +104,7 @@ function noteMarker(r, note, num) {
     const href = esc(note);
     return (`<a xlink:href="${href}" href="${href}" target="_blank">` +
         `<title>${num}. ${href}</title>` +
-        cornerGlyph(r, num, "right", FILL, STROKE) +
+        cornerGlyph(r, num, "right", "top", FILL, STROKE) +
         `</a>`);
 }
 /**
@@ -87,7 +114,16 @@ function noteMarker(r, note, num) {
  * read the full issue text (tooltips don't survive rasterization either).
  */
 function issueMarker(r, issue, num) {
-    return `<g><title>${num}. ${esc(issue)}</title>${cornerGlyph(r, num, "left", ISSUE_FILL, ISSUE_STROKE)}</g>`;
+    return `<g><title>${num}. ${esc(issue)}</title>${cornerGlyph(r, num, "left", "top", ISSUE_FILL, ISSUE_STROKE)}</g>`;
+}
+/**
+ * A folded-corner glyph + footnote number at the box's bottom-right, marking an
+ * accepted divergence — the resolved counterpart to `issueMarker`'s open question.
+ * Same tooltip-only treatment (no link target); the legend is the reliable read.
+ */
+function divergenceMarker(r, divergence, num) {
+    return (`<g><title>${num}. ${esc(divergence)}</title>` +
+        `${cornerGlyph(r, num, "right", "bottom", DIVERGENCE_FILL, DIVERGENCE_STROKE)}</g>`);
 }
 // ---- legend ----
 const PAD_X = 16;
@@ -97,14 +133,15 @@ const LINE_H = 18;
 const PAD_BOTTOM = 14;
 /**
  * Grow the canvas and append a legend below the diagram: a "Notes" section (if any
- * element has a note) and an "Issues" section (if any element has an open issue).
- * Returns the SVG unchanged if there's nothing to show or the dimensions can't be
- * parsed.
+ * element has a note), an "Issues" section (if any element has an open issue), and an
+ * "Accepted Divergences" section (if any element has one). Returns the SVG unchanged
+ * if there's nothing to show or the dimensions can't be parsed.
  */
 export function appendNoteLegend(svg, model, hrefOf = rawNote) {
     const noted = notedElements(model);
     const issued = issuedElements(model);
-    if (noted.length === 0 && issued.length === 0)
+    const diverged = divergedElements(model);
+    if (noted.length === 0 && issued.length === 0 && diverged.length === 0)
         return svg;
     const vb = /viewBox="([\d.eE+-]+)\s+([\d.eE+-]+)\s+([\d.eE+-]+)\s+([\d.eE+-]+)"/.exec(svg);
     const hpt = /height="([\d.eE+-]+)pt"/.exec(svg);
@@ -116,7 +153,8 @@ export function appendNoteLegend(svg, model, hrefOf = rawNote) {
     const vh = +vb[4];
     const notesH = noted.length > 0 ? HEAD_H + noted.length * LINE_H : 0;
     const issuesH = issued.length > 0 ? HEAD_H + issued.length * LINE_H : 0;
-    const legendH = PAD_TOP + notesH + issuesH + PAD_BOTTOM;
+    const divergencesH = diverged.length > 0 ? HEAD_H + diverged.length * LINE_H : 0;
+    const legendH = PAD_TOP + notesH + issuesH + divergencesH + PAD_BOTTOM;
     const newVh = vh + legendH;
     const newHpt = (+hpt[1]) * (newVh / vh); // keep the pt:viewBox ratio (handles scaling)
     const top = minY + vh; // legend sits just below the diagram, in root coords
@@ -143,6 +181,15 @@ export function appendNoteLegend(svg, model, hrefOf = rawNote) {
             .join("");
         sectionY += issuesH;
     }
+    if (diverged.length > 0) {
+        sections +=
+            `<text x="${n(minX + PAD_X)}" y="${n(sectionY + 14)}" font-family="Helvetica" ` +
+                `font-weight="bold" font-size="12" fill="${DIVERGENCE_STROKE}">Accepted Divergences</text>`;
+        sections += diverged
+            .map((el, i) => row(el, el.divergence ?? "", i + 1, minX + PAD_X, sectionY + HEAD_H + i * LINE_H + 13, "divergence"))
+            .join("");
+        sectionY += divergencesH;
+    }
     const legend = `<g class="em-note-legend">` +
         `<rect x="${n(minX)}" y="${n(top)}" width="${n(vw)}" height="${n(legendH)}" fill="#FFFFFF"/>` +
         `<line x1="${n(minX)}" y1="${n(top)}" x2="${n(minX + vw)}" y2="${n(top)}" stroke="#D0D0D0" stroke-width="1"/>` +
@@ -152,18 +199,18 @@ export function appendNoteLegend(svg, model, hrefOf = rawNote) {
 }
 /**
  * One legend row: "N.  Element name — text". Notes rows link to the note file;
- * issue rows carry the full issue text and have no link target.
+ * issue and divergence rows carry their full text and have no link target.
  */
 function row(el, hrefOrText, num, x, y, kind = "note") {
-    const color = kind === "issue" ? ISSUE_STROKE : STROKE;
-    const label = esc(kind === "issue" ? el.issue ?? "" : el.note ?? ""); // readable text
+    const color = kind === "issue" ? ISSUE_STROKE : kind === "divergence" ? DIVERGENCE_STROKE : STROKE;
+    const label = esc(kind === "issue" ? el.issue ?? "" : kind === "divergence" ? el.divergence ?? "" : el.note ?? ""); // readable text
     const name = esc(el.name);
     const text = `<text x="${n(x)}" y="${n(y)}" font-family="Helvetica" font-size="11" fill="#202124">` +
         `<tspan font-weight="bold" fill="${color}">${num}.</tspan>` +
         `<tspan dx="6">${name}</tspan>` +
         `<tspan dx="6" fill="#5F6368">— ${label}</tspan>` +
         `</text>`;
-    if (kind === "issue")
+    if (kind === "issue" || kind === "divergence")
         return text; // nothing to link to
     const href = esc(hrefOrText); // resolved link target
     return `<a xlink:href="${href}" href="${href}" target="_blank">${text}</a>`;