@ybotok/loam 0.2.0-alpha.7 → 0.2.0-alpha.9

package/dist/core/c4/service-model/shape.js.map

@@ -1 +1 @@
-{"version":3,"file":"shape.js","sourceRoot":"","sources":["../../../../src/core/c4/service-model/shape.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,OAAO,EAAE,MAAM,6BAA6B,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAI3D;;;;;;GAMG;AACH,MAAM,YAAY,GAAG,6BAA6B,CAAC;AAEnD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,MAAM,EAAE,IAAI,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAClC,2EAA2E;IAC3E,0EAA0E;IAC1E,8EAA8E;IAC9E,mBAAmB;IACnB,MAAM,aAAa,GAAG,uBAAuB,CAAC;IAC9C,KAAK,IAAI,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC5F,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;QAC/C,IAAI,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC;YAAE,SAAS;QACnD,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACrC,MAAM,IAAI,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;QAC/E,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,YAAY,CAAC;IACnD,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,IAAY;IAC/C,OAAO,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,EAAE,GAAe,EAAE,CAAC,YAAY,CAAC,CAAC;AACjF,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,KAAwB;IAC5D,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,cAAc,CAAC,IAAI,CAAC,CAAU,CAAC,CAAC;IAC3G,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;AAC1B,CAAC;AAED;;;;GAIG;AACH,SAAS,WAAW,CAAC,IAAY,EAAE,KAAa;IAC9C,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAClC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG;YAAE,KAAK,IAAI,CAAC,CAAC;aAC3B,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG;YAAE,KAAK,IAAI,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC","sourcesContent":["/**\n * Which of the two shapes a `model.likec4` has, decided by a byte scan of the\n * file itself.\n *\n * A STANDALONE model declares at least one `element <kind>` inside a top-level\n * `specification { }` block. It is parsed ALONE, exactly as every model was\n * before this axis: it may re-declare the partners it talks to, and it renders\n * only as a project of its own. An EXTENDING model declares no element kind —\n * it takes the map's — and says what is inside the service with\n * `extend <fqn> { … }`; it is parsed INSIDE the fleet's `architecture/`\n * project, beside the map that declares those kinds.\n *\n * THE FILE'S OWN GRAMMAR DECIDES, never a config key, and that is the whole\n * design of this module. A flag in `loam.json` would be a second authority on a\n * fact the document already states, free to disagree with it — and the\n * disagreement is not a warning but a parse: a model read the wrong way is\n * either eleven `c4.invalid` errors (an extending model parsed alone: measured,\n * deleting a model's `specification` under the old loader) or a pile of\n * duplicate-declaration errors blamed on BOTH files (a standalone model staged\n * beside the landscape). Nothing about a model has to be migrated for loam to\n * read it correctly; the bytes say which it is.\n *\n * Every other answer is `extending`, and each of those is legal on purpose: a\n * tags-only `specification { tag req-X }` (measured legal inside one project,\n * and it lands the tag in the project's specification), a bare `model {}`, an\n * empty file, a file that is only `views { }`. The conservative direction is\n * therefore towards `extending` — which is why an unreadable file is NOT\n * classified here at all (see `FleetContext.serviceModel`): absence is a\n * question for the reader that establishes the file exists, not for a scanner\n * looking at bytes it does not have.\n */\nimport { readFile } from \"node:fs/promises\";\nimport { resolve } from \"node:path\";\nimport { inOrder } from \"../../kernel/concurrency.js\";\nimport { maskSource, matchBrace } from \"../source-mask.js\";\n\nexport type ModelShape = \"standalone\" | \"extending\";\n\n/**\n * A kind declaration inside a specification block — `element service`,\n * `element softwareSystem`. Deliberately only `element`: `tag`,\n * `relationship`, `deploymentNode` and `color` declare no ELEMENT kind, and a\n * model whose specification holds only those still takes every element kind it\n * uses from the map, which is exactly what makes it extending.\n */\nconst ELEMENT_KIND = /\\belement\\s+[A-Za-z_][\\w-]*/;\n\n/**\n * The shape of a model, from its source text.\n *\n * The scan runs over MASKED source (`../source-mask.ts`), so a comment or a\n * string containing `specification { element x }` counts for nothing — and that\n * is not a hypothetical: the brief loam writes for an adopted service explains\n * the other shape in a comment, so an authored model can easily carry those\n * exact words in prose. Reading them as a declaration would flip a whole\n * service to the wrong loader.\n *\n * Only TOP-LEVEL blocks are considered — depth zero in the masked source — for\n * the same reason: `specification` nested inside another block is not a\n * declaration LikeC4 would honour, so loam must not honour it either.\n *\n * An unbalanced block (no closing brace) is read to end of file and still\n * answers `standalone` when it declares a kind. That file does not parse at\n * all, and both loaders will say so; answering `standalone` sends the reader to\n * the one whose errors name only this file, which is the honest half of a\n * broken document.\n */\nexport function modelShape(text: string): ModelShape {\n  const { code } = maskSource(text);\n  // Built per call rather than hoisted to module scope: a `/g` regex carries\n  // `lastIndex`, which is mutable state a second caller would inherit — the\n  // module-level-state hazard AGENTS.md names, arriving through a constant that\n  // looks immutable.\n  const specification = /\\bspecification\\s*\\{/g;\n  for (let match = specification.exec(code); match !== null; match = specification.exec(code)) {\n    const open = match.index + match[0].length - 1;\n    if (depthBefore(code, match.index) !== 0) continue;\n    const close = matchBrace(code, open);\n    const body = close === -1 ? code.slice(open + 1) : code.slice(open + 1, close);\n    if (ELEMENT_KIND.test(body)) return \"standalone\";\n  }\n  return \"extending\";\n}\n\n/**\n * One model's shape, from its bytes — the shape of a file that cannot be read\n * is `standalone`.\n *\n * That is the conservative arm rather than a guess. The standalone path hands\n * the model to the per-file loader, so a caller asking about a file that is not\n * there (or is not readable) gets today's exact error — `c4.invalid`, naming\n * that file — instead of a slice of the fleet map, which is what the extending\n * path would answer about a document nobody could open.\n */\nexport async function readModelShape(path: string): Promise<ModelShape> {\n  return readFile(path, \"utf8\").then(modelShape, (): ModelShape => \"standalone\");\n}\n\n/**\n * Many models' shapes at once, keyed by RESOLVED path.\n *\n * The fleet needs this list before it can do anything else: which models are\n * batched as projects and which as documents, which directories are owed a\n * per-service `likec4.config.json` and which must not have one. Every one of\n * those questions is asked over the FULL service enumeration rather than over\n * whatever subset a run is grading, so the read is a bulk one through the\n * shared pool — a fleet of 56 models is 56 small reads, and the pool is what\n * keeps them from being 56 sequential round-trips on a network-mounted docs\n * repo.\n */\nexport async function readModelShapes(paths: readonly string[]): Promise<Map<string, ModelShape>> {\n  const entries = await inOrder(paths, async (path) => [resolve(path), await readModelShape(path)] as const);\n  return new Map(entries);\n}\n\n/**\n * How many blocks are open at `index` in masked code. A plain count, because\n * the mask has already blanked every brace inside a string or a comment — the\n * one thing that would make counting lie.\n */\nfunction depthBefore(code: string, index: number): number {\n  let depth = 0;\n  for (let i = 0; i < index; i += 1) {\n    if (code[i] === \"{\") depth += 1;\n    else if (code[i] === \"}\") depth -= 1;\n  }\n  return depth;\n}\n"]}
+{"version":3,"file":"shape.js","sourceRoot":"","sources":["../../../../src/core/c4/service-model/shape.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,OAAO,EAAE,MAAM,6BAA6B,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAI/D;;;;;;GAMG;AACH,MAAM,YAAY,GAAG,6BAA6B,CAAC;AAEnD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,MAAM,EAAE,IAAI,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAClC,2EAA2E;IAC3E,0EAA0E;IAC1E,8EAA8E;IAC9E,mBAAmB;IACnB,MAAM,aAAa,GAAG,uBAAuB,CAAC;IAC9C,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,cAAc,CAAC,IAAI,EAAE,aAAa,CAAC,EAAE,CAAC;QAC3D,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,YAAY,CAAC;IACnD,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAAC,IAAY;IAC/C,OAAO,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,EAAE,GAAe,EAAE,CAAC,YAAY,CAAC,CAAC;AACjF,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CAAC,KAAwB;IAC5D,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,MAAM,cAAc,CAAC,IAAI,CAAC,CAAU,CAAC,CAAC;IAC3G,OAAO,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC;AAC1B,CAAC","sourcesContent":["/**\n * Which of the two shapes a `model.likec4` has, decided by a byte scan of the\n * file itself.\n *\n * A STANDALONE model declares at least one `element <kind>` inside a top-level\n * `specification { }` block. It is parsed ALONE, exactly as every model was\n * before this axis: it may re-declare the partners it talks to, and it renders\n * only as a project of its own. An EXTENDING model declares no element kind —\n * it takes the map's — and says what is inside the service with\n * `extend <fqn> { … }`; it is parsed INSIDE the fleet's `architecture/`\n * project, beside the map that declares those kinds.\n *\n * THE FILE'S OWN GRAMMAR DECIDES, never a config key, and that is the whole\n * design of this module. A flag in `loam.json` would be a second authority on a\n * fact the document already states, free to disagree with it — and the\n * disagreement is not a warning but a parse: a model read the wrong way is\n * either eleven `c4.invalid` errors (an extending model parsed alone: measured,\n * deleting a model's `specification` under the old loader) or a pile of\n * duplicate-declaration errors blamed on BOTH files (a standalone model staged\n * beside the landscape). Nothing about a model has to be migrated for loam to\n * read it correctly; the bytes say which it is.\n *\n * Every other answer is `extending`, and each of those is legal on purpose: a\n * tags-only `specification { tag req-X }` (measured legal inside one project,\n * and it lands the tag in the project's specification), a bare `model {}`, an\n * empty file, a file that is only `views { }`. The conservative direction is\n * therefore towards `extending` — which is why an unreadable file is NOT\n * classified here at all (see `FleetContext.serviceModel`): absence is a\n * question for the reader that establishes the file exists, not for a scanner\n * looking at bytes it does not have.\n */\nimport { readFile } from \"node:fs/promises\";\nimport { resolve } from \"node:path\";\nimport { inOrder } from \"../../kernel/concurrency.js\";\nimport { maskSource, topLevelBlocks } from \"../source-mask.js\";\n\nexport type ModelShape = \"standalone\" | \"extending\";\n\n/**\n * A kind declaration inside a specification block — `element service`,\n * `element softwareSystem`. Deliberately only `element`: `tag`,\n * `relationship`, `deploymentNode` and `color` declare no ELEMENT kind, and a\n * model whose specification holds only those still takes every element kind it\n * uses from the map, which is exactly what makes it extending.\n */\nconst ELEMENT_KIND = /\\belement\\s+[A-Za-z_][\\w-]*/;\n\n/**\n * The shape of a model, from its source text.\n *\n * The scan runs over MASKED source (`../source-mask.ts`), so a comment or a\n * string containing `specification { element x }` counts for nothing — and that\n * is not a hypothetical: the brief loam writes for an adopted service explains\n * the other shape in a comment, so an authored model can easily carry those\n * exact words in prose. Reading them as a declaration would flip a whole\n * service to the wrong loader.\n *\n * Only TOP-LEVEL blocks are considered — depth zero in the masked source — for\n * the same reason: `specification` nested inside another block is not a\n * declaration LikeC4 would honour, so loam must not honour it either.\n *\n * An unbalanced block (no closing brace) is read to end of file and still\n * answers `standalone` when it declares a kind. That file does not parse at\n * all, and both loaders will say so; answering `standalone` sends the reader to\n * the one whose errors name only this file, which is the honest half of a\n * broken document.\n */\nexport function modelShape(text: string): ModelShape {\n  const { code } = maskSource(text);\n  // Built per call rather than hoisted to module scope: a `/g` regex carries\n  // `lastIndex`, which is mutable state a second caller would inherit — the\n  // module-level-state hazard AGENTS.md names, arriving through a constant that\n  // looks immutable.\n  const specification = /\\bspecification\\s*\\{/g;\n  for (const { body } of topLevelBlocks(code, specification)) {\n    if (ELEMENT_KIND.test(body)) return \"standalone\";\n  }\n  return \"extending\";\n}\n\n/**\n * One model's shape, from its bytes — the shape of a file that cannot be read\n * is `standalone`.\n *\n * That is the conservative arm rather than a guess. The standalone path hands\n * the model to the per-file loader, so a caller asking about a file that is not\n * there (or is not readable) gets today's exact error — `c4.invalid`, naming\n * that file — instead of a slice of the fleet map, which is what the extending\n * path would answer about a document nobody could open.\n */\nexport async function readModelShape(path: string): Promise<ModelShape> {\n  return readFile(path, \"utf8\").then(modelShape, (): ModelShape => \"standalone\");\n}\n\n/**\n * Many models' shapes at once, keyed by RESOLVED path.\n *\n * The fleet needs this list before it can do anything else: which models are\n * batched as projects and which as documents, which directories are owed a\n * per-service `likec4.config.json` and which must not have one. Every one of\n * those questions is asked over the FULL service enumeration rather than over\n * whatever subset a run is grading, so the read is a bulk one through the\n * shared pool — a fleet of 56 models is 56 small reads, and the pool is what\n * keeps them from being 56 sequential round-trips on a network-mounted docs\n * repo.\n */\nexport async function readModelShapes(paths: readonly string[]): Promise<Map<string, ModelShape>> {\n  const entries = await inOrder(paths, async (path) => [resolve(path), await readModelShape(path)] as const);\n  return new Map(entries);\n}\n"]}

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

@@ -1,15 +1,84 @@
+/**
+ * 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 = [];
     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":
-                if (ch === "'" || ch === '"') {
+            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 = "";
@@ -24,6 +93,7 @@ export function maskSource(text) {
                     out[i] = " ";
                 }
                 break;
+            }
             case "squote":
             case "dquote":
                 if (ch === "\\" && i + 1 < text.length) {
@@ -43,8 +113,25 @@ export function maskSource(text) {
                         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":
-                if (ch === "\n")
+                // 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")
                     state = "code";
                 else
                     out[i] = " ";
@@ -62,7 +149,7 @@ export function maskSource(text) {
                 break;
         }
     }
-    return { code: out.join(""), literals };
+    return { code: out.join(""), literals, uris };
 }
 /** Index of the `}` matching the `{` at `open`, over MASKED code; -1 when unbalanced. */
 export function matchBrace(code, open) {
@@ -78,5 +165,202 @@ export function matchBrace(code, open) {
     }
     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

@@ -1 +1 @@
-{"version":3,"file":"source-mask.js","sourceRoot":"","sources":["../../../src/core/c4/source-mask.ts"],"names":[],"mappings":"AA2BA,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC3B,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,IAAI,KAAK,GAAU,MAAM,CAAC;IAC1B,IAAI,QAAQ,GAAG,CAAC,CAAC,CAAC;IAClB,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,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;gBACT,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;oBAC7B,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,IAAI,KAAK,GAAG,EAAE,CAAC;oBACtC,KAAK,GAAG,aAAa,CAAC;oBACtB,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;gBACf,CAAC;qBAAM,IAAI,EAAE,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;oBACtC,KAAK,GAAG,cAAc,CAAC;oBACvB,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;gBACf,CAAC;gBACD,MAAM;YACR,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,aAAa;gBAChB,IAAI,EAAE,KAAK,IAAI;oBAAE,KAAK,GAAG,MAAM,CAAC;;oBAC3B,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;gBAClB,MAAM;YACR,KAAK,cAAc;gBACjB,IAAI,EAAE,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;oBAC/B,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,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC;AAC1C,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,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 */\nexport interface SourceLiteral {\n  start: number;\n  end: number;\n  value: string;\n}\n\n/**\n * A LikeC4 source with everything that is not code blanked out: string\n * interiors and comments become spaces, newlines survive, and the result is\n * exactly as long as the input — so structure (braces, arrows, `#tags`) can be\n * read with plain string operations at offsets that are valid in the original.\n */\nexport interface MaskedSource {\n  code: string;\n  literals: SourceLiteral[];\n}\n\nexport function maskSource(text: string): MaskedSource {\n  const out = text.split(\"\");\n  const literals: SourceLiteral[] = [];\n  type State = \"code\" | \"squote\" | \"dquote\" | \"lineComment\" | \"blockComment\";\n  let state: State = \"code\";\n  let litStart = -1;\n  let lit = \"\";\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        if (ch === \"'\" || ch === '\"') {\n          state = ch === \"'\" ? \"squote\" : \"dquote\";\n          litStart = i;\n          lit = \"\";\n          out[i] = \" \";\n        } else if (ch === \"/\" && next === \"/\") {\n          state = \"lineComment\";\n          out[i] = \" \";\n        } else if (ch === \"/\" && next === \"*\") {\n          state = \"blockComment\";\n          out[i] = \" \";\n        }\n        break;\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 \"lineComment\":\n        if (ch === \"\\n\") state = \"code\";\n        else out[i] = \" \";\n        break;\n      case \"blockComment\":\n        if (ch === \"*\" && next === \"/\") {\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  return { code: out.join(\"\"), literals };\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/** An element declaration located in source, under the id the computed model gives it. */\n"]}
+{"version":3,"file":"source-mask.js","sourceRoot":"","sources":["../../../src/core/c4/source-mask.ts"],"names":[],"mappings":"AA4CA;;;;;;;;;;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;IAE9B,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,IAAI,KAAK,GAAG,EAAE,CAAC;oBACtC,KAAK,GAAG,aAAa,CAAC;oBACtB,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;gBACf,CAAC;qBAAM,IAAI,EAAE,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;oBACtC,KAAK,GAAG,cAAc,CAAC;oBACvB,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;oBAAE,KAAK,GAAG,MAAM,CAAC;;oBAC1C,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;gBAClB,MAAM;YACR,KAAK,cAAc;gBACjB,IAAI,EAAE,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;oBAC/B,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,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AAChD,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. Comments are\n * listed nowhere, because to the grammar they are exactly the blank they become.\n */\nexport interface MaskedSource {\n  code: string;\n  literals: SourceLiteral[];\n  /** Every URI token (`uriEnd`), in document order. */\n  uris: 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  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 === \"/\") {\n          state = \"lineComment\";\n          out[i] = \" \";\n        } else if (ch === \"/\" && next === \"*\") {\n          state = \"blockComment\";\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\") state = \"code\";\n        else out[i] = \" \";\n        break;\n      case \"blockComment\":\n        if (ch === \"*\" && next === \"/\") {\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  return { code: out.join(\"\"), literals, uris };\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"]}