@inventarch/language 0.0.0-stage → 1.1.0

package/dist/registry/index.js

@@ -0,0 +1,80 @@
+import { diag } from '../diagnostics.js';
+import { extractSystems } from './extract.js';
+import { BUILTIN_SYSTEMS, FLOOR_CONSENT, FLOOR_REGISTRATIONS, FLOOR_SYSTEM, RESERVED_KEYWORDS } from './floor.js';
+import { mergeByName, mergeRegistrations } from './merge.js';
+import { orderSystems } from './order.js';
+import { extractSchemas } from './schemas.js';
+export { fieldTypeText } from './schemas.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';
+/** Diagnostics leave in path order, then line order, whichever stage found them. */
+export function sortDiagnostics(diagnostics) {
+    return [...diagnostics].sort((a, b) => (a.path < b.path ? -1 : a.path > b.path ? 1 : a.line - b.line));
+}
+/**
+ * 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 function buildRegistry(sources) {
+    const diagnostics = [];
+    const systems = [];
+    const schemas = [];
+    const refusedSchemas = new Set();
+    for (const source of sources) {
+        const band = source.location.placement.band;
+        diagnostics.push(...source.diagnostics);
+        const extracted = extractSystems(source.ast, band, source.diagnostics);
+        systems.push(...extracted.systems);
+        diagnostics.push(...extracted.diagnostics);
+        const extractedSchemas = extractSchemas(source.ast, band, source.diagnostics);
+        schemas.push(...extractedSchemas.schemas);
+        diagnostics.push(...extractedSchemas.diagnostics);
+        for (const name of extractedSchemas.refused)
+            refusedSchemas.add(name);
+    }
+    const mergedSystems = mergeByName(systems, '@system');
+    diagnostics.push(...mergedSystems.diagnostics);
+    const ordered = orderSystems(mergedSystems.winners);
+    diagnostics.push(...ordered.diagnostics);
+    const inForce = ordered.order.map((name) => mergedSystems.winners.get(name));
+    const merged = mergeRegistrations(inForce, FLOOR_REGISTRATIONS);
+    diagnostics.push(...merged.diagnostics);
+    const mergedSchemas = mergeByName(schemas, '@schema');
+    diagnostics.push(...mergedSchemas.diagnostics);
+    // A winning-band collision already diagnosed the schema; it is refused, not missing.
+    for (const schema of schemas)
+        if (!mergedSchemas.winners.has(schema.name))
+            refusedSchemas.add(schema.name);
+    const registrations = new Map();
+    for (const [keyword, registration] of merged.registrations) {
+        if (RESERVED_KEYWORDS.includes(keyword)) {
+            registrations.set(keyword, registration);
+            continue;
+        }
+        const system = mergedSystems.winners.get(registration.system);
+        const entry = system.entries.find((e) => e.keyword === keyword);
+        const schema = mergedSchemas.winners.get(registration.schema);
+        if (schema === undefined) {
+            if (!refusedSchemas.has(registration.schema)) {
+                diagnostics.push(diag('IA-LANG-SCHEMA-MISSING', system.path, entry.span.line, `${system.path}:${entry.span.line}: '${keyword}' names @schema ${registration.schema}, which no visible file declares`));
+            }
+            continue;
+        }
+        if (schema.kind !== registration.kind) {
+            diagnostics.push(diag('IA-LANG-SCHEMA-KIND-MISMATCH', system.path, entry.span.line, `${system.path}:${entry.span.line}: '${keyword}' lowers to ${registration.kind} but @schema ${registration.schema} lowers to ${schema.kind}`));
+            continue;
+        }
+        registrations.set(keyword, registration);
+    }
+    const registry = Object.freeze({
+        systems: new Map(inForce.map((s) => [s.name, s])),
+        order: [...BUILTIN_SYSTEMS, ...ordered.order.filter((name) => !BUILTIN_SYSTEMS.includes(name))],
+        registrations,
+        blocked: merged.blocked,
+        schemas: mergedSchemas.winners,
+        consent: new Map([...inForce.map((s) => [s.name, s.consent]), [FLOOR_SYSTEM, FLOOR_CONSENT]]),
+    });
+    return { registry, diagnostics: sortDiagnostics(diagnostics) };
+}
+//# sourceMappingURL=index.js.map

package/dist/registry/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/registry/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAEzC,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,eAAe,EAAE,aAAa,EAAE,mBAAmB,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAClH,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAC7D,OAAO,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAG7C,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;AAuBjF,oFAAoF;AACpF,MAAM,UAAU,eAAe,CAAC,WAAkC;IAChE,OAAO,CAAC,GAAG,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AACzG,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,OAA0B;IACtD,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,OAAO,GAAwB,EAAE,CAAC;IACxC,MAAM,OAAO,GAAwB,EAAE,CAAC;IACxC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC;QAC5C,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;QACxC,MAAM,SAAS,GAAG,cAAc,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;QACvE,OAAO,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;QACnC,WAAW,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,WAAW,CAAC,CAAC;QAC3C,MAAM,gBAAgB,GAAG,cAAc,CAAC,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;QAC9E,OAAO,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;QAC1C,WAAW,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,WAAW,CAAC,CAAC;QAClD,KAAK,MAAM,IAAI,IAAI,gBAAgB,CAAC,OAAO;YAAE,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACxE,CAAC;IAED,MAAM,aAAa,GAAG,WAAW,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IACtD,WAAW,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,WAAW,CAAC,CAAC;IAC/C,MAAM,OAAO,GAAG,YAAY,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;IACpD,WAAW,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;IACzC,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,CAAC;IAE9E,MAAM,MAAM,GAAG,kBAAkB,CAAC,OAAO,EAAE,mBAAmB,CAAC,CAAC;IAChE,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;IACxC,MAAM,aAAa,GAAG,WAAW,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;IACtD,WAAW,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,WAAW,CAAC,CAAC;IAC/C,qFAAqF;IACrF,KAAK,MAAM,MAAM,IAAI,OAAO;QAAE,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;YAAE,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAE3G,MAAM,aAAa,GAAG,IAAI,GAAG,EAAwB,CAAC;IACtD,KAAK,MAAM,CAAC,OAAO,EAAE,YAAY,CAAC,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;QAC3D,IAAI,iBAAiB,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YACxC,aAAa,CAAC,GAAG,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;YACzC,SAAS;QACX,CAAC;QACD,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,CAAE,CAAC;QAC/D,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,OAAO,CAAE,CAAC;QACjE,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;QAC9D,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC7C,WAAW,CAAC,IAAI,CACd,IAAI,CACF,wBAAwB,EACxB,MAAM,CAAC,IAAI,EACX,KAAK,CAAC,IAAI,CAAC,IAAI,EACf,GAAG,MAAM,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,MAAM,OAAO,mBAAmB,YAAY,CAAC,MAAM,kCAAkC,CACvH,CACF,CAAC;YACJ,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,YAAY,CAAC,IAAI,EAAE,CAAC;YACtC,WAAW,CAAC,IAAI,CACd,IAAI,CACF,8BAA8B,EAC9B,MAAM,CAAC,IAAI,EACX,KAAK,CAAC,IAAI,CAAC,IAAI,EACf,GAAG,MAAM,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,MAAM,OAAO,eAAe,YAAY,CAAC,IAAI,gBAAgB,YAAY,CAAC,MAAM,cAAc,MAAM,CAAC,IAAI,EAAE,CAC7I,CACF,CAAC;YACF,SAAS;QACX,CAAC;QACD,aAAa,CAAC,GAAG,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;IAC3C,CAAC;IAED,MAAM,QAAQ,GAAmB,MAAM,CAAC,MAAM,CAAC;QAC7C,OAAO,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAU,CAAC,CAAC;QAC1D,KAAK,EAAE,CAAC,GAAG,eAAe,EAAE,GAAG,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;QAC/F,aAAa;QACb,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,OAAO,EAAE,aAAa,CAAC,OAAO;QAC9B,OAAO,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAU,CAAC,EAAE,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC,CAAC;KACvG,CAAC,CAAC;IACH,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,eAAe,CAAC,WAAW,CAAC,EAAE,CAAC;AACjE,CAAC"}

package/dist/registry/merge.d.ts

@@ -0,0 +1,32 @@
+import type { Span } from '../ast.js';
+import type { Diagnostic } from '../diagnostics.js';
+import type { Band } from '../taxonomy.js';
+import type { Registration, SystemDeclaration } from './types.js';
+interface Named {
+    readonly name: string;
+    readonly displayName: string;
+    readonly band: Band;
+    readonly path: string;
+    readonly span: Span;
+}
+/**
+ * Band merge of declarations sharing a name: the highest band wins and lower bands are shadowed
+ * silently; two at the winning band collide and neither is in force (spec 3.2, 4.2).
+ */
+export declare function mergeByName<T extends Named>(items: readonly T[], label: string): {
+    winners: Map<string, T>;
+    diagnostics: Diagnostic[];
+};
+/**
+ * One registration per keyword. The floor's words come first and cannot be overridden (extraction
+ * refuses them). For a minted keyword the winning band is the highest any system registers it at;
+ * two systems there is a conflict on each, and the keyword is blocked at that band rather than
+ * falling through to a lower provider.
+ */
+export declare function mergeRegistrations(systems: readonly SystemDeclaration[], floor: readonly Registration[]): {
+    registrations: Map<string, Registration>;
+    blocked: Set<string>;
+    diagnostics: Diagnostic[];
+};
+export {};
+//# sourceMappingURL=merge.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"merge.d.ts","sourceRoot":"","sources":["../../src/registry/merge.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEtC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,KAAK,EAAS,YAAY,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAEzE,UAAU,KAAK;IACb,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAID;;;GAGG;AACH,wBAAgB,WAAW,CAAC,CAAC,SAAS,KAAK,EACzC,KAAK,EAAE,SAAS,CAAC,EAAE,EACnB,KAAK,EAAE,MAAM,GACZ;IAAE,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAAC,WAAW,EAAE,UAAU,EAAE,CAAA;CAAE,CAiCxD;AAQD;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,SAAS,iBAAiB,EAAE,EACrC,KAAK,EAAE,SAAS,YAAY,EAAE,GAC7B;IAAE,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAAC,OAAO,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAAC,WAAW,EAAE,UAAU,EAAE,CAAA;CAAE,CA6C/F"}

