@inventarch/language 0.0.0-stage → 1.1.0

package/dist/parser/parser.js

@@ -0,0 +1,297 @@
+import { diag } from '../diagnostics.js';
+import { scan } from '../scanner/index.js';
+import { itemValue, spell, splitField } from './values.js';
+export const LANGUAGE_VERSION = '1.0';
+export const SUPPORTED_VERSIONS = [LANGUAGE_VERSION];
+const DISCRIMINATOR_RE = /^[a-z][a-z0-9-]*$/;
+const NAME_RE = /^[A-Za-z][A-Za-z0-9-]*$/;
+function linesOf(tokens) {
+    const lines = [];
+    const trailing = [];
+    let current = [];
+    for (const t of tokens) {
+        switch (t.kind) {
+            case 'pragma':
+            case 'indent':
+            case 'dedent':
+                break;
+            case 'comment':
+                if (t.trailing)
+                    trailing.push({ line: t.line, text: t.text });
+                break;
+            case 'newline':
+                lines.push({ tokens: current, line: t.line, endLine: t.endLine, depth: t.depth });
+                current = [];
+                break;
+            default:
+                current.push(t);
+        }
+    }
+    return { lines, trailing };
+}
+class Parser {
+    lines;
+    path;
+    fileEnd;
+    index = 0;
+    diagnostics = [];
+    recordSpans = [];
+    constructor(lines, path, fileEnd) {
+        this.lines = lines;
+        this.path = path;
+        this.fileEnd = fileEnd;
+    }
+    peek() {
+        return this.lines[this.index];
+    }
+    refuse(code, line, message) {
+        this.diagnostics.push(diag(code, this.path, line.line, `${this.path}:${line.line}: ${message}`));
+    }
+    /** Skip every line deeper than `depth`: the block beneath something already refused. */
+    skipDeeper(depth) {
+        while ((this.peek()?.depth ?? -1) > depth)
+            this.index++;
+    }
+    /** Parse a header line into discriminator and name, or refuse it naming what was found. */
+    header(line) {
+        const [first, second, third] = line.tokens;
+        if (first?.kind !== 'sigil') {
+            this.refuse('IA-LANG-HEADER-MALFORMED', line, `a header is '@<discriminator> <name>'; found '${first === undefined ? '' : spell(first)}'`);
+            return undefined;
+        }
+        const discriminator = first.value.slice(1);
+        if (!DISCRIMINATOR_RE.test(discriminator)) {
+            this.refuse('IA-LANG-HEADER-MALFORMED', line, `discriminator '${discriminator}' must match [a-z][a-z0-9-]*`);
+            return undefined;
+        }
+        if (second === undefined) {
+            this.refuse('IA-LANG-HEADER-MALFORMED', line, `'@${discriminator}' is missing its name`);
+            return undefined;
+        }
+        if (second.kind !== 'word' || !NAME_RE.test(second.value)) {
+            this.refuse('IA-LANG-HEADER-MALFORMED', line, `name '${spell(second)}' must match [A-Za-z][A-Za-z0-9-]* and carry no fragment`);
+            return undefined;
+        }
+        if (third !== undefined) {
+            this.refuse('IA-LANG-HEADER-MALFORMED', line, `unexpected '${spell(third)}' after the name`);
+            return undefined;
+        }
+        return { discriminator, name: second.value };
+    }
+    /** Parse children at `depth` until a shallower line. */
+    children(depth, nested) {
+        const out = [];
+        for (;;) {
+            const line = this.peek();
+            if (line === undefined || line.depth < depth)
+                return out;
+            if (line.depth > depth) {
+                // Deeper than any child here can be: indented under an item, or stepped in more than one level.
+                this.refuse('IA-LANG-INDENT-STEP', line, `depth ${line.depth} here; at most depth ${depth} can follow`);
+                this.index++;
+                this.skipDeeper(depth);
+                continue;
+            }
+            const first = line.tokens[0];
+            if (first?.kind === 'sigil') {
+                const record = this.record(line, depth);
+                if (record !== undefined) {
+                    out.push(record);
+                    nested.push(record);
+                }
+                continue;
+            }
+            if (first?.kind === 'word' && first.value === '-') {
+                this.index++;
+                const read = itemValue(line.tokens.slice(1), this.path, line.line);
+                this.diagnostics.push(...read.diagnostics);
+                const item = { kind: 'item', value: read.value, span: { line: line.line, endLine: line.endLine } };
+                out.push(item);
+                continue;
+            }
+            const field = this.field(line, depth, nested);
+            if (field !== undefined)
+                out.push(field);
+        }
+    }
+    /** Parse a field line and its block; `undefined` when the line was refused (its block is still consumed). */
+    field(line, depth, nested) {
+        this.index++;
+        const split = splitField(line.tokens, this.path, line.line);
+        this.diagnostics.push(...split.diagnostics);
+        // A value with no key is refused with its block, unjudged; nothing beneath it can leak into `nested`.
+        if (split.key === '') {
+            this.skipDeeper(depth);
+            return undefined;
+        }
+        const children = this.children(depth + 1, nested);
+        const endLine = children.length > 0 ? children[children.length - 1].span.endLine : line.endLine;
+        // A bare key with children is a block; a refused value stays `none` so the refusal is visible.
+        const value = split.value.kind === 'none' && children.length > 0 && split.diagnostics.length === 0
+            ? { kind: 'block' }
+            : split.value;
+        return {
+            kind: 'field',
+            key: split.key,
+            words: split.words,
+            value,
+            ...(split.when === undefined ? {} : { when: split.when }),
+            ...(split.assertive === undefined ? {} : { assertive: split.assertive }),
+            span: { line: line.line, endLine },
+            children,
+        };
+    }
+    record(line, depth) {
+        this.index++;
+        const header = this.header(line);
+        // A refused header takes its whole body with it, unjudged: one refusal, one diagnostic.
+        if (header === undefined) {
+            this.skipDeeper(depth);
+            this.recordSpans.push({ line: line.line, endLine: (this.peek()?.line ?? this.fileEnd + 1) - 1 });
+            return undefined;
+        }
+        const nested = [];
+        const head = [];
+        const sections = [];
+        let sawSection = false;
+        let endLine = line.endLine;
+        for (;;) {
+            const next = this.peek();
+            if (next === undefined || next.depth <= depth)
+                break;
+            if (next.depth > depth + 1) {
+                this.refuse('IA-LANG-INDENT-STEP', next, `depth ${next.depth} here; at most depth ${depth + 1} can follow a header`);
+                this.index++;
+                this.skipDeeper(depth + 1);
+                continue;
+            }
+            const first = next.tokens[0];
+            if (first?.kind === 'sigil') {
+                this.refuse('IA-LANG-HEADER-MALFORMED', next, 'a nested record must be inside a section or a field block, not directly under a header');
+                this.index++;
+                this.skipDeeper(depth + 1);
+                continue;
+            }
+            if (first?.kind === 'word' && first.value === '-') {
+                this.refuse('IA-LANG-LIST-MALFORMED', next, 'an item needs a field or a section above it');
+                this.index++;
+                this.skipDeeper(depth + 1);
+                continue;
+            }
+            const isBare = next.tokens.length === 1 && first?.kind === 'word';
+            if (isBare) {
+                this.index++;
+                const children = this.children(depth + 2, nested);
+                const sectionEnd = children.length > 0 ? children[children.length - 1].span.endLine : next.endLine;
+                sections.push({ kind: 'section', name: first.value, span: { line: next.line, endLine: sectionEnd }, children });
+                sawSection = true;
+                endLine = sectionEnd;
+                continue;
+            }
+            if (sawSection) {
+                // Refused before its block is read. A key-less line is refused for its missing key, not for its position.
+                const split = splitField(next.tokens, this.path, next.line);
+                if (split.key === '')
+                    this.diagnostics.push(...split.diagnostics);
+                else
+                    this.refuse('IA-LANG-HEAD-FIELD-AFTER-SECTION', next, `head field '${split.key}' must precede every section`);
+                this.index++;
+                this.skipDeeper(depth + 1);
+                continue;
+            }
+            const f = this.field(next, depth + 1, nested);
+            if (f === undefined)
+                continue;
+            endLine = f.span.endLine;
+            head.push(f);
+        }
+        this.recordSpans.push({ line: line.line, endLine: (this.peek()?.line ?? this.fileEnd + 1) - 1 });
+        return {
+            kind: 'record',
+            discriminator: header.discriminator,
+            name: header.name,
+            head,
+            sections,
+            nested,
+            span: { line: line.line, endLine },
+        };
+    }
+    file() {
+        const records = [];
+        while (this.index < this.lines.length) {
+            const line = this.lines[this.index];
+            const first = line.tokens[0];
+            if (line.depth > 0 || first === undefined || first.kind !== 'sigil') {
+                const found = first === undefined ? '' : spell(first);
+                this.refuse('IA-LANG-TOPLEVEL-UNEXPECTED', line, line.depth > 0
+                    ? 'indented line outside any record'
+                    : `expected a header '@<discriminator> <name>' at depth 0; found '${found}'`);
+                this.index++;
+                // Only the block beneath the refused line is consumed; a stray sibling is its own mistake.
+                this.skipDeeper(line.depth);
+                continue;
+            }
+            const record = this.record(line, 0);
+            if (record !== undefined)
+                records.push(record);
+        }
+        return records;
+    }
+}
+function attachTrivia(scanTrivia, trailing, records) {
+    // A record's endLine is never below its first line, so the first record whose end is at or
+    // past the trivia line is the one it precedes or lies within.
+    const ends = records.map((r) => r.span.endLine);
+    const owner = (line) => {
+        for (let i = 0; i < ends.length; i++)
+            if (line <= ends[i])
+                return i;
+        return 'file';
+    };
+    const out = [];
+    for (const t of scanTrivia) {
+        out.push(t.kind === 'comment'
+            ? { kind: 'comment', line: t.line, text: t.text, attachedTo: owner(t.line), trailing: false }
+            : { kind: 'blank', line: t.line, attachedTo: owner(t.line), trailing: false });
+    }
+    for (const t of trailing)
+        out.push({ kind: 'comment', line: t.line, text: t.text, attachedTo: owner(t.line), trailing: true });
+    return out.sort((a, b) => a.line - b.line);
+}
+/** Parse one file. Spec sections 1, 2, 9 and 11. */
+export function parse(source, path) {
+    const scanned = scan(source, path);
+    const empty = { kind: 'file', path, version: scanned.version ?? '', records: [], trivia: [] };
+    // A refused file reports only its refusal: nothing after line 1 is judged by this version's rules.
+    if (scanned.version === undefined) {
+        const diagnostics = scanned.diagnostics.filter((d) => d.code === 'IA-LANG-PRAGMA-MISSING');
+        return { ast: { ...empty, syntaxDiagnostics: diagnostics, syntaxRecordSpans: [] }, diagnostics };
+    }
+    if (!SUPPORTED_VERSIONS.includes(scanned.version)) {
+        const diagnostics = [
+            diag('IA-LANG-VERSION-UNSUPPORTED', path, 1, `${path}:1: version ${scanned.version} is not supported; supported: ${SUPPORTED_VERSIONS.join(', ')}`),
+        ];
+        return { ast: { ...empty, syntaxDiagnostics: diagnostics, syntaxRecordSpans: [] }, diagnostics };
+    }
+    const diagnostics = [...scanned.diagnostics];
+    const { lines, trailing } = linesOf(scanned.tokens);
+    const fileEnd = Math.max(1, ...lines.map((line) => line.endLine), ...diagnostics.map((diagnostic) => diagnostic.endLine ?? diagnostic.line));
+    const parser = new Parser(lines, path, fileEnd);
+    const records = parser.file();
+    diagnostics.push(...parser.diagnostics);
+    const trivia = attachTrivia(scanned.trivia, trailing, records);
+    diagnostics.sort((a, b) => a.line - b.line);
+    const ast = {
+        kind: 'file',
+        path,
+        version: scanned.version,
+        records,
+        trivia,
+        ...(diagnostics.length === 0
+            ? {}
+            : { syntaxDiagnostics: diagnostics, syntaxRecordSpans: parser.recordSpans.sort((a, b) => a.line - b.line) }),
+    };
+    // Scanner and parser diagnostics interleave by source line, not by which stage found them.
+    return { ast, diagnostics };
+}
+//# sourceMappingURL=parser.js.map

