@inventarch/language 0.0.0-stage → 1.0.0

package/dist/registry/schemas.js

@@ -0,0 +1,282 @@
+import { diag } from '../diagnostics.js';
+import { CARDINALITIES, KINDS, PREDICATES, TEXT_FORMS, VALUE_TYPES, fieldTypeOf, isCardinality, isId, isKind, isPredicate, isTextForm, } from '../taxonomy.js';
+import { conditionsIn, recordsIn } from './records.js';
+const KEYWORD = /^[a-z][a-z0-9-]*$/;
+/** The three W0 narrowings a field type may carry after it: `in [...]` (id), `to <word>` (ref), `form <form>` (text). */
+const NARROWING_WORDS = ['in', 'to', 'form'];
+/**
+ * Reads the narrowing spelled after a field type, or returns why it is malformed. `words` starts at the narrowing
+ * word; `value` is the row's value, which an `in [...]` set consumes so that row carries no description.
+ */
+function narrowingOf(type, words, value) {
+    const scalar = type.startsWith('list of ') ? type.slice(8) : type;
+    const word = words[0];
+    const argument = words[1];
+    if (word === 'in') {
+        if (scalar !== 'id')
+            return '`in [...]` narrows id or list of id only';
+        if (words.length !== 1 || value.kind !== 'list' || value.items.length === 0)
+            return '`in` must be followed by a nonempty bracketed list of distinct ids: `as id in [a, b]`';
+        const values = [];
+        for (const item of value.items) {
+            if (item.kind !== 'scalar' || !isId(item.text) || values.includes(item.text))
+                return '`in` must be followed by a nonempty bracketed list of distinct ids: `as id in [a, b]`';
+            values.push(item.text);
+        }
+        return { values };
+    }
+    if (word === 'to') {
+        if (scalar !== 'ref')
+            return '`to <word>` narrows ref or list of ref only';
+        if (words.length !== 2 || argument === undefined || !KEYWORD.test(argument))
+            return '`to` must name one discriminator: `as ref to <word>`';
+        return { target: argument };
+    }
+    if (scalar !== 'text')
+        return '`form <form>` narrows text or list of text only';
+    if (words.length !== 2 || argument === undefined)
+        return '`form` must name one text form: `as text form <form>`';
+    if (!isTextForm(argument))
+        return `form '${argument}' is not a text form; admitted: ${TEXT_FORMS.join(', ')}`;
+    return { form: argument };
+}
+/** The field type as the dialect spells it, narrowing included: `id in [a, b]`, `list of ref to task`, `text form iso-date`. */
+export function fieldTypeText(field) {
+    if (field.values !== undefined)
+        return `${field.type} in [${field.values.join(', ')}]`;
+    if (field.target !== undefined)
+        return `${field.type} to ${field.target}`;
+    if (field.form !== undefined)
+        return `${field.type} form ${field.form}`;
+    return field.type;
+}
+/** Every `@schema`, including nested declarations. The caller retains parser diagnostics once. */
+export function extractSchemas(ast, band, parserDiagnostics) {
+    const schemas = [];
+    const diagnostics = [];
+    const refused = new Set();
+    for (const { record, errors } of recordsIn(ast, parserDiagnostics)) {
+        if (record.discriminator !== 'schema')
+            continue;
+        const schema = errors.length > 0 ? undefined : schemaOf(record, ast.path, band, diagnostics);
+        if (schema === undefined)
+            refused.add(record.name.toLowerCase());
+        else
+            schemas.push(schema);
+    }
+    return { schemas, diagnostics, refused };
+}
+function schemaOf(record, path, band, diagnostics) {
+    let ok = true;
+    const malformed = (element, line, why) => {
+        diagnostics.push(diag('IA-LANG-SCHEMA-MALFORMED', path, line, `${path}:${line}: @schema ${record.name}: ${element} ${why}`));
+        ok = false;
+    };
+    // Conditions own their diagnostic; judging the same refused row again would report it twice.
+    for (const section of record.sections)
+        if (section.name === 'when')
+            malformed('when', section.span.line, 'cannot open a schema condition block');
+    for (const child of conditionsIn([
+        ...record.head,
+        ...record.sections.filter((section) => section.name !== 'when').flatMap((section) => section.children),
+    ])) {
+        malformed(`'${child.key}'`, child.span.line, 'carries a when clause; a schema states no conditions');
+    }
+    const flatRow = (child, element) => {
+        if (conditionsIn([child]).length > 0)
+            return false;
+        if (child.kind !== 'field') {
+            malformed(element, child.span.line, 'holds field rows, not items or nested records');
+            return false;
+        }
+        if (child.children.length > 0) {
+            malformed(element, child.span.line, 'row cannot hold a child block');
+            return false;
+        }
+        return true;
+    };
+    const blocks = (name) => record.sections.filter((section) => section.name === name);
+    const rows = (name) => blocks(name).flatMap((section) => section.children);
+    let kind;
+    const lowersFields = record.head.filter((field) => field.words[0] === 'lowers' && field.words[1] === 'to');
+    const lowers = lowersFields[0];
+    for (const duplicate of lowersFields.slice(1))
+        malformed('lowers to', duplicate.span.line, 'appears twice; it is written once');
+    if (lowers === undefined)
+        malformed('lowers to', record.span.line, 'is required: `lowers to <kind>`');
+    else if (flatRow(lowers, 'lowers to')) {
+        const named = lowers.words[2];
+        if (lowers.value.kind !== 'scalar' || lowers.words.length !== 3 || named === undefined)
+            malformed('lowers to', lowers.span.line, 'must name one bare kind: `lowers to <kind>`');
+        else if (isKind(named))
+            kind = named;
+        else {
+            diagnostics.push(diag('IA-LANG-KIND-UNKNOWN', path, lowers.span.line, `${path}:${lowers.span.line}: '${named}' is not a closed kind; admitted: ${KINDS.join(', ')}`));
+            ok = false;
+        }
+    }
+    const sections = [];
+    let closed;
+    const sectionsBlock = blocks('sections')[0];
+    if (sectionsBlock === undefined)
+        malformed('sections', record.span.line, 'is required: `must have`/`may have` lines ending with `closed` or `open`');
+    else {
+        const children = rows('sections');
+        const terminators = [];
+        let lastSectionAt = -1;
+        let rowFault = false;
+        children.forEach((child, index) => {
+            const words = child.kind === 'field' ? child.words : [];
+            const first = words[0];
+            if (child.kind === 'field' && (first === 'closed' || first === 'open')) {
+                const flat = flatRow(child, 'sections');
+                const valid = flat && words.length === 1 && child.value.kind === 'none';
+                terminators.push({ field: child, index, valid });
+                if (valid)
+                    closed = first === 'closed';
+                else if (flat)
+                    malformed('sections', child.span.line, 'terminator must be bare `closed` or `open`');
+                return;
+            }
+            if (!flatRow(child, 'sections')) {
+                rowFault = true;
+                return;
+            }
+            const name = words[2];
+            if ((first === 'must' || first === 'may') &&
+                words[1] === 'have' &&
+                words.length === 3 &&
+                name !== undefined &&
+                KEYWORD.test(name) &&
+                child.value.kind === 'scalar') {
+                lastSectionAt = index;
+                if (sections.some((section) => section.name === name))
+                    malformed('sections', child.span.line, `lists '${name}' twice`);
+                else
+                    sections.push({ name, must: first === 'must', span: child.span });
+                return;
+            }
+            rowFault = true;
+            malformed('sections', child.span.line, 'holds `must have <section>` or `may have <section>` lines, then `closed` or `open`');
+        });
+        // A malformed terminator or already-refused trailing row must not also become a missing/end-position fault.
+        const terminal = terminators[0];
+        if (terminal === undefined && !rowFault)
+            malformed('sections', sectionsBlock.span.line, 'must end with exactly one of `closed` or `open`');
+        else if (terminators.length === 1 && terminal?.valid && terminal.index < lastSectionAt)
+            malformed('sections', terminal.field.span.line, 'must end with exactly one of `closed` or `open`');
+        for (const duplicate of terminators.slice(1))
+            if (duplicate.valid)
+                malformed('sections', duplicate.field.span.line, 'must end with exactly one of `closed` or `open`');
+    }
+    const fields = [];
+    for (const child of rows('fields')) {
+        const line = child.span.line;
+        if (!flatRow(child, 'fields'))
+            continue;
+        const words = child.words;
+        const first = words[0];
+        const pathWord = words[2];
+        if ((first !== 'must' && first !== 'may') ||
+            words[1] !== 'have' ||
+            pathWord === undefined ||
+            words[3] !== 'as' ||
+            words.length < 5) {
+            malformed('fields', line, 'entry must read `must have <section>.<key> as <type>` or `may have ...`');
+            continue;
+        }
+        const [section, key, ...more] = pathWord.split('.');
+        if (section === undefined || key === undefined || !KEYWORD.test(section) || key === '' || more.length > 0) {
+            malformed('fields', line, `path '${pathWord}' must be <section>.<key>`);
+            continue;
+        }
+        if (section === 'relationships') {
+            diagnostics.push(diag('IA-LANG-SCHEMA-EDGE-AS-FIELD', path, line, `${path}:${line}: @schema ${record.name}: '${pathWord}' states a relationship as a field; state it under \`edges\``));
+            ok = false;
+            continue;
+        }
+        const typeWords = words.slice(4);
+        const narrowAt = typeWords.findIndex((word) => NARROWING_WORDS.includes(word));
+        const type = fieldTypeOf(narrowAt === -1 ? typeWords : typeWords.slice(0, narrowAt));
+        if (type === undefined) {
+            malformed('fields', line, `type '${typeWords.join(' ')}' is not a value type; admitted: ${VALUE_TYPES.join(', ')}, or list of one`);
+            continue;
+        }
+        const narrowing = narrowAt === -1 ? {} : narrowingOf(type, typeWords.slice(narrowAt), child.value);
+        if (typeof narrowing === 'string') {
+            malformed('fields', line, narrowing);
+            continue;
+        }
+        if (narrowing.values === undefined && child.value.kind !== 'scalar' && child.value.kind !== 'string') {
+            malformed('fields', line, 'may carry only a quoted description after the type');
+            continue;
+        }
+        if (fields.some((field) => field.section === section && field.key === key)) {
+            malformed('fields', line, `lists '${pathWord}' twice`);
+            continue;
+        }
+        const description = child.value.kind === 'string' ? child.value.text : undefined;
+        fields.push({
+            section,
+            key,
+            type,
+            must: first === 'must',
+            ...(description === undefined ? {} : { description }),
+            ...narrowing,
+            span: child.span,
+        });
+    }
+    const edges = [];
+    for (const child of rows('edges')) {
+        const line = child.span.line;
+        if (!flatRow(child, 'edges'))
+            continue;
+        const words = child.words;
+        const first = words[0];
+        const predicate = words[1];
+        const target = words[2];
+        const cardinality = words[3];
+        if (child.value.kind !== 'scalar' ||
+            words.length !== 4 ||
+            (first !== 'must' && first !== 'may') ||
+            predicate === undefined ||
+            target === undefined ||
+            cardinality === undefined) {
+            malformed('edges', line, 'entry must read `must <predicate> <kind or discriminator> <cardinality>` or `may ...`');
+            continue;
+        }
+        if (!isPredicate(predicate)) {
+            diagnostics.push(diag('IA-LANG-PREDICATE-UNKNOWN', path, line, `${path}:${line}: '${predicate}' is not a predicate; admitted: ${PREDICATES.join(', ')}`));
+            ok = false;
+            continue;
+        }
+        if (!isCardinality(cardinality)) {
+            malformed('edges', line, `cardinality '${cardinality}' must be one of ${CARDINALITIES.join(', ')}`);
+            continue;
+        }
+        if (!KEYWORD.test(target)) {
+            malformed('edges', line, `target '${target}' must spell a kind or discriminator: [a-z][a-z0-9-]*`);
+            continue;
+        }
+        if (edges.some((edge) => edge.predicate === predicate && edge.target === target)) {
+            malformed('edges', line, `states '${predicate} ${target}' twice`);
+            continue;
+        }
+        edges.push({ predicate, target, must: first === 'must', cardinality, span: child.span });
+    }
+    if (!ok || kind === undefined || closed === undefined)
+        return undefined;
+    return {
+        name: record.name.toLowerCase(),
+        displayName: record.name,
+        kind,
+        sections,
+        closed,
+        fields,
+        edges,
+        path,
+        span: record.span,
+        band,
+    };
+}
+//# sourceMappingURL=schemas.js.map