package/dist/registry/merge.js

@@ -0,0 +1,84 @@
+import { diag } from '../diagnostics.js';
+const byName = (a, b) => (a < b ? -1 : a > b ? 1 : 0);
+/**
+ * Band merge of declarations sharing a name: the highest band wins and lower bands are shadowed
+ * silently; two at the winning band collide and neither is in force (spec 3.2, 4.2).
+ */
+export function mergeByName(items, label) {
+    const groups = new Map();
+    for (const item of items) {
+        const group = groups.get(item.name);
+        if (group === undefined)
+            groups.set(item.name, [item]);
+        else
+            group.push(item);
+    }
+    const winners = new Map();
+    const diagnostics = [];
+    for (const [name, group] of [...groups.entries()].sort(([a], [b]) => byName(a, b))) {
+        const top = Math.max(...group.map((item) => item.band));
+        const atTop = group.filter((item) => item.band === top);
+        const winner = atTop[0];
+        if (atTop.length === 1 && winner !== undefined) {
+            winners.set(name, winner);
+            continue;
+        }
+        for (const item of atTop) {
+            const others = atTop
+                .filter((o) => o !== item)
+                .map((o) => `${o.path}:${o.span.line}`)
+                .join(', ');
+            diagnostics.push(diag('IA-LANG-IDENTITY-COLLISION', item.path, item.span.line, `${item.path}:${item.span.line}: ${label} ${item.displayName} collides with ${others} at band ${top}`));
+        }
+    }
+    return { winners, diagnostics };
+}
+/**
+ * One registration per keyword. The floor's words come first and cannot be overridden (extraction
+ * refuses them). For a minted keyword the winning band is the highest any system registers it at;
+ * two systems there is a conflict on each, and the keyword is blocked at that band rather than
+ * falling through to a lower provider.
+ */
+export function mergeRegistrations(systems, floor) {
+    const candidates = new Map();
+    for (const system of systems) {
+        for (const entry of system.entries) {
+            const registration = {
+                keyword: entry.keyword,
+                system: system.name,
+                kind: entry.kind,
+                category: entry.category,
+                facets: entry.facets,
+                schema: entry.schema,
+                band: system.band,
+            };
+            const list = candidates.get(entry.keyword);
+            if (list === undefined)
+                candidates.set(entry.keyword, [{ registration, entry, system }]);
+            else
+                list.push({ registration, entry, system });
+        }
+    }
+    const registrations = new Map(floor.map((r) => [r.keyword, r]));
+    const blocked = new Set();
+    const diagnostics = [];
+    for (const [keyword, list] of [...candidates.entries()].sort(([a], [b]) => byName(a, b))) {
+        // Extraction owns the reserved-keyword diagnostic; preserve the supplied floor here.
+        if (registrations.has(keyword))
+            continue;
+        const top = Math.max(...list.map((c) => c.registration.band));
+        const atTop = list.filter((c) => c.registration.band === top);
+        const winner = atTop[0];
+        if (atTop.length === 1 && winner !== undefined) {
+            registrations.set(keyword, winner.registration);
+            continue;
+        }
+        blocked.add(keyword);
+        const names = atTop.map((c) => c.system.displayName).join(', ');
+        for (const c of atTop) {
+            diagnostics.push(diag('IA-LANG-DISCRIMINATOR-CONFLICT', c.system.path, c.entry.span.line, `${c.system.path}:${c.entry.span.line}: '${keyword}' is registered by ${names} at band ${top}; the keyword is blocked at that band`));
+        }
+    }
+    return { registrations, blocked, diagnostics };
+}
+//# sourceMappingURL=merge.js.map