package/dist/parser/parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.js","sourceRoot":"","sources":["../../src/parser/parser.ts"],"names":[],"mappings":"AAWA,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAEzC,OAAO,EAAE,IAAI,EAAE,MAAM,qBAAqB,CAAC;AAG3C,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE3D,MAAM,CAAC,MAAM,gBAAgB,GAAG,KAAK,CAAC;AACtC,MAAM,CAAC,MAAM,kBAAkB,GAAsB,CAAC,gBAAgB,CAAC,CAAC;AAOxE,MAAM,gBAAgB,GAAG,mBAAmB,CAAC;AAC7C,MAAM,OAAO,GAAG,yBAAyB,CAAC;AAe1C,SAAS,OAAO,CAAC,MAA8B;IAC7C,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,MAAM,QAAQ,GAAsB,EAAE,CAAC;IACvC,IAAI,OAAO,GAAY,EAAE,CAAC;IAC1B,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,QAAQ,CAAC;YACd,KAAK,QAAQ,CAAC;YACd,KAAK,QAAQ;gBACX,MAAM;YACR,KAAK,SAAS;gBACZ,IAAI,CAAC,CAAC,QAAQ;oBAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC9D,MAAM;YACR,KAAK,SAAS;gBACZ,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;gBAClF,OAAO,GAAG,EAAE,CAAC;gBACb,MAAM;YACR;gBACE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AAC7B,CAAC;AAED,MAAM,MAAM;IAKC;IACA;IACA;IANX,KAAK,GAAG,CAAC,CAAC;IACD,WAAW,GAAiB,EAAE,CAAC;IAC/B,WAAW,GAAW,EAAE,CAAC;IAClC,YACW,KAAsB,EACtB,IAAY,EACZ,OAAe;QAFf,UAAK,GAAL,KAAK,CAAiB;QACtB,SAAI,GAAJ,IAAI,CAAQ;QACZ,YAAO,GAAP,OAAO,CAAQ;IACvB,CAAC;IAEJ,IAAI;QACF,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC;IAED,MAAM,CAAC,IAAc,EAAE,IAAU,EAAE,OAAe;QAChD,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC,CAAC,CAAC;IACnG,CAAC;IAED,wFAAwF;IACxF,UAAU,CAAC,KAAa;QACtB,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,KAAK;YAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IAC1D,CAAC;IAED,2FAA2F;IAC3F,MAAM,CAAC,IAAU;QACf,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;QAC3C,IAAI,KAAK,EAAE,IAAI,KAAK,OAAO,EAAE,CAAC;YAC5B,IAAI,CAAC,MAAM,CACT,0BAA0B,EAC1B,IAAI,EACJ,iDAAiD,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAC5F,CAAC;YACF,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,aAAa,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;YAC1C,IAAI,CAAC,MAAM,CAAC,0BAA0B,EAAE,IAAI,EAAE,kBAAkB,aAAa,8BAA8B,CAAC,CAAC;YAC7G,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,IAAI,CAAC,MAAM,CAAC,0BAA0B,EAAE,IAAI,EAAE,KAAK,aAAa,uBAAuB,CAAC,CAAC;YACzF,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1D,IAAI,CAAC,MAAM,CACT,0BAA0B,EAC1B,IAAI,EACJ,SAAS,KAAK,CAAC,MAAM,CAAC,0DAA0D,CACjF,CAAC;YACF,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,IAAI,CAAC,MAAM,CAAC,0BAA0B,EAAE,IAAI,EAAE,eAAe,KAAK,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;YAC7F,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;IAC/C,CAAC;IAED,wDAAwD;IACxD,QAAQ,CAAC,KAAa,EAAE,MAAoB;QAC1C,MAAM,GAAG,GAAgB,EAAE,CAAC;QAC5B,SAAS,CAAC;YACR,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;YACzB,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,GAAG,KAAK;gBAAE,OAAO,GAAG,CAAC;YACzD,IAAI,IAAI,CAAC,KAAK,GAAG,KAAK,EAAE,CAAC;gBACvB,gGAAgG;gBAChG,IAAI,CAAC,MAAM,CAAC,qBAAqB,EAAE,IAAI,EAAE,SAAS,IAAI,CAAC,KAAK,wBAAwB,KAAK,aAAa,CAAC,CAAC;gBACxG,IAAI,CAAC,KAAK,EAAE,CAAC;gBACb,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;gBACvB,SAAS;YACX,CAAC;YACD,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAI,KAAK,EAAE,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC5B,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBACxC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;oBACzB,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;oBACjB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACtB,CAAC;gBACD,SAAS;YACX,CAAC;YACD,IAAI,KAAK,EAAE,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;gBAClD,IAAI,CAAC,KAAK,EAAE,CAAC;gBACb,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBACnE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC;gBAC3C,MAAM,IAAI,GAAa,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;gBAC7G,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACf,SAAS;YACX,CAAC;YACD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;YAC9C,IAAI,KAAK,KAAK,SAAS;gBAAE,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;IAED,6GAA6G;IAC7G,KAAK,CAAC,IAAU,EAAE,KAAa,EAAE,MAAoB;QACnD,IAAI,CAAC,KAAK,EAAE,CAAC;QACb,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5D,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;QAC5C,sGAAsG;QACtG,IAAI,KAAK,CAAC,GAAG,KAAK,EAAE,EAAE,CAAC;YACrB,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YACvB,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;QAClD,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC;QACjG,+FAA+F;QAC/F,MAAM,KAAK,GACT,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC;YAClF,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE;YACnB,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;QAClB,OAAO;YACL,IAAI,EAAE,OAAO;YACb,GAAG,EAAE,KAAK,CAAC,GAAG;YACd,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,KAAK;YACL,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;YACzD,GAAG,CAAC,KAAK,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC;YACxE,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE;YAClC,QAAQ;SACT,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,IAAU,EAAE,KAAa;QAC9B,IAAI,CAAC,KAAK,EAAE,CAAC;QACb,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACjC,wFAAwF;QACxF,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;YACvB,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,IAAI,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACjG,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,MAAM,GAAiB,EAAE,CAAC;QAChC,MAAM,IAAI,GAAgB,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAkB,EAAE,CAAC;QACnC,IAAI,UAAU,GAAG,KAAK,CAAC;QACvB,IAAI,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;QAC3B,SAAS,CAAC;YACR,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;YACzB,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,IAAI,KAAK;gBAAE,MAAM;YACrD,IAAI,IAAI,CAAC,KAAK,GAAG,KAAK,GAAG,CAAC,EAAE,CAAC;gBAC3B,IAAI,CAAC,MAAM,CACT,qBAAqB,EACrB,IAAI,EACJ,SAAS,IAAI,CAAC,KAAK,wBAAwB,KAAK,GAAG,CAAC,sBAAsB,CAC3E,CAAC;gBACF,IAAI,CAAC,KAAK,EAAE,CAAC;gBACb,IAAI,CAAC,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;gBAC3B,SAAS;YACX,CAAC;YACD,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAI,KAAK,EAAE,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC5B,IAAI,CAAC,MAAM,CACT,0BAA0B,EAC1B,IAAI,EACJ,wFAAwF,CACzF,CAAC;gBACF,IAAI,CAAC,KAAK,EAAE,CAAC;gBACb,IAAI,CAAC,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;gBAC3B,SAAS;YACX,CAAC;YACD,IAAI,KAAK,EAAE,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;gBAClD,IAAI,CAAC,MAAM,CAAC,wBAAwB,EAAE,IAAI,EAAE,6CAA6C,CAAC,CAAC;gBAC3F,IAAI,CAAC,KAAK,EAAE,CAAC;gBACb,IAAI,CAAC,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;gBAC3B,SAAS;YACX,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,EAAE,IAAI,KAAK,MAAM,CAAC;YAClE,IAAI,MAAM,EAAE,CAAC;gBACX,IAAI,CAAC,KAAK,EAAE,CAAC;gBACb,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;gBAClD,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC;gBACpG,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,QAAQ,EAAE,CAAC,CAAC;gBAChH,UAAU,GAAG,IAAI,CAAC;gBAClB,OAAO,GAAG,UAAU,CAAC;gBACrB,SAAS;YACX,CAAC;YACD,IAAI,UAAU,EAAE,CAAC;gBACf,0GAA0G;gBAC1G,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC5D,IAAI,KAAK,CAAC,GAAG,KAAK,EAAE;oBAAE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;;oBAEhE,IAAI,CAAC,MAAM,CAAC,kCAAkC,EAAE,IAAI,EAAE,eAAe,KAAK,CAAC,GAAG,8BAA8B,CAAC,CAAC;gBAChH,IAAI,CAAC,KAAK,EAAE,CAAC;gBACb,IAAI,CAAC,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;gBAC3B,SAAS;YACX,CAAC;YACD,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;YAC9C,IAAI,CAAC,KAAK,SAAS;gBAAE,SAAS;YAC9B,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC;YACzB,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACf,CAAC;QACD,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,IAAI,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjG,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,aAAa,EAAE,MAAM,CAAC,aAAa;YACnC,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,IAAI;YACJ,QAAQ;YACR,MAAM;YACN,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE;SACnC,CAAC;IACJ,CAAC;IAED,IAAI;QACF,MAAM,OAAO,GAAiB,EAAE,CAAC;QACjC,OAAO,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;YACtC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAE,CAAC;YACrC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC7B,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBACpE,MAAM,KAAK,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBACtD,IAAI,CAAC,MAAM,CACT,6BAA6B,EAC7B,IAAI,EACJ,IAAI,CAAC,KAAK,GAAG,CAAC;oBACZ,CAAC,CAAC,kCAAkC;oBACpC,CAAC,CAAC,kEAAkE,KAAK,GAAG,CAC/E,CAAC;gBACF,IAAI,CAAC,KAAK,EAAE,CAAC;gBACb,2FAA2F;gBAC3F,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC5B,SAAS;YACX,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACpC,IAAI,MAAM,KAAK,SAAS;gBAAE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACjD,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC;CACF;AAED,SAAS,YAAY,CACnB,UAA6B,EAC7B,QAAoC,EACpC,OAA8B;IAE9B,2FAA2F;IAC3F,8DAA8D;IAC9D,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,CAAC,IAAY,EAAmB,EAAE;QAC9C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,IAAI,IAAI,IAAI,IAAI,CAAC,CAAC,CAAE;gBAAE,OAAO,CAAC,CAAC;QACrE,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IACF,MAAM,GAAG,GAAiB,EAAE,CAAC;IAC7B,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,GAAG,CAAC,IAAI,CACN,CAAC,CAAC,IAAI,KAAK,SAAS;YAClB,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE;YAC7F,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAChF,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,QAAQ;QACtB,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;IACvG,OAAO,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;AAC7C,CAAC;AAED,oDAAoD;AACpD,MAAM,UAAU,KAAK,CAAC,MAAc,EAAE,IAAY;IAChD,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACnC,MAAM,KAAK,GAAa,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IACxG,mGAAmG;IACnG,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAClC,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,wBAAwB,CAAC,CAAC;QAC3F,OAAO,EAAE,GAAG,EAAE,EAAE,GAAG,KAAK,EAAE,iBAAiB,EAAE,WAAW,EAAE,iBAAiB,EAAE,EAAE,EAAE,EAAE,WAAW,EAAE,CAAC;IACnG,CAAC;IACD,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;QAClD,MAAM,WAAW,GAAG;YAClB,IAAI,CACF,6BAA6B,EAC7B,IAAI,EACJ,CAAC,EACD,GAAG,IAAI,eAAe,OAAO,CAAC,OAAO,iCAAiC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACtG;SACF,CAAC;QACF,OAAO,EAAE,GAAG,EAAE,EAAE,GAAG,KAAK,EAAE,iBAAiB,EAAE,WAAW,EAAE,iBAAiB,EAAE,EAAE,EAAE,EAAE,WAAW,EAAE,CAAC;IACnG,CAAC;IACD,MAAM,WAAW,GAAiB,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;IAC3D,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACpD,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CACtB,CAAC,EACD,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,EACpC,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,IAAI,UAAU,CAAC,IAAI,CAAC,CAC1E,CAAC;IACF,MAAM,MAAM,GAAG,IAAI,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAChD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC;IAC9B,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;IACxC,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC/D,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IAC5C,MAAM,GAAG,GAAa;QACpB,IAAI,EAAE,MAAM;QACZ,IAAI;QACJ,OAAO,EAAE,OAAO,CAAC,OAAO;QACxB,OAAO;QACP,MAAM;QACN,GAAG,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC;YAC1B,CAAC,CAAC,EAAE;YACJ,CAAC,CAAC,EAAE,iBAAiB,EAAE,WAAW,EAAE,iBAAiB,EAAE,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;KAC/G,CAAC;IACF,2FAA2F;IAC3F,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,CAAC;AAC9B,CAAC"}

