@descent-vtt/spec-guard 0.5.1 → 0.7.0

package/dist/parser.js

@@ -14,7 +14,7 @@
  *     error rather than silently skipped - a typo must never turn into a
  *     silently-passing invariant.
  */
-import { lineStarts, locate } from './text.js';
+import { lineStarts, locate, maskRanges } from './text.js';
 /** Every directive spec-guard understands. */
 export const KINDS = new Set([
     'assert-absence',
@@ -22,6 +22,8 @@ export const KINDS = new Set([
     'assert-present',
     'assert-import-absence',
     'assert-import-count',
+    'assert-import-cycle',
+    'assert-layers',
 ]);
 /**
  * Which attributes each directive accepts.
@@ -87,7 +89,208 @@ export const ALLOWED_ATTRIBUTES = {
         'allow-empty',
         'reason',
     ]),
+    // No baseline: a baseline lists files, and a cycle is not a file. Exempting
+    // the files of today's cycle would exempt a new one among the same files.
+    'assert-import-cycle': new Set(['target', 'exclude', 'types', 'expected', 'max', 'allow-empty', 'reason']),
+    'assert-layers': new Set([
+        'target',
+        'order',
+        'exclude',
+        'types',
+        'expected',
+        'max',
+        'allow-empty',
+        'baseline',
+        'ratchet',
+        'reason',
+    ]),
 };
+/* --------------------------------------------------------------- the status */
+/**
+ * Status words that withhold a document's directives from execution.
+ *
+ * The words that mean "not in force" in Nygard's ADR template and in MADR's
+ * between them, plus `draft`, which is the one people actually type. The list
+ * is closed and short on purpose: every word added to it is another way for a
+ * document to go dark, and a rule that stops being enforced without anyone
+ * deciding so is the failure this tool exists to prevent. Anything else - an
+ * unrecognised word, a misspelling, no status at all - stays in force. See
+ * ADR-0010.
+ */
+export const INACTIVE_STATUSES = new Set([
+    'draft',
+    'proposed',
+    'rejected',
+    'deprecated',
+    'superseded',
+]);
+/** `---\n...\n---` at the very top of the file, and nowhere else. */
+const FRONTMATTER_RE = /^---[ \t]*\r?\n([\s\S]*?)\r?\n---[ \t]*(?:\r?\n|$)/;
+/**
+ * The three ways the key is spelled: `**Status**:`, `**Status:**`, `Status:`.
+ *
+ * Written as alternatives rather than as optional emphasis on either side of
+ * the colon, which is what it used to be - and an optional `**` after the colon
+ * cannot tell the key's closing marker from the value's opening one, so
+ * `Status: **Draft**` reached the report as "Draft**". Here emphasis after the
+ * colon is only consumed when it closes emphasis that opened the key. The
+ * colon itself is mandatory, which keeps "Status reports are..." from being
+ * read as metadata. Leading whitespace in the value is left to `toStatus`,
+ * which trims it anyway.
+ */
+const STATUS_LABEL_RE = /^[ \t]{0,3}(?:(\*\*|__)status(?:\1[ \t]*:|[ \t]*:\1)|status[ \t]*:)(.*)/i;
+/**
+ * The value a YAML scalar holds: a quoted one up to its closing quote, a plain
+ * one up to a comment.
+ *
+ * Not a YAML parser, and it does not need to be one - it reads one line. But
+ * it has to read that line the way YAML does. MADR's own template quotes the
+ * status, and a quote left in leaves no first word to read; a trailing
+ * `# decided at review` left in is part of the label; and a regex anchored at
+ * both ends of a quoted value read `"proposed" # a comment` as no status at
+ * all, which keeps a withdrawn proposal in force.
+ */
+function yamlScalar(raw) {
+    const text = raw.trim();
+    const quoted = /^(["'])(.*?)\1/.exec(text);
+    return quoted ? quoted[2] : text.replace(/\s#.*/, '');
+}
+/** An ATX heading whose entire text is "Status". */
+const STATUS_HEADING_RE = /^[ \t]{0,3}#{1,6}[ \t]+status[ \t]*#*[ \t]*$/i;
+/** Any ATX heading of level 2 or deeper - where a document's preamble ends. */
+const SECTION_HEADING_RE = /^[ \t]{0,3}#{2,6}[ \t]/;
+/**
+ * Turns a status line into a status, or into nothing.
+ *
+ * The value is the first run of letters, so "Accepted (0.3.0)." and
+ * "Superseded by ADR-0007" normalise to one word while the line as written
+ * survives for the report - a reader shown "superseded" learns much less than
+ * one shown what it was superseded by.
+ */
+function toStatus(raw, source) {
+    const trimmed = raw.trim();
+    // The word is read through any leading emphasis, so `**Superseded** by
+    // ADR-0007` is superseded rather than nothing at all - which is what a rule
+    // that required the markers to balance made of it.
+    const word = /^[*_]*([a-zA-Z]+)/.exec(trimmed);
+    if (!word)
+        return undefined;
+    // The label loses emphasis only when it wraps the whole line. `**Draft**` is
+    // a status written in bold and reads better without the markers; "Superseded
+    // by *ADR-0007*" is a sentence with emphasis inside it, and taking one marker
+    // off each end would put a half-mangled line in the report.
+    const label = trimmed.replace(/^(\*{1,2}|_{1,2})(.*)\1$/, '$2');
+    const value = word[1].toLowerCase();
+    return { value, label, source, active: !INACTIVE_STATUSES.has(value) };
+}
+/**
+ * Lines, whichever way the file ends them.
+ *
+ * Splitting on "\n" alone leaves a carriage return on every line of a CRLF
+ * document, and a trailing "\r" defeats every `$` below - so a Windows-checkout
+ * ADR declared no status at all, silently, which is the one failure mode this
+ * feature must not have. Found by running the parser over this repository's own
+ * ADR-0003, which happened to be CRLF on disk.
+ */
+function toLines(masked) {
+    return masked.split(/\r?\n/);
+}
+function fromFrontmatter(masked) {
+    const block = FRONTMATTER_RE.exec(masked);
+    if (!block)
+        return undefined;
+    for (const line of toLines(block[1])) {
+        const found = STATUS_LABEL_RE.exec(line);
+        // Read as YAML here and nowhere else: quotes and `#` are syntax in
+        // front-matter and characters in a sentence.
+        if (found)
+            return toStatus(yamlScalar(found[2]), 'frontmatter');
+    }
+    return undefined;
+}
+/**
+ * A `## Status` section, whose value is the first line of prose under it.
+ *
+ * A section with nothing but the next heading under it declares no status.
+ * There is no guard for that here: every ATX heading begins with `#`, and a
+ * value that does not begin with a letter is already no status at all. The
+ * guard this used to carry could not decide anything, which is a different
+ * thing from a guard that is merely never hit.
+ */
+function fromHeading(lines) {
+    const start = lines.findIndex((line) => STATUS_HEADING_RE.test(line));
+    if (start === -1)
+        return undefined;
+    for (let index = start + 1; index < lines.length; index++) {
+        const candidate = lines[index].trim();
+        if (candidate.length === 0)
+            continue;
+        return toStatus(candidate, 'heading');
+    }
+    return undefined;
+}
+/**
+ * A `**Status:** accepted` line in the document's preamble.
+ *
+ * Bounded to the preamble - everything before the first `##` - because this
+ * form is a line of prose with a colon in it, and a tool that accepts one
+ * anywhere in a long document will eventually find one in a sentence.
+ */
+function fromLabel(lines) {
+    for (const line of lines) {
+        if (SECTION_HEADING_RE.test(line))
+            return undefined;
+        const found = STATUS_LABEL_RE.exec(line);
+        if (found)
+            return toStatus(found[2], 'label');
+    }
+    return undefined;
+}
+/**
+ * The lifecycle status a Markdown document declares about itself.
+ *
+ * Three spellings are recognised because three are in use, including two in
+ * this repository's own ADRs: YAML front-matter (MADR), a `## Status` section
+ * (Nygard), and a bold `**Status:**` label. Front-matter wins when present -
+ * it is machine-readable metadata rather than a convention read out of prose.
+ *
+ * Code is masked first, so a document that documents this syntax inside a
+ * fence - this project's README does - is not read as declaring a status.
+ */
+export function parseStatus(source) {
+    return statusOf(maskCode(source));
+}
+function statusOf(masked) {
+    const lines = toLines(masked);
+    return fromFrontmatter(masked) ?? fromHeading(lines) ?? fromLabel(lines);
+}
+/** An ATX heading of level 1, with any closing sequence taken off. */
+const TITLE_RE = /^[ \t]{0,3}#[ \t]+(.*?)(?:[ \t]+#+)?[ \t]*$/;
+/**
+ * The document's title: its first level-one heading.
+ *
+ * Read so that a rule can be shown with the decision it belongs to - "ADR-0011:
+ * Layering constraints and import cycles" says more to someone about to edit a
+ * file than `docs/adr/0011-layers-and-cycles.md` does. Front-matter is skipped
+ * and code is masked, for the same reasons as the status: a README that shows
+ * an example ADR inside a fence has not titled itself with the example.
+ *
+ * Setext headings (a line underlined with `===`) are not read. Nobody writes an
+ * ADR that way, and a reader that guessed at underlines would find titles in
+ * tables.
+ */
+export function parseTitle(source) {
+    return titleOf(maskCode(source));
+}
+function titleOf(masked) {
+    const body = masked.slice(FRONTMATTER_RE.exec(masked)?.[0].length ?? 0);
+    for (const line of toLines(body)) {
+        const title = TITLE_RE.exec(line)?.[1];
+        if (title)
+            return title;
+    }
+    return undefined;
+}
 const DIRECTIVE_RE = /<!--\s*@([a-zA-Z][\w-]*)([\s\S]*?)-->/g;
 const ATTRIBUTE_RE = /([a-zA-Z][\w-]*)(?:\s*=\s*(?:"((?:\\.|[^"\\])*)"|'((?:\\.|[^'\\])*)'|([^\s"'=<>`]+)))?/g;
 /**
@@ -95,15 +298,13 @@ const ATTRIBUTE_RE = /([a-zA-Z][\w-]*)(?:\s*=\s*(?:"((?:\\.|[^"\\])*)"|'((?:\\.|
  * offset and newline so that reported line/column numbers stay exact.
  */
 export function maskCode(source) {
-    // split('') keeps UTF-16 index parity with the original string, which
-    // [...source] would break on astral characters (and break line numbers).
-    const chars = source.split('');
-    const blank = (start, end) => {
-        for (let i = start; i < end && i < chars.length; i++) {
-            if (chars[i] !== '\n')
-                chars[i] = ' ';
-        }
-    };
+    // Ranges, blanked by `maskRanges`, rather than a character array blanked in
+    // place. The array was `source.split('')` - one string per UTF-16 unit - and
+    // measured at 7.2ms over this repository's 183KB of specs against 0.8ms for
+    // the ranges, with identical output on every one of them and on 50,000
+    // random inputs. It became worth measuring when `spec-guard query` put a
+    // budget on reading specs; see ADR-0012. Offsets still survive, for the reason
+    // `maskRanges` gives.
     // Fenced code blocks: ``` or ~~~ (3+ markers), optionally indented up to 3 spaces.
     const fenceRe = /^[ \t]{0,3}(`{3,}|~{3,})[^\n]*$/gm;
     let match;
@@ -126,13 +327,13 @@ export function maskCode(source) {
             }
         }
         consumed.push([open.index, closeEnd]);
-        blank(open.index, closeEnd);
     }
     // Inline code spans, using CommonMark's rule: a run of N backticks is closed
     // by the next run of EXACTLY N backticks. Runs of a different length are
     // skipped rather than treated as a closer - otherwise a stray ``` inside a
     // sentence shifts every later pairing by one and un-masks real prose.
-    const masked = chars.join('');
+    const masked = maskRanges(source, consumed);
+    const spans = [];
     const runs = [];
     const runRe = /`+/g;
     let run;
@@ -145,10 +346,10 @@ export function maskCode(source) {
         if (closeIndex === -1)
             continue;
         const close = runs[closeIndex];
-        blank(open.index, close.index + close.length);
+        spans.push([open.index, close.index + close.length]);
         index = closeIndex;
     }
-    return chars.join('');
+    return maskRanges(masked, spans);
 }
 function unescape(value) {
     return value.replace(/\\(.)/g, '$1');
@@ -167,9 +368,23 @@ export function parseAttributes(input) {
 }
 /** Extracts every spec-guard directive from a Markdown source string. */
 export function parseDirectives(source, context) {
+    return directivesOf(source, maskCode(source), context);
+}
+/**
+ * Everything a spec document declares, read with one pass of `maskCode`.
+ *
+ * `parseDirectives` and `parseTitle` each mask the source, and masking is most
+ * of what reading a spec costs; a caller that wants both should not pay twice.
+ */
+export function parseDocument(source, context) {
+    const masked = maskCode(source);
+    const parsed = directivesOf(source, masked, context);
+    const title = titleOf(masked);
+    return title === undefined ? parsed : { ...parsed, title };
+}
+function directivesOf(source, masked, context) {
     const directives = [];
     const errors = [];
-    const masked = maskCode(source);
     const starts = lineStarts(source);
     DIRECTIVE_RE.lastIndex = 0;
     let match;
@@ -210,6 +425,7 @@ export function parseDirectives(source, context) {
         }
         directives.push({ kind: kind, attributes, location, raw });
     }
-    return { directives, errors };
+    const status = statusOf(masked);
+    return status ? { directives, errors, status } : { directives, errors };
 }
 //# sourceMappingURL=parser.js.map

package/dist/parser.js.map

@@ -1 +1 @@
-{"version":3,"file":"parser.js","sourceRoot":"","sources":["../src/parser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AAG/C,8CAA8C;AAC9C,MAAM,CAAC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAS;IACnC,gBAAgB;IAChB,cAAc;IACd,gBAAgB;IAChB,uBAAuB;IACvB,qBAAqB;CACtB,CAAC,CAAC;AAEH;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAA+C;IAC5E,gBAAgB,EAAE,IAAI,GAAG,CAAC;QACxB,QAAQ;QACR,QAAQ;QACR,UAAU;QACV,KAAK;QACL,MAAM;QACN,SAAS;QACT,UAAU;QACV,OAAO;QACP,MAAM;QACN,aAAa;QACb,aAAa;QACb,UAAU;QACV,SAAS;QACT,QAAQ;KACT,CAAC;IACF,cAAc,EAAE,IAAI,GAAG,CAAC;QACtB,QAAQ;QACR,QAAQ;QACR,UAAU;QACV,KAAK;QACL,KAAK;QACL,MAAM;QACN,SAAS;QACT,UAAU;QACV,OAAO;QACP,MAAM;QACN,aAAa;QACb,aAAa;QACb,QAAQ;KACT,CAAC;IACF,gBAAgB,EAAE,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC7C,uBAAuB,EAAE,IAAI,GAAG,CAAC;QAC/B,QAAQ;QACR,QAAQ;QACR,SAAS;QACT,OAAO;QACP,UAAU;QACV,KAAK;QACL,aAAa;QACb,UAAU;QACV,SAAS;QACT,QAAQ;KACT,CAAC;IACF,qBAAqB,EAAE,IAAI,GAAG,CAAC;QAC7B,QAAQ;QACR,QAAQ;QACR,SAAS;QACT,OAAO;QACP,UAAU;QACV,KAAK;QACL,KAAK;QACL,aAAa;QACb,QAAQ;KACT,CAAC;CACH,CAAC;AAEF,MAAM,YAAY,GAAG,wCAAwC,CAAC;AAC9D,MAAM,YAAY,GAChB,yFAAyF,CAAC;AAS5F;;;GAGG;AACH,MAAM,UAAU,QAAQ,CAAC,MAAc;IACrC,sEAAsE;IACtE,yEAAyE;IACzE,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IAC/B,MAAM,KAAK,GAAG,CAAC,KAAa,EAAE,GAAW,EAAQ,EAAE;QACjD,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACrD,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI;gBAAE,KAAK,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;QACxC,CAAC;IACH,CAAC,CAAC;IAEF,mFAAmF;IACnF,MAAM,OAAO,GAAG,mCAAmC,CAAC;IACpD,IAAI,KAA6B,CAAC;IAClC,MAAM,MAAM,GAA0D,EAAE,CAAC;IACzE,OAAO,CAAC,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QAC/C,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAW,EAAE,CAAC,CAAC;IACtG,CAAC;IACD,MAAM,QAAQ,GAA4B,EAAE,CAAC;IAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAmD,CAAC;QACzE,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;YAAE,SAAS;QAC3E,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAW,CAAC;QACtC,IAAI,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC;QAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,CAAmD,CAAC;YAC9E,IAAI,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,SAAS,CAAC,MAAM,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;gBAClF,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC;gBACzB,MAAM;YACR,CAAC;QACH,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC;QACtC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC9B,CAAC;IAED,6EAA6E;IAC7E,yEAAyE;IACzE,2EAA2E;IAC3E,sEAAsE;IACtE,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC9B,MAAM,IAAI,GAA6C,EAAE,CAAC;IAC1D,MAAM,KAAK,GAAG,KAAK,CAAC;IACpB,IAAI,GAA2B,CAAC;IAChC,OAAO,CAAC,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QAC3C,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IACzD,CAAC;IAED,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAsC,CAAC;QAC9D,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,SAAS,EAAE,QAAQ,EAAE,EAAE,CAAC,QAAQ,GAAG,KAAK,IAAI,SAAS,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,CAAC,CAAC;QACjH,IAAI,UAAU,KAAK,CAAC,CAAC;YAAE,SAAS;QAChC,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAsC,CAAC;QACpE,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;QAC9C,KAAK,GAAG,UAAU,CAAC;IACrB,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACxB,CAAC;AAED,SAAS,QAAQ,CAAC,KAAa;IAC7B,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;AACvC,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,eAAe,CAAC,KAAa;IAC3C,MAAM,UAAU,GAA2B,EAAE,CAAC;IAC9C,YAAY,CAAC,SAAS,GAAG,CAAC,CAAC;IAC3B,IAAI,KAA6B,CAAC;IAClC,OAAO,CAAC,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QACnD,MAAM,IAAI,GAAI,KAAK,CAAC,CAAC,CAAY,CAAC,WAAW,EAAE,CAAC;QAChD,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;QAC7C,UAAU,CAAC,IAAI,CAAC,GAAG,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,eAAe,CAAC,MAAc,EAAE,OAAqB;IACnE,MAAM,UAAU,GAAgB,EAAE,CAAC;IACnC,MAAM,MAAM,GAAqB,EAAE,CAAC;IACpC,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;IAChC,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;IAElC,YAAY,CAAC,SAAS,GAAG,CAAC,CAAC;IAC3B,IAAI,KAA6B,CAAC;IAClC,OAAO,CAAC,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QACpD,MAAM,IAAI,GAAI,KAAK,CAAC,CAAC,CAAY,CAAC,WAAW,EAAE,CAAC;QAChD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAW,CAAC;QAChC,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACrE,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QAC7C,MAAM,QAAQ,GAAmB;YAC/B,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,MAAM,EAAE,QAAQ,CAAC,MAAM;SACxB,CAAC;QAEF,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACrB,mEAAmE;YACnE,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC9B,MAAM,CAAC,IAAI,CAAC;oBACV,QAAQ;oBACR,GAAG;oBACH,OAAO,EAAE,uBAAuB,IAAI,uBAAuB,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;iBACxG,CAAC,CAAC;YACL,CAAC;YACD,SAAS;QACX,CAAC;QAED,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;QACzC,MAAM,OAAO,GAAG,kBAAkB,CAAC,IAAqB,CAAC,CAAC;QAC1D,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QAC7E,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ;gBACR,GAAG;gBACH,OAAO,EAAE,oBAAoB,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,OAAO;qBAClE,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,GAAG,CAAC;qBAC1B,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,cAAc,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;aAClE,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAqB,EAAE,UAAU,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;IAC9E,CAAC;IAED,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;AAChC,CAAC"}
+{"version":3,"file":"parser.js","sourceRoot":"","sources":["../src/parser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAU3D,8CAA8C;AAC9C,MAAM,CAAC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAS;IACnC,gBAAgB;IAChB,cAAc;IACd,gBAAgB;IAChB,uBAAuB;IACvB,qBAAqB;IACrB,qBAAqB;IACrB,eAAe;CAChB,CAAC,CAAC;AAEH;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAA+C;IAC5E,gBAAgB,EAAE,IAAI,GAAG,CAAC;QACxB,QAAQ;QACR,QAAQ;QACR,UAAU;QACV,KAAK;QACL,MAAM;QACN,SAAS;QACT,UAAU;QACV,OAAO;QACP,MAAM;QACN,aAAa;QACb,aAAa;QACb,UAAU;QACV,SAAS;QACT,QAAQ;KACT,CAAC;IACF,cAAc,EAAE,IAAI,GAAG,CAAC;QACtB,QAAQ;QACR,QAAQ;QACR,UAAU;QACV,KAAK;QACL,KAAK;QACL,MAAM;QACN,SAAS;QACT,UAAU;QACV,OAAO;QACP,MAAM;QACN,aAAa;QACb,aAAa;QACb,QAAQ;KACT,CAAC;IACF,gBAAgB,EAAE,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC7C,uBAAuB,EAAE,IAAI,GAAG,CAAC;QAC/B,QAAQ;QACR,QAAQ;QACR,SAAS;QACT,OAAO;QACP,UAAU;QACV,KAAK;QACL,aAAa;QACb,UAAU;QACV,SAAS;QACT,QAAQ;KACT,CAAC;IACF,qBAAqB,EAAE,IAAI,GAAG,CAAC;QAC7B,QAAQ;QACR,QAAQ;QACR,SAAS;QACT,OAAO;QACP,UAAU;QACV,KAAK;QACL,KAAK;QACL,aAAa;QACb,QAAQ;KACT,CAAC;IACF,4EAA4E;IAC5E,0EAA0E;IAC1E,qBAAqB,EAAE,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,aAAa,EAAE,QAAQ,CAAC,CAAC;IAC1G,eAAe,EAAE,IAAI,GAAG,CAAC;QACvB,QAAQ;QACR,OAAO;QACP,SAAS;QACT,OAAO;QACP,UAAU;QACV,KAAK;QACL,aAAa;QACb,UAAU;QACV,SAAS;QACT,QAAQ;KACT,CAAC;CACH,CAAC;AAEF,gFAAgF;AAEhF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAwB,IAAI,GAAG,CAAC;IAC5D,OAAO;IACP,UAAU;IACV,UAAU;IACV,YAAY;IACZ,YAAY;CACb,CAAC,CAAC;AAEH,qEAAqE;AACrE,MAAM,cAAc,GAAG,oDAAoD,CAAC;AAE5E;;;;;;;;;;;GAWG;AACH,MAAM,eAAe,GAAG,0EAA0E,CAAC;AAEnG;;;;;;;;;;GAUG;AACH,SAAS,UAAU,CAAC,GAAW;IAC7B,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IACxB,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,OAAO,MAAM,CAAC,CAAC,CAAE,MAAM,CAAC,CAAC,CAAY,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;AACpE,CAAC;AAED,oDAAoD;AACpD,MAAM,iBAAiB,GAAG,+CAA+C,CAAC;AAE1E,+EAA+E;AAC/E,MAAM,kBAAkB,GAAG,wBAAwB,CAAC;AAEpD;;;;;;;GAOG;AACH,SAAS,QAAQ,CAAC,GAAW,EAAE,MAA4B;IACzD,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IAC3B,uEAAuE;IACvE,4EAA4E;IAC5E,mDAAmD;IACnD,MAAM,IAAI,GAAG,mBAAmB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC/C,IAAI,CAAC,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5B,6EAA6E;IAC7E,6EAA6E;IAC7E,8EAA8E;IAC9E,4DAA4D;IAC5D,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,0BAA0B,EAAE,IAAI,CAAC,CAAC;IAChE,MAAM,KAAK,GAAI,IAAI,CAAC,CAAC,CAAY,CAAC,WAAW,EAAE,CAAC;IAChD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,iBAAiB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;AACzE,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,OAAO,CAAC,MAAc;IAC7B,OAAO,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,eAAe,CAAC,MAAc;IACrC,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1C,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,CAAW,CAAC,EAAE,CAAC;QAC/C,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,mEAAmE;QACnE,6CAA6C;QAC7C,IAAI,KAAK;YAAE,OAAO,QAAQ,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAW,CAAC,EAAE,aAAa,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,WAAW,CAAC,KAAwB;IAC3C,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACtE,IAAI,KAAK,KAAK,CAAC,CAAC;QAAE,OAAO,SAAS,CAAC;IACnC,KAAK,IAAI,KAAK,GAAG,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAC1D,MAAM,SAAS,GAAI,KAAK,CAAC,KAAK,CAAY,CAAC,IAAI,EAAE,CAAC;QAClD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACrC,OAAO,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IACxC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;GAMG;AACH,SAAS,SAAS,CAAC,KAAwB;IACzC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,SAAS,CAAC;QACpD,MAAM,KAAK,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,KAAK;YAAE,OAAO,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAW,EAAE,OAAO,CAAC,CAAC;IAC1D,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,WAAW,CAAC,MAAc;IACxC,OAAO,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;AACpC,CAAC;AAED,SAAS,QAAQ,CAAC,MAAc;IAC9B,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAC9B,OAAO,eAAe,CAAC,MAAM,CAAC,IAAI,WAAW,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,CAAC;AAC3E,CAAC;AAED,sEAAsE;AACtE,MAAM,QAAQ,GAAG,6CAA6C,CAAC;AAE/D;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,UAAU,CAAC,MAAc;IACvC,OAAO,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;AACnC,CAAC;AAED,SAAS,OAAO,CAAC,MAAc;IAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;IACxE,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACvC,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC;IAC1B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,YAAY,GAAG,wCAAwC,CAAC;AAC9D,MAAM,YAAY,GAChB,yFAAyF,CAAC;AAS5F;;;GAGG;AACH,MAAM,UAAU,QAAQ,CAAC,MAAc;IACrC,4EAA4E;IAC5E,6EAA6E;IAC7E,4EAA4E;IAC5E,uEAAuE;IACvE,yEAAyE;IACzE,+EAA+E;IAC/E,sBAAsB;IAEtB,mFAAmF;IACnF,MAAM,OAAO,GAAG,mCAAmC,CAAC;IACpD,IAAI,KAA6B,CAAC;IAClC,MAAM,MAAM,GAA0D,EAAE,CAAC;IACzE,OAAO,CAAC,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QAC/C,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAW,EAAE,CAAC,CAAC;IACtG,CAAC;IACD,MAAM,QAAQ,GAA4B,EAAE,CAAC;IAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAmD,CAAC;QACzE,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC;YAAE,SAAS;QAC3E,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAW,CAAC;QACtC,IAAI,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC;QAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,CAAmD,CAAC;YAC9E,IAAI,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,SAAS,CAAC,MAAM,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;gBAClF,QAAQ,GAAG,SAAS,CAAC,GAAG,CAAC;gBACzB,MAAM;YACR,CAAC;QACH,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC;IACxC,CAAC;IAED,6EAA6E;IAC7E,yEAAyE;IACzE,2EAA2E;IAC3E,sEAAsE;IACtE,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC5C,MAAM,KAAK,GAA4B,EAAE,CAAC;IAC1C,MAAM,IAAI,GAA6C,EAAE,CAAC;IAC1D,MAAM,KAAK,GAAG,KAAK,CAAC;IACpB,IAAI,GAA2B,CAAC;IAChC,OAAO,CAAC,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QAC3C,IAAI,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IACzD,CAAC;IAED,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAsC,CAAC;QAC9D,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,SAAS,EAAE,QAAQ,EAAE,EAAE,CAAC,QAAQ,GAAG,KAAK,IAAI,SAAS,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,CAAC,CAAC;QACjH,IAAI,UAAU,KAAK,CAAC,CAAC;YAAE,SAAS;QAChC,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAsC,CAAC;QACpE,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;QACrD,KAAK,GAAG,UAAU,CAAC;IACrB,CAAC;IAED,OAAO,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AACnC,CAAC;AAED,SAAS,QAAQ,CAAC,KAAa;IAC7B,OAAO,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;AACvC,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,eAAe,CAAC,KAAa;IAC3C,MAAM,UAAU,GAA2B,EAAE,CAAC;IAC9C,YAAY,CAAC,SAAS,GAAG,CAAC,CAAC;IAC3B,IAAI,KAA6B,CAAC;IAClC,OAAO,CAAC,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QACnD,MAAM,IAAI,GAAI,KAAK,CAAC,CAAC,CAAY,CAAC,WAAW,EAAE,CAAC;QAChD,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;QAC7C,UAAU,CAAC,IAAI,CAAC,GAAG,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,eAAe,CAAC,MAAc,EAAE,OAAqB;IACnE,OAAO,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;AACzD,CAAC;AAOD;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,MAAc,EAAE,OAAqB;IACjE,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;IAChC,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;IACrD,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAC9B,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,KAAK,EAAE,CAAC;AAC7D,CAAC;AAED,SAAS,YAAY,CAAC,MAAc,EAAE,MAAc,EAAE,OAAqB;IACzE,MAAM,UAAU,GAAgB,EAAE,CAAC;IACnC,MAAM,MAAM,GAAqB,EAAE,CAAC;IACpC,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;IAElC,YAAY,CAAC,SAAS,GAAG,CAAC,CAAC;IAC3B,IAAI,KAA6B,CAAC;IAClC,OAAO,CAAC,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QACpD,MAAM,IAAI,GAAI,KAAK,CAAC,CAAC,CAAY,CAAC,WAAW,EAAE,CAAC;QAChD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAW,CAAC;QAChC,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACrE,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QAC7C,MAAM,QAAQ,GAAmB;YAC/B,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,IAAI,EAAE,QAAQ,CAAC,IAAI;YACnB,MAAM,EAAE,QAAQ,CAAC,MAAM;SACxB,CAAC;QAEF,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACrB,mEAAmE;YACnE,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC9B,MAAM,CAAC,IAAI,CAAC;oBACV,QAAQ;oBACR,GAAG;oBACH,OAAO,EAAE,uBAAuB,IAAI,uBAAuB,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;iBACxG,CAAC,CAAC;YACL,CAAC;YACD,SAAS;QACX,CAAC;QAED,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;QACzC,MAAM,OAAO,GAAG,kBAAkB,CAAC,IAAqB,CAAC,CAAC;QAC1D,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QAC7E,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ;gBACR,GAAG;gBACH,OAAO,EAAE,oBAAoB,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,OAAO;qBAClE,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,GAAG,CAAC;qBAC1B,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,cAAc,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;aAClE,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QAED,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAqB,EAAE,UAAU,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;IAC9E,CAAC;IAED,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;IAChC,OAAO,MAAM,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;AAC1E,CAAC"}

package/dist/query.d.ts

@@ -0,0 +1,108 @@
+/**
+ * `spec-guard query`: the rules in force for a path, without running any.
+ *
+ * The question an agent - or a person - asks before touching a file is not
+ * "does the codebase pass" but "what am I allowed to do here". Answering it
+ * from CI means writing the code first and finding out afterwards, which for a
+ * model is a loop of generate, fail, read the log, regenerate. This answers it
+ * up front, from the specs alone, in the time it takes to read them. ADR-0012.
+ */
+import { type DocumentView, type QueryPath, type RuleView } from './rules.js';
+import { type SpecDocument } from './specs.js';
+import type { Assertion, DirectiveError } from './types.js';
+export interface RuleSetOptions {
+    /** Globs or paths of the Markdown specs. */
+    patterns: readonly string[];
+    /** Absolute root the specs' paths are resolved against. */
+    root: string;
+    /** Count matches inside the spec files themselves, as `--include-specs` does. */
+    includeSpecs?: boolean;
+    /** Skip `.git`, `.hg`, `.svn` and `node_modules`, as a run does by default. */
+    defaultSkips?: boolean;
+}
+/** Every rule the specs state, resolved, with the document that states it. */
+export interface RuleSet {
+    root: string;
+    /** Root-relative paths of every spec file the patterns matched. */
+    specFiles: string[];
+    documents: SpecDocument[];
+    rules: Array<{
+        assertion: Assertion;
+        document: DocumentView;
+    }>;
+    /** Unreadable specs, malformed directives and directives that do not resolve. */
+    errors: DirectiveError[];
+}
+export declare function viewDocument(document: SpecDocument): DocumentView;
+/**
+ * Reads and resolves every rule, in force or not.
+ *
+ * Resolution is the runner's own, so a query and a run cannot disagree about
+ * what a directive means - including about which directives are errors.
+ */
+export declare function loadRuleSet(options: RuleSetOptions): Promise<RuleSet>;
+/** A path argument that cannot be asked about. */
+export declare class QueryPathError extends Error {
+}
+/**
+ * Turns a path as someone typed it into the path a rule is written against.
+ *
+ * Absolute paths are accepted as long as they are inside the root, because that
+ * is what an agent's file tools hand around. A path that does not exist is
+ * accepted too: "what rules will govern the file I am about to create" is the
+ * question this command exists for. It is a file unless it exists as a
+ * directory or is written with a trailing slash.
+ */
+export declare function resolveQueryPath(input: string, root: string): Promise<QueryPath & {
+    exists: boolean;
+}>;
+export interface PathRules {
+    path: string;
+    shape: QueryPath['shape'];
+    exists: boolean;
+    /** The rules that govern the path, in document order. */
+    rules: RuleView[];
+    /**
+     * Rules in documents not in force that would govern the path, and where.
+     *
+     * Counted whether or not they are listed. A rule that has stopped applying is
+     * the thing ADR-0010 says a report must never be quiet about, and an agent
+     * told "nothing governs this file" while a draft is about to govern it has
+     * been told something false by omission.
+     */
+    withheld: {
+        rules: number;
+        documents: string[];
+    };
+}
+export interface QueryReport {
+    root: string;
+    specFiles: string[];
+    results: PathRules[];
+    /** The documents behind the listed rules and the withheld counts, by path. */
+    documents: DocumentView[];
+    errors: Array<{
+        file: string;
+        line: number;
+        message: string;
+    }>;
+    durationMs: number;
+}
+export interface QueryOptions extends RuleSetOptions {
+    paths: readonly string[];
+    /** List rules from documents that are not in force, as `--ignore-status` does. */
+    includeInactive?: boolean;
+}
+/** The rules governing each path. */
+export declare function answerQuery(ruleSet: RuleSet, paths: ReadonlyArray<QueryPath & {
+    exists: boolean;
+}>, includeInactive: boolean): Omit<QueryReport, 'durationMs'>;
+/** Loads the rules once and answers for every path. */
+export declare function queryRules(options: QueryOptions): Promise<QueryReport>;
+/** The human-readable form of a query. */
+export declare function formatQuery(report: QueryReport): string;
+/** The JSON form of a query, stable enough for a script to depend on. */
+export declare function formatQueryJson(report: QueryReport): string;
+/** Whether a location lies in any of the queried paths. */
+export declare function inQueriedPaths(file: string, paths: readonly QueryPath[]): boolean;
+//# sourceMappingURL=query.d.ts.map

package/dist/query.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"query.d.ts","sourceRoot":"","sources":["../src/query.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAQH,OAAO,EAA6B,KAAK,YAAY,EAAE,KAAK,SAAS,EAAE,KAAK,QAAQ,EAAE,MAAM,YAAY,CAAC;AACzG,OAAO,EAAuB,KAAK,YAAY,EAAE,MAAM,YAAY,CAAC;AACpE,OAAO,KAAK,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAE5D,MAAM,WAAW,cAAc;IAC7B,4CAA4C;IAC5C,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IAC5B,2DAA2D;IAC3D,IAAI,EAAE,MAAM,CAAC;IACb,iFAAiF;IACjF,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,+EAA+E;IAC/E,YAAY,CAAC,EAAE,OAAO,CAAC;CACxB;AAED,8EAA8E;AAC9E,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,mEAAmE;IACnE,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,SAAS,EAAE,YAAY,EAAE,CAAC;IAC1B,KAAK,EAAE,KAAK,CAAC;QAAE,SAAS,EAAE,SAAS,CAAC;QAAC,QAAQ,EAAE,YAAY,CAAA;KAAE,CAAC,CAAC;IAC/D,iFAAiF;IACjF,MAAM,EAAE,cAAc,EAAE,CAAC;CAC1B;AAED,wBAAgB,YAAY,CAAC,QAAQ,EAAE,YAAY,GAAG,YAAY,CAQjE;AAED;;;;;GAKG;AACH,wBAAsB,WAAW,CAAC,OAAO,EAAE,cAAc,GAAG,OAAO,CAAC,OAAO,CAAC,CAgC3E;AAED,kDAAkD;AAClD,qBAAa,cAAe,SAAQ,KAAK;CAAG;AAE5C;;;;;;;;GAQG;AACH,wBAAsB,gBAAgB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,GAAG;IAAE,MAAM,EAAE,OAAO,CAAA;CAAE,CAAC,CAa5G;AAID,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;IAC1B,MAAM,EAAE,OAAO,CAAC;IAChB,yDAAyD;IACzD,KAAK,EAAE,QAAQ,EAAE,CAAC;IAClB;;;;;;;OAOG;IACH,QAAQ,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;CAClD;AAED,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,OAAO,EAAE,SAAS,EAAE,CAAC;IACrB,8EAA8E;IAC9E,SAAS,EAAE,YAAY,EAAE,CAAC;IAC1B,MAAM,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC/D,UAAU,EAAE,MAAM,CAAC;CACpB;AAED,MAAM,WAAW,YAAa,SAAQ,cAAc;IAClD,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IACzB,kFAAkF;IAClF,eAAe,CAAC,EAAE,OAAO,CAAC;CAC3B;AAED,qCAAqC;AACrC,wBAAgB,WAAW,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,aAAa,CAAC,SAAS,GAAG;IAAE,MAAM,EAAE,OAAO,CAAA;CAAE,CAAC,EAAE,eAAe,EAAE,OAAO,GAAG,IAAI,CAAC,WAAW,EAAE,YAAY,CAAC,CA+B9J;AAED,uDAAuD;AACvD,wBAAsB,UAAU,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,WAAW,CAAC,CAK5E;AAiCD,0CAA0C;AAC1C,wBAAgB,WAAW,CAAC,MAAM,EAAE,WAAW,GAAG,MAAM,CAgDvD;AAED,yEAAyE;AACzE,wBAAgB,eAAe,CAAC,MAAM,EAAE,WAAW,GAAG,MAAM,CAE3D;AAED,2DAA2D;AAC3D,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,SAAS,EAAE,GAAG,OAAO,CAEjF"}

package/dist/query.js

@@ -0,0 +1,206 @@
+/**
+ * `spec-guard query`: the rules in force for a path, without running any.
+ *
+ * The question an agent - or a person - asks before touching a file is not
+ * "does the codebase pass" but "what am I allowed to do here". Answering it
+ * from CI means writing the code first and finding out afterwards, which for a
+ * model is a loop of generate, fail, read the log, regenerate. This answers it
+ * up front, from the specs alone, in the time it takes to read them. ADR-0012.
+ */
+import path from 'node:path';
+import { comparePaths } from './engine.js';
+import { statOrNull, toPosix } from './glob.js';
+import { elapsed, resolveDirective, specExclusions } from './runner.js';
+import { createScope } from './scope.js';
+import { governs, viewRule, within } from './rules.js';
+import { readSpecs, specPath } from './specs.js';
+export function viewDocument(document) {
+    return {
+        file: document.relativeFile,
+        title: document.title ?? null,
+        status: document.status?.value ?? null,
+        label: document.status?.label ?? null,
+        inForce: document.inForce,
+    };
+}
+/**
+ * Reads and resolves every rule, in force or not.
+ *
+ * Resolution is the runner's own, so a query and a run cannot disagree about
+ * what a directive means - including about which directives are errors.
+ */
+export async function loadRuleSet(options) {
+    const specs = await readSpecs(options.patterns, options.root);
+    const context = {
+        root: options.root,
+        excludeFiles: specExclusions(specs.files, options.includeSpecs ?? false),
+        scope: createScope(options.defaultSkips ?? true),
+    };
+    const rules = [];
+    const errors = [...specs.errors];
+    for (const document of specs.documents) {
+        const view = viewDocument(document);
+        for (const directive of document.directives) {
+            const resolved = resolveDirective(directive, context);
+            if ('error' in resolved)
+                errors.push(resolved.error);
+            else
+                rules.push({ assertion: resolved.assertion, document: view });
+        }
+    }
+    errors.sort((a, b) => a.location.relativeFile === b.location.relativeFile
+        ? a.location.line - b.location.line
+        : comparePaths(a.location.relativeFile, b.location.relativeFile));
+    return {
+        root: options.root,
+        specFiles: specs.files.map((file) => specPath(options.root, file)),
+        documents: specs.documents,
+        rules,
+        errors,
+    };
+}
+/** A path argument that cannot be asked about. */
+export class QueryPathError extends Error {
+}
+/**
+ * Turns a path as someone typed it into the path a rule is written against.
+ *
+ * Absolute paths are accepted as long as they are inside the root, because that
+ * is what an agent's file tools hand around. A path that does not exist is
+ * accepted too: "what rules will govern the file I am about to create" is the
+ * question this command exists for. It is a file unless it exists as a
+ * directory or is written with a trailing slash.
+ */
+export async function resolveQueryPath(input, root) {
+    if (input.trim().length === 0)
+        throw new QueryPathError('A path to query must not be empty.');
+    // Separators normalised before resolving, so the path, the absolute path and
+    // whether it exists all describe the same file on every platform.
+    const absolutePath = path.resolve(root, toPosix(input));
+    const relative = path.relative(root, absolutePath);
+    const posix = toPosix(relative);
+    if (posix === '..' || posix.startsWith('../') || path.isAbsolute(relative)) {
+        throw new QueryPathError(`"${input}" is outside the root ${toPosix(root)}.`);
+    }
+    const stats = await statOrNull(absolutePath);
+    const shape = stats ? (stats.isDirectory() ? 'directory' : 'file') : /[\\/]$/.test(input) ? 'directory' : 'file';
+    return { path: posix || '.', shape, absolutePath, exists: stats !== null };
+}
+/** The rules governing each path. */
+export function answerQuery(ruleSet, paths, includeInactive) {
+    const cited = new Map();
+    const results = paths.map((query) => {
+        const governing = ruleSet.rules.filter(({ assertion }) => governs(assertion, query));
+        const listed = governing.filter(({ document }) => document.inForce || includeInactive);
+        for (const { document } of governing)
+            cited.set(document.file, document);
+        const withheld = governing.filter(({ document }) => !document.inForce);
+        return {
+            path: query.path,
+            shape: query.shape,
+            exists: query.exists,
+            rules: listed.map(({ assertion, document }) => viewRule(assertion, document, query)),
+            withheld: {
+                rules: withheld.length,
+                documents: [...new Set(withheld.map(({ document }) => document.file))],
+            },
+        };
+    });
+    return {
+        root: toPosix(ruleSet.root),
+        specFiles: ruleSet.specFiles,
+        results,
+        documents: [...cited.values()].sort((a, b) => comparePaths(a.file, b.file)),
+        errors: ruleSet.errors.map((error) => ({
+            file: error.location.relativeFile,
+            line: error.location.line,
+            message: error.message,
+        })),
+    };
+}
+/** Loads the rules once and answers for every path. */
+export async function queryRules(options) {
+    const startedAt = performance.now();
+    const paths = await Promise.all(options.paths.map((input) => resolveQueryPath(input, options.root)));
+    const ruleSet = await loadRuleSet(options);
+    return { ...answerQuery(ruleSet, paths, options.includeInactive ?? false), durationMs: elapsed(startedAt) };
+}
+/* --------------------------------------------------------------- formatting */
+function plural(count, one, many) {
+    return `${count} ${count === 1 ? one : many}`;
+}
+/** The lines under a rule that say what it asks of this path. */
+function ruleDetails(rule) {
+    const lines = [];
+    if (rule.position) {
+        const { layer, position, matches, mayImport, mustNotImport } = rule.position;
+        const order = rule.order;
+        if (layer === null) {
+            lines.push(matches.length === 0
+                ? 'layer: none - no layer matches this path'
+                : `layer: ambiguous - ${matches.map((match) => `"${match}"`).join(' and ')} all match, and the rule fails until one does`);
+        }
+        else {
+            lines.push(`layer: ${layer} (${position} of ${order.length})`);
+            lines.push(`may import: ${mayImport.join(', ')}`);
+            if (mustNotImport.length > 0)
+                lines.push(`must not import: ${mustNotImport.join(', ')}`);
+        }
+    }
+    if (rule.baseline && rule.baseline.length > 0) {
+        lines.push(`baseline: ${rule.baseline.map((entry) => `${entry.path} (${entry.declared})`).join(', ')}`);
+    }
+    if (rule.reason !== null)
+        lines.push(`reason: ${rule.reason}`);
+    return lines;
+}
+/** The human-readable form of a query. */
+export function formatQuery(report) {
+    const out = [];
+    const documents = new Map(report.documents.map((document) => [document.file, document]));
+    for (const result of report.results) {
+        const note = result.exists ? '' : result.shape === 'directory' ? ' (directory, does not exist yet)' : ' (does not exist yet)';
+        out.push(`${result.path}${note}`);
+        const byDocument = new Map();
+        for (const rule of result.rules)
+            byDocument.set(rule.document, [...(byDocument.get(rule.document) ?? []), rule]);
+        out.push(result.rules.length === 0
+            ? '  no rules in force govern this path'
+            : `  ${plural(result.rules.length, 'rule', 'rules')} from ${plural(byDocument.size, 'document', 'documents')}`);
+        for (const [file, rules] of byDocument) {
+            const document = documents.get(file);
+            const status = document.label === null ? '' : `, ${document.inForce ? document.status : `${document.status} - not in force`}`;
+            out.push('', `  ${document.title ?? file}  (${file}${status})`);
+            for (const rule of rules) {
+                out.push(`    :${rule.line} @${rule.kind}  ${rule.description}`);
+                for (const detail of ruleDetails(rule))
+                    out.push(`      ${detail}`);
+            }
+        }
+        const unlisted = result.withheld.rules - result.rules.filter((rule) => !rule.inForce).length;
+        if (unlisted > 0) {
+            const where = result.withheld.documents
+                .map((file) => `${file} (${documents.get(file).status})`)
+                .join(', ');
+            out.push('', `  ${plural(unlisted, 'more rule', 'more rules')} would govern this path if ${where} were in force; --ignore-status lists ${unlisted === 1 ? 'it' : 'them'}`);
+        }
+        out.push('');
+    }
+    if (report.errors.length > 0) {
+        out.push(`${plural(report.errors.length, 'directive', 'directives')} could not be read, so ${report.errors.length === 1 ? 'its rule governs' : 'their rules govern'} nothing:`);
+        for (const error of report.errors)
+            out.push(`  ${error.file}:${error.line} ${error.message}`);
+        out.push('');
+    }
+    out.push(`${plural(report.specFiles.length, 'spec file', 'spec files')} read in ${report.durationMs.toFixed(1)}ms`);
+    return out.join('\n');
+}
+/** The JSON form of a query, stable enough for a script to depend on. */
+export function formatQueryJson(report) {
+    return JSON.stringify({ ...report, durationMs: Math.round(report.durationMs * 1000) / 1000 }, null, 2);
+}
+/** Whether a location lies in any of the queried paths. */
+export function inQueriedPaths(file, paths) {
+    return paths.some((query) => within(file, query.path));
+}
+//# sourceMappingURL=query.js.map