@inventarch/language 0.0.0-stage → 1.0.0

package/dist/ast.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../src/ast.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEnD,4CAA4C;AAC5C,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAED;;;;;GAKG;AACH,MAAM,MAAM,KAAK,GACb;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GACxE;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE;AACzE,iGAAiG;GAC/F;IACE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,QAAQ,EAAE,CAAA;CAAE,GAC9D;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAC1B;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAE9B,mGAAmG;AACnG,MAAM,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,EAAE;IAAE,IAAI,EAAE,QAAQ,GAAG,QAAQ,GAAG,KAAK,CAAA;CAAE,CAAC,CAAC;AAE7E,0GAA0G;AAC1G,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,8KAA8K;IAC9K,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,wEAAwE;IACxE,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,SAAS,SAAS,EAAE,CAAC;CACzC;AAED,2FAA2F;AAC3F,MAAM,MAAM,SAAS,GAAG,QAAQ,GAAG,OAAO,CAAC,KAAK,EAAE;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,CAAC;AAEpE,mDAAmD;AACnD,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,SAAS,EAAE,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,CAAC;IAC1C;;;;OAIG;IACH,QAAQ,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,CAAC;IACvC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,SAAS,SAAS,EAAE,CAAC;CACzC;AAED,MAAM,MAAM,SAAS,GAAG,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC;AAE1D,UAAU,UAAU;IAClB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,2MAA2M;IAC3M,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAAC;IACrC,yLAAyL;IACzL,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B;AAED,MAAM,MAAM,UAAU,GAClB,CAAC,UAAU,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,GAClE,CAAC,UAAU,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC,CAAC;AAE9C,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,qFAAqF;IACrF,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,SAAS,UAAU,EAAE,CAAC;IACxC,QAAQ,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,CAAC;IACvC,+GAA+G;IAC/G,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS,UAAU,EAAE,CAAC;IACnD,uHAAuH;IACvH,QAAQ,CAAC,iBAAiB,CAAC,EAAE,SAAS,IAAI,EAAE,CAAC;CAC9C"}

package/dist/ast.js

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

package/dist/ast.js.map

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

package/dist/compile/compile.d.ts

@@ -0,0 +1,82 @@
+import type { FileNode, Span } from '../ast.js';
+import type { Diagnostic } from '../diagnostics.js';
+import type { FrozenRegistry, Location, Placement } from '../registry/types.js';
+import type { Kind, Provenance } from '../taxonomy.js';
+import type { CompiledValue } from './values.js';
+import type { Cell, CompiledEdge, Requirement, Selector, Variant } from '../semantic/types.js';
+export type { CompiledEdge } from '../semantic/types.js';
+export interface CompiledField {
+    readonly key: string;
+    readonly value: CompiledValue;
+    /** Authored words retained for tools; admitted semantic carriers also expose canonical terms. */
+    readonly when?: readonly string[];
+    readonly span: Span;
+    readonly fields?: readonly CompiledChild[];
+}
+/** A `- value` line beside the fields of its section or block. */
+export interface CompiledItem {
+    readonly item: CompiledValue;
+    readonly span: Span;
+}
+export type CompiledChild = CompiledField | CompiledItem;
+export interface CompiledSection {
+    readonly name: string;
+    readonly span: Span;
+    readonly fields: readonly CompiledChild[];
+}
+/** The structured record and semantic products of spec 10.2. Errors leave only a preview, not loadable data. */
+export interface CompiledRecord {
+    readonly identity: string;
+    readonly system: string;
+    readonly kind: Kind;
+    readonly facet: string;
+    readonly name: string;
+    readonly displayName: string;
+    readonly discriminator: string;
+    readonly parent?: string;
+    readonly source: {
+        readonly path: string;
+        readonly line: number;
+        readonly endLine: number;
+    };
+    readonly head: readonly CompiledField[];
+    readonly sections: readonly CompiledSection[];
+    readonly edges: readonly CompiledEdge[];
+    readonly cells: readonly Cell[];
+    readonly selectors: readonly Selector[];
+    readonly variants: readonly Variant[];
+    readonly requirements: readonly Requirement[];
+    readonly schema: string;
+    readonly provenance: Provenance;
+    readonly placement: Placement;
+}
+/** Spec 10.4: authored spans plus arrays parallel to every emitted semantic product. */
+export interface SourceMapEntry {
+    readonly identity: string;
+    readonly header: Span;
+    readonly sections: readonly {
+        readonly name: string;
+        readonly span: Span;
+    }[];
+    readonly fields: readonly {
+        readonly path: string;
+        readonly span: Span;
+    }[];
+    /** Parallel to the record's emitted edges. */
+    readonly edges: readonly Span[];
+    readonly cells: readonly Span[];
+    readonly selectors: readonly Span[];
+    readonly variants: readonly Span[];
+    readonly requirements: readonly Span[];
+}
+export interface CompileResult {
+    readonly records: readonly CompiledRecord[];
+    readonly diagnostics: readonly Diagnostic[];
+    readonly sourceMap: readonly SourceMapEntry[];
+}
+/**
+ * Lower one parsed file at a location (spec 10.1). Pure: no I/O, no clock, no default vocabulary.
+ * pool contains external admitted occurrences and must exclude this canonical source path.
+ */
+export declare function compile(ast: FileNode, registry: FrozenRegistry, location: Location, pool: readonly CompiledRecord[]): CompileResult;
+//# sourceMappingURL=compile.d.ts.map

