@ybotok/loam 0.1.0-beta.3 → 0.2.0-alpha.13

package/dist/core/c4/source-mask.js

@@ -0,0 +1,369 @@
+/**
+ * LikeC4's MARKDOWN string: `'''…'''` or `"""…"""`, closed by the first
+ * matching triple and read with no escapes (the grammar's `MarkdownString` is
+ * an until-token, not a quoted run). It is what a long `description` is
+ * written in, and the reason it is its own state rather than three ordinary
+ * quotes: read as `''` + `'…'` + `''`, the first apostrophe or odd quote in the
+ * prose — "it's" — ended the literal, every brace after it was CODE, and the
+ * rest of the document was read inside out. A map with one such description
+ * above its model had no model block at all as far as the splice map could
+ * tell, and archive refused a landscape LikeC4 parses cleanly.
+ */
+const MARKDOWN_QUOTES = ["'''", '"""'];
+/**
+ * Where a URI token starting at `at` ends, or -1 when none starts there.
+ *
+ * LikeC4 lexes `scheme://…` and a relative `./…`, `../…` or `/…` path as ONE
+ * token running to the next whitespace — tried before the comment tokens can
+ * see the `//` inside it, because the token starts at the scheme, not at the
+ * slash. Read as code, `link https://…` opened a line comment at the `//`, and
+ * that blanked whatever followed on the line: `x = kind 'X' { link
+ * https://… }` lost its closing brace, and the scan found no model block in a
+ * map LikeC4 parses. A URI's interior is never structure — a `{id}`, a `#anchor`,
+ * an apostrophe are all part of the token — so it is blanked like a literal's.
+ * It is recorded in `uris`, not among the literals, because it is no string —
+ * no title is read from it — but it IS a token: blanked and recorded nowhere,
+ * `link https://…` read as the bare word `link`, and `statementHead` ran that
+ * on into the next line and swallowed the declaration written there.
+ */
+function uriEnd(text, at) {
+    if (at > 0 && /[\w.-]/.test(text[at - 1]))
+        return -1;
+    let j = at;
+    if (/\w/.test(text[at])) {
+        while (j < text.length && /\w/.test(text[j]))
+            j += 1;
+        if (!text.startsWith("://", j))
+            return -1;
+        j += 3;
+    }
+    else {
+        while (j < at + 2 && text[j] === ".")
+            j += 1;
+        const after = text[j + 1];
+        // `//` and `/*` with no dot before them are the comment tokens, which win there.
+        if (text[j] !== "/" || after === undefined || after === "/" || /\s/.test(after) || (j === at && after === "*"))
+            return -1;
+    }
+    while (j < text.length && !/\s/.test(text[j]))
+        j += 1;
+    return j;
+}
+export function maskSource(text) {
+    const out = text.split("");
+    const literals = [];
+    const uris = [];
+    const comments = [];
+    let state = "code";
+    let litStart = -1;
+    let lit = "";
+    let fence = "";
+    for (let i = 0; i < text.length; i += 1) {
+        const ch = text[i];
+        const next = text[i + 1];
+        switch (state) {
+            case "code": {
+                const uri = uriEnd(text, i);
+                if (uri !== -1) {
+                    uris.push({ start: i, end: uri });
+                    for (; i < uri; i += 1)
+                        out[i] = " ";
+                    i -= 1;
+                    break;
+                }
+                fence = MARKDOWN_QUOTES.find((q) => text.startsWith(q, i)) ?? "";
+                if (fence !== "") {
+                    state = "markdown";
+                    litStart = i;
+                    lit = "";
+                    out[i] = out[i + 1] = out[i + 2] = " ";
+                    i += 2;
+                }
+                else if (ch === "'" || ch === '"') {
+                    state = ch === "'" ? "squote" : "dquote";
+                    litStart = i;
+                    lit = "";
+                    out[i] = " ";
+                }
+                else if (ch === "/" && (next === "/" || next === "*")) {
+                    state = next === "/" ? "lineComment" : "blockComment";
+                    litStart = i;
+                    out[i] = " ";
+                }
+                break;
+            }
+            case "squote":
+            case "dquote":
+                if (ch === "\\" && i + 1 < text.length) {
+                    lit += text[i + 1];
+                    out[i] = " ";
+                    out[i + 1] = " ";
+                    i += 1;
+                }
+                else if (ch === (state === "squote" ? "'" : '"')) {
+                    literals.push({ start: litStart, end: i + 1, value: lit });
+                    state = "code";
+                    out[i] = " ";
+                }
+                else {
+                    lit += ch;
+                    if (ch !== "\n")
+                        out[i] = " ";
+                }
+                break;
+            case "markdown":
+                if (text.startsWith(fence, i)) {
+                    literals.push({ start: litStart, end: i + 3, value: lit });
+                    state = "code";
+                    out[i] = out[i + 1] = out[i + 2] = " ";
+                    i += 2;
+                }
+                else {
+                    lit += ch;
+                    if (ch !== "\n")
+                        out[i] = " ";
+                }
+                break;
+            case "lineComment":
+                // LikeC4's line comment is `//[^\n\r]*`: a bare `\r` ends it. Masked to
+                // the `\n`, `a -> b // why` with a bare `\r` before the next edge hid
+                // that edge — `validate --all --base` never graded its op, and archive
+                // refused the map on a relationship count.
+                if (ch === "\n" || ch === "\r") {
+                    comments.push({ start: litStart, end: i });
+                    state = "code";
+                }
+                else
+                    out[i] = " ";
+                break;
+            case "blockComment":
+                if (ch === "*" && next === "/") {
+                    comments.push({ start: litStart, end: i + 2 });
+                    state = "code";
+                    out[i] = " ";
+                    out[i + 1] = " ";
+                    i += 1;
+                }
+                else if (ch !== "\n") {
+                    out[i] = " ";
+                }
+                break;
+        }
+    }
+    if (state === "lineComment" || state === "blockComment")
+        comments.push({ start: litStart, end: text.length });
+    return { code: out.join(""), literals, uris, comments };
+}
+/** Index of the `}` matching the `{` at `open`, over MASKED code; -1 when unbalanced. */
+export function matchBrace(code, open) {
+    let depth = 0;
+    for (let i = open; i < code.length; i += 1) {
+        if (code[i] === "{")
+            depth += 1;
+        else if (code[i] === "}") {
+            depth -= 1;
+            if (depth === 0)
+                return i;
+        }
+    }
+    return -1;
+}
+/**
+ * Every TOP-LEVEL block in MASKED code whose opening `re` matches — `re` is
+ * global and its match ends at the block's `{` — with the block's body, read
+ * to end of file when the brace never closes. Only depth zero counts: a block
+ * nested inside another is not a declaration LikeC4 would honour. Depth is a
+ * plain count, because the mask has already blanked every brace inside a
+ * string or a comment — the one thing that would make counting lie — and it
+ * is tracked in one forward pass rather than recounted per match.
+ */
+export function* topLevelBlocks(code, re) {
+    let depth = 0;
+    let cursor = 0;
+    for (const match of code.matchAll(re)) {
+        for (; cursor < match.index; cursor += 1) {
+            if (code[cursor] === "{")
+                depth += 1;
+            else if (code[cursor] === "}")
+                depth -= 1;
+        }
+        if (depth !== 0)
+            continue;
+        const open = match.index + match[0].length - 1;
+        const close = matchBrace(code, open);
+        yield { match, body: code.slice(open + 1, close === -1 ? code.length : close) };
+    }
+}
+/**
+ * The head of the statement starting at `from`, inside a block that closes at
+ * `close`: up to its own `{`, the enclosing block's `}`, or the end of its
+ * line — unless LikeC4 reads on.
+ *
+ * It does read on, because its newlines are HIDDEN tokens (`NL` in the
+ * grammar): a declaration may be split across lines anywhere a space could
+ * go. A line-bounded head made each split form either invisible — so archive
+ * refused a valid map — or, worse, MISREAD: `name = kind 'title'` with its `{`
+ * on the next line read as a bodyless element, and a neighbour spliced in after
+ * that line took the body for its own, a re-parse that passes over a merge
+ * that moved another element's description and children (probed 2026-10-20).
+ * The next line continues the statement when its first token can only belong
+ * to it:
+ *
+ *  - a `{` — a body opens nothing else;
+ *  - a string — no LikeC4 statement starts with one, so it is this one's
+ *    title, description or technology;
+ *  - a `#tag` — a relationship's tags may follow it on the next line, and an
+ *    element's tags live inside its body, never after its head;
+ *  - anything at all, when the head so far cannot end a statement: it ends in
+ *    `=` or `->`, or it is one bare name (`entityService` above `= kind`, a
+ *    kind above the name it declares, `link` above its URI).
+ *
+ * A line starting `->` after a COMPLETE head is a statement of its own — the
+ * sourceless edge from the enclosing element — which is why an arrow at the
+ * start of a line continues only a bare name.
+ *
+ * "Bare" is read off the tokens, not the blanks: `link https://…` and
+ * `description 'x'` are masked to one word each, and both are complete
+ * properties. Read as bare names they ran on into the next line, and whatever
+ * was declared there — a child, the parent's sourceless edge — was read into
+ * the property and lost (2e490dd blanked the URI and recorded nothing).
+ *
+ * A line ends at a carriage return as well as a line feed: LikeC4's `NL` is
+ * `[\r\n]+`, so a bare `\r` is a line break to it. Ended at `\n` alone, the
+ * head of `link https://…`, `description 'x'` or `technology 'TS'` ran on over
+ * a bare `\r` into the parent's sourceless edge, which was read as an edge
+ * FROM `link` (`description`, `technology`): the counts still agreed, nothing
+ * refused, and `validate --all --base` graded the branch's misspelt op nowhere
+ * (probed on main at 171555d). A CRLF line ends at its `\r` now rather than
+ * its `\n`, which nothing reads differently — `nextToken` steps over both.
+ */
+export function statementHead(masked, from, close) {
+    const { code } = masked;
+    let j = from;
+    for (;;) {
+        while (j < close && code[j] !== "\n" && code[j] !== "\r" && code[j] !== "{" && code[j] !== "}")
+            j += 1;
+        if (j >= close)
+            return { end: close, opener: -1 };
+        if (code[j] === "{")
+            return { end: j, opener: j };
+        if (code[j] === "}")
+            return { end: j, opener: -1 };
+        const next = nextToken(masked, j, close);
+        if (next === -1 || !readsOn(masked, { from, end: j }, next))
+            return { end: j, opener: -1 };
+        j = next;
+    }
+}
+/**
+ * The first token after `at`: a literal's or a URI's start, or a non-blank
+ * character of code; -1 at the block's close. A URI is masked blank, so
+ * without its span `link` above its URI looked past the URI to the line after
+ * — and ran on into it.
+ */
+function nextToken(masked, at, close) {
+    for (let k = at; k < close; k += 1) {
+        if (spanAt(masked.literals, k) || spanAt(masked.uris, k) || !/\s/.test(masked.code[k]))
+            return k;
+    }
+    return -1;
+}
+/** Whether the token at `next` belongs to the statement whose head so far spans `[from, end)`. */
+function readsOn(masked, head, next) {
+    const { code, literals, uris } = masked;
+    if (spanAt(literals, next))
+        return true;
+    if (code[next] === "{" || code[next] === "#")
+        return true;
+    if (code[next] === "}")
+        return false;
+    const sofar = code.slice(head.from, head.end).trim();
+    if (/(?:=|->)$/.test(sofar))
+        return true;
+    // Masked, `description 'x'` reads as the one word `description` and
+    // `link https://…` as the one word `link`: a head holding a literal or a URI
+    // is never a bare name.
+    return !spanIn(literals, head) && !spanIn(uris, head) && /^[A-Za-z_][\w.-]*$/.test(sofar);
+}
+/**
+ * Source text from a point in CODE, past its leading blanks and every block
+ * comment that closes within it: what is left starts with code, with a line
+ * comment, with a block comment the text does not close — or is empty. Read
+ * off the raw text, because the mask blanks a comment exactly like a string's
+ * interior, and the splice must tell the two apart: a comment trailing a
+ * statement is room to splice past, a string is not.
+ */
+export function pastComments(text) {
+    let rest = text.trimStart();
+    while (rest.startsWith("/*")) {
+        const shut = rest.indexOf("*/", 2);
+        if (shut === -1)
+            break;
+        rest = rest.slice(shut + 2).trimStart();
+    }
+    return rest;
+}
+/** One past the last token in `[from, to)` — a code character, a literal or a URI; `from` when it holds none. */
+export function tokenEnd(masked, from, to) {
+    let end = to;
+    while (end > from && /\s/.test(masked.code[end - 1]))
+        end -= 1;
+    for (const spans of [masked.literals, masked.uris]) {
+        // The last span ending by `to`: the lists are in order and never overlap.
+        let k = firstSpanIndex(spans, to) - 1;
+        while (k >= 0 && spans[k].end > to)
+            k -= 1;
+        if (k >= 0 && spans[k].start >= from)
+            end = Math.max(end, spans[k].end);
+    }
+    return end;
+}
+/**
+ * Where a bodyless statement whose head spans `head` ends: past its last token
+ * and whatever trails that on its line — a `// comment`, a closed `/* … *\/` —
+ * which is its own authored text and rides with it when the archive carries it.
+ *
+ * A block comment it OPENS there and closes on a later line is the exception,
+ * and it ends before that one. Ended inside it, the statement handed its
+ * readers a point inside a comment: placement spliced the next addition on
+ * the following line, still in the comment, and a bodyless parent gained its
+ * `{` there — the addition was commented out of a merge that parsed, written
+ * at exit 0 (probed on main at 171555d).
+ */
+export function statementEnd(text, masked, head) {
+    const last = tokenEnd(masked, head.start, head.end);
+    if (pastComments(text.slice(last, head.end)).startsWith("/*"))
+        return last;
+    let end = head.end;
+    while (end > head.start && /\s/.test(text[end - 1]))
+        end -= 1;
+    return end;
+}
+/** Whether a span starts exactly at `at`. */
+function spanAt(spans, at) {
+    return firstSpanFrom(spans, at)?.start === at;
+}
+/** Whether a span starts inside `[from, end)`. */
+function spanIn(spans, range) {
+    const s = firstSpanFrom(spans, range.from);
+    return s !== undefined && s.start < range.end;
+}
+/** The first span starting at or after `at`. */
+function firstSpanFrom(spans, at) {
+    return spans[firstSpanIndex(spans, at)];
+}
+/** The index of the first span starting at or after `at` — `maskSource` records each list in order, so a binary search. */
+function firstSpanIndex(spans, at) {
+    let lo = 0;
+    let hi = spans.length;
+    while (lo < hi) {
+        const mid = (lo + hi) >> 1;
+        if (spans[mid].start < at)
+            lo = mid + 1;
+        else
+            hi = mid;
+    }
+    return lo;
+}
+/** An element declaration located in source, under the id the computed model gives it. */
+//# sourceMappingURL=source-mask.js.map