package/dist/registry/merge.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"merge.js","sourceRoot":"","sources":["../../src/registry/merge.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAazC,MAAM,MAAM,GAAG,CAAC,CAAS,EAAE,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAE9E;;;GAGG;AACH,MAAM,UAAU,WAAW,CACzB,KAAmB,EACnB,KAAa;IAEb,MAAM,MAAM,GAAG,IAAI,GAAG,EAAe,CAAC;IACtC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,IAAI,KAAK,KAAK,SAAS;YAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;;YAClD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAa,CAAC;IACrC,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACnF,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACxD,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;QACxD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YAC/C,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAC1B,SAAS;QACX,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,KAAK;iBACjB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC;iBACzB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;iBACtC,IAAI,CAAC,IAAI,CAAC,CAAC;YACd,WAAW,CAAC,IAAI,CACd,IAAI,CACF,4BAA4B,EAC5B,IAAI,CAAC,IAAI,EACT,IAAI,CAAC,IAAI,CAAC,IAAI,EACd,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,WAAW,kBAAkB,MAAM,YAAY,GAAG,EAAE,CACtG,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;AAClC,CAAC;AAQD;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAChC,OAAqC,EACrC,KAA8B;IAE9B,MAAM,UAAU,GAAG,IAAI,GAAG,EAAuB,CAAC;IAClD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACnC,MAAM,YAAY,GAAiB;gBACjC,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,MAAM,EAAE,MAAM,CAAC,IAAI;gBACnB,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,IAAI,EAAE,MAAM,CAAC,IAAI;aAClB,CAAC;YACF,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAC3C,IAAI,IAAI,KAAK,SAAS;gBAAE,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;;gBACpF,IAAI,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;IACD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAuB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAU,CAAC,CAAC,CAAC;IAC/F,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,KAAK,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzF,qFAAqF;QACrF,IAAI,aAAa,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,SAAS;QACzC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;QAC9D,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;QAC9D,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACxB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YAC/C,aAAa,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC;YAChD,SAAS;QACX,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACrB,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChE,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,WAAW,CAAC,IAAI,CACd,IAAI,CACF,gCAAgC,EAChC,CAAC,CAAC,MAAM,CAAC,IAAI,EACb,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EACjB,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,MAAM,OAAO,sBAAsB,KAAK,YAAY,GAAG,uCAAuC,CACpI,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;AACjD,CAAC"}