package/dist/compile/compile.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile.d.ts","sourceRoot":"","sources":["../../src/compile/compile.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAwB,QAAQ,EAAc,IAAI,EAAE,MAAM,WAAW,CAAC;AAElF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAQpD,OAAO,KAAK,EAAE,cAAc,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAChF,OAAO,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAGvD,OAAO,KAAK,EAAE,aAAa,EAAY,MAAM,aAAa,CAAC;AAC3D,OAAO,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAU/F,YAAY,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAEzD,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAC9B,iGAAiG;IACjG,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;CAC5C;AAED,kEAAkE;AAClE,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,MAAM,aAAa,GAAG,aAAa,GAAG,YAAY,CAAC;AAEzD,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,SAAS,aAAa,EAAE,CAAC;CAC3C;AAED,gHAAgH;AAChH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;IAC5F,QAAQ,CAAC,IAAI,EAAE,SAAS,aAAa,EAAE,CAAC;IACxC,QAAQ,CAAC,QAAQ,EAAE,SAAS,eAAe,EAAE,CAAC;IAC9C,QAAQ,CAAC,KAAK,EAAE,SAAS,YAAY,EAAE,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,SAAS,QAAQ,EAAE,CAAC;IACxC,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAC;IACtC,QAAQ,CAAC,YAAY,EAAE,SAAS,WAAW,EAAE,CAAC;IAC9C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;CAC/B;AAED,wFAAwF;AACxF,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;KAAE,EAAE,CAAC;IAC7E,QAAQ,CAAC,MAAM,EAAE,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;KAAE,EAAE,CAAC;IAC3E,8CAA8C;IAC9C,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,SAAS,IAAI,EAAE,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,SAAS,IAAI,EAAE,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,SAAS,IAAI,EAAE,CAAC;CACxC;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;IAC5C,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IAC5C,QAAQ,CAAC,SAAS,EAAE,SAAS,cAAc,EAAE,CAAC;CAC/C;AAmBD;;;GAGG;AACH,wBAAgB,OAAO,CACrB,GAAG,EAAE,QAAQ,EACb,QAAQ,EAAE,cAAc,EACxB,QAAQ,EAAE,QAAQ,EAClB,IAAI,EAAE,SAAS,cAAc,EAAE,GAC9B,aAAa,CAwDf"}

package/dist/compile/compile.js