package/dist/core/c4/source-mask.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"source-mask.js","sourceRoot":"","sources":["../../../src/core/c4/source-mask.ts"],"names":[],"mappings":"AAgDA;;;;;;;;;;GAUG;AACH,MAAM,eAAe,GAAG,CAAC,KAAK,EAAE,KAAK,CAAU,CAAC;AAEhD;;;;;;;;;;;;;;;GAeG;AACH,SAAS,MAAM,CAAC,IAAY,EAAE,EAAU;IACtC,IAAI,EAAE,GAAG,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAE,CAAC;QAAE,OAAO,CAAC,CAAC,CAAC;IACtD,IAAI,CAAC,GAAG,EAAE,CAAC;IACX,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAE,CAAC,EAAE,CAAC;QACzB,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;YAAE,CAAC,IAAI,CAAC,CAAC;QACtD,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC,CAAC;QAC1C,CAAC,IAAI,CAAC,CAAC;IACT,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG;YAAE,CAAC,IAAI,CAAC,CAAC;QAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1B,iFAAiF;QACjF,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,IAAI,KAAK,KAAK,GAAG,CAAC;YAAE,OAAO,CAAC,CAAC,CAAC;IAC5H,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;QAAE,CAAC,IAAI,CAAC,CAAC;IACvD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC3B,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,MAAM,IAAI,GAAiB,EAAE,CAAC;IAC9B,MAAM,QAAQ,GAAiB,EAAE,CAAC;IAElC,IAAI,KAAK,GAAU,MAAM,CAAC;IAC1B,IAAI,QAAQ,GAAG,CAAC,CAAC,CAAC;IAClB,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,IAAI,KAAK,GAAG,EAAE,CAAC;IACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACxC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAE,CAAC;QACpB,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACzB,QAAQ,KAAK,EAAE,CAAC;YACd,KAAK,MAAM,EAAE,CAAC;gBACZ,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;gBAC5B,IAAI,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC;oBACf,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;oBAClC,OAAO,CAAC,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC;wBAAE,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;oBACrC,CAAC,IAAI,CAAC,CAAC;oBACP,MAAM;gBACR,CAAC;gBACD,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBACjE,IAAI,KAAK,KAAK,EAAE,EAAE,CAAC;oBACjB,KAAK,GAAG,UAAU,CAAC;oBACnB,QAAQ,GAAG,CAAC,CAAC;oBACb,GAAG,GAAG,EAAE,CAAC;oBACT,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC;oBACvC,CAAC,IAAI,CAAC,CAAC;gBACT,CAAC;qBAAM,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;oBACpC,KAAK,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;oBACzC,QAAQ,GAAG,CAAC,CAAC;oBACb,GAAG,GAAG,EAAE,CAAC;oBACT,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;gBACf,CAAC;qBAAM,IAAI,EAAE,KAAK,GAAG,IAAI,CAAC,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;oBACxD,KAAK,GAAG,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,cAAc,CAAC;oBACtD,QAAQ,GAAG,CAAC,CAAC;oBACb,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;gBACf,CAAC;gBACD,MAAM;YACR,CAAC;YACD,KAAK,QAAQ,CAAC;YACd,KAAK,QAAQ;gBACX,IAAI,EAAE,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;oBACvC,GAAG,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC;oBACpB,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;oBACb,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC;oBACjB,CAAC,IAAI,CAAC,CAAC;gBACT,CAAC;qBAAM,IAAI,EAAE,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;oBACnD,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;oBAC3D,KAAK,GAAG,MAAM,CAAC;oBACf,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;gBACf,CAAC;qBAAM,CAAC;oBACN,GAAG,IAAI,EAAE,CAAC;oBACV,IAAI,EAAE,KAAK,IAAI;wBAAE,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;gBAChC,CAAC;gBACD,MAAM;YACR,KAAK,UAAU;gBACb,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC;oBAC9B,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;oBAC3D,KAAK,GAAG,MAAM,CAAC;oBACf,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC;oBACvC,CAAC,IAAI,CAAC,CAAC;gBACT,CAAC;qBAAM,CAAC;oBACN,GAAG,IAAI,EAAE,CAAC;oBACV,IAAI,EAAE,KAAK,IAAI;wBAAE,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;gBAChC,CAAC;gBACD,MAAM;YACR,KAAK,aAAa;gBAChB,wEAAwE;gBACxE,sEAAsE;gBACtE,uEAAuE;gBACvE,2CAA2C;gBAC3C,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;oBAC/B,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;oBAC3C,KAAK,GAAG,MAAM,CAAC;gBACjB,CAAC;;oBAAM,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;gBACpB,MAAM;YACR,KAAK,cAAc;gBACjB,IAAI,EAAE,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;oBAC/B,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;oBAC/C,KAAK,GAAG,MAAM,CAAC;oBACf,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;oBACb,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC;oBACjB,CAAC,IAAI,CAAC,CAAC;gBACT,CAAC;qBAAM,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;oBACvB,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;gBACf,CAAC;gBACD,MAAM;QACV,CAAC;IACH,CAAC;IACD,IAAI,KAAK,KAAK,aAAa,IAAI,KAAK,KAAK,cAAc;QAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC9G,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAC1D,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,UAAU,CAAC,IAAY,EAAE,IAAY;IACnD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3C,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG;YAAE,KAAK,IAAI,CAAC,CAAC;aAC3B,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YACzB,KAAK,IAAI,CAAC,CAAC;YACX,IAAI,KAAK,KAAK,CAAC;gBAAE,OAAO,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IACD,OAAO,CAAC,CAAC,CAAC;AACZ,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,SAAS,CAAC,CAAC,cAAc,CAAC,IAAY,EAAE,EAAU;IACtD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;QACtC,OAAO,MAAM,GAAG,KAAK,CAAC,KAAK,EAAE,MAAM,IAAI,CAAC,EAAE,CAAC;YACzC,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG;gBAAE,KAAK,IAAI,CAAC,CAAC;iBAChC,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG;gBAAE,KAAK,IAAI,CAAC,CAAC;QAC5C,CAAC;QACD,IAAI,KAAK,KAAK,CAAC;YAAE,SAAS;QAC1B,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;QAC/C,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACrC,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;IAClF,CAAC;AACH,CAAC;AAQD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0CG;AACH,MAAM,UAAU,aAAa,CAAC,MAAoB,EAAE,IAAY,EAAE,KAAa;IAC7E,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC;IACxB,IAAI,CAAC,GAAG,IAAI,CAAC;IACb,SAAS,CAAC;QACR,OAAO,CAAC,GAAG,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG;YAAE,CAAC,IAAI,CAAC,CAAC;QACvG,IAAI,CAAC,IAAI,KAAK;YAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC;QAClD,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG;YAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;QAClD,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG;YAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC;QACnD,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;QACzC,IAAI,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,IAAI,CAAC;YAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC;QAC3F,CAAC,GAAG,IAAI,CAAC;IACX,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,SAAS,SAAS,CAAC,MAAoB,EAAE,EAAU,EAAE,KAAa;IAChE,KAAK,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAE,CAAC;YAAE,OAAO,CAAC,CAAC;IACpG,CAAC;IACD,OAAO,CAAC,CAAC,CAAC;AACZ,CAAC;AAED,kGAAkG;AAClG,SAAS,OAAO,CAAC,MAAoB,EAAE,IAAmC,EAAE,IAAY;IACtF,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC;IACxC,IAAI,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACxC,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG;QAAE,OAAO,IAAI,CAAC;IAC1D,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG;QAAE,OAAO,KAAK,CAAC;IACrC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACrD,IAAI,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACzC,oEAAoE;IACpE,6EAA6E;IAC7E,wBAAwB;IACxB,OAAO,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC5F,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,IAAI,IAAI,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;IAC5B,OAAO,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACnC,IAAI,IAAI,KAAK,CAAC,CAAC;YAAE,MAAM;QACvB,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;IAC1C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,iHAAiH;AACjH,MAAM,UAAU,QAAQ,CAAC,MAAoB,EAAE,IAAY,EAAE,EAAU;IACrE,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,OAAO,GAAG,GAAG,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAE,CAAC;QAAE,GAAG,IAAI,CAAC,CAAC;IAChE,KAAK,MAAM,KAAK,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACnD,0EAA0E;QAC1E,IAAI,CAAC,GAAG,cAAc,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;QACtC,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,CAAE,CAAC,GAAG,GAAG,EAAE;YAAE,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,CAAE,CAAC,KAAK,IAAI,IAAI;YAAE,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAE,CAAC,GAAG,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,YAAY,CAAC,IAAY,EAAE,MAAoB,EAAE,IAAgB;IAC/E,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;IACpD,IAAI,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3E,IAAI,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC;IACnB,OAAO,GAAG,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAE,CAAC;QAAE,GAAG,IAAI,CAAC,CAAC;IAC/D,OAAO,GAAG,CAAC;AACb,CAAC;AAED,6CAA6C;AAC7C,SAAS,MAAM,CAAC,KAA4B,EAAE,EAAU;IACtD,OAAO,aAAa,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,KAAK,KAAK,EAAE,CAAC;AAChD,CAAC;AAED,kDAAkD;AAClD,SAAS,MAAM,CAAC,KAA4B,EAAE,KAAoC;IAChF,MAAM,CAAC,GAAG,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IAC3C,OAAO,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC;AAChD,CAAC;AAED,gDAAgD;AAChD,SAAS,aAAa,CAAC,KAA4B,EAAE,EAAU;IAC7D,OAAO,KAAK,CAAC,cAAc,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;AAC1C,CAAC;AAED,2HAA2H;AAC3H,SAAS,cAAc,CAAC,KAA4B,EAAE,EAAU;IAC9D,IAAI,EAAE,GAAG,CAAC,CAAC;IACX,IAAI,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC;IACtB,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC;QACf,MAAM,GAAG,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAI,KAAK,CAAC,GAAG,CAAE,CAAC,KAAK,GAAG,EAAE;YAAE,EAAE,GAAG,GAAG,GAAG,CAAC,CAAC;;YACpC,EAAE,GAAG,GAAG,CAAC;IAChB,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,0FAA0F","sourcesContent":["/**\n * Masking LikeC4 source, so a brace count can be trusted.\n *\n * Split from `likec4.ts` because it is the one half of the text-level view that\n * knows nothing about the model: it reads bytes and reports spans, and the\n * scanner above it turns those spans into declarations. `archive`'s splice\n * needs both, and needs them to agree — a mask that misses a literal makes\n * `matchBrace` close a block inside a string, and the merge writes into the\n * middle of somebody's description.\n *\n * `statementHead` and `statementEnd` are the readings of GRAMMAR here — where a\n * statement's head ends, and where a bodyless statement ends past it: questions\n * about tokens rather than declarations — and they sit beside the mask because\n * they read nothing but the bytes, the mask and the literal and URI lists;\n * which declaration the head is stays the scanner's to say.\n */\n/** A half-open `[start, end)` run of the source. */\nexport interface SourceSpan {\n  start: number;\n  end: number;\n}\n\nexport interface SourceLiteral extends SourceSpan {\n  value: string;\n}\n\n/**\n * A LikeC4 source with everything that is not code blanked out: string\n * interiors, URIs and comments become spaces, newlines survive, and the result\n * is exactly as long as the input — so structure (braces, arrows, `#tags`) can\n * be read with plain string operations at offsets that are valid in the original.\n *\n * A blank is not nothing, which is why the literals and the URIs are listed\n * beside it: both are TOKENS the grammar reads, and a reader that only sees the\n * spaces reads `description 'x'` as the word `description` alone. To the\n * grammar a comment is exactly the blank it becomes; the comments are listed\n * for the splice, which must never put a byte inside one, and cannot tell from\n * a blank line alone whether it is inside a block comment.\n */\nexport interface MaskedSource {\n  code: string;\n  literals: SourceLiteral[];\n  /** Every URI token (`uriEnd`), in document order. */\n  uris: SourceSpan[];\n  /** Every comment, `//` or `/* … *\\/`, in document order — an unclosed one runs to the end. */\n  comments: SourceSpan[];\n}\n\n/**\n * LikeC4's MARKDOWN string: `'''…'''` or `\"\"\"…\"\"\"`, closed by the first\n * matching triple and read with no escapes (the grammar's `MarkdownString` is\n * an until-token, not a quoted run). It is what a long `description` is\n * written in, and the reason it is its own state rather than three ordinary\n * quotes: read as `''` + `'…'` + `''`, the first apostrophe or odd quote in the\n * prose — \"it's\" — ended the literal, every brace after it was CODE, and the\n * rest of the document was read inside out. A map with one such description\n * above its model had no model block at all as far as the splice map could\n * tell, and archive refused a landscape LikeC4 parses cleanly.\n */\nconst MARKDOWN_QUOTES = [\"'''\", '\"\"\"'] as const;\n\n/**\n * Where a URI token starting at `at` ends, or -1 when none starts there.\n *\n * LikeC4 lexes `scheme://…` and a relative `./…`, `../…` or `/…` path as ONE\n * token running to the next whitespace — tried before the comment tokens can\n * see the `//` inside it, because the token starts at the scheme, not at the\n * slash. Read as code, `link https://…` opened a line comment at the `//`, and\n * that blanked whatever followed on the line: `x = kind 'X' { link\n * https://… }` lost its closing brace, and the scan found no model block in a\n * map LikeC4 parses. A URI's interior is never structure — a `{id}`, a `#anchor`,\n * an apostrophe are all part of the token — so it is blanked like a literal's.\n * It is recorded in `uris`, not among the literals, because it is no string —\n * no title is read from it — but it IS a token: blanked and recorded nowhere,\n * `link https://…` read as the bare word `link`, and `statementHead` ran that\n * on into the next line and swallowed the declaration written there.\n */\nfunction uriEnd(text: string, at: number): number {\n  if (at > 0 && /[\\w.-]/.test(text[at - 1]!)) return -1;\n  let j = at;\n  if (/\\w/.test(text[at]!)) {\n    while (j < text.length && /\\w/.test(text[j]!)) j += 1;\n    if (!text.startsWith(\"://\", j)) return -1;\n    j += 3;\n  } else {\n    while (j < at + 2 && text[j] === \".\") j += 1;\n    const after = text[j + 1];\n    // `//` and `/*` with no dot before them are the comment tokens, which win there.\n    if (text[j] !== \"/\" || after === undefined || after === \"/\" || /\\s/.test(after) || (j === at && after === \"*\")) return -1;\n  }\n  while (j < text.length && !/\\s/.test(text[j]!)) j += 1;\n  return j;\n}\n\nexport function maskSource(text: string): MaskedSource {\n  const out = text.split(\"\");\n  const literals: SourceLiteral[] = [];\n  const uris: SourceSpan[] = [];\n  const comments: SourceSpan[] = [];\n  type State = \"code\" | \"squote\" | \"dquote\" | \"markdown\" | \"lineComment\" | \"blockComment\";\n  let state: State = \"code\";\n  let litStart = -1;\n  let lit = \"\";\n  let fence = \"\";\n  for (let i = 0; i < text.length; i += 1) {\n    const ch = text[i]!;\n    const next = text[i + 1];\n    switch (state) {\n      case \"code\": {\n        const uri = uriEnd(text, i);\n        if (uri !== -1) {\n          uris.push({ start: i, end: uri });\n          for (; i < uri; i += 1) out[i] = \" \";\n          i -= 1;\n          break;\n        }\n        fence = MARKDOWN_QUOTES.find((q) => text.startsWith(q, i)) ?? \"\";\n        if (fence !== \"\") {\n          state = \"markdown\";\n          litStart = i;\n          lit = \"\";\n          out[i] = out[i + 1] = out[i + 2] = \" \";\n          i += 2;\n        } else if (ch === \"'\" || ch === '\"') {\n          state = ch === \"'\" ? \"squote\" : \"dquote\";\n          litStart = i;\n          lit = \"\";\n          out[i] = \" \";\n        } else if (ch === \"/\" && (next === \"/\" || next === \"*\")) {\n          state = next === \"/\" ? \"lineComment\" : \"blockComment\";\n          litStart = i;\n          out[i] = \" \";\n        }\n        break;\n      }\n      case \"squote\":\n      case \"dquote\":\n        if (ch === \"\\\\\" && i + 1 < text.length) {\n          lit += text[i + 1]!;\n          out[i] = \" \";\n          out[i + 1] = \" \";\n          i += 1;\n        } else if (ch === (state === \"squote\" ? \"'\" : '\"')) {\n          literals.push({ start: litStart, end: i + 1, value: lit });\n          state = \"code\";\n          out[i] = \" \";\n        } else {\n          lit += ch;\n          if (ch !== \"\\n\") out[i] = \" \";\n        }\n        break;\n      case \"markdown\":\n        if (text.startsWith(fence, i)) {\n          literals.push({ start: litStart, end: i + 3, value: lit });\n          state = \"code\";\n          out[i] = out[i + 1] = out[i + 2] = \" \";\n          i += 2;\n        } else {\n          lit += ch;\n          if (ch !== \"\\n\") out[i] = \" \";\n        }\n        break;\n      case \"lineComment\":\n        // LikeC4's line comment is `//[^\\n\\r]*`: a bare `\\r` ends it. Masked to\n        // the `\\n`, `a -> b // why` with a bare `\\r` before the next edge hid\n        // that edge — `validate --all --base` never graded its op, and archive\n        // refused the map on a relationship count.\n        if (ch === \"\\n\" || ch === \"\\r\") {\n          comments.push({ start: litStart, end: i });\n          state = \"code\";\n        } else out[i] = \" \";\n        break;\n      case \"blockComment\":\n        if (ch === \"*\" && next === \"/\") {\n          comments.push({ start: litStart, end: i + 2 });\n          state = \"code\";\n          out[i] = \" \";\n          out[i + 1] = \" \";\n          i += 1;\n        } else if (ch !== \"\\n\") {\n          out[i] = \" \";\n        }\n        break;\n    }\n  }\n  if (state === \"lineComment\" || state === \"blockComment\") comments.push({ start: litStart, end: text.length });\n  return { code: out.join(\"\"), literals, uris, comments };\n}\n\n/** Index of the `}` matching the `{` at `open`, over MASKED code; -1 when unbalanced. */\nexport function matchBrace(code: string, open: number): number {\n  let depth = 0;\n  for (let i = open; i < code.length; i += 1) {\n    if (code[i] === \"{\") depth += 1;\n    else if (code[i] === \"}\") {\n      depth -= 1;\n      if (depth === 0) return i;\n    }\n  }\n  return -1;\n}\n\n/**\n * Every TOP-LEVEL block in MASKED code whose opening `re` matches — `re` is\n * global and its match ends at the block's `{` — with the block's body, read\n * to end of file when the brace never closes. Only depth zero counts: a block\n * nested inside another is not a declaration LikeC4 would honour. Depth is a\n * plain count, because the mask has already blanked every brace inside a\n * string or a comment — the one thing that would make counting lie — and it\n * is tracked in one forward pass rather than recounted per match.\n */\nexport function* topLevelBlocks(code: string, re: RegExp): Generator<{ match: RegExpExecArray; body: string }> {\n  let depth = 0;\n  let cursor = 0;\n  for (const match of code.matchAll(re)) {\n    for (; cursor < match.index; cursor += 1) {\n      if (code[cursor] === \"{\") depth += 1;\n      else if (code[cursor] === \"}\") depth -= 1;\n    }\n    if (depth !== 0) continue;\n    const open = match.index + match[0].length - 1;\n    const close = matchBrace(code, open);\n    yield { match, body: code.slice(open + 1, close === -1 ? code.length : close) };\n  }\n}\n\n/** A statement's head in MASKED code: where it ends, and the `{` opening its body (-1 when it has none). */\nexport interface StatementHead {\n  end: number;\n  opener: number;\n}\n\n/**\n * The head of the statement starting at `from`, inside a block that closes at\n * `close`: up to its own `{`, the enclosing block's `}`, or the end of its\n * line — unless LikeC4 reads on.\n *\n * It does read on, because its newlines are HIDDEN tokens (`NL` in the\n * grammar): a declaration may be split across lines anywhere a space could\n * go. A line-bounded head made each split form either invisible — so archive\n * refused a valid map — or, worse, MISREAD: `name = kind 'title'` with its `{`\n * on the next line read as a bodyless element, and a neighbour spliced in after\n * that line took the body for its own, a re-parse that passes over a merge\n * that moved another element's description and children (probed 2026-10-20).\n * The next line continues the statement when its first token can only belong\n * to it:\n *\n *  - a `{` — a body opens nothing else;\n *  - a string — no LikeC4 statement starts with one, so it is this one's\n *    title, description or technology;\n *  - a `#tag` — a relationship's tags may follow it on the next line, and an\n *    element's tags live inside its body, never after its head;\n *  - anything at all, when the head so far cannot end a statement: it ends in\n *    `=` or `->`, or it is one bare name (`entityService` above `= kind`, a\n *    kind above the name it declares, `link` above its URI).\n *\n * A line starting `->` after a COMPLETE head is a statement of its own — the\n * sourceless edge from the enclosing element — which is why an arrow at the\n * start of a line continues only a bare name.\n *\n * \"Bare\" is read off the tokens, not the blanks: `link https://…` and\n * `description 'x'` are masked to one word each, and both are complete\n * properties. Read as bare names they ran on into the next line, and whatever\n * was declared there — a child, the parent's sourceless edge — was read into\n * the property and lost (2e490dd blanked the URI and recorded nothing).\n *\n * A line ends at a carriage return as well as a line feed: LikeC4's `NL` is\n * `[\\r\\n]+`, so a bare `\\r` is a line break to it. Ended at `\\n` alone, the\n * head of `link https://…`, `description 'x'` or `technology 'TS'` ran on over\n * a bare `\\r` into the parent's sourceless edge, which was read as an edge\n * FROM `link` (`description`, `technology`): the counts still agreed, nothing\n * refused, and `validate --all --base` graded the branch's misspelt op nowhere\n * (probed on main at 171555d). A CRLF line ends at its `\\r` now rather than\n * its `\\n`, which nothing reads differently — `nextToken` steps over both.\n */\nexport function statementHead(masked: MaskedSource, from: number, close: number): StatementHead {\n  const { code } = masked;\n  let j = from;\n  for (;;) {\n    while (j < close && code[j] !== \"\\n\" && code[j] !== \"\\r\" && code[j] !== \"{\" && code[j] !== \"}\") j += 1;\n    if (j >= close) return { end: close, opener: -1 };\n    if (code[j] === \"{\") return { end: j, opener: j };\n    if (code[j] === \"}\") return { end: j, opener: -1 };\n    const next = nextToken(masked, j, close);\n    if (next === -1 || !readsOn(masked, { from, end: j }, next)) return { end: j, opener: -1 };\n    j = next;\n  }\n}\n\n/**\n * The first token after `at`: a literal's or a URI's start, or a non-blank\n * character of code; -1 at the block's close. A URI is masked blank, so\n * without its span `link` above its URI looked past the URI to the line after\n * — and ran on into it.\n */\nfunction nextToken(masked: MaskedSource, at: number, close: number): number {\n  for (let k = at; k < close; k += 1) {\n    if (spanAt(masked.literals, k) || spanAt(masked.uris, k) || !/\\s/.test(masked.code[k]!)) return k;\n  }\n  return -1;\n}\n\n/** Whether the token at `next` belongs to the statement whose head so far spans `[from, end)`. */\nfunction readsOn(masked: MaskedSource, head: { from: number; end: number }, next: number): boolean {\n  const { code, literals, uris } = masked;\n  if (spanAt(literals, next)) return true;\n  if (code[next] === \"{\" || code[next] === \"#\") return true;\n  if (code[next] === \"}\") return false;\n  const sofar = code.slice(head.from, head.end).trim();\n  if (/(?:=|->)$/.test(sofar)) return true;\n  // Masked, `description 'x'` reads as the one word `description` and\n  // `link https://…` as the one word `link`: a head holding a literal or a URI\n  // is never a bare name.\n  return !spanIn(literals, head) && !spanIn(uris, head) && /^[A-Za-z_][\\w.-]*$/.test(sofar);\n}\n\n/**\n * Source text from a point in CODE, past its leading blanks and every block\n * comment that closes within it: what is left starts with code, with a line\n * comment, with a block comment the text does not close — or is empty. Read\n * off the raw text, because the mask blanks a comment exactly like a string's\n * interior, and the splice must tell the two apart: a comment trailing a\n * statement is room to splice past, a string is not.\n */\nexport function pastComments(text: string): string {\n  let rest = text.trimStart();\n  while (rest.startsWith(\"/*\")) {\n    const shut = rest.indexOf(\"*/\", 2);\n    if (shut === -1) break;\n    rest = rest.slice(shut + 2).trimStart();\n  }\n  return rest;\n}\n\n/** One past the last token in `[from, to)` — a code character, a literal or a URI; `from` when it holds none. */\nexport function tokenEnd(masked: MaskedSource, from: number, to: number): number {\n  let end = to;\n  while (end > from && /\\s/.test(masked.code[end - 1]!)) end -= 1;\n  for (const spans of [masked.literals, masked.uris]) {\n    // The last span ending by `to`: the lists are in order and never overlap.\n    let k = firstSpanIndex(spans, to) - 1;\n    while (k >= 0 && spans[k]!.end > to) k -= 1;\n    if (k >= 0 && spans[k]!.start >= from) end = Math.max(end, spans[k]!.end);\n  }\n  return end;\n}\n\n/**\n * Where a bodyless statement whose head spans `head` ends: past its last token\n * and whatever trails that on its line — a `// comment`, a closed `/* … *\\/` —\n * which is its own authored text and rides with it when the archive carries it.\n *\n * A block comment it OPENS there and closes on a later line is the exception,\n * and it ends before that one. Ended inside it, the statement handed its\n * readers a point inside a comment: placement spliced the next addition on\n * the following line, still in the comment, and a bodyless parent gained its\n * `{` there — the addition was commented out of a merge that parsed, written\n * at exit 0 (probed on main at 171555d).\n */\nexport function statementEnd(text: string, masked: MaskedSource, head: SourceSpan): number {\n  const last = tokenEnd(masked, head.start, head.end);\n  if (pastComments(text.slice(last, head.end)).startsWith(\"/*\")) return last;\n  let end = head.end;\n  while (end > head.start && /\\s/.test(text[end - 1]!)) end -= 1;\n  return end;\n}\n\n/** Whether a span starts exactly at `at`. */\nfunction spanAt(spans: readonly SourceSpan[], at: number): boolean {\n  return firstSpanFrom(spans, at)?.start === at;\n}\n\n/** Whether a span starts inside `[from, end)`. */\nfunction spanIn(spans: readonly SourceSpan[], range: { from: number; end: number }): boolean {\n  const s = firstSpanFrom(spans, range.from);\n  return s !== undefined && s.start < range.end;\n}\n\n/** The first span starting at or after `at`. */\nfunction firstSpanFrom(spans: readonly SourceSpan[], at: number): SourceSpan | undefined {\n  return spans[firstSpanIndex(spans, at)];\n}\n\n/** The index of the first span starting at or after `at` — `maskSource` records each list in order, so a binary search. */\nfunction firstSpanIndex(spans: readonly SourceSpan[], at: number): number {\n  let lo = 0;\n  let hi = spans.length;\n  while (lo < hi) {\n    const mid = (lo + hi) >> 1;\n    if (spans[mid]!.start < at) lo = mid + 1;\n    else hi = mid;\n  }\n  return lo;\n}\n\n/** An element declaration located in source, under the id the computed model gives it. */\n"]}