package/dist/registry/order.d.ts

@@ -0,0 +1,12 @@
+import type { Diagnostic } from '../diagnostics.js';
+import type { SystemDeclaration } from './types.js';
+export interface OrderedSystems {
+    /** Bootstrap order over the systems in force: every system after all it requires, ties by name. */
+    readonly order: readonly string[];
+    /** Systems refused for missing requirements, cycle membership, or dependence on a refused system. */
+    readonly dropped: ReadonlySet<string>;
+    readonly diagnostics: readonly Diagnostic[];
+}
+/** Resolve `requires` against the final systems in force, then order survivors (spec 4.2). */
+export declare function orderSystems(winners: ReadonlyMap<string, SystemDeclaration>): OrderedSystems;
+//# sourceMappingURL=order.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"order.d.ts","sourceRoot":"","sources":["../../src/registry/order.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAEpD,MAAM,WAAW,cAAc;IAC7B,mGAAmG;IACnG,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,qGAAqG;IACrG,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACtC,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C;AAED,8FAA8F;AAC9F,wBAAgB,YAAY,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,iBAAiB,CAAC,GAAG,cAAc,CAoI5F"}

package/dist/registry/order.js

@@ -0,0 +1,134 @@
+import { diag } from '../diagnostics.js';
+import { BUILTIN_SYSTEMS } from './floor.js';
+/** Resolve `requires` against the final systems in force, then order survivors (spec 4.2). */
+export function orderSystems(winners) {
+    const diagnostics = [];
+    const dropped = new Set();
+    const names = [...winners.keys()].sort();
+    const dependencies = new Map();
+    const dependents = new Map(names.map((name) => [name, []]));
+    for (const name of names) {
+        const system = winners.get(name);
+        const declared = new Set();
+        for (const required of system.requires) {
+            if (BUILTIN_SYSTEMS.includes(required.name))
+                continue;
+            if (winners.has(required.name))
+                declared.add(required.name);
+            else
+                dropped.add(name);
+        }
+        dependencies.set(name, [...declared].sort());
+        for (const required of declared)
+            dependents.get(required).push(name);
+    }
+    // Tarjan's strongly connected components include every member of overlapping cycles.
+    const indices = new Map();
+    const low = new Map();
+    const stack = [];
+    const active = new Set();
+    const cycleOf = new Map();
+    const visit = (name) => {
+        const index = indices.size;
+        indices.set(name, index);
+        low.set(name, index);
+        stack.push(name);
+        active.add(name);
+        for (const required of dependencies.get(name)) {
+            if (!indices.has(required)) {
+                visit(required);
+                low.set(name, Math.min(low.get(name), low.get(required)));
+            }
+            else if (active.has(required)) {
+                low.set(name, Math.min(low.get(name), indices.get(required)));
+            }
+        }
+        if (low.get(name) !== index)
+            return;
+        const members = new Set();
+        let member;
+        do {
+            member = stack.pop();
+            active.delete(member);
+            members.add(member);
+        } while (member !== name);
+        if (members.size > 1 || dependencies.get(name).includes(name)) {
+            for (const member of members) {
+                cycleOf.set(member, members);
+                dropped.add(member);
+            }
+        }
+    };
+    for (const name of names)
+        if (!indices.has(name))
+            visit(name);
+    // Refusal propagates to every dependent before resolving any requirement as satisfied.
+    const refused = [...dropped];
+    for (const name of refused) {
+        for (const dependent of dependents.get(name)) {
+            if (dropped.has(dependent))
+                continue;
+            dropped.add(dependent);
+            refused.push(dependent);
+        }
+    }
+    const cycleThrough = (start, members) => {
+        const seen = new Set();
+        const path = [];
+        const walk = (name) => {
+            seen.add(name);
+            path.push(name);
+            for (const required of dependencies.get(name)) {
+                if (!members.has(required))
+                    continue;
+                if (required === start)
+                    return [...path, start];
+                if (seen.has(required))
+                    continue;
+                const cycle = walk(required);
+                if (cycle !== undefined)
+                    return cycle;
+            }
+            path.pop();
+            return undefined;
+        };
+        return walk(start); // Every member of a cyclic component lies on a cycle.
+    };
+    const visible = [...new Set([...BUILTIN_SYSTEMS, ...names.filter((name) => !dropped.has(name))])].join(', ');
+    for (const name of names) {
+        const system = winners.get(name);
+        const cycle = cycleOf.get(name);
+        if (cycle !== undefined) {
+            diagnostics.push(diag('IA-LANG-SYSTEM-CYCLE', system.path, system.span.line, `${system.path}:${system.span.line}: requires cycle ${cycleThrough(name, cycle).join(' -> ')}`));
+        }
+        for (const required of system.requires) {
+            if (BUILTIN_SYSTEMS.includes(required.name))
+                continue;
+            if (winners.has(required.name) && !dropped.has(required.name))
+                continue;
+            if (cycle !== undefined && cycle === cycleOf.get(required.name))
+                continue;
+            diagnostics.push(diag('IA-LANG-SYSTEM-MISSING', system.path, required.span.line, `${system.path}:${required.span.line}: @system ${system.displayName} requires '${required.name}', which has no @system in force; visible: ${visible}`));
+        }
+    }
+    diagnostics.sort((a, b) => (a.path < b.path ? -1 : a.path > b.path ? 1 : a.line - b.line));
+    // Kahn's algorithm with a sorted ready queue gives the first available name at each step.
+    const remaining = new Map(names.filter((name) => !dropped.has(name)).map((name) => [name, dependencies.get(name).length]));
+    const ready = names.filter((name) => remaining.get(name) === 0);
+    const order = [];
+    while (ready.length > 0) {
+        const name = ready.shift();
+        order.push(name);
+        for (const dependent of dependents.get(name)) {
+            const count = remaining.get(dependent);
+            if (count === undefined)
+                continue;
+            remaining.set(dependent, count - 1);
+            if (count === 1)
+                ready.push(dependent);
+        }
+        ready.sort();
+    }
+    return { order, dropped, diagnostics };
+}
+//# sourceMappingURL=order.js.map