@@ -0,0 +1,249 @@
+import { diag } from '../diagnostics.js';
+import { collisions, identityOf, renderIdentity } from '../identity.js';
+import { canonicalPath } from '../paths.js';
+import { spelledAs } from '../registry/fields.js';
+import { FLOOR_SYSTEM } from '../registry/floor.js';
+import { conditionsIn, recordsIn } from '../registry/records.js';
+import { sortDiagnostics } from '../registry/index.js';
+import { spellingsFor } from './spellings.js';
+import { compiledValue, resolveKey } from './values.js';
+import { readCells } from '../semantic/cells.js';
+import { readSelectors } from '../semantic/selectors.js';
+import { readVariants } from '../semantic/variants.js';
+import { readEdges } from '../semantic/edges.js';
+import { readContract } from '../semantic/contracts.js';
+import { validateCase } from '../semantic/cases.js';
+import { misplacedConditions } from '../semantic/placement.js';
+import { requirementCollisions } from '../semantic/requirements.js';
+import { indexedResolver, validatePool } from '../semantic/resolve.js';
+/**
+ * Lower one parsed file at a location (spec 10.1). Pure: no I/O, no clock, no default vocabulary.
+ * pool contains external admitted occurrences and must exclude this canonical source path.
+ */
+export function compile(ast, registry, location, pool) {
+    validatePool(registry, pool, ast.path);
+    const syntaxRefused = new Set(recordsIn(ast, ast.syntaxDiagnostics ?? [])
+        .filter((source) => source.errors.length > 0)
+        .map((source) => source.record));
+    const ctx = {
+        registry,
+        location,
+        path: canonicalPath(ast.path),
+        diagnostics: [],
+        drafts: [],
+        syntaxRefused,
+    };
+    for (const record of ast.records)
+        compileRecord(record, undefined, ctx);
+    // One identity twice in this file is a collision on both (spec 3.2); across files the caller and the graph decide.
+    const found = collisions(ctx.drafts.map((draft) => draft.occurrence));
+    ctx.diagnostics.push(...found.diagnostics);
+    // Parents precede their descendants in source order. Follow actual occurrences, not names:
+    // a refused enclosing record cannot leave compiled children with a dangling parent.
+    const refused = new Set(found.refused);
+    const kept = [];
+    for (const draft of ctx.drafts.sort((a, b) => a.record.source.line - b.record.source.line)) {
+        if (draft.parent !== undefined && refused.has(draft.parent))
+            refused.add(draft.occurrence);
+        if (!refused.has(draft.occurrence))
+            kept.push(draft);
+    }
+    const local = kept.map((draft) => lowerProducts(draft, ctx));
+    const candidates = [...local.map((draft) => draft.record), ...pool];
+    const resolver = indexedResolver(registry, candidates);
+    const related = local.map((draft) => lowerRelationships(draft, resolver, ctx));
+    const occurrences = related.flatMap(({ record }) => record.requirements.map((requirement) => ({
+        id: requirement.id,
+        identity: record.identity,
+        path: record.source.path,
+        line: requirement.span.line,
+        requirement,
+    })));
+    const duplicateRequirements = requirementCollisions(occurrences);
+    ctx.diagnostics.push(...duplicateRequirements.diagnostics);
+    const refusedRequirements = new Set([...duplicateRequirements.refused].map((occurrence) => occurrence.requirement));
+    const final = related.map((draft) => {
+        const requirements = draft.record.requirements.filter((requirement) => !refusedRequirements.has(requirement));
+        return {
+            ...draft,
+            record: { ...draft.record, requirements },
+            map: { ...draft.map, requirements: requirements.map((requirement) => requirement.span) },
+        };
+    });
+    return {
+        records: final.map((draft) => draft.record),
+        diagnostics: sortDiagnostics(ctx.diagnostics),
+        sourceMap: final.map((draft) => draft.map),
+    };
+}
+/** Schema extraction owns all of that dialect's conditions, including extra field blocks. */
+function schemaOwnsRefusal(node) {
+    return (node.discriminator === 'schema' &&
+        (node.sections.some((section) => section.name === 'when') ||
+            conditionsIn([...node.head, ...node.sections.flatMap((section) => section.children)]).length > 0));
+}
+function lowerProducts(draft, ctx) {
+    if (schemaOwnsRefusal(draft.node))
+        return draft;
+    const registration = ctx.registry.registrations.get(draft.record.discriminator);
+    const cells = readCells(draft.node, ctx.path);
+    const selectors = readSelectors(draft.node, ctx.path);
+    const variants = readVariants(draft.node, ctx.path, spellingsFor(registration, ctx.registry.schemas.get(registration.schema), 'governance'));
+    ctx.diagnostics.push(...misplacedConditions(draft.node, ctx.path), ...cells.diagnostics, ...selectors.diagnostics, ...variants.diagnostics);
+    return {
+        ...draft,
+        record: { ...draft.record, cells: cells.cells, selectors: selectors.selectors, variants: variants.variants },
+        map: {
+            ...draft.map,
+            cells: cells.cells.map((cell) => cell.span),
+            selectors: selectors.spans,
+            variants: variants.variants.map((variant) => variant.span),
+        },
+    };
+}
+function lowerRelationships(draft, pool, ctx) {
+    if (schemaOwnsRefusal(draft.node))
+        return draft;
+    const edges = readEdges(draft.node, draft.record, ctx.registry, pool, draft.record.edges);
+    const contract = readContract(draft.node, ctx.path, ctx.registry, edges.edges, edges.refusedBindings);
+    const scenario = validateCase(draft.node, ctx.path, ctx.registry, edges.edges, edges.refusedBindings);
+    ctx.diagnostics.push(...edges.diagnostics, ...contract.diagnostics, ...scenario.diagnostics);
+    return {
+        ...draft,
+        record: { ...draft.record, edges: edges.edges, requirements: contract.requirements },
+        map: { ...draft.map, edges: edges.edges.map((edge) => edge.span) },
+    };
+}
+function compileRecord(record, parent, ctx) {
+    if (ctx.syntaxRefused.has(record))
+        return; // parser owns this refusal; descendants cannot outlive their parent
+    const { registry, path } = ctx;
+    const line = record.span.line;
+    const registration = registry.registrations.get(record.discriminator);
+    if (registration === undefined) {
+        const why = registry.blocked.has(record.discriminator)
+            ? 'is blocked at this location: two systems register it at the winning band'
+            : 'is not registered at this location';
+        ctx.diagnostics.push(diag('IA-LANG-DISCRIMINATOR-UNREGISTERED', path, line, `${path}:${line}: discriminator '${record.discriminator}' ${why}; visible systems: ${registry.order.join(', ')}`));
+        return; // nothing beneath a refused record compiles: a nested record would have no parent identity
+    }
+    const identified = identityOf(record, registration, path);
+    ctx.diagnostics.push(...identified.diagnostics);
+    const identity = identified.identity;
+    if (identity === undefined)
+        return;
+    const occurrence = { identity: identity.identity, path, line, band: ctx.location.placement.band };
+    const schema = registry.schemas.get(registration.schema);
+    const fieldSpans = [];
+    const head = [];
+    for (const field of record.head) {
+        const compiled = compileField(field, spellingsFor(registration, schema, 'head'), 'head', occurrence, fieldSpans, ctx);
+        if (!spelledAs(field, ['facet']))
+            head.push(compiled); // facet is consumed; its source span and nested records survive
+    }
+    const sections = record.sections.map((section) => ({
+        name: section.name,
+        span: section.span,
+        fields: compileChildren(section.children, spellingsFor(registration, schema, section.name), section.name, occurrence, fieldSpans, ctx),
+    }));
+    const edges = registration.system === FLOOR_SYSTEM && registration.keyword === 'system' ? groundEdges(record, identity, ctx) : [];
+    const compiled = {
+        identity: identity.identity,
+        system: identity.system,
+        kind: identity.kind,
+        facet: identity.facet,
+        name: identity.name,
+        displayName: identity.displayName,
+        discriminator: record.discriminator,
+        ...(parent === undefined ? {} : { parent: parent.identity }),
+        source: { path, line: record.span.line, endLine: record.span.endLine },
+        head,
+        sections,
+        edges,
+        cells: [],
+        selectors: [],
+        variants: [],
+        requirements: [],
+        schema: renderIdentity(FLOOR_SYSTEM, 'contract', 'head', registration.schema),
+        provenance: ctx.location.provenance,
+        placement: ctx.location.placement,
+    };
+    ctx.drafts.push({
+        node: record,
+        record: compiled,
+        map: {
+            identity: identity.identity,
+            header: { line, endLine: line },
+            sections: sections.map((s) => ({ name: s.name, span: s.span })),
+            fields: fieldSpans,
+            edges: edges.map((edge) => edge.span),
+            cells: [],
+            selectors: [],
+            variants: [],
+            requirements: [],
+        },
+        occurrence,
+        parent,
+    });
+}
+function compileChildren(children, spellings, prefix, parent, fieldSpans, ctx) {
+    const out = [];
+    for (const child of children) {
+        if (child.kind === 'record') {
+            compileRecord(child, parent, ctx);
+            continue;
+        } // containment is structural, not a field (spec 2.5)
+        if (child.kind === 'item') {
+            out.push({ item: compiledValue(child.value), span: child.span });
+            continue;
+        }
+        out.push(compileField(child, spellings, prefix, parent, fieldSpans, ctx));
+    }
+    return out;
+}
+function compileField(field, spellings, prefix, parent, fieldSpans, ctx) {
+    const { key, value } = resolveKey(field, spellings);
+    const fieldPath = `${prefix}.${key}`;
+    fieldSpans.push({ path: fieldPath, span: field.span });
+    const nested = field.children.length === 0
+        ? undefined
+        : compileChildren(field.children, spellings, fieldPath, parent, fieldSpans, ctx);
+    return {
+        key,
+        value,
+        ...(field.when === undefined ? {} : { when: field.when }),
+        span: field.span,
+        ...(nested === undefined ? {} : { fields: nested }),
+    };
+}
+/** Spec 4.2: the compiler emits a `ground` edge from a system record to each schema an entry it registered names. */
+function groundEdges(record, identity, ctx) {
+    const { registry } = ctx;
+    const system = registry.systems.get(identity.name);
+    if (system === undefined ||
+        canonicalPath(system.path) !== ctx.path ||
+        system.band !== ctx.location.placement.band ||
+        system.span.line !== record.span.line)
+        return [];
+    const edges = [];
+    const named = new Set();
+    for (const entry of system.entries) {
+        const registration = registry.registrations.get(entry.keyword);
+        if (registration === undefined ||
+            registration.system !== system.name ||
+            registration.band !== system.band ||
+            registration.schema !== entry.schema ||
+            named.has(entry.schema))
+            continue;
+        named.add(entry.schema);
+        edges.push({
+            predicate: 'ground',
+            direction: 'out',
+            reference: { kind: 'ref', discriminator: 'schema', name: entry.schema },
+            target: renderIdentity(FLOOR_SYSTEM, 'contract', 'head', entry.schema),
+            span: entry.span,
+        });
+    }
+    return edges;
+}
+//# sourceMappingURL=compile.js.map

