@inventarch/language 0.0.0-stage → 1.0.0

package/dist/paths.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Lexical normalisation of a source path (spec 1.4): forward slashes; no empty, `.` or resolvable
+ * `..` segments; no leading `./`. Case is kept as given, because compile has no file system to ask.
+ */
+export declare function canonicalPath(path: string): string;
+//# sourceMappingURL=paths.d.ts.map

package/dist/paths.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"paths.d.ts","sourceRoot":"","sources":["../src/paths.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAYlD"}

package/dist/paths.js

@@ -0,0 +1,21 @@
+/**
+ * Lexical normalisation of a source path (spec 1.4): forward slashes; no empty, `.` or resolvable
+ * `..` segments; no leading `./`. Case is kept as given, because compile has no file system to ask.
+ */
+export function canonicalPath(path) {
+    const out = [];
+    for (const segment of path.split('\\').join('/').split('/')) {
+        if (segment === '' || segment === '.')
+            continue;
+        if (segment === '..') {
+            if (out.length > 0 && out[out.length - 1] !== '..')
+                out.pop();
+            else
+                out.push('..');
+            continue;
+        }
+        out.push(segment);
+    }
+    return out.join('/');
+}
+//# sourceMappingURL=paths.js.map

package/dist/paths.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"paths.js","sourceRoot":"","sources":["../src/paths.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5D,IAAI,OAAO,KAAK,EAAE,IAAI,OAAO,KAAK,GAAG;YAAE,SAAS;QAChD,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACrB,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,IAAI;gBAAE,GAAG,CAAC,GAAG,EAAE,CAAC;;gBACzD,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACpB,SAAS;QACX,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpB,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACvB,CAAC"}

package/dist/references.d.ts

@@ -0,0 +1,15 @@
+import type { FileNode, RecordNode, Span } from './ast.js';
+import type { EdgeReference } from './semantic/types.js';
+export interface TypedReference {
+    readonly reference: EdgeReference;
+    readonly record: RecordNode;
+    readonly span: Span;
+    readonly field: string;
+    readonly section?: string;
+    readonly use: 'value' | 'relationship';
+    /** Index among typed references in this authored value, including repeated targets. */
+    readonly index: number;
+}
+/** Typed uses, not graph adjacency. The AST is the sole authority for reference syntax. */
+export declare function references(ast: FileNode): readonly TypedReference[];
+//# sourceMappingURL=references.d.ts.map

package/dist/references.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"references.d.ts","sourceRoot":"","sources":["../src/references.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAa,QAAQ,EAAE,UAAU,EAAE,IAAI,EAAS,MAAM,UAAU,CAAC;AAE7E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEzD,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,GAAG,EAAE,OAAO,GAAG,cAAc,CAAC;IACvC,uFAAuF;IACvF,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,2FAA2F;AAC3F,wBAAgB,UAAU,CAAC,GAAG,EAAE,QAAQ,GAAG,SAAS,cAAc,EAAE,CAqCnE"}

package/dist/references.js

@@ -0,0 +1,40 @@
+import { targetOf, verbPrefix } from './semantic/edges.js';
+/** Typed uses, not graph adjacency. The AST is the sole authority for reference syntax. */
+export function references(ast) {
+    const result = [];
+    const valueRefs = (value) => value.kind === 'ref'
+        ? [value]
+        : value.kind === 'list'
+            ? value.items.filter((item) => item.kind === 'ref')
+            : [];
+    const visit = (children, record, section) => {
+        for (const child of children) {
+            if (child.kind === 'record') {
+                recordRefs(child);
+                continue;
+            }
+            const verb = child.kind === 'field' && section === 'relationships' ? verbPrefix(child.words) : undefined;
+            const target = child.kind === 'field' && verb !== undefined ? targetOf(child, verb.length) : undefined;
+            const refs = target === undefined ? valueRefs(child.value) : [target];
+            refs.forEach((reference, index) => result.push({
+                reference,
+                record,
+                span: child.span,
+                field: child.kind === 'field' ? child.key : '-',
+                ...(section === undefined ? {} : { section }),
+                use: target === undefined ? 'value' : 'relationship',
+                index,
+            }));
+            if (child.kind === 'field')
+                visit(child.children, record, section);
+        }
+    };
+    const recordRefs = (record) => {
+        visit(record.head, record);
+        for (const section of record.sections)
+            visit(section.children, record, section.name);
+    };
+    ast.records.forEach(recordRefs);
+    return result;
+}
+//# sourceMappingURL=references.js.map