package/dist/registry/order.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"order.js","sourceRoot":"","sources":["../../src/registry/order.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAEzC,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAW7C,8FAA8F;AAC9F,MAAM,UAAU,YAAY,CAAC,OAA+C;IAC1E,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,KAAK,GAAG,CAAC,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACzC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAoB,CAAC;IACjD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,EAAc,CAAC,CAAC,CAAC,CAAC;IACxE,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;QAClC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QACnC,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACvC,IAAI,eAAe,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,SAAS;YACtD,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;;gBACvD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACzB,CAAC;QACD,YAAY,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAC7C,KAAK,MAAM,QAAQ,IAAI,QAAQ;YAAE,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxE,CAAC;IAED,qFAAqF;IACrF,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,OAAO,GAAG,IAAI,GAAG,EAA+B,CAAC;IACvD,MAAM,KAAK,GAAG,CAAC,IAAY,EAAQ,EAAE;QACnC,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC;QAC3B,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACzB,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACrB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjB,KAAK,MAAM,QAAQ,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,CAAC;YAC/C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC3B,KAAK,CAAC,QAAQ,CAAC,CAAC;gBAChB,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,CAAC,CAAC;YAC9D,CAAC;iBAAM,IAAI,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAChC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAE,CAAC,CAAC,CAAC;YAClE,CAAC;QACH,CAAC;QACD,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,KAAK;YAAE,OAAO;QACpC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,IAAI,MAAc,CAAC;QACnB,GAAG,CAAC;YACF,MAAM,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;YACtB,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YACtB,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACtB,CAAC,QAAQ,MAAM,KAAK,IAAI,EAAE;QAC1B,IAAI,OAAO,CAAC,IAAI,GAAG,CAAC,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/D,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC7B,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;gBAC7B,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACtB,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,KAAK;QAAE,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC;IAE9D,uFAAuF;IACvF,MAAM,OAAO,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC;IAC7B,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;QAC3B,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,CAAC;YAC9C,IAAI,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC;gBAAE,SAAS;YACrC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACvB,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IAED,MAAM,YAAY,GAAG,CAAC,KAAa,EAAE,OAA4B,EAAY,EAAE;QAC7E,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,CAAC,IAAY,EAAwB,EAAE;YAClD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACf,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChB,KAAK,MAAM,QAAQ,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,CAAC;gBAC/C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC;oBAAE,SAAS;gBACrC,IAAI,QAAQ,KAAK,KAAK;oBAAE,OAAO,CAAC,GAAG,IAAI,EAAE,KAAK,CAAC,CAAC;gBAChD,IAAI,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC;oBAAE,SAAS;gBACjC,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC7B,IAAI,KAAK,KAAK,SAAS;oBAAE,OAAO,KAAK,CAAC;YACxC,CAAC;YACD,IAAI,CAAC,GAAG,EAAE,CAAC;YACX,OAAO,SAAS,CAAC;QACnB,CAAC,CAAC;QACF,OAAO,IAAI,CAAC,KAAK,CAAE,CAAC,CAAC,sDAAsD;IAC7E,CAAC,CAAC;IAEF,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,eAAe,EAAE,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7G,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;QAClC,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAChC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,WAAW,CAAC,IAAI,CACd,IAAI,CACF,sBAAsB,EACtB,MAAM,CAAC,IAAI,EACX,MAAM,CAAC,IAAI,CAAC,IAAI,EAChB,GAAG,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,oBAAoB,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAC/F,CACF,CAAC;QACJ,CAAC;QACD,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACvC,IAAI,eAAe,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,SAAS;YACtD,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,SAAS;YACxE,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC1E,WAAW,CAAC,IAAI,CACd,IAAI,CACF,wBAAwB,EACxB,MAAM,CAAC,IAAI,EACX,QAAQ,CAAC,IAAI,CAAC,IAAI,EAClB,GAAG,MAAM,CAAC,IAAI,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,aAAa,MAAM,CAAC,WAAW,cAAc,QAAQ,CAAC,IAAI,8CAA8C,OAAO,EAAE,CACtJ,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAE3F,0FAA0F;IAC1F,MAAM,SAAS,GAAG,IAAI,GAAG,CACvB,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,YAAY,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,MAAM,CAAC,CAAC,CACjG,CAAC;IACF,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;IAChE,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,CAAC;YAC9C,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACvC,IAAI,KAAK,KAAK,SAAS;gBAAE,SAAS;YAClC,SAAS,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YACpC,IAAI,KAAK,KAAK,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACzC,CAAC;QACD,KAAK,CAAC,IAAI,EAAE,CAAC;IACf,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;AACzC,CAAC"}