package/dist/compile/compile.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile.js","sourceRoot":"","sources":["../../src/compile/compile.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAEzC,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAExE,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAClD,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACpD,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAGvD,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAGxD,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACjD,OAAO,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AACzD,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACjD,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAC;AACxD,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACpD,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAC;AAC/D,OAAO,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AACpE,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAsFvE;;;GAGG;AACH,MAAM,UAAU,OAAO,CACrB,GAAa,EACb,QAAwB,EACxB,QAAkB,EAClB,IAA+B;IAE/B,YAAY,CAAC,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,iBAAiB,IAAI,EAAE,CAAC;SACxC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;SAC5C,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAClC,CAAC;IACF,MAAM,GAAG,GAAY;QACnB,QAAQ;QACR,QAAQ;QACR,IAAI,EAAE,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;QAC7B,WAAW,EAAE,EAAE;QACf,MAAM,EAAE,EAAE;QACV,aAAa;KACd,CAAC;IACF,KAAK,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO;QAAE,aAAa,CAAC,MAAM,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;IACxE,mHAAmH;IACnH,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;IACtE,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;IAC3C,2FAA2F;IAC3F,oFAAoF;IACpF,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACvC,MAAM,IAAI,GAAY,EAAE,CAAC;IACzB,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3F,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAC3F,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IAC7D,MAAM,UAAU,GAAG,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC;IACpE,MAAM,QAAQ,GAAG,eAAe,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IACvD,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC;IAC/E,MAAM,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CACjD,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QACxC,EAAE,EAAE,WAAW,CAAC,EAAE;QAClB,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI;QACxB,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI;QAC3B,WAAW;KACZ,CAAC,CAAC,CACJ,CAAC;IACF,MAAM,qBAAqB,GAAG,qBAAqB,CAAC,WAAW,CAAC,CAAC;IACjE,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,WAAW,CAAC,CAAC;IAC3D,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC;IACpH,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAClC,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,mBAAmB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC;QAC9G,OAAO;YACL,GAAG,KAAK;YACR,MAAM,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,YAAY,EAAE;YACzC,GAAG,EAAE,EAAE,GAAG,KAAK,CAAC,GAAG,EAAE,YAAY,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE;SACzF,CAAC;IACJ,CAAC,CAAC,CAAC;IACH,OAAO;QACL,OAAO,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC;QAC3C,WAAW,EAAE,eAAe,CAAC,GAAG,CAAC,WAAW,CAAC;QAC7C,SAAS,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC;KAC3C,CAAC;AACJ,CAAC;AAED,6FAA6F;AAC7F,SAAS,iBAAiB,CAAC,IAAgB;IACzC,OAAO,CACL,IAAI,CAAC,aAAa,KAAK,QAAQ;QAC/B,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC;YACvD,YAAY,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CACpG,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,KAAY,EAAE,GAAY;IAC/C,IAAI,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAChD,MAAM,YAAY,GAAG,GAAG,CAAC,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,aAAa,CAAE,CAAC;IACjF,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IAC9C,MAAM,SAAS,GAAG,aAAa,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;IACtD,MAAM,QAAQ,GAAG,YAAY,CAC3B,KAAK,CAAC,IAAI,EACV,GAAG,CAAC,IAAI,EACR,YAAY,CAAC,YAAY,EAAE,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,YAAY,CAAC,CACxF,CAAC;IACF,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,GAAG,mBAAmB,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,EAC5C,GAAG,KAAK,CAAC,WAAW,EACpB,GAAG,SAAS,CAAC,WAAW,EACxB,GAAG,QAAQ,CAAC,WAAW,CACxB,CAAC;IACF,OAAO;QACL,GAAG,KAAK;QACR,MAAM,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,SAAS,EAAE,SAAS,CAAC,SAAS,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE;QAC5G,GAAG,EAAE;YACH,GAAG,KAAK,CAAC,GAAG;YACZ,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;YAC3C,SAAS,EAAE,SAAS,CAAC,KAAK;YAC1B,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;SAC3D;KACF,CAAC;AACJ,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAY,EAAE,IAAwC,EAAE,GAAY;IAC9F,IAAI,iBAAiB,CAAC,KAAK,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAChD,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC1F,MAAM,QAAQ,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC;IACtG,MAAM,QAAQ,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,eAAe,CAAC,CAAC;IACtG,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,WAAW,EAAE,GAAG,QAAQ,CAAC,WAAW,EAAE,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC;IAC7F,OAAO;QACL,GAAG,KAAK;QACR,MAAM,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,YAAY,EAAE,QAAQ,CAAC,YAAY,EAAE;QACpF,GAAG,EAAE,EAAE,GAAG,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;KACnE,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,MAAkB,EAAE,MAAsC,EAAE,GAAY;IAC7F,IAAI,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC;QAAE,OAAO,CAAC,oEAAoE;IAC/G,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC;IAC/B,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;IAC9B,MAAM,YAAY,GAAG,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;IACtE,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,aAAa,CAAC;YACpD,CAAC,CAAC,0EAA0E;YAC5E,CAAC,CAAC,oCAAoC,CAAC;QACzC,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,IAAI,CACF,oCAAoC,EACpC,IAAI,EACJ,IAAI,EACJ,GAAG,IAAI,IAAI,IAAI,oBAAoB,MAAM,CAAC,aAAa,KAAK,GAAG,sBAAsB,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACjH,CACF,CAAC;QACF,OAAO,CAAC,2FAA2F;IACrG,CAAC;IACD,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;IAC1D,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;IAChD,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,CAAC;IACrC,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO;IACnC,MAAM,UAAU,GAAuB,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;IAEtH,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;IACzD,MAAM,UAAU,GAAmC,EAAE,CAAC;IACtD,MAAM,IAAI,GAAoB,EAAE,CAAC;IACjC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,YAAY,CAC3B,KAAK,EACL,YAAY,CAAC,YAAY,EAAE,MAAM,EAAE,MAAM,CAAC,EAC1C,MAAM,EACN,UAAU,EACV,UAAU,EACV,GAAG,CACJ,CAAC;QACF,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,gEAAgE;IACzH,CAAC;IACD,MAAM,QAAQ,GAAsB,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;QACpE,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,MAAM,EAAE,eAAe,CACrB,OAAO,CAAC,QAAQ,EAChB,YAAY,CAAC,YAAY,EAAE,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,EAChD,OAAO,CAAC,IAAI,EACZ,UAAU,EACV,UAAU,EACV,GAAG,CACJ;KACF,CAAC,CAAC,CAAC;IACJ,MAAM,KAAK,GACT,YAAY,CAAC,MAAM,KAAK,YAAY,IAAI,YAAY,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACtH,MAAM,QAAQ,GAAmB;QAC/B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,WAAW,EAAE,QAAQ,CAAC,WAAW;QACjC,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC;QAC5D,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE;QACtE,IAAI;QACJ,QAAQ;QACR,KAAK;QACL,KAAK,EAAE,EAAE;QACT,SAAS,EAAE,EAAE;QACb,QAAQ,EAAE,EAAE;QACZ,YAAY,EAAE,EAAE;QAChB,MAAM,EAAE,cAAc,CAAC,YAAY,EAAE,UAAU,EAAE,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC;QAC7E,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,UAAU;QACnC,SAAS,EAAE,GAAG,CAAC,QAAQ,CAAC,SAAS;KAClC,CAAC;IACF,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;QACd,IAAI,EAAE,MAAM;QACZ,MAAM,EAAE,QAAQ;QAChB,GAAG,EAAE;YACH,QAAQ,EAAE,QAAQ,CAAC,QAAQ;YAC3B,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE;YAC/B,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAC/D,MAAM,EAAE,UAAU;YAClB,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC;YACrC,KAAK,EAAE,EAAE;YACT,SAAS,EAAE,EAAE;YACb,QAAQ,EAAE,EAAE;YACZ,YAAY,EAAE,EAAE;SACjB;QACD,UAAU;QACV,MAAM;KACP,CAAC,CAAC;AACL,CAAC;AAED,SAAS,eAAe,CACtB,QAA8B,EAC9B,SAA8B,EAC9B,MAAc,EACd,MAA0B,EAC1B,UAA0C,EAC1C,GAAY;IAEZ,MAAM,GAAG,GAAoB,EAAE,CAAC;IAChC,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;QAC7B,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC5B,aAAa,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;YAClC,SAAS;QACX,CAAC,CAAC,oDAAoD;QACtD,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC1B,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YACjE,SAAS;QACX,CAAC;QACD,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,YAAY,CACnB,KAAgB,EAChB,SAA8B,EAC9B,MAAc,EACd,MAA0B,EAC1B,UAA0C,EAC1C,GAAY;IAEZ,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IACpD,MAAM,SAAS,GAAG,GAAG,MAAM,IAAI,GAAG,EAAE,CAAC;IACrC,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IACvD,MAAM,MAAM,GACV,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;QACzB,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;IACrF,OAAO;QACL,GAAG;QACH,KAAK;QACL,GAAG,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;QACzD,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;KACpD,CAAC;AACJ,CAAC;AAED,qHAAqH;AACrH,SAAS,WAAW,CAAC,MAAkB,EAAE,QAAkB,EAAE,GAAY;IACvE,MAAM,EAAE,QAAQ,EAAE,GAAG,GAAG,CAAC;IACzB,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACnD,IACE,MAAM,KAAK,SAAS;QACpB,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,IAAI;QACvC,MAAM,CAAC,IAAI,KAAK,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI;QAC3C,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI;QAErC,OAAO,EAAE,CAAC;IACZ,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACnC,MAAM,YAAY,GAAG,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC/D,IACE,YAAY,KAAK,SAAS;YAC1B,YAAY,CAAC,MAAM,KAAK,MAAM,CAAC,IAAI;YACnC,YAAY,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI;YACjC,YAAY,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;YACpC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC;YAEvB,SAAS;QACX,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC;YACT,SAAS,EAAE,QAAQ;YACnB,SAAS,EAAE,KAAK;YAChB,SAAS,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE;YACvE,MAAM,EAAE,cAAc,CAAC,YAAY,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC;YACtE,IAAI,EAAE,KAAK,CAAC,IAAI;SACjB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/compile/index.d.ts