package/dist/references.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"references.js","sourceRoot":"","sources":["../src/references.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAc3D,2FAA2F;AAC3F,MAAM,UAAU,UAAU,CAAC,GAAa;IACtC,MAAM,MAAM,GAAqB,EAAE,CAAC;IACpC,MAAM,SAAS,GAAG,CAAC,KAAY,EAA4B,EAAE,CAC3D,KAAK,CAAC,IAAI,KAAK,KAAK;QAClB,CAAC,CAAC,CAAC,KAAK,CAAC;QACT,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM;YACrB,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAA2C,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC;YAC5F,CAAC,CAAC,EAAE,CAAC;IACX,MAAM,KAAK,GAAG,CAAC,QAA8B,EAAE,MAAkB,EAAE,OAAgB,EAAQ,EAAE;QAC3F,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;YAC7B,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC5B,UAAU,CAAC,KAAK,CAAC,CAAC;gBAClB,SAAS;YACX,CAAC;YACD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,OAAO,KAAK,eAAe,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACzG,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YACvG,MAAM,IAAI,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;YACtE,IAAI,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CAChC,MAAM,CAAC,IAAI,CAAC;gBACV,SAAS;gBACT,MAAM;gBACN,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,KAAK,EAAE,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG;gBAC/C,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;gBAC7C,GAAG,EAAE,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,cAAc;gBACpD,KAAK;aACN,CAAC,CACH,CAAC;YACF,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;gBAAE,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;QACrE,CAAC;IACH,CAAC,CAAC;IACF,MAAM,UAAU,GAAG,CAAC,MAAkB,EAAQ,EAAE;QAC9C,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC3B,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ;YAAE,KAAK,CAAC,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IACvF,CAAC,CAAC;IACF,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAChC,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/registry/consent.d.ts

@@ -0,0 +1,11 @@
+import type { Predicate } from '../taxonomy.js';
+import type { ConsentRow, FrozenRegistry } from './types.js';
+/** Row-wise consent: some single row admits the predicate with `source` among its sources and `target` among its targets. No ledger admits nothing. */
+export declare function admits(rows: readonly ConsentRow[] | undefined, predicate: Predicate, source: string, target: string): boolean;
+/**
+ * Two-sided consent (spec 6.4): the source keyword's system must admit the edge and so must the
+ * target keyword's. Returns the side that refused, or undefined when both admit. An unregistered
+ * end is undefined too: that record is refused on its own (2.6), so no edge is judged twice.
+ */
+export declare function consentFor(registry: FrozenRegistry, predicate: Predicate, source: string, target: string, targetFragment?: string): 'source' | 'target' | undefined;
+//# sourceMappingURL=consent.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"consent.d.ts","sourceRoot":"","sources":["../../src/registry/consent.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAEhD,OAAO,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAM7D,uJAAuJ;AACvJ,wBAAgB,MAAM,CACpB,IAAI,EAAE,SAAS,UAAU,EAAE,GAAG,SAAS,EACvC,SAAS,EAAE,SAAS,EACpB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,GACb,OAAO,CAIT;AAED;;;;GAIG;AACH,wBAAgB,UAAU,CACxB,QAAQ,EAAE,cAAc,EACxB,SAAS,EAAE,SAAS,EACpB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,MAAM,EACd,cAAc,CAAC,EAAE,MAAM,GACtB,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAYjC"}

package/dist/registry/consent.js

@@ -0,0 +1,31 @@
+import { FLOOR_CONSENT, FLOOR_SYSTEM } from './floor.js';
+function onSide(side, keyword) {
+    return side === '*' || side.includes(keyword);
+}
+/** Row-wise consent: some single row admits the predicate with `source` among its sources and `target` among its targets. No ledger admits nothing. */
+export function admits(rows, predicate, source, target) {
+    return (rows ?? []).some((row) => row.predicate === predicate && onSide(row.sources, source) && onSide(row.targets, target));
+}
+/**
+ * Two-sided consent (spec 6.4): the source keyword's system must admit the edge and so must the
+ * target keyword's. Returns the side that refused, or undefined when both admit. An unregistered
+ * end is undefined too: that record is refused on its own (2.6), so no edge is judged twice.
+ */
+export function consentFor(registry, predicate, source, target, targetFragment) {
+    const from = registry.registrations.get(source);
+    const to = registry.registrations.get(target);
+    if (from === undefined || to === undefined)
+        return undefined;
+    // The floor's built-in ledger is incoming only. It cannot grant outgoing authority,
+    // including when an authored declaration happens to use the reserved owner name.
+    if (from.system === FLOOR_SYSTEM || !admits(registry.consent.get(from.system), predicate, source, target))
+        return 'source';
+    if (to.system === FLOOR_SYSTEM) {
+        if (targetFragment !== undefined || !admits(FLOOR_CONSENT, predicate, source, target))
+            return 'target';
+    }
+    else if (!admits(registry.consent.get(to.system), predicate, source, target))
+        return 'target';
+    return undefined;
+}
+//# sourceMappingURL=consent.js.map

package/dist/registry/consent.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"consent.js","sourceRoot":"","sources":["../../src/registry/consent.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAGzD,SAAS,MAAM,CAAC,IAA6B,EAAE,OAAe;IAC5D,OAAO,IAAI,KAAK,GAAG,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;AAChD,CAAC;AAED,uJAAuJ;AACvJ,MAAM,UAAU,MAAM,CACpB,IAAuC,EACvC,SAAoB,EACpB,MAAc,EACd,MAAc;IAEd,OAAO,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,CACtB,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,KAAK,SAAS,IAAI,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CACnG,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,UAAU,CACxB,QAAwB,EACxB,SAAoB,EACpB,MAAc,EACd,MAAc,EACd,cAAuB;IAEvB,MAAM,IAAI,GAAG,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAChD,MAAM,EAAE,GAAG,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC9C,IAAI,IAAI,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7D,oFAAoF;IACpF,iFAAiF;IACjF,IAAI,IAAI,CAAC,MAAM,KAAK,YAAY,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC;QACvG,OAAO,QAAQ,CAAC;IAClB,IAAI,EAAE,CAAC,MAAM,KAAK,YAAY,EAAE,CAAC;QAC/B,IAAI,cAAc,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC;YAAE,OAAO,QAAQ,CAAC;IACzG,CAAC;SAAM,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC;QAAE,OAAO,QAAQ,CAAC;IAChG,OAAO,SAAS,CAAC;AACnB,CAAC"}

package/dist/registry/extract.d.ts

@@ -0,0 +1,11 @@
+import type { FileNode } from '../ast.js';
+import type { Diagnostic } from '../diagnostics.js';
+import type { Band } from '../taxonomy.js';
+import type { SystemDeclaration } from './types.js';
+export interface ExtractedSystems {
+    readonly systems: readonly SystemDeclaration[];
+    readonly diagnostics: readonly Diagnostic[];
+}
+/** Every `@system`, including nested records (spec 4.4). Parser diagnostics remain owned by the caller. */
+export declare function extractSystems(ast: FileNode, band: Band, parserDiagnostics: readonly Diagnostic[]): ExtractedSystems;
+//# sourceMappingURL=extract.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"extract.d.ts","sourceRoot":"","sources":["../../src/registry/extract.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAwB,QAAQ,EAAoB,MAAM,WAAW,CAAC;AAElF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,OAAO,KAAK,EAAE,IAAI,EAAY,MAAM,gBAAgB,CAAC;AAIrD,OAAO,KAAK,EAA8C,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAchG,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC/C,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C;AAED,2GAA2G;AAC3G,wBAAgB,cAAc,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,iBAAiB,EAAE,SAAS,UAAU,EAAE,GAAG,gBAAgB,CAUpH"}

package/dist/registry/extract.js

@@ -0,0 +1,275 @@
+import { diag } from '../diagnostics.js';
+import { CATEGORIES, KINDS, PREDICATES, isCategory, isKind, isPredicate } from '../taxonomy.js';
+import { fieldOf, restAfter, spelledAs, stringOf } from './fields.js';
+import { RESERVED_KEYWORDS } from './floor.js';
+import { conditionsIn, recordsIn } from './records.js';
+/** Class checks, like the header class checks in parser.ts: a keyword spells like a discriminator; a version is semver with no leading zeros. */
+const KEYWORD = /^[a-z][a-z0-9-]*$/;
+const NAME = /^[A-Za-z][A-Za-z0-9-]*$/;
+const RETIRED_KEYWORDS = ['interface', 'protocol', 'shape'];
+const SEMVER = /^(?:0|[1-9]\d*)\.(?:0|[1-9]\d*)\.(?:0|[1-9]\d*)(?:-([0-9A-Za-z-]+(?:\.[0-9A-Za-z-]+)*))?(?:\+[0-9A-Za-z-]+(?:\.[0-9A-Za-z-]+)*)?$/;
+function isSemver(version) {
+    const match = SEMVER.exec(version);
+    return match !== null && (match[1]?.split('.').every((part) => !/^0\d+$/.test(part)) ?? true);
+}
+/** Every `@system`, including nested records (spec 4.4). Parser diagnostics remain owned by the caller. */
+export function extractSystems(ast, band, parserDiagnostics) {
+    const systems = [];
+    const diagnostics = [];
+    for (const { record, endLine, errors } of recordsIn(ast, parserDiagnostics)) {
+        if (record.discriminator !== 'system')
+            continue;
+        const refused = (span) => errors.some((d) => d.line >= span.line && d.line <= span.endLine);
+        const system = systemOf(record, endLine, ast.path, band, diagnostics, refused);
+        if (system !== undefined)
+            systems.push(system);
+    }
+    return { systems, diagnostics };
+}
+/** Ignore parser-refused units; items have no block, while field blocks extend to the next sibling. */
+function sectionChildren(record, name, endLine, refused) {
+    return record.sections.flatMap((section, index) => {
+        if (section.name !== name)
+            return [];
+        const sectionEnd = (record.sections[index + 1]?.span.line ?? endLine + 1) - 1;
+        return section.children.filter((child, position) => {
+            const end = child.kind === 'field' ? (section.children[position + 1]?.span.line ?? sectionEnd + 1) - 1 : child.span.endLine;
+            return !refused({ line: child.span.line, endLine: end });
+        });
+    });
+}
+/** Spec 7.4: report each forbidden condition once, at its authored field. */
+function conditioned(children, where, path, diagnostics) {
+    const found = conditionsIn(children);
+    for (const child of found) {
+        diagnostics.push(diag('IA-LANG-CONDITION-MISPLACED', path, child.span.line, `${path}:${child.span.line}: a when clause cannot sit on ${where} ('${child.key}')`));
+    }
+    return found.length > 0;
+}
+/** The one head field spelled `spelling`; a second one is a fault on the second. */
+function single(record, spelling, refuse) {
+    const matches = record.head.filter((field) => spelledAs(field, spelling));
+    const second = matches[1];
+    if (second !== undefined)
+        refuse(spelling.join(' '), second.span.line, 'appears twice; a head field is written once');
+    return matches[0];
+}
+function systemOf(record, endLine, path, band, diagnostics, refused) {
+    const headEnd = (record.sections[0]?.span.line ?? endLine + 1) - 1;
+    if (refused({ line: record.span.line, endLine: headEnd }))
+        return undefined;
+    let ok = !conditioned(record.head, `a head field of @system ${record.name}`, path, diagnostics);
+    const incomplete = (element, line, why) => {
+        diagnostics.push(diag('IA-LANG-REGISTRATION-INCOMPLETE', path, line, `${path}:${line}: @system ${record.name}: ${element} ${why}`));
+    };
+    const refuse = (element, line, why) => {
+        incomplete(element, line, why);
+        ok = false;
+    };
+    const providerField = single(record, ['provider'], refuse);
+    const provider = stringOf(providerField);
+    if (providerField === undefined)
+        refuse('provider', record.span.line, 'is required: a quoted string');
+    else if (provider === undefined)
+        refuse('provider', providerField.span.line, 'is a quoted string');
+    const versionField = single(record, ['version'], refuse);
+    const version = stringOf(versionField);
+    if (versionField === undefined)
+        refuse('version', record.span.line, 'is required: a quoted semver string');
+    else if (version === undefined)
+        refuse('version', versionField.span.line, 'is a quoted semver string');
+    else if (!isSemver(version))
+        refuse('version', versionField.span.line, `"${version}" is not a semver string (nonempty identifiers; no leading zeros in core numbers or numeric prerelease identifiers)`);
+    const describes = stringOf(fieldOf(record.head, ['describes']));
+    let steward;
+    for (const stewardField of record.head.filter((field) => spelledAs(field, ['steward']))) {
+        if (stewardField.value.kind === 'ref' && stewardField.value.fragment === undefined)
+            steward ??= { discriminator: stewardField.value.discriminator, name: stewardField.value.name.toLowerCase() };
+        else
+            refuse('steward', stewardField.span.line, 'names the steward by reference: `steward @<discriminator> <name>`');
+    }
+    const requires = [];
+    const requiresHead = fieldOf(record.head, ['requires']);
+    if (requiresHead !== undefined)
+        refuse('requires', requiresHead.span.line, 'is a section holding one bare system name per item, not a head field');
+    for (const child of sectionChildren(record, 'requires', endLine, refused)) {
+        if (child.kind === 'item' && child.value.kind === 'none')
+            continue;
+        if (conditioned([child], `requires of @system ${record.name}`, path, diagnostics))
+            continue;
+        // A system name is an identity slot, lowercased like the header name it must match.
+        if (child.kind === 'item' && child.value.kind === 'scalar' && NAME.test(child.value.text))
+            requires.push({ name: child.value.text.toLowerCase(), span: child.span });
+        else
+            incomplete('requires', child.span.line, 'holds one bare system name per item');
+    }
+    const entries = [];
+    const registered = new Set();
+    for (const child of sectionChildren(record, 'discriminators', endLine, refused)) {
+        if (child.kind !== 'field') {
+            incomplete('discriminators', child.span.line, 'holds entries of the form `<keyword> lowers to <kind>`');
+            continue;
+        }
+        const entry = entryOf(child, record.name, path, diagnostics, incomplete);
+        if (entry === undefined)
+            continue;
+        if (registered.has(entry.keyword)) {
+            incomplete(`discriminator '${entry.keyword}'`, child.span.line, 'is registered twice in this system');
+            continue;
+        }
+        registered.add(entry.keyword);
+        entries.push(entry);
+    }
+    const consent = [];
+    for (const child of sectionChildren(record, 'edges', endLine, refused)) {
+        if (child.kind !== 'field') {
+            incomplete('edges', child.span.line, 'holds rows of the form `<predicate> <targets> using <sources>`');
+            continue;
+        }
+        const row = consentRowOf(child, path, diagnostics, incomplete);
+        if (row !== undefined)
+            consent.push(row);
+    }
+    if (!ok || provider === undefined || version === undefined)
+        return undefined;
+    return {
+        name: record.name.toLowerCase(),
+        displayName: record.name,
+        provider,
+        version,
+        ...(describes === undefined ? {} : { describes }),
+        ...(steward === undefined ? {} : { steward }),
+        requires,
+        entries,
+        consent,
+        path,
+        span: record.span,
+        band,
+    };
+}
+/** `<keyword> lowers to <kind>` with `category`, `facets` and `schema` beneath it; every fault is reported, the entry is dropped on any. */
+function entryOf(field, systemName, path, diagnostics, incomplete) {
+    const words = field.words;
+    const line = field.span.line;
+    const keyword = words[0];
+    const kind = words[3];
+    const entryShape = keyword !== undefined &&
+        kind !== undefined &&
+        words.length === 4 &&
+        words[1] === 'lowers' &&
+        words[2] === 'to' &&
+        field.value.kind === 'scalar';
+    // `when` is a legal discriminator keyword in this entry grammar, not a standalone condition.
+    const conditionNodes = entryShape && field.when === undefined ? field.children : [field];
+    if (conditioned(conditionNodes, `a discriminators entry of @system ${systemName}`, path, diagnostics))
+        return undefined;
+    if (!entryShape) {
+        incomplete('discriminators', line, 'entry must read `<keyword> lowers to <kind>`');
+        return undefined;
+    }
+    let ok = true;
+    if (!KEYWORD.test(keyword)) {
+        incomplete('discriminators', line, `keyword '${keyword}' must spell like a discriminator: [a-z][a-z0-9-]*`);
+        ok = false;
+    }
+    if (RESERVED_KEYWORDS.includes(keyword) || RETIRED_KEYWORDS.includes(keyword)) {
+        const reason = RETIRED_KEYWORDS.includes(keyword) ? 'retired by language section 8.4' : 'reserved by the floor';
+        diagnostics.push(diag('IA-LANG-KEYWORD-RESERVED', path, line, `${path}:${line}: '${keyword}' is ${reason}; @system ${systemName} cannot register it`));
+        ok = false;
+    }
+    const lowered = isKind(kind) ? kind : undefined;
+    if (lowered === undefined) {
+        diagnostics.push(diag('IA-LANG-KIND-UNKNOWN', path, line, `${path}:${line}: '${kind}' is not a closed kind; admitted: ${KINDS.join(', ')}`));
+        ok = false;
+    }
+    const element = `discriminator '${keyword}'`;
+    let category;
+    const categoryField = fieldOf(field.children, ['category']);
+    if (categoryField === undefined) {
+        incomplete(element, line, 'needs `category <category>`');
+        ok = false;
+    }
+    else if (categoryField.value.kind !== 'scalar') {
+        incomplete(element, categoryField.span.line, 'names its category as a bare word');
+        ok = false;
+    }
+    else {
+        const named = categoryField.assertive === true ? categoryField.value.text : restAfter(categoryField, ['category']).join(' ');
+        if (isCategory(named))
+            category = named;
+        else {
+            diagnostics.push(diag('IA-LANG-CATEGORY-UNKNOWN', path, categoryField.span.line, `${path}:${categoryField.span.line}: '${named}' is not a category; admitted: ${CATEGORIES.join(', ')}`));
+            ok = false;
+        }
+    }
+    const facets = [];
+    const facetsField = fieldOf(field.children, ['facets']);
+    if (facetsField === undefined || facetsField.value.kind !== 'list' || facetsField.value.items.length === 0) {
+        incomplete(element, line, 'needs `facets [<facet>, ...]` with at least one facet');
+        ok = false;
+    }
+    else {
+        for (const item of facetsField.value.items) {
+            if (item.kind === 'scalar')
+                facets.push(item.text);
+            else {
+                incomplete(element, facetsField.span.line, 'names facets as bare words');
+                ok = false;
+            }
+        }
+    }
+    const schemaField = fieldOf(field.children, ['schema']);
+    const schema = schemaField !== undefined &&
+        schemaField.value.kind === 'ref' &&
+        schemaField.value.discriminator === 'schema' &&
+        schemaField.value.fragment === undefined
+        ? schemaField.value.name.toLowerCase()
+        : undefined;
+    if (schema === undefined) {
+        incomplete(element, line, 'needs `schema @schema <name>`');
+        ok = false;
+    }
+    if (!ok || lowered === undefined || category === undefined || schema === undefined)
+        return undefined;
+    return { keyword, kind: lowered, category, facets, schema, span: field.span };
+}
+/** `<predicate> <targets> using <sources>`: each side is `*` or comma-separated keywords; one `using`; no when clause. */
+function consentRowOf(field, path, diagnostics, incomplete) {
+    const words = field.words;
+    const line = field.span.line;
+    const using = words.indexOf('using');
+    const predicate = words[0];
+    if (predicate === undefined ||
+        field.value.kind !== 'scalar' ||
+        words.length < 4 ||
+        using < 2 ||
+        using === words.length - 1 ||
+        words.lastIndexOf('using') !== using) {
+        incomplete('edges', line, 'row must read `<predicate> <targets> using <sources>`, with one `using`');
+        return undefined;
+    }
+    if (conditionsIn([field]).length > 0) {
+        incomplete('edges', line, 'a consent row carries no when clause');
+        return undefined;
+    }
+    if (!isPredicate(predicate)) {
+        diagnostics.push(diag('IA-LANG-PREDICATE-UNKNOWN', path, line, `${path}:${line}: '${predicate}' is not a predicate; admitted: ${PREDICATES.join(', ')}`));
+        return undefined;
+    }
+    const targets = sideOf(words.slice(1, using));
+    const sources = sideOf(words.slice(using + 1));
+    if (targets === undefined || sources === undefined) {
+        incomplete('edges', line, 'each side of `using` is `*` alone or comma-separated discriminators, with no dangling comma');
+        return undefined;
+    }
+    return { predicate, targets, sources, span: field.span };
+}
+/** A wildcard alone, or comma-separated keywords with optional whitespace around each comma. */
+function sideOf(words) {
+    const side = words.join(' ');
+    if (side === '*')
+        return '*';
+    const names = side.split(',').map((name) => name.trim());
+    return names.every((name) => KEYWORD.test(name)) ? names : undefined;
+}
+//# sourceMappingURL=extract.js.map

package/dist/registry/extract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"extract.js","sourceRoot":"","sources":["../../src/registry/extract.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAEzC,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAEhG,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACtE,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAGvD,iJAAiJ;AACjJ,MAAM,OAAO,GAAG,mBAAmB,CAAC;AACpC,MAAM,IAAI,GAAG,yBAAyB,CAAC;AACvC,MAAM,gBAAgB,GAAsB,CAAC,WAAW,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC;AAC/E,MAAM,MAAM,GACV,mIAAmI,CAAC;AAEtI,SAAS,QAAQ,CAAC,OAAe;IAC/B,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACnC,OAAO,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC;AAChG,CAAC;AAOD,2GAA2G;AAC3G,MAAM,UAAU,cAAc,CAAC,GAAa,EAAE,IAAU,EAAE,iBAAwC;IAChG,MAAM,OAAO,GAAwB,EAAE,CAAC;IACxC,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,KAAK,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,SAAS,CAAC,GAAG,EAAE,iBAAiB,CAAC,EAAE,CAAC;QAC5E,IAAI,MAAM,CAAC,aAAa,KAAK,QAAQ;YAAE,SAAS;QAChD,MAAM,OAAO,GAAY,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC;QACrG,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;QAC/E,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;AAClC,CAAC;AAKD,uGAAuG;AACvG,SAAS,eAAe,CAAC,MAAkB,EAAE,IAAY,EAAE,OAAe,EAAE,OAAgB;IAC1F,OAAO,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;QAChD,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI;YAAE,OAAO,EAAE,CAAC;QACrC,MAAM,UAAU,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,IAAI,OAAO,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;QAC9E,OAAO,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE;YACjD,MAAM,GAAG,GACP,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,IAAI,UAAU,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC;YAClH,OAAO,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC;AAED,6EAA6E;AAC7E,SAAS,WAAW,CAAC,QAA8B,EAAE,KAAa,EAAE,IAAY,EAAE,WAAyB;IACzG,MAAM,KAAK,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;IACrC,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;QAC1B,WAAW,CAAC,IAAI,CACd,IAAI,CACF,6BAA6B,EAC7B,IAAI,EACJ,KAAK,CAAC,IAAI,CAAC,IAAI,EACf,GAAG,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,iCAAiC,KAAK,MAAM,KAAK,CAAC,GAAG,IAAI,CACpF,CACF,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;AAC1B,CAAC;AAED,oFAAoF;AACpF,SAAS,MAAM,CAAC,MAAkB,EAAE,QAA2B,EAAE,MAAkB;IACjF,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC1E,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;IAC1B,IAAI,MAAM,KAAK,SAAS;QAAE,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,6CAA6C,CAAC,CAAC;IACtH,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC;AACpB,CAAC;AAED,SAAS,QAAQ,CACf,MAAkB,EAClB,OAAe,EACf,IAAY,EACZ,IAAU,EACV,WAAyB,EACzB,OAAgB;IAEhB,MAAM,OAAO,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,IAAI,OAAO,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IACnE,IAAI,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5E,IAAI,EAAE,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,2BAA2B,MAAM,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;IAChG,MAAM,UAAU,GAAe,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE;QACpD,WAAW,CAAC,IAAI,CACd,IAAI,CAAC,iCAAiC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,IAAI,IAAI,IAAI,aAAa,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,EAAE,CAAC,CAClH,CAAC;IACJ,CAAC,CAAC;IACF,MAAM,MAAM,GAAe,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE;QAChD,UAAU,CAAC,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAC/B,EAAE,GAAG,KAAK,CAAC;IACb,CAAC,CAAC;IAEF,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC,CAAC;IAC3D,MAAM,QAAQ,GAAG,QAAQ,CAAC,aAAa,CAAC,CAAC;IACzC,IAAI,aAAa,KAAK,SAAS;QAAE,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,8BAA8B,CAAC,CAAC;SACjG,IAAI,QAAQ,KAAK,SAAS;QAAE,MAAM,CAAC,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,oBAAoB,CAAC,CAAC;IACnG,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC,CAAC;IACzD,MAAM,OAAO,GAAG,QAAQ,CAAC,YAAY,CAAC,CAAC;IACvC,IAAI,YAAY,KAAK,SAAS;QAAE,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,qCAAqC,CAAC,CAAC;SACtG,IAAI,OAAO,KAAK,SAAS;QAAE,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,2BAA2B,CAAC,CAAC;SAClG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;QACzB,MAAM,CACJ,SAAS,EACT,YAAY,CAAC,IAAI,CAAC,IAAI,EACtB,IAAI,OAAO,qHAAqH,CACjI,CAAC;IACJ,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;IAChE,IAAI,OAA4B,CAAC;IACjC,KAAK,MAAM,YAAY,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;QACxF,IAAI,YAAY,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,YAAY,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS;YAChF,OAAO,KAAK,EAAE,aAAa,EAAE,YAAY,CAAC,KAAK,CAAC,aAAa,EAAE,IAAI,EAAE,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;;YAC1G,MAAM,CAAC,SAAS,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,mEAAmE,CAAC,CAAC;IACtH,CAAC;IAED,MAAM,QAAQ,GAAqB,EAAE,CAAC;IACtC,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;IACxD,IAAI,YAAY,KAAK,SAAS;QAC5B,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,sEAAsE,CAAC,CAAC;IACrH,KAAK,MAAM,KAAK,IAAI,eAAe,CAAC,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;QAC1E,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM;YAAE,SAAS;QACnE,IAAI,WAAW,CAAC,CAAC,KAAK,CAAC,EAAE,uBAAuB,MAAM,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,WAAW,CAAC;YAAE,SAAS;QAC5F,oFAAoF;QACpF,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC;YACvF,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;;YACvE,UAAU,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,qCAAqC,CAAC,CAAC;IACtF,CAAC;IAED,MAAM,OAAO,GAAY,EAAE,CAAC;IAC5B,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,KAAK,MAAM,KAAK,IAAI,eAAe,CAAC,MAAM,EAAE,gBAAgB,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;QAChF,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC3B,UAAU,CAAC,gBAAgB,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,wDAAwD,CAAC,CAAC;YACxG,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC;QACzE,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YAClC,UAAU,CAAC,kBAAkB,KAAK,CAAC,OAAO,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,oCAAoC,CAAC,CAAC;YACtG,SAAS;QACX,CAAC;QACD,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC9B,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtB,CAAC;IAED,MAAM,OAAO,GAAiB,EAAE,CAAC;IACjC,KAAK,MAAM,KAAK,IAAI,eAAe,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC;QACvE,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC3B,UAAU,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,gEAAgE,CAAC,CAAC;YACvG,SAAS;QACX,CAAC;QACD,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC;QAC/D,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3C,CAAC;IAED,IAAI,CAAC,EAAE,IAAI,QAAQ,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC7E,OAAO;QACL,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE;QAC/B,WAAW,EAAE,MAAM,CAAC,IAAI;QACxB,QAAQ;QACR,OAAO;QACP,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC;QACjD,GAAG,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC;QAC7C,QAAQ;QACR,OAAO;QACP,OAAO;QACP,IAAI;QACJ,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,IAAI;KACL,CAAC;AACJ,CAAC;AAED,4IAA4I;AAC5I,SAAS,OAAO,CACd,KAAgB,EAChB,UAAkB,EAClB,IAAY,EACZ,WAAyB,EACzB,UAAsB;IAEtB,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAC1B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;IAC7B,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACzB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACtB,MAAM,UAAU,GACd,OAAO,KAAK,SAAS;QACrB,IAAI,KAAK,SAAS;QAClB,KAAK,CAAC,MAAM,KAAK,CAAC;QAClB,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ;QACrB,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI;QACjB,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC;IAChC,6FAA6F;IAC7F,MAAM,cAAc,GAAG,UAAU,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACzF,IAAI,WAAW,CAAC,cAAc,EAAE,qCAAqC,UAAU,EAAE,EAAE,IAAI,EAAE,WAAW,CAAC;QACnG,OAAO,SAAS,CAAC;IACnB,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,UAAU,CAAC,gBAAgB,EAAE,IAAI,EAAE,8CAA8C,CAAC,CAAC;QACnF,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,EAAE,GAAG,IAAI,CAAC;IACd,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3B,UAAU,CAAC,gBAAgB,EAAE,IAAI,EAAE,YAAY,OAAO,oDAAoD,CAAC,CAAC;QAC5G,EAAE,GAAG,KAAK,CAAC;IACb,CAAC;IACD,IAAI,iBAAiB,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,gBAAgB,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAC9E,MAAM,MAAM,GAAG,gBAAgB,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAC,CAAC,uBAAuB,CAAC;QAChH,WAAW,CAAC,IAAI,CACd,IAAI,CACF,0BAA0B,EAC1B,IAAI,EACJ,IAAI,EACJ,GAAG,IAAI,IAAI,IAAI,MAAM,OAAO,QAAQ,MAAM,aAAa,UAAU,qBAAqB,CACvF,CACF,CAAC;QACF,EAAE,GAAG,KAAK,CAAC;IACb,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IAChD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,WAAW,CAAC,IAAI,CACd,IAAI,CACF,sBAAsB,EACtB,IAAI,EACJ,IAAI,EACJ,GAAG,IAAI,IAAI,IAAI,MAAM,IAAI,qCAAqC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACjF,CACF,CAAC;QACF,EAAE,GAAG,KAAK,CAAC;IACb,CAAC;IACD,MAAM,OAAO,GAAG,kBAAkB,OAAO,GAAG,CAAC;IAC7C,IAAI,QAA8B,CAAC;IACnC,MAAM,aAAa,GAAG,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;IAC5D,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;QAChC,UAAU,CAAC,OAAO,EAAE,IAAI,EAAE,6BAA6B,CAAC,CAAC;QACzD,EAAE,GAAG,KAAK,CAAC;IACb,CAAC;SAAM,IAAI,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACjD,UAAU,CAAC,OAAO,EAAE,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,mCAAmC,CAAC,CAAC;QAClF,EAAE,GAAG,KAAK,CAAC;IACb,CAAC;SAAM,CAAC;QACN,MAAM,KAAK,GACT,aAAa,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjH,IAAI,UAAU,CAAC,KAAK,CAAC;YAAE,QAAQ,GAAG,KAAK,CAAC;aACnC,CAAC;YACJ,WAAW,CAAC,IAAI,CACd,IAAI,CACF,0BAA0B,EAC1B,IAAI,EACJ,aAAa,CAAC,IAAI,CAAC,IAAI,EACvB,GAAG,IAAI,IAAI,aAAa,CAAC,IAAI,CAAC,IAAI,MAAM,KAAK,kCAAkC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACvG,CACF,CAAC;YACF,EAAE,GAAG,KAAK,CAAC;QACb,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;IACxD,IAAI,WAAW,KAAK,SAAS,IAAI,WAAW,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,IAAI,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3G,UAAU,CAAC,OAAO,EAAE,IAAI,EAAE,uDAAuD,CAAC,CAAC;QACnF,EAAE,GAAG,KAAK,CAAC;IACb,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;YAC3C,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;iBAC9C,CAAC;gBACJ,UAAU,CAAC,OAAO,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,4BAA4B,CAAC,CAAC;gBACzE,EAAE,GAAG,KAAK,CAAC;YACb,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC;IACxD,MAAM,MAAM,GACV,WAAW,KAAK,SAAS;QACzB,WAAW,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK;QAChC,WAAW,CAAC,KAAK,CAAC,aAAa,KAAK,QAAQ;QAC5C,WAAW,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS;QACtC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,EAAE;QACtC,CAAC,CAAC,SAAS,CAAC;IAChB,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,UAAU,CAAC,OAAO,EAAE,IAAI,EAAE,+BAA+B,CAAC,CAAC;QAC3D,EAAE,GAAG,KAAK,CAAC;IACb,CAAC;IACD,IAAI,CAAC,EAAE,IAAI,OAAO,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACrG,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;AAChF,CAAC;AAED,0HAA0H;AAC1H,SAAS,YAAY,CACnB,KAAgB,EAChB,IAAY,EACZ,WAAyB,EACzB,UAAsB;IAEtB,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAC1B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;IAC7B,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACrC,MAAM,SAAS,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IAC3B,IACE,SAAS,KAAK,SAAS;QACvB,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;QAC7B,KAAK,CAAC,MAAM,GAAG,CAAC;QAChB,KAAK,GAAG,CAAC;QACT,KAAK,KAAK,KAAK,CAAC,MAAM,GAAG,CAAC;QAC1B,KAAK,CAAC,WAAW,CAAC,OAAO,CAAC,KAAK,KAAK,EACpC,CAAC;QACD,UAAU,CAAC,OAAO,EAAE,IAAI,EAAE,yEAAyE,CAAC,CAAC;QACrG,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,YAAY,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrC,UAAU,CAAC,OAAO,EAAE,IAAI,EAAE,sCAAsC,CAAC,CAAC;QAClE,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,EAAE,CAAC;QAC5B,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;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IAC9C,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;IAC/C,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QACnD,UAAU,CACR,OAAO,EACP,IAAI,EACJ,6FAA6F,CAC9F,CAAC;QACF,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;AAC3D,CAAC;AAED,gGAAgG;AAChG,SAAS,MAAM,CAAC,KAAwB;IACtC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC7B,IAAI,IAAI,KAAK,GAAG;QAAE,OAAO,GAAG,CAAC;IAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACzD,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AACvE,CAAC"}

package/dist/registry/fields.d.ts

@@ -0,0 +1,14 @@
+import type { ChildNode, FieldNode, RecordNode, SectionNode } from '../ast.js';
+/**
+ * True when `spelling` starts the field's words as a whole key: on an all-words line the words must
+ * continue past the spelling (they are the value); on any other line the words must be exactly the spelling.
+ */
+export declare function spelledAs(field: FieldNode, spelling: readonly string[]): boolean;
+/** The first field among `children` spelled `spelling`. */
+export declare function fieldOf(children: readonly ChildNode[], spelling: readonly string[]): FieldNode | undefined;
+/** The words after a spelling on an all-words line: the scalar it carries. */
+export declare function restAfter(field: FieldNode, spelling: readonly string[]): readonly string[];
+/** The text of a quoted string value, or undefined for any other value or no field. */
+export declare function stringOf(field: FieldNode | undefined): string | undefined;
+export declare function sectionOf(record: RecordNode, name: string): SectionNode | undefined;
+//# sourceMappingURL=fields.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"fields.d.ts","sourceRoot":"","sources":["../../src/registry/fields.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAE/E;;;GAGG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAIhF;AAED,2DAA2D;AAC3D,wBAAgB,OAAO,CAAC,QAAQ,EAAE,SAAS,SAAS,EAAE,EAAE,QAAQ,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,GAAG,SAAS,CAG1G;AAED,8EAA8E;AAC9E,wBAAgB,SAAS,CAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,MAAM,EAAE,CAE1F;AAED,uFAAuF;AACvF,wBAAgB,QAAQ,CAAC,KAAK,EAAE,SAAS,GAAG,SAAS,GAAG,MAAM,GAAG,SAAS,CAEzE;AAED,wBAAgB,SAAS,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS,CAEnF"}

package/dist/registry/fields.js

@@ -0,0 +1,30 @@
+/**
+ * True when `spelling` starts the field's words as a whole key: on an all-words line the words must
+ * continue past the spelling (they are the value); on any other line the words must be exactly the spelling.
+ */
+export function spelledAs(field, spelling) {
+    if (field.words.length < spelling.length)
+        return false;
+    if (!spelling.every((word, index) => field.words[index] === word))
+        return false;
+    return field.value.kind === 'scalar' ? field.words.length > spelling.length : field.words.length === spelling.length;
+}
+/** The first field among `children` spelled `spelling`. */
+export function fieldOf(children, spelling) {
+    for (const child of children)
+        if (child.kind === 'field' && spelledAs(child, spelling))
+            return child;
+    return undefined;
+}
+/** The words after a spelling on an all-words line: the scalar it carries. */
+export function restAfter(field, spelling) {
+    return field.words.slice(spelling.length);
+}
+/** The text of a quoted string value, or undefined for any other value or no field. */
+export function stringOf(field) {
+    return field !== undefined && field.value.kind === 'string' ? field.value.text : undefined;
+}
+export function sectionOf(record, name) {
+    return record.sections.find((section) => section.name === name);
+}
+//# sourceMappingURL=fields.js.map

package/dist/registry/fields.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fields.js","sourceRoot":"","sources":["../../src/registry/fields.ts"],"names":[],"mappings":"AAEA;;;GAGG;AACH,MAAM,UAAU,SAAS,CAAC,KAAgB,EAAE,QAA2B;IACrE,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IACvD,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAChF,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC,MAAM,CAAC;AACvH,CAAC;AAED,2DAA2D;AAC3D,MAAM,UAAU,OAAO,CAAC,QAA8B,EAAE,QAA2B;IACjF,KAAK,MAAM,KAAK,IAAI,QAAQ;QAAE,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC;YAAE,OAAO,KAAK,CAAC;IACrG,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,SAAS,CAAC,KAAgB,EAAE,QAA2B;IACrE,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;AAC5C,CAAC;AAED,uFAAuF;AACvF,MAAM,UAAU,QAAQ,CAAC,KAA4B;IACnD,OAAO,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AAC7F,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,MAAkB,EAAE,IAAY;IACxD,OAAO,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;AAClE,CAAC"}

package/dist/registry/floor.d.ts

@@ -0,0 +1,17 @@
+import type { ConsentRow, Registration } from './types.js';
+/** The system that owns the two structural words (spec 4.1) and the system name the kernel's closed axes use (spec 3.1). */
+export declare const FLOOR_SYSTEM = "floor";
+export declare const TAXONOMY_SYSTEM = "taxonomy";
+/** Always visible; a `requires` naming one of these resolves without a record. */
+export declare const BUILTIN_SYSTEMS: readonly string[];
+/** No `@system` may register these (`IA-LANG-KEYWORD-RESERVED`). */
+export declare const RESERVED_KEYWORDS: readonly string[];
+/** Fixed incoming-only schema citation permission; no authored floor declaration owns it. */
+export declare const FLOOR_CONSENT: readonly ConsentRow[];
+/**
+ * The floor's registrations. Their schemas are the kernel records `floor/contract/head/system` and
+ * `floor/contract/head/schema`, authored in plan 4; the registry does not require them to resolve,
+ * because the shapes of `@system` and `@schema` are fixed by spec 4.2 and 4.3 and read by this package.
+ */
+export declare const FLOOR_REGISTRATIONS: readonly Registration[];
+//# sourceMappingURL=floor.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"floor.d.ts","sourceRoot":"","sources":["../../src/registry/floor.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE3D,4HAA4H;AAC5H,eAAO,MAAM,YAAY,UAAU,CAAC;AACpC,eAAO,MAAM,eAAe,aAAa,CAAC;AAC1C,kFAAkF;AAClF,eAAO,MAAM,eAAe,EAAE,SAAS,MAAM,EAAoC,CAAC;AAClF,oEAAoE;AACpE,eAAO,MAAM,iBAAiB,EAAE,SAAS,MAAM,EAAyB,CAAC;AAEzE,6FAA6F;AAC7F,eAAO,MAAM,aAAa,EAAE,SAAS,UAAU,EAO7C,CAAC;AAEH;;;;GAIG;AACH,eAAO,MAAM,mBAAmB,EAAE,SAAS,YAAY,EAmBtD,CAAC"}

package/dist/registry/floor.js

@@ -0,0 +1,42 @@
+/** The system that owns the two structural words (spec 4.1) and the system name the kernel's closed axes use (spec 3.1). */
+export const FLOOR_SYSTEM = 'floor';
+export const TAXONOMY_SYSTEM = 'taxonomy';
+/** Always visible; a `requires` naming one of these resolves without a record. */
+export const BUILTIN_SYSTEMS = [FLOOR_SYSTEM, TAXONOMY_SYSTEM];
+/** No `@system` may register these (`IA-LANG-KEYWORD-RESERVED`). */
+export const RESERVED_KEYWORDS = ['system', 'schema'];
+/** Fixed incoming-only schema citation permission; no authored floor declaration owns it. */
+export const FLOOR_CONSENT = Object.freeze([
+    Object.freeze({
+        predicate: 'cite',
+        targets: Object.freeze(['schema']),
+        sources: '*',
+        span: Object.freeze({ line: 1, endLine: 1 }),
+    }),
+]);
+/**
+ * The floor's registrations. Their schemas are the kernel records `floor/contract/head/system` and
+ * `floor/contract/head/schema`, authored in plan 4; the registry does not require them to resolve,
+ * because the shapes of `@system` and `@schema` are fixed by spec 4.2 and 4.3 and read by this package.
+ */
+export const FLOOR_REGISTRATIONS = [
+    {
+        keyword: 'system',
+        system: FLOOR_SYSTEM,
+        kind: 'definition',
+        category: 'boundary',
+        facets: ['system'],
+        schema: 'system',
+        band: 10,
+    },
+    {
+        keyword: 'schema',
+        system: FLOOR_SYSTEM,
+        kind: 'contract',
+        category: 'representation',
+        facets: ['head'],
+        schema: 'schema',
+        band: 10,
+    },
+];
+//# sourceMappingURL=floor.js.map

package/dist/registry/floor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"floor.js","sourceRoot":"","sources":["../../src/registry/floor.ts"],"names":[],"mappings":"AAEA,4HAA4H;AAC5H,MAAM,CAAC,MAAM,YAAY,GAAG,OAAO,CAAC;AACpC,MAAM,CAAC,MAAM,eAAe,GAAG,UAAU,CAAC;AAC1C,kFAAkF;AAClF,MAAM,CAAC,MAAM,eAAe,GAAsB,CAAC,YAAY,EAAE,eAAe,CAAC,CAAC;AAClF,oEAAoE;AACpE,MAAM,CAAC,MAAM,iBAAiB,GAAsB,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;AAEzE,6FAA6F;AAC7F,MAAM,CAAC,MAAM,aAAa,GAA0B,MAAM,CAAC,MAAM,CAAC;IAChE,MAAM,CAAC,MAAM,CAAC;QACZ,SAAS,EAAE,MAAe;QAC1B,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,CAAC;QAClC,OAAO,EAAE,GAAY;QACrB,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;KAC7C,CAAC;CACH,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAA4B;IAC1D;QACE,OAAO,EAAE,QAAQ;QACjB,MAAM,EAAE,YAAY;QACpB,IAAI,EAAE,YAAY;QAClB,QAAQ,EAAE,UAAU;QACpB,MAAM,EAAE,CAAC,QAAQ,CAAC;QAClB,MAAM,EAAE,QAAQ;QAChB,IAAI,EAAE,EAAE;KACT;IACD;QACE,OAAO,EAAE,QAAQ;QACjB,MAAM,EAAE,YAAY;QACpB,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE,gBAAgB;QAC1B,MAAM,EAAE,CAAC,MAAM,CAAC;QAChB,MAAM,EAAE,QAAQ;QAChB,IAAI,EAAE,EAAE;KACT;CACF,CAAC"}