package/dist/registry/records.d.ts

@@ -0,0 +1,14 @@
+import type { ChildNode, FieldNode, FileNode, RecordNode } from '../ast.js';
+import type { Diagnostic } from '../diagnostics.js';
+export interface RecordSource {
+    readonly record: RecordNode;
+    /** Structural boundary, including trailing refused lines omitted by the accepted AST span. */
+    readonly endLine: number;
+    /** Parser errors owned by this record, excluding its nested declarations. */
+    readonly errors: readonly Diagnostic[];
+}
+/** Every record once in source order, with its own parser faults. Structural children alias `nested`. */
+export declare function recordsIn(ast: FileNode, parserDiagnostics: readonly Diagnostic[]): readonly RecordSource[];
+/** Inline and standalone conditions through field blocks; nested records own their own positions. */
+export declare function conditionsIn(children: readonly ChildNode[]): FieldNode[];
+//# sourceMappingURL=records.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"records.d.ts","sourceRoot":"","sources":["../../src/registry/records.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAC5E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAC5B,8FAA8F;IAC9F,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,6EAA6E;IAC7E,QAAQ,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,CAAC;CACxC;AAED,yGAAyG;AACzG,wBAAgB,SAAS,CAAC,GAAG,EAAE,QAAQ,EAAE,iBAAiB,EAAE,SAAS,UAAU,EAAE,GAAG,SAAS,YAAY,EAAE,CAsC1G;AAuBD,qGAAqG;AACrG,wBAAgB,YAAY,CAAC,QAAQ,EAAE,SAAS,SAAS,EAAE,GAAG,SAAS,EAAE,CAQxE"}