@@ -0,0 +1,6 @@
+export { compile } from './compile.js';
+export type { CompileResult, CompiledChild, CompiledEdge, CompiledField, CompiledItem, CompiledRecord, CompiledSection, SourceMapEntry, } from './compile.js';
+export { HEAD_SPELLINGS, spellingsFor } from './spellings.js';
+export { compiledValue, resolveKey } from './values.js';
+export type { CompiledValue, Spelling } from './values.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/compile/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,YAAY,EACV,aAAa,EACb,aAAa,EACb,YAAY,EACZ,aAAa,EACb,YAAY,EACZ,cAAc,EACd,eAAe,EACf,cAAc,GACf,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9D,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACxD,YAAY,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC"}

package/dist/compile/index.js

@@ -0,0 +1,4 @@
+export { compile } from './compile.js';
+export { HEAD_SPELLINGS, spellingsFor } from './spellings.js';
+export { compiledValue, resolveKey } from './values.js';
+//# sourceMappingURL=index.js.map

package/dist/compile/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/compile/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAWvC,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAC9D,OAAO,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC"}

package/dist/compile/spellings.d.ts

@@ -0,0 +1,7 @@
+import type { Registration, SchemaDeclaration } from '../registry/types.js';
+import type { Spelling } from './values.js';
+/** The head keys spec 2.2 names. A schema spells more under `head.<key>` fields. */
+export declare const HEAD_SPELLINGS: readonly Spelling[];
+/** The keys spelled for one section of a record, or for its head. */
+export declare function spellingsFor(registration: Registration, schema: SchemaDeclaration | undefined, section: 'head' | string): readonly Spelling[];
+//# sourceMappingURL=spellings.d.ts.map