package/dist/registry/index.d.ts

@@ -0,0 +1,19 @@
+import type { Diagnostic } from '../diagnostics.js';
+export { fieldTypeText } from './schemas.js';
+import type { FrozenRegistry, Source } from './types.js';
+export { admits, consentFor } from './consent.js';
+export { BUILTIN_SYSTEMS, FLOOR_REGISTRATIONS, FLOOR_SYSTEM, RESERVED_KEYWORDS, TAXONOMY_SYSTEM } from './floor.js';
+export { fieldOf, restAfter, sectionOf, spelledAs, stringOf } from './fields.js';
+export type { ConsentRow, Entry, FrozenRegistry, Location, Placement, Registration, RequiredSystem, SchemaDeclaration, SchemaEdge, SchemaField, SchemaSection, Source, Steward, SystemDeclaration, } from './types.js';
+export interface RegistryResult {
+    readonly registry: FrozenRegistry;
+    readonly diagnostics: readonly Diagnostic[];
+}
+/** Diagnostics leave in path order, then line order, whichever stage found them. */
+export declare function sortDiagnostics(diagnostics: readonly Diagnostic[]): Diagnostic[];
+/**
+ * The minting join at one location (spec 4.4): extract every @system without a vocabulary; band
+ * merge; resolve and order requires; lower consent; resolve schemas. A word is joined or refused.
+ */
+export declare function buildRegistry(sources: readonly Source[]): RegistryResult;
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/registry/index.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAMpD,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,KAAK,EAAE,cAAc,EAAmC,MAAM,EAAqB,MAAM,YAAY,CAAC;AAE7G,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,EAAE,eAAe,EAAE,mBAAmB,EAAE,YAAY,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AACpH,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AACjF,YAAY,EACV,UAAU,EACV,KAAK,EACL,cAAc,EACd,QAAQ,EACR,SAAS,EACT,YAAY,EACZ,cAAc,EACd,iBAAiB,EACjB,UAAU,EACV,WAAW,EACX,aAAa,EACb,MAAM,EACN,OAAO,EACP,iBAAiB,GAClB,MAAM,YAAY,CAAC;AAEpB,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C;AAED,oFAAoF;AACpF,wBAAgB,eAAe,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,GAAG,UAAU,EAAE,CAEhF;AAED;;;GAGG;AACH,wBAAgB,aAAa,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,cAAc,CA2ExE"}