package/dist/registry/records.js

@@ -0,0 +1,64 @@
+/** Every record once in source order, with its own parser faults. Structural children alias `nested`. */
+export function recordsIn(ast, parserDiagnostics) {
+    const errors = parserDiagnostics.filter((d) => d.path === ast.path && d.severity === 'error');
+    const fileEnd = Math.max(1, ...ast.records.map((r) => r.span.endLine), ...errors.map((d) => d.endLine ?? d.line));
+    const limits = recordLimits(ast.records, fileEnd);
+    if (ast.syntaxRecordSpans !== undefined) {
+        const ends = new Map(ast.syntaxRecordSpans.map((span) => [span.line, span.endLine]));
+        return [...limits].map(([record, fallback]) => {
+            const endLine = ends.get(record.span.line) ?? fallback;
+            return {
+                record,
+                endLine,
+                errors: errors.filter((d) => d.line >= record.span.line &&
+                    d.line <= endLine &&
+                    !ast.syntaxRecordSpans.some((nested) => nested.line > record.span.line &&
+                        nested.line <= endLine &&
+                        d.line >= nested.line &&
+                        d.line <= nested.endLine)),
+            };
+        });
+    }
+    // JSON serialization copies the derived `nested` entries, so ownership cannot depend on aliases.
+    const endsByLine = new Map([...limits].map(([record, endLine]) => [record.span.line, endLine]));
+    return [...limits].map(([record, endLine]) => ({
+        record,
+        endLine,
+        errors: errors.filter((d) => d.line >= record.span.line &&
+            d.line <= endLine &&
+            !record.nested.some((nested) => d.line >= nested.span.line && d.line <= endsByLine.get(nested.span.line))),
+    }));
+}
+/** Structural boundaries include refused trailing lines that accepted AST spans omit. */
+function recordLimits(records, fileEnd) {
+    const limits = new Map();
+    const children = (nodes, endLine) => {
+        nodes.forEach((node, index) => {
+            const end = (nodes[index + 1]?.span.line ?? endLine + 1) - 1;
+            if (node.kind === 'record')
+                record(node, end);
+            else if (node.kind === 'field')
+                children(node.children, end);
+        });
+    };
+    const record = (node, endLine) => {
+        limits.set(node, endLine);
+        children(node.head, (node.sections[0]?.span.line ?? endLine + 1) - 1);
+        node.sections.forEach((section, index) => children(section.children, (node.sections[index + 1]?.span.line ?? endLine + 1) - 1));
+    };
+    children(records, fileEnd);
+    return limits;
+}
+/** Inline and standalone conditions through field blocks; nested records own their own positions. */
+export function conditionsIn(children) {
+    const found = [];
+    for (const child of children) {
+        if (child.kind !== 'field')
+            continue;
+        if (child.when !== undefined || child.words[0] === 'when')
+            found.push(child);
+        found.push(...conditionsIn(child.children));
+    }
+    return found;
+}
+//# sourceMappingURL=records.js.map