package/dist/compile/spellings.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"spellings.d.ts","sourceRoot":"","sources":["../../src/compile/spellings.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,YAAY,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAC5E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAC;AAE5C,oFAAoF;AACpF,eAAO,MAAM,cAAc,EAAE,SAAS,QAAQ,EAO7C,CAAC;AA6BF,qEAAqE;AACrE,wBAAgB,YAAY,CAC1B,YAAY,EAAE,YAAY,EAC1B,MAAM,EAAE,iBAAiB,GAAG,SAAS,EACrC,OAAO,EAAE,MAAM,GAAG,MAAM,GACvB,SAAS,QAAQ,EAAE,CAOrB"}

package/dist/compile/spellings.js

@@ -0,0 +1,47 @@
+import { FLOOR_SYSTEM } from '../registry/floor.js';
+/** The head keys spec 2.2 names. A schema spells more under `head.<key>` fields. */
+export const HEAD_SPELLINGS = [
+    ['facet'],
+    ['version'],
+    ['provider'],
+    ['describes'],
+    ['steward'],
+    ['lowers', 'to'],
+];
+/** What the floor spells inside its own two records (spec 4.2 and 4.3). An entry `agent lowers to binding` keeps `agent` as its key: the registry reads it, compile only carries it. */
+const FLOOR = new Map([
+    [
+        'system',
+        new Map([
+            ['requires', []],
+            ['discriminators', []],
+            ['edges', []],
+            ['relationships', []],
+        ]),
+    ],
+    [
+        'schema',
+        new Map([
+            ['sections', [['must', 'have'], ['may', 'have'], ['closed'], ['open']]],
+            [
+                'fields',
+                [
+                    ['must', 'have'],
+                    ['may', 'have'],
+                ],
+            ],
+            ['edges', [['must'], ['may']]],
+        ]),
+    ],
+]);
+/** The keys spelled for one section of a record, or for its head. */
+export function spellingsFor(registration, schema, section) {
+    const floor = registration.system === FLOOR_SYSTEM ? FLOOR.get(registration.keyword) : undefined;
+    if (floor !== undefined)
+        return section === 'head' ? HEAD_SPELLINGS : (floor.get(section) ?? []);
+    const spelled = (schema?.fields ?? [])
+        .filter((field) => field.section === section)
+        .map((field) => field.key.split(' '));
+    return section === 'head' ? [...HEAD_SPELLINGS, ...spelled] : spelled;
+}
+//# sourceMappingURL=spellings.js.map