package/dist/parser/values.d.ts

@@ -0,0 +1,24 @@
+import type { ItemValue, Value } from '../ast.js';
+import type { Diagnostic } from '../diagnostics.js';
+import type { Token } from '../scanner/tokens.js';
+export interface SplitField {
+    readonly key: string;
+    /** The line's words before any string, prose, list or reference, in order; on a scalar line that is every word, the value's included. */
+    readonly words: readonly string[];
+    readonly value: Value;
+    /** The `when` clause as words; a quoted string keeps its quotes so the condition reader can judge it. */
+    readonly when?: readonly string[];
+    /** Set when the whole line was words in the form `<key> is <value>`. */
+    readonly assertive?: boolean;
+    readonly diagnostics: readonly Diagnostic[];
+}
+/** How a diagnostic names a token. Shared with the parser. */
+export declare function spell(t: Token): string;
+/** Apply the key rule to a field line's tokens. */
+export declare function splitField(tokens: readonly Token[], path: string, line: number): SplitField;
+/** The value of a `- value` item line: `tokens` are the tokens after the dash. No key rule, no `is` form, no `when` clause; one list item only. */
+export declare function itemValue(tokens: readonly Token[], path: string, line: number): {
+    readonly value: ItemValue;
+    readonly diagnostics: readonly Diagnostic[];
+};
+//# sourceMappingURL=values.d.ts.map