package/dist/registry/schemas.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schemas.js","sourceRoot":"","sources":["../../src/registry/schemas.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAEzC,OAAO,EACL,aAAa,EACb,KAAK,EACL,UAAU,EACV,UAAU,EACV,WAAW,EACX,WAAW,EACX,aAAa,EACb,IAAI,EACJ,MAAM,EACN,WAAW,EACX,UAAU,GACX,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAGvD,MAAM,OAAO,GAAG,mBAAmB,CAAC;AACpC,yHAAyH;AACzH,MAAM,eAAe,GAAsB,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;AAGhE;;;GAGG;AACH,SAAS,WAAW,CAAC,IAAe,EAAE,KAAwB,EAAE,KAAY;IAC1E,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAClE,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACtB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAC1B,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,IAAI,MAAM,KAAK,IAAI;YAAE,OAAO,0CAA0C,CAAC;QACvE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;YACzE,OAAO,uFAAuF,CAAC;QACjG,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;gBAC1E,OAAO,uFAAuF,CAAC;YACjG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,CAAC;IACpB,CAAC;IACD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;QAClB,IAAI,MAAM,KAAK,KAAK;YAAE,OAAO,6CAA6C,CAAC;QAC3E,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC;YACzE,OAAO,sDAAsD,CAAC;QAChE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;IAC9B,CAAC;IACD,IAAI,MAAM,KAAK,MAAM;QAAE,OAAO,iDAAiD,CAAC;IAChF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,uDAAuD,CAAC;IACjH,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC;QAAE,OAAO,SAAS,QAAQ,mCAAmC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IAC9G,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAC5B,CAAC;AAED,gIAAgI;AAChI,MAAM,UAAU,aAAa,CAAC,KAK7B;IACC,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,GAAG,KAAK,CAAC,IAAI,QAAQ,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACvF,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,GAAG,KAAK,CAAC,IAAI,OAAO,KAAK,CAAC,MAAM,EAAE,CAAC;IAC1E,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;QAAE,OAAO,GAAG,KAAK,CAAC,IAAI,SAAS,KAAK,CAAC,IAAI,EAAE,CAAC;IACxE,OAAO,KAAK,CAAC,IAAI,CAAC;AACpB,CAAC;AASD,kGAAkG;AAClG,MAAM,UAAU,cAAc,CAAC,GAAa,EAAE,IAAU,EAAE,iBAAwC;IAChG,MAAM,OAAO,GAAwB,EAAE,CAAC;IACxC,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,SAAS,CAAC,GAAG,EAAE,iBAAiB,CAAC,EAAE,CAAC;QACnE,IAAI,MAAM,CAAC,aAAa,KAAK,QAAQ;YAAE,SAAS;QAChD,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QAC7F,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;;YAC5D,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC5B,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC;AAC3C,CAAC;AAED,SAAS,QAAQ,CACf,MAAkB,EAClB,IAAY,EACZ,IAAU,EACV,WAAyB;IAEzB,IAAI,EAAE,GAAG,IAAI,CAAC;IACd,MAAM,SAAS,GAAG,CAAC,OAAe,EAAE,IAAY,EAAE,GAAW,EAAQ,EAAE;QACrE,WAAW,CAAC,IAAI,CACd,IAAI,CAAC,0BAA0B,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,IAAI,IAAI,aAAa,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,EAAE,CAAC,CAC3G,CAAC;QACF,EAAE,GAAG,KAAK,CAAC;IACb,CAAC,CAAC;IAEF,6FAA6F;IAC7F,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ;QACnC,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM;YAAE,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,sCAAsC,CAAC,CAAC;IAC5G,KAAK,MAAM,KAAK,IAAI,YAAY,CAAC;QAC/B,GAAG,MAAM,CAAC,IAAI;QACd,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC;KACvG,CAAC,EAAE,CAAC;QACH,SAAS,CAAC,IAAI,KAAK,CAAC,GAAG,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,sDAAsD,CAAC,CAAC;IACvG,CAAC;IACD,MAAM,OAAO,GAAG,CAAC,KAAgB,EAAE,OAAe,EAAsB,EAAE;QACxE,IAAI,YAAY,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QACnD,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC3B,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,+CAA+C,CAAC,CAAC;YACrF,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,+BAA+B,CAAC,CAAC;YACrE,OAAO,KAAK,CAAC;QACf,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAC5F,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAEnF,IAAI,IAAsB,CAAC;IAC3B,MAAM,YAAY,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;IAC3G,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IAC/B,KAAK,MAAM,SAAS,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;QAC3C,SAAS,CAAC,WAAW,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,mCAAmC,CAAC,CAAC;IACnF,IAAI,MAAM,KAAK,SAAS;QAAE,SAAS,CAAC,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,iCAAiC,CAAC,CAAC;SACjG,IAAI,OAAO,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,CAAC;QACtC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAI,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,KAAK,SAAS;YACpF,SAAS,CAAC,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,6CAA6C,CAAC,CAAC;aACrF,IAAI,MAAM,CAAC,KAAK,CAAC;YAAE,IAAI,GAAG,KAAK,CAAC;aAChC,CAAC;YACJ,WAAW,CAAC,IAAI,CACd,IAAI,CACF,sBAAsB,EACtB,IAAI,EACJ,MAAM,CAAC,IAAI,CAAC,IAAI,EAChB,GAAG,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,KAAK,qCAAqC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC9F,CACF,CAAC;YACF,EAAE,GAAG,KAAK,CAAC;QACb,CAAC;IACH,CAAC;IAED,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,IAAI,MAA2B,CAAC;IAChC,MAAM,aAAa,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5C,IAAI,aAAa,KAAK,SAAS;QAC7B,SAAS,CAAC,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,0EAA0E,CAAC,CAAC;SACjH,CAAC;QACJ,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC;QAClC,MAAM,WAAW,GAAqF,EAAE,CAAC;QACzG,IAAI,aAAa,GAAG,CAAC,CAAC,CAAC;QACvB,IAAI,QAAQ,GAAG,KAAK,CAAC;QACrB,QAAQ,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;YAChC,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;YACxD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACvB,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,MAAM,CAAC,EAAE,CAAC;gBACvE,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;gBACxC,MAAM,KAAK,GAAG,IAAI,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC;gBACxE,WAAW,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;gBACjD,IAAI,KAAK;oBAAE,MAAM,GAAG,KAAK,KAAK,QAAQ,CAAC;qBAClC,IAAI,IAAI;oBAAE,SAAS,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,4CAA4C,CAAC,CAAC;gBACpG,OAAO;YACT,CAAC;YACD,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,CAAC;gBAChC,QAAQ,GAAG,IAAI,CAAC;gBAChB,OAAO;YACT,CAAC;YACD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACtB,IACE,CAAC,KAAK,KAAK,MAAM,IAAI,KAAK,KAAK,KAAK,CAAC;gBACrC,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM;gBACnB,KAAK,CAAC,MAAM,KAAK,CAAC;gBAClB,IAAI,KAAK,SAAS;gBAClB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;gBAClB,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,EAC7B,CAAC;gBACD,aAAa,GAAG,KAAK,CAAC;gBACtB,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,IAAI,CAAC;oBACnD,SAAS,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,IAAI,SAAS,CAAC,CAAC;;oBAC7D,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,KAAK,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;gBACvE,OAAO;YACT,CAAC;YACD,QAAQ,GAAG,IAAI,CAAC;YAChB,SAAS,CACP,UAAU,EACV,KAAK,CAAC,IAAI,CAAC,IAAI,EACf,oFAAoF,CACrF,CAAC;QACJ,CAAC,CAAC,CAAC;QACH,4GAA4G;QAC5G,MAAM,QAAQ,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,QAAQ;YACrC,SAAS,CAAC,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,iDAAiD,CAAC,CAAC;aAC/F,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,EAAE,KAAK,IAAI,QAAQ,CAAC,KAAK,GAAG,aAAa;YACpF,SAAS,CAAC,UAAU,EAAE,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,iDAAiD,CAAC,CAAC;QACrG,KAAK,MAAM,SAAS,IAAI,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;YAC1C,IAAI,SAAS,CAAC,KAAK;gBACjB,SAAS,CAAC,UAAU,EAAE,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,iDAAiD,CAAC,CAAC;IAC1G,CAAC;IAED,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;QAC7B,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,QAAQ,CAAC;YAAE,SAAS;QACxC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;QAC1B,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACvB,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QAC1B,IACE,CAAC,KAAK,KAAK,MAAM,IAAI,KAAK,KAAK,KAAK,CAAC;YACrC,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM;YACnB,QAAQ,KAAK,SAAS;YACtB,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI;YACjB,KAAK,CAAC,MAAM,GAAG,CAAC,EAChB,CAAC;YACD,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,yEAAyE,CAAC,CAAC;YACrG,SAAS;QACX,CAAC;QACD,MAAM,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACpD,IAAI,OAAO,KAAK,SAAS,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,GAAG,KAAK,EAAE,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1G,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,SAAS,QAAQ,2BAA2B,CAAC,CAAC;YACxE,SAAS;QACX,CAAC;QACD,IAAI,OAAO,KAAK,eAAe,EAAE,CAAC;YAChC,WAAW,CAAC,IAAI,CACd,IAAI,CACF,8BAA8B,EAC9B,IAAI,EACJ,IAAI,EACJ,GAAG,IAAI,IAAI,IAAI,aAAa,MAAM,CAAC,IAAI,MAAM,QAAQ,8DAA8D,CACpH,CACF,CAAC;YACF,EAAE,GAAG,KAAK,CAAC;YACX,SAAS;QACX,CAAC;QACD,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,QAAQ,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;QAC/E,MAAM,IAAI,GAAG,WAAW,CAAC,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;QACrF,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,SAAS,CACP,QAAQ,EACR,IAAI,EACJ,SAAS,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,oCAAoC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,kBAAkB,CACzG,CAAC;YACF,SAAS;QACX,CAAC;QACD,MAAM,SAAS,GAAG,QAAQ,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QACnG,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;YAClC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;YACrC,SAAS;QACX,CAAC;QACD,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACrG,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,oDAAoD,CAAC,CAAC;YAChF,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,KAAK,OAAO,IAAI,KAAK,CAAC,GAAG,KAAK,GAAG,CAAC,EAAE,CAAC;YAC3E,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,UAAU,QAAQ,SAAS,CAAC,CAAC;YACvD,SAAS;QACX,CAAC;QACD,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;QACjF,MAAM,CAAC,IAAI,CAAC;YACV,OAAO;YACP,GAAG;YACH,IAAI;YACJ,IAAI,EAAE,KAAK,KAAK,MAAM;YACtB,GAAG,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;YACrD,GAAG,SAAS;YACZ,IAAI,EAAE,KAAK,CAAC,IAAI;SACjB,CAAC,CAAC;IACL,CAAC;IAED,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;QAC7B,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC;YAAE,SAAS;QACvC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;QAC1B,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACvB,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACxB,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QAC7B,IACE,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;YAC7B,KAAK,CAAC,MAAM,KAAK,CAAC;YAClB,CAAC,KAAK,KAAK,MAAM,IAAI,KAAK,KAAK,KAAK,CAAC;YACrC,SAAS,KAAK,SAAS;YACvB,MAAM,KAAK,SAAS;YACpB,WAAW,KAAK,SAAS,EACzB,CAAC;YACD,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,uFAAuF,CAAC,CAAC;YAClH,SAAS;QACX,CAAC;QACD,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,EAAE,CAAC;YAC5B,WAAW,CAAC,IAAI,CACd,IAAI,CACF,2BAA2B,EAC3B,IAAI,EACJ,IAAI,EACJ,GAAG,IAAI,IAAI,IAAI,MAAM,SAAS,mCAAmC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACzF,CACF,CAAC;YACF,EAAE,GAAG,KAAK,CAAC;YACX,SAAS;QACX,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,WAAW,CAAC,EAAE,CAAC;YAChC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,gBAAgB,WAAW,oBAAoB,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACpG,SAAS;QACX,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1B,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,WAAW,MAAM,uDAAuD,CAAC,CAAC;YACnG,SAAS;QACX,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,EAAE,CAAC;YACjF,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,WAAW,SAAS,IAAI,MAAM,SAAS,CAAC,CAAC;YAClE,SAAS;QACX,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,KAAK,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IAC3F,CAAC;IAED,IAAI,CAAC,EAAE,IAAI,IAAI,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACxE,OAAO;QACL,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE;QAC/B,WAAW,EAAE,MAAM,CAAC,IAAI;QACxB,IAAI;QACJ,QAAQ;QACR,MAAM;QACN,MAAM;QACN,KAAK;QACL,IAAI;QACJ,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,IAAI;KACL,CAAC;AACJ,CAAC"}