package/dist/compile/spellings.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"spellings.js","sourceRoot":"","sources":["../../src/compile/spellings.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAIpD,oFAAoF;AACpF,MAAM,CAAC,MAAM,cAAc,GAAwB;IACjD,CAAC,OAAO,CAAC;IACT,CAAC,SAAS,CAAC;IACX,CAAC,UAAU,CAAC;IACZ,CAAC,WAAW,CAAC;IACb,CAAC,SAAS,CAAC;IACX,CAAC,QAAQ,EAAE,IAAI,CAAC;CACjB,CAAC;AAEF,wLAAwL;AACxL,MAAM,KAAK,GAAkE,IAAI,GAAG,CAAC;IACnF;QACE,QAAQ;QACR,IAAI,GAAG,CAA8B;YACnC,CAAC,UAAU,EAAE,EAAE,CAAC;YAChB,CAAC,gBAAgB,EAAE,EAAE,CAAC;YACtB,CAAC,OAAO,EAAE,EAAE,CAAC;YACb,CAAC,eAAe,EAAE,EAAE,CAAC;SACtB,CAAC;KACH;IACD;QACE,QAAQ;QACR,IAAI,GAAG,CAA8B;YACnC,CAAC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC;YACvE;gBACE,QAAQ;gBACR;oBACE,CAAC,MAAM,EAAE,MAAM,CAAC;oBAChB,CAAC,KAAK,EAAE,MAAM,CAAC;iBAChB;aACF;YACD,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;SAC/B,CAAC;KACH;CACF,CAAC,CAAC;AAEH,qEAAqE;AACrE,MAAM,UAAU,YAAY,CAC1B,YAA0B,EAC1B,MAAqC,EACrC,OAAwB;IAExB,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,KAAK,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACjG,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IACjG,MAAM,OAAO,GAAG,CAAC,MAAM,EAAE,MAAM,IAAI,EAAE,CAAC;SACnC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,KAAK,OAAO,CAAC;SAC5C,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IACxC,OAAO,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,cAAc,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;AACxE,CAAC"}

package/dist/compile/values.d.ts

@@ -0,0 +1,32 @@
+import type { FieldNode, Value } from '../ast.js';
+/** A compiled value: the AST value without its raw spelling (spec 10.2). */
+export type CompiledValue = {
+    readonly kind: 'scalar' | 'string' | 'prose';
+    readonly text: string;
+} | {
+    readonly kind: 'ref';
+    readonly discriminator: string;
+    readonly name: string;
+    readonly fragment?: string;
+} | {
+    readonly kind: 'list';
+    readonly items: readonly CompiledValue[];
+} | {
+    readonly kind: 'block';
+} | {
+    readonly kind: 'none';
+};
+export declare function compiledValue(value: Value): CompiledValue;
+/** The words of a spelled key: `['lowers', 'to']`. */
+export type Spelling = readonly string[];
+/**
+ * The key rule (spec 2.1) resolved against spelled keys (spec 10.2). A line whose value is not a
+ * bare scalar keeps the parser's key: every word before the value. On an all-words line the longest
+ * spelling that starts the words is the key and the remaining words are the scalar; with no spelling
+ * the parser's first-word key stands. The assertive form keeps the parser's reading.
+ */
+export declare function resolveKey(field: FieldNode, spellings: readonly Spelling[]): {
+    readonly key: string;
+    readonly value: CompiledValue;
+};
+//# sourceMappingURL=values.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"values.d.ts","sourceRoot":"","sources":["../../src/compile/values.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AAElD,4EAA4E;AAC5E,MAAM,MAAM,aAAa,GACrB;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,QAAQ,GAAG,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACvE;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,GAC3G;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,aAAa,EAAE,CAAA;CAAE,GACnE;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAC1B;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAE9B,wBAAgB,aAAa,CAAC,KAAK,EAAE,KAAK,GAAG,aAAa,CAoBzD;AAED,sDAAsD;AACtD,MAAM,MAAM,QAAQ,GAAG,SAAS,MAAM,EAAE,CAAC;AAEzC;;;;;GAKG;AACH,wBAAgB,UAAU,CACxB,KAAK,EAAE,SAAS,EAChB,SAAS,EAAE,SAAS,QAAQ,EAAE,GAC7B;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAA;CAAE,CAezD"}

package/dist/compile/values.js

@@ -0,0 +1,48 @@
+export function compiledValue(value) {
+    switch (value.kind) {
+        case 'scalar':
+        case 'string':
+        case 'prose':
+            return { kind: value.kind, text: value.text };
+        case 'ref':
+            return {
+                kind: 'ref',
+                discriminator: value.discriminator,
+                name: value.name,
+                ...(value.fragment === undefined ? {} : { fragment: value.fragment }),
+            };
+        case 'list':
+            return { kind: 'list', items: value.items.map(compiledValue) };
+        case 'block':
+            return { kind: 'block' };
+        case 'none':
+            return { kind: 'none' };
+    }
+}
+/**
+ * The key rule (spec 2.1) resolved against spelled keys (spec 10.2). A line whose value is not a
+ * bare scalar keeps the parser's key: every word before the value. On an all-words line the longest
+ * spelling that starts the words is the key and the remaining words are the scalar; with no spelling
+ * the parser's first-word key stands. The assertive form keeps the parser's reading.
+ */
+export function resolveKey(field, spellings) {
+    if (field.assertive === true || field.value.kind !== 'scalar')
+        return { key: field.key, value: compiledValue(field.value) };
+    let best;
+    for (const spelling of spellings) {
+        if (spelling.length === 0 || spelling.length > field.words.length)
+            continue;
+        if (!spelling.every((word, index) => field.words[index] === word))
+            continue;
+        if (best === undefined || spelling.length > best.length)
+            best = spelling;
+    }
+    if (best === undefined)
+        return { key: field.key, value: compiledValue(field.value) };
+    const rest = field.words.slice(best.length);
+    return {
+        key: best.join(' '),
+        value: rest.length === 0 ? { kind: 'none' } : { kind: 'scalar', text: rest.join(' ') },
+    };
+}
+//# sourceMappingURL=values.js.map