package/dist/parser/values.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"values.d.ts","sourceRoot":"","sources":["../../src/parser/values.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAY,KAAK,EAAE,MAAM,WAAW,CAAC;AAE5D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,sBAAsB,CAAC;AAElD,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,yIAAyI;IACzI,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,yGAAyG;IACzG,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,wEAAwE;IACxE,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C;AAOD,8DAA8D;AAC9D,wBAAgB,KAAK,CAAC,CAAC,EAAE,KAAK,GAAG,MAAM,CAetC;AAoMD,mDAAmD;AACnD,wBAAgB,UAAU,CAAC,MAAM,EAAE,SAAS,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,UAAU,CA+F3F;AAED,mJAAmJ;AACnJ,wBAAgB,SAAS,CACvB,MAAM,EAAE,SAAS,KAAK,EAAE,EACxB,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,GACX;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAA;CAAE,CAuC5E"}

package/dist/parser/values.js

@@ -0,0 +1,284 @@
+import { diag } from '../diagnostics.js';
+const DISCRIMINATOR_RE = /^[a-z][a-z0-9-]*$/;
+const NAME_RE = /^[A-Za-z][A-Za-z0-9-]*(#[A-Za-z0-9-]+(\/[A-Za-z0-9-]+)*)?$/;
+/** How a diagnostic names a token. Shared with the parser. */
+export function spell(t) {
+    switch (t.kind) {
+        case 'list-open':
+            return '[';
+        case 'list-close':
+            return ']';
+        case 'list-sep':
+            return ',';
+        case 'string':
+        case 'prose':
+            return t.raw;
+        case 'word':
+        case 'sigil':
+            return t.value;
+    }
+}
+/** Read `@disc name[#fragment]` from a sigil token and the token after it; `undefined` after a refusal. */
+function refFrom(sigil, nameToken, path, diagnostics) {
+    const spelled = sigil.kind === 'sigil' ? sigil.value : '';
+    const discriminator = spelled.slice(1);
+    if (!DISCRIMINATOR_RE.test(discriminator)) {
+        diagnostics.push(diag('IA-LANG-REF-MALFORMED', path, sigil.line, `${path}:${sigil.line}: '${spelled}' is not a discriminator; expected @[a-z][a-z0-9-]*`));
+        return undefined;
+    }
+    const name = nameToken?.kind === 'word' ? nameToken.value : undefined;
+    if (name === undefined || !NAME_RE.test(name)) {
+        diagnostics.push(diag('IA-LANG-REF-MALFORMED', path, sigil.line, `${path}:${sigil.line}: '@${discriminator}' must be followed by a name matching [A-Za-z][A-Za-z0-9-]* with an optional #fragment`));
+        return undefined;
+    }
+    const hash = name.indexOf('#');
+    const bare = hash >= 0 ? name.slice(0, hash) : name;
+    const fragment = hash >= 0 ? name.slice(hash + 1) : undefined;
+    return {
+        kind: 'ref',
+        discriminator,
+        name: bare,
+        ...(fragment === undefined ? {} : { fragment }),
+        raw: `@${discriminator} ${name}`,
+    };
+}
+/** Read a list from `tokens[start]` (the `list-open`) to its `list-close`; returns the index after it. */
+function listFrom(tokens, start, path, line, diagnostics) {
+    const items = [];
+    let pending = [];
+    let sawItemSinceSep = false;
+    let i = start + 1;
+    const flush = () => {
+        if (pending.length > 0) {
+            items.push({ kind: 'scalar', text: pending.join(' ') });
+            pending = [];
+            sawItemSinceSep = true;
+        }
+    };
+    const missingSeparator = (t) => {
+        if (sawItemSinceSep || pending.length > 0)
+            diagnostics.push(diag('IA-LANG-LIST-MALFORMED', path, t.line, `${path}:${t.line}: missing ',' between list items`));
+    };
+    while (i < tokens.length) {
+        const t = tokens[i];
+        switch (t.kind) {
+            case 'list-close':
+                flush();
+                return { value: { kind: 'list', items }, next: i + 1 };
+            case 'list-sep':
+                flush();
+                if (!sawItemSinceSep)
+                    diagnostics.push(diag('IA-LANG-LIST-MALFORMED', path, t.line, `${path}:${t.line}: empty list item before ','`));
+                sawItemSinceSep = false;
+                i++;
+                continue;
+            case 'list-open': {
+                diagnostics.push(diag('IA-LANG-LIST-MALFORMED', path, t.line, `${path}:${t.line}: a list cannot contain a list`));
+                // Skip the nested list to its matching close, and count it as an item, so one mistake yields one diagnostic.
+                let nested = 1;
+                i++;
+                while (i < tokens.length && nested > 0) {
+                    const k = tokens[i].kind;
+                    if (k === 'list-open')
+                        nested++;
+                    else if (k === 'list-close')
+                        nested--;
+                    i++;
+                }
+                sawItemSinceSep = true;
+                continue;
+            }
+            case 'string':
+                missingSeparator(t);
+                flush();
+                items.push({ kind: 'string', text: t.value, raw: t.raw });
+                sawItemSinceSep = true;
+                i++;
+                continue;
+            case 'prose':
+                // The tokenizer refuses prose followed by `]` or `,`, so this is reachable only for a
+                // prose token that ends an unclosed list; refuse it the same way rather than drop it.
+                diagnostics.push(diag('IA-LANG-PROSE-TRAILING', path, t.line, `${path}:${t.line}: prose is not a list item`));
+                sawItemSinceSep = true;
+                i++;
+                continue;
+            case 'sigil': {
+                missingSeparator(t);
+                flush();
+                const ref = refFrom(t, tokens[i + 1], path, diagnostics);
+                // A refused ref still counts as the item, so a following ',' is not an empty item.
+                sawItemSinceSep = true;
+                if (ref !== undefined) {
+                    items.push(ref);
+                    i += 2;
+                    continue;
+                }
+                // The rest of a refused item is not judged again: skip to the next separator or the close.
+                i++;
+                let nested = 0;
+                while (i < tokens.length) {
+                    const k = tokens[i].kind;
+                    if (k === 'list-open')
+                        nested++;
+                    else if (k === 'list-close') {
+                        if (nested === 0)
+                            break;
+                        nested--;
+                    }
+                    else if (k === 'list-sep' && nested === 0)
+                        break;
+                    i++;
+                }
+                continue;
+            }
+            case 'word':
+                // A word after a string or sigil item, with no separator between, is a second item run together.
+                if (sawItemSinceSep && pending.length === 0)
+                    diagnostics.push(diag('IA-LANG-LIST-MALFORMED', path, t.line, `${path}:${t.line}: missing ',' between list items`));
+                pending.push(t.value);
+                i++;
+                continue;
+        }
+    }
+    diagnostics.push(diag('IA-LANG-LIST-UNTERMINATED', path, line, `${path}:${line}: list has no closing ]`));
+    flush();
+    return { value: { kind: 'list', items }, next: i };
+}
+/** Read one value starting at `tokens[at]`; returns the value (or `none` after a refused ref) and the index after it. */
+function valueAt(tokens, at, path, line, diagnostics) {
+    const t = tokens[at];
+    switch (t.kind) {
+        case 'string':
+            return { value: { kind: 'string', text: t.value, raw: t.raw }, end: at + 1 };
+        case 'prose':
+            return { value: { kind: 'prose', text: t.value, raw: t.raw }, end: at + 1 };
+        case 'list-open': {
+            const list = listFrom(tokens, at, path, line, diagnostics);
+            return { value: list.value, end: list.next };
+        }
+        case 'sigil': {
+            const ref = refFrom(t, tokens[at + 1], path, diagnostics);
+            // After a refused ref the rest of the line is not judged again: one mistake, one diagnostic.
+            return ref === undefined ? { value: { kind: 'none' }, end: tokens.length } : { value: ref, end: at + 2 };
+        }
+        case 'word':
+        case 'list-sep':
+        case 'list-close':
+            // A depth-0 `,` or `]` never reaches here from the tokenizer; treat it as trailing.
+            return { value: { kind: 'none' }, end: at };
+    }
+}
+function trailing(tokens, end, path, diagnostics) {
+    const extra = tokens[end];
+    if (extra !== undefined)
+        diagnostics.push(diag('IA-LANG-VALUE-TRAILING', path, extra.line, `${path}:${extra.line}: unexpected '${spell(extra)}' after the value`));
+}
+/** Apply the key rule to a field line's tokens. */
+export function splitField(tokens, path, line) {
+    const diagnostics = [];
+    // `when` is a keyword only at list depth 0, and never as the name token right after a sigil.
+    let whenAt = -1;
+    let depth = 0;
+    for (let i = 1; i < tokens.length; i++) {
+        const t = tokens[i];
+        if (t.kind === 'list-open')
+            depth++;
+        else if (t.kind === 'list-close')
+            depth--;
+        else if (t.kind === 'sigil' && tokens[i + 1]?.kind === 'word')
+            i++;
+        else if (depth === 0 && t.kind === 'word' && t.value === 'when') {
+            whenAt = i;
+            break;
+        }
+    }
+    const body = whenAt >= 0 ? tokens.slice(0, whenAt) : tokens;
+    const firstValue = body.findIndex((t) => t.kind !== 'word');
+    const words = (firstValue < 0 ? body : body.slice(0, firstValue)).flatMap((t) => t.kind === 'word' ? [t.value] : []);
+    let key = words.join(' ');
+    if (firstValue >= 0 && key === '') {
+        // A value with no key is refused unread, its when clause included: one mistake, one diagnostic.
+        const first = body[firstValue];
+        diagnostics.push(diag('IA-LANG-FIELD-KEY-MISSING', path, first.line, `${path}:${first.line}: a field needs a key before its value; found '${spell(first)}'`));
+        return { key, words, value: { kind: 'none' }, diagnostics };
+    }
+    let when;
+    if (whenAt >= 0) {
+        when = [];
+        const clause = tokens.slice(whenAt + 1);
+        if (clause.length === 0) {
+            diagnostics.push(diag('IA-LANG-VALUE-TRAILING', path, tokens[whenAt].line, `${path}:${tokens[whenAt].line}: 'when' has no condition after it`));
+        }
+        for (const t of clause) {
+            if (t.kind === 'word' || t.kind === 'sigil')
+                when.push(t.value);
+            else if (t.kind === 'string')
+                when.push(t.raw);
+            else {
+                diagnostics.push(diag('IA-LANG-VALUE-TRAILING', path, t.line, `${path}:${t.line}: unexpected '${spell(t)}' in a when clause; a condition is words, quoted strings and references only`));
+                break;
+            }
+        }
+    }
+    let value = { kind: 'none' };
+    let assertive;
+    if (firstValue < 0) {
+        if (words.length >= 3 && words[1] === 'is') {
+            key = words[0] ?? '';
+            value = { kind: 'scalar', text: words.slice(2).join(' ') };
+            assertive = true;
+        }
+        else if (words.length >= 2) {
+            key = words[0] ?? '';
+            value = { kind: 'scalar', text: words.slice(1).join(' ') };
+        }
+    }
+    else {
+        const read = valueAt(body, firstValue, path, line, diagnostics);
+        value = read.value;
+        trailing(body, read.end, path, diagnostics);
+    }
+    return {
+        key,
+        words,
+        value,
+        ...(when === undefined ? {} : { when }),
+        ...(assertive === undefined ? {} : { assertive }),
+        diagnostics,
+    };
+}
+/** The value of a `- value` item line: `tokens` are the tokens after the dash. No key rule, no `is` form, no `when` clause; one list item only. */
+export function itemValue(tokens, path, line) {
+    const diagnostics = [];
+    const first = tokens[0];
+    if (first === undefined) {
+        diagnostics.push(diag('IA-LANG-LIST-MALFORMED', path, line, `${path}:${line}: an item needs a value after '-'`));
+        return { value: { kind: 'none' }, diagnostics };
+    }
+    if (first.kind === 'word') {
+        const wordsEnd = tokens.findIndex((t) => t.kind !== 'word');
+        const end = wordsEnd < 0 ? tokens.length : wordsEnd;
+        const value = {
+            kind: 'scalar',
+            text: tokens
+                .slice(0, end)
+                .flatMap((t) => (t.kind === 'word' ? [t.value] : []))
+                .join(' '),
+        };
+        trailing(tokens, end, path, diagnostics);
+        return { value, diagnostics };
+    }
+    if (first.kind === 'prose' || first.kind === 'list-open') {
+        // An item line holds one list item; prose or a list there is refused unread (spec 2.1, 2.4).
+        diagnostics.push(diag('IA-LANG-LIST-MALFORMED', path, line, `${path}:${line}: an item is a scalar, a string or a reference, not ${first.kind === 'prose' ? 'prose' : 'a list'}`));
+        return { value: { kind: 'none' }, diagnostics };
+    }
+    const read = valueAt(tokens, 0, path, line, diagnostics);
+    const value = read.value;
+    // `valueAt` on a string or sigil token yields a string, a reference or `none`; the guard above keeps the rest out.
+    if (value.kind === 'prose' || value.kind === 'list' || value.kind === 'block')
+        return { value: { kind: 'none' }, diagnostics };
+    trailing(tokens, read.end, path, diagnostics);
+    return { value, diagnostics };
+}
+//# sourceMappingURL=values.js.map

package/dist/parser/values.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"values.js","sourceRoot":"","sources":["../../src/parser/values.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAgBzC,MAAM,gBAAgB,GAAG,mBAAmB,CAAC;AAC7C,MAAM,OAAO,GAAG,4DAA4D,CAAC;AAI7E,8DAA8D;AAC9D,MAAM,UAAU,KAAK,CAAC,CAAQ;IAC5B,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,WAAW;YACd,OAAO,GAAG,CAAC;QACb,KAAK,YAAY;YACf,OAAO,GAAG,CAAC;QACb,KAAK,UAAU;YACb,OAAO,GAAG,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO;YACV,OAAO,CAAC,CAAC,GAAG,CAAC;QACf,KAAK,MAAM,CAAC;QACZ,KAAK,OAAO;YACV,OAAO,CAAC,CAAC,KAAK,CAAC;IACnB,CAAC;AACH,CAAC;AAED,2GAA2G;AAC3G,SAAS,OAAO,CAAC,KAAY,EAAE,SAA4B,EAAE,IAAY,EAAE,WAAyB;IAClG,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1D,MAAM,aAAa,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACvC,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;QAC1C,WAAW,CAAC,IAAI,CACd,IAAI,CACF,uBAAuB,EACvB,IAAI,EACJ,KAAK,CAAC,IAAI,EACV,GAAG,IAAI,IAAI,KAAK,CAAC,IAAI,MAAM,OAAO,qDAAqD,CACxF,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,IAAI,GAAG,SAAS,EAAE,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;IACtE,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9C,WAAW,CAAC,IAAI,CACd,IAAI,CACF,uBAAuB,EACvB,IAAI,EACJ,KAAK,CAAC,IAAI,EACV,GAAG,IAAI,IAAI,KAAK,CAAC,IAAI,OAAO,aAAa,wFAAwF,CAClI,CACF,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC/B,MAAM,IAAI,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACpD,MAAM,QAAQ,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9D,OAAO;QACL,IAAI,EAAE,KAAK;QACX,aAAa;QACb,IAAI,EAAE,IAAI;QACV,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC;QAC/C,GAAG,EAAE,IAAI,aAAa,IAAI,IAAI,EAAE;KACjC,CAAC;AACJ,CAAC;AAED,0GAA0G;AAC1G,SAAS,QAAQ,CACf,MAAwB,EACxB,KAAa,EACb,IAAY,EACZ,IAAY,EACZ,WAAyB;IAEzB,MAAM,KAAK,GAAe,EAAE,CAAC;IAC7B,IAAI,OAAO,GAAa,EAAE,CAAC;IAC3B,IAAI,eAAe,GAAG,KAAK,CAAC;IAC5B,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC;IAClB,MAAM,KAAK,GAAG,GAAS,EAAE;QACvB,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACxD,OAAO,GAAG,EAAE,CAAC;YACb,eAAe,GAAG,IAAI,CAAC;QACzB,CAAC;IACH,CAAC,CAAC;IACF,MAAM,gBAAgB,GAAG,CAAC,CAAQ,EAAQ,EAAE;QAC1C,IAAI,eAAe,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YACvC,WAAW,CAAC,IAAI,CACd,IAAI,CAAC,wBAAwB,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,IAAI,IAAI,CAAC,CAAC,IAAI,kCAAkC,CAAC,CAClG,CAAC;IACN,CAAC,CAAC;IACF,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;QACrB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,YAAY;gBACf,KAAK,EAAE,CAAC;gBACR,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;YACzD,KAAK,UAAU;gBACb,KAAK,EAAE,CAAC;gBACR,IAAI,CAAC,eAAe;oBAClB,WAAW,CAAC,IAAI,CACd,IAAI,CAAC,wBAAwB,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,IAAI,IAAI,CAAC,CAAC,IAAI,8BAA8B,CAAC,CAC9F,CAAC;gBACJ,eAAe,GAAG,KAAK,CAAC;gBACxB,CAAC,EAAE,CAAC;gBACJ,SAAS;YACX,KAAK,WAAW,CAAC,CAAC,CAAC;gBACjB,WAAW,CAAC,IAAI,CACd,IAAI,CAAC,wBAAwB,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,IAAI,IAAI,CAAC,CAAC,IAAI,gCAAgC,CAAC,CAChG,CAAC;gBACF,6GAA6G;gBAC7G,IAAI,MAAM,GAAG,CAAC,CAAC;gBACf,CAAC,EAAE,CAAC;gBACJ,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC;oBACvC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC;oBAC1B,IAAI,CAAC,KAAK,WAAW;wBAAE,MAAM,EAAE,CAAC;yBAC3B,IAAI,CAAC,KAAK,YAAY;wBAAE,MAAM,EAAE,CAAC;oBACtC,CAAC,EAAE,CAAC;gBACN,CAAC;gBACD,eAAe,GAAG,IAAI,CAAC;gBACvB,SAAS;YACX,CAAC;YACD,KAAK,QAAQ;gBACX,gBAAgB,CAAC,CAAC,CAAC,CAAC;gBACpB,KAAK,EAAE,CAAC;gBACR,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;gBAC1D,eAAe,GAAG,IAAI,CAAC;gBACvB,CAAC,EAAE,CAAC;gBACJ,SAAS;YACX,KAAK,OAAO;gBACV,sFAAsF;gBACtF,sFAAsF;gBACtF,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,wBAAwB,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,IAAI,IAAI,CAAC,CAAC,IAAI,4BAA4B,CAAC,CAAC,CAAC;gBAC9G,eAAe,GAAG,IAAI,CAAC;gBACvB,CAAC,EAAE,CAAC;gBACJ,SAAS;YACX,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,gBAAgB,CAAC,CAAC,CAAC,CAAC;gBACpB,KAAK,EAAE,CAAC;gBACR,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;gBACzD,mFAAmF;gBACnF,eAAe,GAAG,IAAI,CAAC;gBACvB,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;oBACtB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBAChB,CAAC,IAAI,CAAC,CAAC;oBACP,SAAS;gBACX,CAAC;gBACD,2FAA2F;gBAC3F,CAAC,EAAE,CAAC;gBACJ,IAAI,MAAM,GAAG,CAAC,CAAC;gBACf,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;oBACzB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC;oBAC1B,IAAI,CAAC,KAAK,WAAW;wBAAE,MAAM,EAAE,CAAC;yBAC3B,IAAI,CAAC,KAAK,YAAY,EAAE,CAAC;wBAC5B,IAAI,MAAM,KAAK,CAAC;4BAAE,MAAM;wBACxB,MAAM,EAAE,CAAC;oBACX,CAAC;yBAAM,IAAI,CAAC,KAAK,UAAU,IAAI,MAAM,KAAK,CAAC;wBAAE,MAAM;oBACnD,CAAC,EAAE,CAAC;gBACN,CAAC;gBACD,SAAS;YACX,CAAC;YACD,KAAK,MAAM;gBACT,iGAAiG;gBACjG,IAAI,eAAe,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;oBACzC,WAAW,CAAC,IAAI,CACd,IAAI,CAAC,wBAAwB,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,IAAI,IAAI,CAAC,CAAC,IAAI,kCAAkC,CAAC,CAClG,CAAC;gBACJ,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBACtB,CAAC,EAAE,CAAC;gBACJ,SAAS;QACb,CAAC;IACH,CAAC;IACD,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,2BAA2B,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,IAAI,IAAI,yBAAyB,CAAC,CAAC,CAAC;IAC1G,KAAK,EAAE,CAAC;IACR,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;AACrD,CAAC;AAED,yHAAyH;AACzH,SAAS,OAAO,CACd,MAAwB,EACxB,EAAU,EACV,IAAY,EACZ,IAAY,EACZ,WAAyB;IAEzB,MAAM,CAAC,GAAG,MAAM,CAAC,EAAE,CAAE,CAAC;IACtB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,QAAQ;YACX,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC;QAC/E,KAAK,OAAO;YACV,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC;QAC9E,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;YAC3D,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;QAC/C,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;YAC1D,6FAA6F;YAC7F,OAAO,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC;QAC3G,CAAC;QACD,KAAK,MAAM,CAAC;QACZ,KAAK,UAAU,CAAC;QAChB,KAAK,YAAY;YACf,oFAAoF;YACpF,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC;IAChD,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,MAAwB,EAAE,GAAW,EAAE,IAAY,EAAE,WAAyB;IAC9F,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;IAC1B,IAAI,KAAK,KAAK,SAAS;QACrB,WAAW,CAAC,IAAI,CACd,IAAI,CACF,wBAAwB,EACxB,IAAI,EACJ,KAAK,CAAC,IAAI,EACV,GAAG,IAAI,IAAI,KAAK,CAAC,IAAI,iBAAiB,KAAK,CAAC,KAAK,CAAC,mBAAmB,CACtE,CACF,CAAC;AACN,CAAC;AAED,mDAAmD;AACnD,MAAM,UAAU,UAAU,CAAC,MAAwB,EAAE,IAAY,EAAE,IAAY;IAC7E,MAAM,WAAW,GAAiB,EAAE,CAAC;IAErC,6FAA6F;IAC7F,IAAI,MAAM,GAAG,CAAC,CAAC,CAAC;IAChB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;QACrB,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW;YAAE,KAAK,EAAE,CAAC;aAC/B,IAAI,CAAC,CAAC,IAAI,KAAK,YAAY;YAAE,KAAK,EAAE,CAAC;aACrC,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,MAAM;YAAE,CAAC,EAAE,CAAC;aAC9D,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,KAAK,KAAK,MAAM,EAAE,CAAC;YAChE,MAAM,GAAG,CAAC,CAAC;YACX,MAAM;QACR,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAE5D,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;IAC5D,MAAM,KAAK,GAAG,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAC9E,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CACnC,CAAC;IACF,IAAI,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAE1B,IAAI,UAAU,IAAI,CAAC,IAAI,GAAG,KAAK,EAAE,EAAE,CAAC;QAClC,gGAAgG;QAChG,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAE,CAAC;QAChC,WAAW,CAAC,IAAI,CACd,IAAI,CACF,2BAA2B,EAC3B,IAAI,EACJ,KAAK,CAAC,IAAI,EACV,GAAG,IAAI,IAAI,KAAK,CAAC,IAAI,kDAAkD,KAAK,CAAC,KAAK,CAAC,GAAG,CACvF,CACF,CAAC;QACF,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,WAAW,EAAE,CAAC;IAC9D,CAAC;IAED,IAAI,IAA0B,CAAC;IAC/B,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;QAChB,IAAI,GAAG,EAAE,CAAC;QACV,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACxC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,WAAW,CAAC,IAAI,CACd,IAAI,CACF,wBAAwB,EACxB,IAAI,EACJ,MAAM,CAAC,MAAM,CAAE,CAAC,IAAI,EACpB,GAAG,IAAI,IAAI,MAAM,CAAC,MAAM,CAAE,CAAC,IAAI,oCAAoC,CACpE,CACF,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;gBAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;iBAC3D,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;gBAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;iBAC1C,CAAC;gBACJ,WAAW,CAAC,IAAI,CACd,IAAI,CACF,wBAAwB,EACxB,IAAI,EACJ,CAAC,CAAC,IAAI,EACN,GAAG,IAAI,IAAI,CAAC,CAAC,IAAI,iBAAiB,KAAK,CAAC,CAAC,CAAC,8EAA8E,CACzH,CACF,CAAC;gBACF,MAAM;YACR,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,KAAK,GAAU,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACpC,IAAI,SAA8B,CAAC;IAEnC,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;QACnB,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YAC3C,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACrB,KAAK,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YAC3D,SAAS,GAAG,IAAI,CAAC;QACnB,CAAC;aAAM,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YAC7B,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACrB,KAAK,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QAC7D,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QAChE,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;QACnB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IAC9C,CAAC;IAED,OAAO;QACL,GAAG;QACH,KAAK;QACL,KAAK;QACL,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;QACvC,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC;QACjD,WAAW;KACZ,CAAC;AACJ,CAAC;AAED,mJAAmJ;AACnJ,MAAM,UAAU,SAAS,CACvB,MAAwB,EACxB,IAAY,EACZ,IAAY;IAEZ,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACxB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,wBAAwB,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,IAAI,IAAI,mCAAmC,CAAC,CAAC,CAAC;QACjH,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,WAAW,EAAE,CAAC;IAClD,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC1B,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QAC5D,MAAM,GAAG,GAAG,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC;QACpD,MAAM,KAAK,GAAc;YACvB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,MAAM;iBACT,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;iBACb,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;iBACpD,IAAI,CAAC,GAAG,CAAC;SACb,CAAC;QACF,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QACzC,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;IAChC,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACzD,6FAA6F;QAC7F,WAAW,CAAC,IAAI,CACd,IAAI,CACF,wBAAwB,EACxB,IAAI,EACJ,IAAI,EACJ,GAAG,IAAI,IAAI,IAAI,uDAAuD,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,CACpH,CACF,CAAC;QACF,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,WAAW,EAAE,CAAC;IAClD,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IACzD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;IACzB,mHAAmH;IACnH,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;QAC3E,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,WAAW,EAAE,CAAC;IAClD,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IAC9C,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;AAChC,CAAC"}