package/dist/registry/records.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"records.js","sourceRoot":"","sources":["../../src/registry/records.ts"],"names":[],"mappings":"AAWA,yGAAyG;AACzG,MAAM,UAAU,SAAS,CAAC,GAAa,EAAE,iBAAwC;IAC/E,MAAM,MAAM,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC;IAC9F,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAClH,MAAM,MAAM,GAAG,YAAY,CAAC,GAAG,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAClD,IAAI,GAAG,CAAC,iBAAiB,KAAK,SAAS,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACrF,OAAO,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,EAAE,EAAE;YAC5C,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,CAAC;YACvD,OAAO;gBACL,MAAM;gBACN,OAAO;gBACP,MAAM,EAAE,MAAM,CAAC,MAAM,CACnB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI;oBAC1B,CAAC,CAAC,IAAI,IAAI,OAAO;oBACjB,CAAC,GAAG,CAAC,iBAAkB,CAAC,IAAI,CAC1B,CAAC,MAAM,EAAE,EAAE,CACT,MAAM,CAAC,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI;wBAC9B,MAAM,CAAC,IAAI,IAAI,OAAO;wBACtB,CAAC,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI;wBACrB,CAAC,CAAC,IAAI,IAAI,MAAM,CAAC,OAAO,CAC3B,CACJ;aACF,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC;IACD,iGAAiG;IACjG,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IAChG,OAAO,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7C,MAAM;QACN,OAAO;QACP,MAAM,EAAE,MAAM,CAAC,MAAM,CACnB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI;YAC1B,CAAC,CAAC,IAAI,IAAI,OAAO;YACjB,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,IAAI,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC,CAC7G;KACF,CAAC,CAAC,CAAC;AACN,CAAC;AAED,yFAAyF;AACzF,SAAS,YAAY,CAAC,OAA8B,EAAE,OAAe;IACnE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC7C,MAAM,QAAQ,GAAG,CAAC,KAA2B,EAAE,OAAe,EAAQ,EAAE;QACtE,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;YAC5B,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,IAAI,OAAO,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;YAC7D,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAAE,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;iBACzC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;gBAAE,QAAQ,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QAC/D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,CAAC,IAAgB,EAAE,OAAe,EAAQ,EAAE;QACzD,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC1B,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,IAAI,OAAO,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACtE,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CACvC,QAAQ,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,IAAI,OAAO,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CACrF,CAAC;IACJ,CAAC,CAAC;IACF,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC3B,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,qGAAqG;AACrG,MAAM,UAAU,YAAY,CAAC,QAA8B;IACzD,MAAM,KAAK,GAAgB,EAAE,CAAC;IAC9B,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;QAC7B,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;YAAE,SAAS;QACrC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7E,KAAK,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/registry/schemas.d.ts

@@ -0,0 +1,20 @@
+import type { FileNode } from '../ast.js';
+import type { Diagnostic } from '../diagnostics.js';
+import type { Band } from '../taxonomy.js';
+import type { SchemaDeclaration } from './types.js';
+/** The field type as the dialect spells it, narrowing included: `id in [a, b]`, `list of ref to task`, `text form iso-date`. */
+export declare function fieldTypeText(field: {
+    readonly type: string;
+    readonly values?: readonly string[];
+    readonly target?: string;
+    readonly form?: string;
+}): string;
+export interface ExtractedSchemas {
+    readonly schemas: readonly SchemaDeclaration[];
+    readonly diagnostics: readonly Diagnostic[];
+    /** Lowercased names of `@schema` records that were present but refused, so a registration naming one is not also "missing". */
+    readonly refused: ReadonlySet<string>;
+}
+/** Every `@schema`, including nested declarations. The caller retains parser diagnostics once. */
+export declare function extractSchemas(ast: FileNode, band: Band, parserDiagnostics: readonly Diagnostic[]): ExtractedSchemas;
+//# sourceMappingURL=schemas.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"schemas.d.ts","sourceRoot":"","sources":["../../src/registry/schemas.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAwB,QAAQ,EAAqB,MAAM,WAAW,CAAC;AAEnF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAcpD,OAAO,KAAK,EAAE,IAAI,EAAmB,MAAM,gBAAgB,CAAC;AAE5D,OAAO,KAAK,EAAE,iBAAiB,EAA0C,MAAM,YAAY,CAAC;AAuC5F,gIAAgI;AAChI,wBAAgB,aAAa,CAAC,KAAK,EAAE;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;CACxB,GAAG,MAAM,CAKT;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,OAAO,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAC/C,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IAC5C,+HAA+H;IAC/H,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACvC;AAED,kGAAkG;AAClG,wBAAgB,cAAc,CAAC,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,iBAAiB,EAAE,SAAS,UAAU,EAAE,GAAG,gBAAgB,CAWpH"}