package/dist/compile/values.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"values.js","sourceRoot":"","sources":["../../src/compile/values.ts"],"names":[],"mappings":"AAUA,MAAM,UAAU,aAAa,CAAC,KAAY;IACxC,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO;YACV,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC;QAChD,KAAK,KAAK;YACR,OAAO;gBACL,IAAI,EAAE,KAAK;gBACX,aAAa,EAAE,KAAK,CAAC,aAAa;gBAClC,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,GAAG,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,CAAC;aACtE,CAAC;QACJ,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC;QACjE,KAAK,OAAO;YACV,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;QAC3B,KAAK,MAAM;YACT,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC5B,CAAC;AACH,CAAC;AAKD;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CACxB,KAAgB,EAChB,SAA8B;IAE9B,IAAI,KAAK,CAAC,SAAS,KAAK,IAAI,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;QAC3D,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;IAC/D,IAAI,IAA0B,CAAC;IAC/B,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM;YAAE,SAAS;QAC5E,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC;YAAE,SAAS;QAC5E,IAAI,IAAI,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM;YAAE,IAAI,GAAG,QAAQ,CAAC;IAC3E,CAAC;IACD,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;IACrF,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC5C,OAAO;QACL,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACnB,KAAK,EAAE,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;KACvF,CAAC;AACJ,CAAC"}

package/dist/diagnostics.d.ts

@@ -0,0 +1,22 @@
+/** Closed diagnostic inventory from spec section 11 and the colocated semantic contract. */
+export declare const LANG_CODES: readonly ["IA-LANG-PRAGMA-MISSING", "IA-LANG-VERSION-UNSUPPORTED", "IA-LANG-INDENT-TAB", "IA-LANG-INDENT-STEP", "IA-LANG-STRING-UNTERMINATED", "IA-LANG-PROSE-TRAILING", "IA-LANG-PROSE-UNTERMINATED", "IA-LANG-LIST-UNTERMINATED", "IA-LANG-HEADER-MALFORMED", "IA-LANG-HEAD-FIELD-AFTER-SECTION", "IA-LANG-TOPLEVEL-UNEXPECTED", "IA-LANG-DISCRIMINATOR-UNREGISTERED", "IA-LANG-FACET-UNDECLARED", "IA-LANG-IDENTITY-COLLISION", "IA-LANG-KEYWORD-RESERVED", "IA-LANG-SYSTEM-CYCLE", "IA-LANG-REGISTRATION-INCOMPLETE", "IA-LANG-KIND-UNKNOWN", "IA-LANG-CATEGORY-UNKNOWN", "IA-LANG-PREDICATE-UNKNOWN", "IA-LANG-SCHEMA-MISSING", "IA-LANG-SCHEMA-KIND-MISMATCH", "IA-LANG-DISCRIMINATOR-CONFLICT", "IA-LANG-SCHEMA-EDGE-AS-FIELD", "IA-LANG-SYSTEM-MISSING", "IA-LANG-SCHEMA-MALFORMED", "IA-LANG-CELL-MALFORMED", "IA-LANG-SELECTOR-MALFORMED", "IA-LANG-SELECTOR-AXIS-UNKNOWN", "IA-LANG-SELECTOR-VALUE-UNKNOWN", "IA-LANG-VERB-UNKNOWN", "IA-LANG-EDGE-MALFORMED", "IA-LANG-EDGE-TARGET-MISSING", "IA-LANG-EDGE-TARGET-AMBIGUOUS", "IA-LANG-EDGE-UNCONSENTED", "IA-LANG-CONDITION-TERM-UNKNOWN", "IA-LANG-CONDITION-MALFORMED", "IA-LANG-CONDITION-VALUE-UNKNOWN", "IA-LANG-CONDITION-MISPLACED", "IA-LANG-VARIANT-DUPLICATE", "IA-LANG-REQUIREMENT-DUPLICATE", "IA-LANG-REQUIREMENT-MALFORMED", "IA-LANG-CONTRACT-UNBOUND", "IA-LANG-CONTRACT-BINDS-RETIRED", "IA-LANG-CONTRACT-SCHEMA-SECTION", "IA-LANG-CASE-UNBOUND", "IA-LANG-CASE-MALFORMED", "IA-LANG-FORMAT-LOSSY", "IA-LANG-VALUE-TRAILING", "IA-LANG-LIST-MALFORMED", "IA-LANG-REF-MALFORMED", "IA-LANG-FIELD-KEY-MISSING"];
+export type LangCode = (typeof LANG_CODES)[number];
+export type Severity = 'error' | 'warning';
+export interface Diagnostic {
+    readonly code: LangCode;
+    readonly severity: Severity;
+    readonly path: string;
+    readonly line: number;
+    readonly endLine?: number;
+    readonly message: string;
+    readonly identity?: string;
+}
+export interface DiagOptions {
+    readonly severity?: Severity;
+    readonly endLine?: number;
+    readonly identity?: string;
+}
+/** Build a diagnostic. Severity defaults to error; a construct that produced one produced nothing else. */
+export declare function diag(code: LangCode, path: string, line: number, message: string, options?: DiagOptions): Diagnostic;
+export declare function isError(d: Diagnostic): boolean;
+//# sourceMappingURL=diagnostics.d.ts.map

package/dist/diagnostics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diagnostics.d.ts","sourceRoot":"","sources":["../src/diagnostics.ts"],"names":[],"mappings":"AAAA,4FAA4F;AAC5F,eAAO,MAAM,UAAU,8/CAqDb,CAAC;AAEX,MAAM,MAAM,QAAQ,GAAG,CAAC,OAAO,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC;AACnD,MAAM,MAAM,QAAQ,GAAG,OAAO,GAAG,SAAS,CAAC;AAE3C,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC;IAC7B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AAED,2GAA2G;AAC3G,wBAAgB,IAAI,CAClB,IAAI,EAAE,QAAQ,EACd,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,OAAO,GAAE,WAAgB,GACxB,UAAU,CAUZ;AAED,wBAAgB,OAAO,CAAC,CAAC,EAAE,UAAU,GAAG,OAAO,CAE9C"}