package/dist/registry/types.d.ts

@@ -0,0 +1,130 @@
+import type { FileNode, Span } from '../ast.js';
+import type { Diagnostic } from '../diagnostics.js';
+import type { Band, Cardinality, Category, FieldType, Kind, PlacementKind, Predicate, Provenance, TextForm } from '../taxonomy.js';
+/** Where a source sits in the authority model (graph spec 3.3). `reach` is the path prefix the placement covers; '' is everywhere. */
+export interface Placement {
+    readonly kind: PlacementKind;
+    readonly band: Band;
+    readonly reach: string;
+}
+/** The location a file is read at: its placement and provenance. Both are copied onto every record it compiles. */
+export interface Location {
+    readonly placement: Placement;
+    readonly provenance: Provenance;
+}
+/** A parsed file with the location it was read at. */
+export interface Source {
+    readonly ast: FileNode;
+    /** Parser diagnostics for this AST; retained once by the registry, never re-reported by extraction. */
+    readonly diagnostics: readonly Diagnostic[];
+    readonly location: Location;
+}
+/** One `<predicate> <targets> using <sources>` row of a system's consent ledger (spec 4.2). A side is `*` or discriminator keywords. */
+export interface ConsentRow {
+    readonly predicate: Predicate;
+    readonly targets: readonly string[] | '*';
+    readonly sources: readonly string[] | '*';
+    readonly span: Span;
+}
+/** One `<keyword> lowers to <kind>` entry with its block, as authored. */
+export interface Entry {
+    readonly keyword: string;
+    readonly kind: Kind;
+    readonly category: Category;
+    readonly facets: readonly string[];
+    /** The `@schema` name the entry points at; resolved by the registry, not here. */
+    readonly schema: string;
+    readonly span: Span;
+}
+/** One `requires` item: a system name and where it was written. */
+export interface RequiredSystem {
+    readonly name: string;
+    readonly span: Span;
+}
+/** `steward @<discriminator> <name>`: the reference as written, its name lowercased for the identity slot. */
+export interface Steward {
+    readonly discriminator: string;
+    readonly name: string;
+}
+/** A `@system` record read off the AST. `name` is lowercased for the identity slot; `displayName` is the authored spelling. */
+export interface SystemDeclaration {
+    readonly name: string;
+    readonly displayName: string;
+    readonly provider: string;
+    readonly version: string;
+    readonly describes?: string;
+    readonly steward?: Steward;
+    readonly requires: readonly RequiredSystem[];
+    readonly entries: readonly Entry[];
+    readonly consent: readonly ConsentRow[];
+    readonly path: string;
+    readonly span: Span;
+    readonly band: Band;
+}
+export interface SchemaSection {
+    readonly name: string;
+    readonly must: boolean;
+    readonly span: Span;
+}
+export interface SchemaField {
+    readonly section: string;
+    readonly key: string;
+    readonly type: FieldType;
+    readonly must: boolean;
+    readonly description?: string;
+    /** `as id in [a, b]`: the closed set every value, or every list item, must belong to (W0-L1). Only an `id` type carries it. */
+    readonly values?: readonly string[];
+    /** `as ref to <word>`: the discriminator every reference must carry (W0-L2). Only a `ref` type carries it; the target's existence is a compliance concern. */
+    readonly target?: string;
+    /** `as text form <form>`: the closed text form every value must match (W0-L5). Only a `text` type carries it. */
+    readonly form?: TextForm;
+    readonly span: Span;
+}
+export interface SchemaEdge {
+    readonly predicate: Predicate;
+    /** A closed kind or a discriminator; which one is decided when the edge is checked, not here. */
+    readonly target: string;
+    readonly must: boolean;
+    readonly cardinality: Cardinality;
+    readonly span: Span;
+}
+/** A `@schema` record read off the AST (spec 4.3). */
+export interface SchemaDeclaration {
+    readonly name: string;
+    readonly displayName: string;
+    readonly kind: Kind;
+    readonly sections: readonly SchemaSection[];
+    /** True under `closed`: an instance section the schema does not list is a compliance diagnostic. */
+    readonly closed: boolean;
+    readonly fields: readonly SchemaField[];
+    readonly edges: readonly SchemaEdge[];
+    readonly path: string;
+    readonly span: Span;
+    readonly band: Band;
+}
+/** A joined discriminator: the winner for its keyword after band merge and schema resolution. */
+export interface Registration {
+    readonly keyword: string;
+    readonly system: string;
+    readonly kind: Kind;
+    readonly category: Category;
+    readonly facets: readonly string[];
+    readonly schema: string;
+    readonly band: Band;
+}
+/** The resolved vocabulary at a location. Read-only by type; `buildRegistry` freezes the object shallowly, and nothing in this package mutates a map it did not build. */
+export interface FrozenRegistry {
+    /** The systems in force, by lowercased name; a system a cycle or a missing requirement refused is absent. */
+    readonly systems: ReadonlyMap<string, SystemDeclaration>;
+    /** Bootstrap order: the built-in systems first, then `requires` topologically, ties by name. */
+    readonly order: readonly string[];
+    /** Joined discriminators by keyword, the floor's two words included. */
+    readonly registrations: ReadonlyMap<string, Registration>;
+    /** Keywords two systems registered at the winning band; unusable at this location. */
+    readonly blocked: ReadonlySet<string>;
+    /** Schemas in force, by lowercased name. */
+    readonly schemas: ReadonlyMap<string, SchemaDeclaration>;
+    /** Consent ledgers by system name. */
+    readonly consent: ReadonlyMap<string, readonly ConsentRow[]>;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/registry/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/registry/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAChD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,KAAK,EACV,IAAI,EACJ,WAAW,EACX,QAAQ,EACR,SAAS,EACT,IAAI,EACJ,aAAa,EACb,SAAS,EACT,UAAU,EACV,QAAQ,EACT,MAAM,gBAAgB,CAAC;AAExB,sIAAsI;AACtI,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,mHAAmH;AACnH,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;CACjC;AAED,sDAAsD;AACtD,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC;IACvB,uGAAuG;IACvG,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IAC5C,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;CAC7B;AAED,wIAAwI;AACxI,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,GAAG,CAAC;IAC1C,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,GAAG,CAAC;IAC1C,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,0EAA0E;AAC1E,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,kFAAkF;IAClF,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,mEAAmE;AACnE,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,8GAA8G;AAC9G,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,+HAA+H;AAC/H,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,SAAS,cAAc,EAAE,CAAC;IAC7C,QAAQ,CAAC,OAAO,EAAE,SAAS,KAAK,EAAE,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,SAAS,UAAU,EAAE,CAAC;IACxC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,+HAA+H;IAC/H,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,8JAA8J;IAC9J,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,iHAAiH;IACjH,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,iGAAiG;IACjG,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,sDAAsD;AACtD,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,SAAS,aAAa,EAAE,CAAC;IAC5C,oGAAoG;IACpG,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,CAAC;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,iGAAiG;AACjG,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,0KAA0K;AAC1K,MAAM,WAAW,cAAc;IAC7B,6GAA6G;IAC7G,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IACzD,gGAAgG;IAChG,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,wEAAwE;IACxE,QAAQ,CAAC,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAC1D,sFAAsF;IACtF,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACtC,4CAA4C;IAC5C,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IACzD,sCAAsC;IACtC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,CAAC,CAAC;CAC9D"}

package/dist/registry/types.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.js.map

package/dist/registry/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/registry/types.ts"],"names":[],"mappings":""}

package/dist/scanner/index.d.ts

@@ -0,0 +1,16 @@
+import type { Diagnostic } from '../diagnostics.js';
+import type { Trivia } from './lines.js';
+import type { StreamToken } from './tokens.js';
+export type { LogicalLine, Trivia } from './lines.js';
+export type { StreamToken, Token } from './tokens.js';
+export { tokenizeLine } from './tokenize.js';
+export { logicalLines, trailingCommentIndex } from './lines.js';
+export interface ScanResult {
+    readonly version?: string;
+    readonly tokens: readonly StreamToken[];
+    readonly trivia: readonly Trivia[];
+    readonly diagnostics: readonly Diagnostic[];
+}
+/** One token stream per file. The parser consumes this and nothing else. */
+export declare function scan(source: string, path: string): ScanResult;
+//# sourceMappingURL=index.d.ts.map

package/dist/scanner/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/scanner/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AAEzC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAE/C,YAAY,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC;AACtD,YAAY,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,aAAa,CAAC;AACtD,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,YAAY,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAEhE,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,CAAC;IACxC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C;AAED,4EAA4E;AAC5E,wBAAgB,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,UAAU,CA0E7D"}

package/dist/scanner/index.js

@@ -0,0 +1,78 @@
+import { logicalLines } from './lines.js';
+import { tokenizeLine } from './tokenize.js';
+export { tokenizeLine } from './tokenize.js';
+export { logicalLines, trailingCommentIndex } from './lines.js';
+/** One token stream per file. The parser consumes this and nothing else. */
+export function scan(source, path) {
+    const lines = logicalLines(source, path);
+    const diagnostics = [...lines.diagnostics];
+    const tokens = [];
+    if (lines.version !== undefined)
+        tokens.push({ kind: 'pragma', version: lines.version, line: 1 });
+    const comments = lines.trivia.filter((t) => t.kind === 'comment');
+    let commentIndex = 0;
+    let depth = 0;
+    // The block beneath a line the tokenizer refused produces nothing and is not judged; the comments
+    // on its lines are trivia, collected here because no accepted line carries them.
+    let dropDeeperThan;
+    const dropped = [];
+    const flushCommentsBefore = (line) => {
+        while (commentIndex < comments.length && (comments[commentIndex]?.line ?? Infinity) < line) {
+            const c = comments[commentIndex];
+            tokens.push({ kind: 'comment', line: c.line, text: c.text, trailing: false });
+            commentIndex++;
+        }
+    };
+    for (const logical of lines.lines) {
+        flushCommentsBefore(logical.line);
+        if (dropDeeperThan !== undefined) {
+            if (logical.depth > dropDeeperThan) {
+                // A comment inside a dropped block is trivia at its own line, as it is for a block the line scanner drops.
+                if (logical.trailingComment !== undefined) {
+                    tokens.push({ kind: 'comment', line: logical.endLine, text: logical.trailingComment, trailing: false });
+                    dropped.push({ kind: 'comment', line: logical.endLine, text: logical.trailingComment });
+                }
+                continue;
+            }
+            dropDeeperThan = undefined;
+        }
+        while (depth < logical.depth) {
+            tokens.push({ kind: 'indent', line: logical.line });
+            depth++;
+        }
+        while (depth > logical.depth) {
+            tokens.push({ kind: 'dedent', line: logical.line });
+            depth--;
+        }
+        const result = tokenizeLine(logical.text, path, logical.line);
+        if (result.diagnostics.length > 0) {
+            // A refused line produces nothing: no tokens and no newline, so the parser never sees
+            // a partial line and one mistake yields one diagnostic. Its comment is still trivia,
+            // and the block beneath it is dropped unjudged.
+            diagnostics.push(...result.diagnostics);
+            if (logical.trailingComment !== undefined)
+                tokens.push({ kind: 'comment', line: logical.endLine, text: logical.trailingComment, trailing: true });
+            dropDeeperThan = logical.depth;
+            continue;
+        }
+        tokens.push(...result.tokens);
+        if (logical.trailingComment !== undefined)
+            tokens.push({ kind: 'comment', line: logical.endLine, text: logical.trailingComment, trailing: true });
+        tokens.push({ kind: 'newline', line: logical.line, endLine: logical.endLine, depth: logical.depth });
+    }
+    flushCommentsBefore(Infinity);
+    const last = lines.lines[lines.lines.length - 1];
+    while (depth > 0) {
+        tokens.push({ kind: 'dedent', line: last?.endLine ?? 1 });
+        depth--;
+    }
+    // Line and tokenizer diagnostics interleave by source line, as parse() promises for the whole set; so does trivia.
+    const trivia = dropped.length === 0 ? lines.trivia : [...lines.trivia, ...dropped].sort((a, b) => a.line - b.line);
+    return {
+        ...(lines.version === undefined ? {} : { version: lines.version }),
+        tokens,
+        trivia,
+        diagnostics: diagnostics.sort((a, b) => a.line - b.line),
+    };
+}
+//# sourceMappingURL=index.js.map

package/dist/scanner/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/scanner/index.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE1C,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAK7C,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,YAAY,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAShE,4EAA4E;AAC5E,MAAM,UAAU,IAAI,CAAC,MAAc,EAAE,IAAY;IAC/C,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IACzC,MAAM,WAAW,GAAiB,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;IACzD,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS;QAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;IAElG,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAA6C,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IAC7G,IAAI,YAAY,GAAG,CAAC,CAAC;IACrB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,kGAAkG;IAClG,iFAAiF;IACjF,IAAI,cAAkC,CAAC;IACvC,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,MAAM,mBAAmB,GAAG,CAAC,IAAY,EAAQ,EAAE;QACjD,OAAO,YAAY,GAAG,QAAQ,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,IAAI,IAAI,QAAQ,CAAC,GAAG,IAAI,EAAE,CAAC;YAC3F,MAAM,CAAC,GAAG,QAAQ,CAAC,YAAY,CAAE,CAAC;YAClC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;YAC9E,YAAY,EAAE,CAAC;QACjB,CAAC;IACH,CAAC,CAAC;IAEF,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAClC,mBAAmB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;YACjC,IAAI,OAAO,CAAC,KAAK,GAAG,cAAc,EAAE,CAAC;gBACnC,2GAA2G;gBAC3G,IAAI,OAAO,CAAC,eAAe,KAAK,SAAS,EAAE,CAAC;oBAC1C,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,eAAe,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;oBACxG,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,eAAe,EAAE,CAAC,CAAC;gBAC1F,CAAC;gBACD,SAAS;YACX,CAAC;YACD,cAAc,GAAG,SAAS,CAAC;QAC7B,CAAC;QACD,OAAO,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,CAAC;YAC7B,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;YACpD,KAAK,EAAE,CAAC;QACV,CAAC;QACD,OAAO,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,CAAC;YAC7B,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;YACpD,KAAK,EAAE,CAAC;QACV,CAAC;QACD,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;QAC9D,IAAI,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClC,sFAAsF;YACtF,qFAAqF;YACrF,gDAAgD;YAChD,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;YACxC,IAAI,OAAO,CAAC,eAAe,KAAK,SAAS;gBACvC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,eAAe,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;YACzG,cAAc,GAAG,OAAO,CAAC,KAAK,CAAC;YAC/B,SAAS;QACX,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;QAC9B,IAAI,OAAO,CAAC,eAAe,KAAK,SAAS;YACvC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,eAAe,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QACzG,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;IACvG,CAAC;IACD,mBAAmB,CAAC,QAAQ,CAAC,CAAC;IAC9B,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACjD,OAAO,KAAK,GAAG,CAAC,EAAE,CAAC;QACjB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,IAAI,CAAC,EAAE,CAAC,CAAC;QAC1D,KAAK,EAAE,CAAC;IACV,CAAC;IAED,mHAAmH;IACnH,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACnH,OAAO;QACL,GAAG,CAAC,KAAK,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;QAClE,MAAM;QACN,MAAM;QACN,WAAW,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC;KACzD,CAAC;AACJ,CAAC"}

package/dist/scanner/lines.d.ts

@@ -0,0 +1,46 @@
+import type { Diagnostic } from '../diagnostics.js';
+export interface LogicalLine {
+    /** 1-based first source line. */
+    readonly line: number;
+    /** 1-based last source line (equals `line` unless a prose or list span was joined). */
+    readonly endLine: number;
+    /** indent / 2 */
+    readonly depth: number;
+    /** Indentation stripped, trailing comment stripped, spans joined. */
+    readonly text: string;
+    /** A ` # ...` comment that followed content on the same line, if any. Comments on multi-line list lines go to trivia instead. */
+    readonly trailingComment?: string;
+}
+export type Trivia = {
+    readonly kind: 'comment';
+    readonly line: number;
+    readonly text: string;
+} | {
+    readonly kind: 'blank';
+    readonly line: number;
+};
+export interface LinesResult {
+    readonly version?: string;
+    readonly lines: readonly LogicalLine[];
+    readonly trivia: readonly Trivia[];
+    readonly diagnostics: readonly Diagnostic[];
+}
+export interface Walk {
+    /** Index of the `#` that begins a trailing comment, or -1. Scanning stops there. */
+    readonly commentAt: number;
+    /** Net `[` minus `]` outside strings, prose and the comment. */
+    readonly bracketDelta: number;
+    /** True when the text ends inside an unclosed `"..."`. */
+    readonly endsInString: boolean;
+    /** True when the text ends inside an unclosed `"""`. */
+    readonly endsInProse: boolean;
+}
+/**
+ * One quote-aware pass over a line, or over a joined span. This is the only place in the
+ * package that knows how `"`, `"""`, `[`, `]` and `#` interact.
+ */
+export declare function walk(text: string): Walk;
+/** Index of a trailing comment's `#`, or -1. */
+export declare function trailingCommentIndex(text: string): number;
+export declare function logicalLines(source: string, path: string): LinesResult;
+//# sourceMappingURL=lines.d.ts.map

package/dist/scanner/lines.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lines.d.ts","sourceRoot":"","sources":["../../src/scanner/lines.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,MAAM,WAAW,WAAW;IAC1B,iCAAiC;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,uFAAuF;IACvF,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,iBAAiB;IACjB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,qEAAqE;IACrE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,iIAAiI;IACjI,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;CACnC;AAED,MAAM,MAAM,MAAM,GACd;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC1E;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAEtD,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,SAAS,WAAW,EAAE,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C;AAQD,MAAM,WAAW,IAAI;IACnB,oFAAoF;IACpF,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,gEAAgE;IAChE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,0DAA0D;IAC1D,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC;IAC/B,wDAAwD;IACxD,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;CAC/B;AAED;;;GAGG;AACH,wBAAgB,IAAI,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAuCvC;AAED,gDAAgD;AAChD,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEzD;AAoBD,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,CAkLtE"}