@inventarch/language 0.0.0-stage → 1.0.0

package/dist/semantic/cells.js

@@ -0,0 +1,120 @@
+import { diag } from '../diagnostics.js';
+import { PHASES, PRIMITIVES } from '../taxonomy.js';
+import { conditionOf } from './conditions.js';
+import { misplacedIn } from './placement.js';
+const isField = (node) => node.kind === 'field';
+const isPrimitive = (word) => PRIMITIVES.includes(word);
+export function readCells(record, path) {
+    const cells = [];
+    const diagnostics = [];
+    const malformed = (node, message) => {
+        diagnostics.push(diag('IA-LANG-CELL-MALFORMED', path, node.span.line, message, { endLine: node.span.endLine }));
+    };
+    const phases = record.sections
+        .filter((s) => s.name === 'cognition')
+        .flatMap((s) => s.children)
+        .filter((c) => c.kind !== 'record');
+    const counts = new Map();
+    for (const node of phases)
+        if (isField(node) && node.words.length === 1)
+            counts.set(node.words[0], (counts.get(node.words[0]) ?? 0) + 1);
+    for (const node of phases) {
+        if (!isField(node) || node.words.length !== 1 || !PHASES.includes(node.words[0])) {
+            malformed(node, `Expected a phase block: ${PHASES.join(', ')}.`);
+            continue;
+        }
+        const phase = node.words[0];
+        if (counts.get(phase) > 1) {
+            malformed(node, `Repeated ${phase} phase block; every occurrence is refused.`);
+            continue;
+        }
+        const phaseConditions = node.when !== undefined
+            ? [diag('IA-LANG-CONDITION-MISPLACED', path, node.span.line, 'A phase block cannot have a condition.')]
+            : misplacedIn(node.children.filter((c) => isField(c) && c.words[0] === 'when'), path);
+        if (phaseConditions.length) {
+            diagnostics.push(...phaseConditions);
+            continue;
+        }
+        if (node.value.kind !== 'block' && node.value.kind !== 'none') {
+            malformed(node, 'A phase opens a block, without a value.');
+            continue;
+        }
+        const fields = node.children.filter(isField);
+        const primaries = fields.filter((field) => field.words[0] === 'primary');
+        if (primaries.length > 1) {
+            for (const primary of primaries)
+                malformed(primary, 'Only one primary declaration is permitted per phase.');
+            continue;
+        }
+        const primary = primaries[0];
+        let primaryName;
+        if (primary) {
+            const misplaced = misplacedIn([primary], path);
+            if (misplaced.length) {
+                diagnostics.push(...misplaced);
+                continue;
+            }
+            if (primary.words.length !== 2 ||
+                !isPrimitive(primary.words[1]) ||
+                primary.value.kind !== 'scalar' ||
+                primary.children.some((c) => c.kind !== 'record')) {
+                malformed(primary, `Use primary <Primitive> and a separate <Primitive> means "text" line; primary move is retired. Primitives: ${PRIMITIVES.join(', ')}.`);
+                continue;
+            }
+            primaryName = primary.words[1];
+        }
+        const means = fields.filter((field) => field.words[1] === 'means' && isPrimitive(field.words[0]));
+        const duplicateMeans = new Set(means.filter((field) => means.filter((other) => other.words[0] === field.words[0]).length > 1));
+        const phaseCells = [];
+        for (const field of node.children) {
+            if (field.kind === 'record' || field === primary)
+                continue;
+            if (!isField(field)) {
+                malformed(field, 'A phase contains primary and primitive means lines.');
+                continue;
+            }
+            if (duplicateMeans.has(field)) {
+                malformed(field, `Repeated ${field.words[0]} means line; every occurrence is refused.`);
+                continue;
+            }
+            if (field.words.length !== 2 ||
+                field.words[1] !== 'means' ||
+                !isPrimitive(field.words[0]) ||
+                (field.value.kind !== 'string' && field.value.kind !== 'prose')) {
+                malformed(field, `Expected <Primitive> means followed by string or prose text. Primitives: ${PRIMITIVES.join(', ')}.`);
+                continue;
+            }
+            const unsupported = field.children.filter((c) => c.kind !== 'record' && !(isField(c) && c.words[0] === 'when'));
+            if (unsupported.length) {
+                const misplaced = misplacedIn(unsupported, path);
+                if (misplaced.length)
+                    diagnostics.push(...misplaced);
+                else
+                    malformed(field, 'A means line admits only a direct child when.');
+                continue;
+            }
+            const condition = conditionOf(field, path);
+            if (!condition.ok) {
+                diagnostics.push(condition.diagnostic);
+                continue;
+            }
+            phaseCells.push({
+                phase,
+                primitive: field.words[0],
+                primary: field.words[0] === primaryName,
+                text: field.value.text,
+                ...(condition.condition === undefined ? {} : { condition: condition.condition }),
+                span: field.span,
+            });
+        }
+        // A refused line naming this primitive already explains why its means did not survive.
+        if (primaryName && !fields.some((field) => field.words[0] === primaryName)) {
+            malformed(primary, `Primary ${primaryName} needs a matching means line.`);
+            continue;
+        }
+        cells.push(...phaseCells);
+    }
+    diagnostics.sort((a, b) => a.line - b.line);
+    return { cells, diagnostics };
+}
+//# sourceMappingURL=cells.js.map

package/dist/semantic/cells.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cells.js","sourceRoot":"","sources":["../../src/semantic/cells.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAEzC,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAEpD,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAO7C,MAAM,OAAO,GAAG,CAAC,IAAe,EAAqB,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC;AAC9E,MAAM,WAAW,GAAG,CAAC,IAAwB,EAAqB,EAAE,CAAE,UAAiC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAEvH,MAAM,UAAU,SAAS,CAAC,MAAkB,EAAE,IAAY;IACxD,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,SAAS,GAAG,CAAC,IAAe,EAAE,OAAe,EAAQ,EAAE;QAC3D,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,wBAAwB,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IAClH,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ;SAC3B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC;SACrC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;SAC1B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,KAAK,MAAM,IAAI,IAAI,MAAM;QACvB,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAClH,KAAK,MAAM,IAAI,IAAI,MAAM,EAAE,CAAC;QAC1B,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,CAAE,MAA4B,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC;YACzG,SAAS,CAAC,IAAI,EAAE,2BAA2B,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACjE,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAU,CAAC;QACrC,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAE,GAAG,CAAC,EAAE,CAAC;YAC3B,SAAS,CAAC,IAAI,EAAE,YAAY,KAAK,4CAA4C,CAAC,CAAC;YAC/E,SAAS;QACX,CAAC;QACD,MAAM,eAAe,GACnB,IAAI,CAAC,IAAI,KAAK,SAAS;YACrB,CAAC,CAAC,CAAC,IAAI,CAAC,6BAA6B,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,wCAAwC,CAAC,CAAC;YACvG,CAAC,CAAC,WAAW,CACT,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,EAChE,IAAI,CACL,CAAC;QACR,IAAI,eAAe,CAAC,MAAM,EAAE,CAAC;YAC3B,WAAW,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,CAAC;YACrC,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC9D,SAAS,CAAC,IAAI,EAAE,yCAAyC,CAAC,CAAC;YAC3D,SAAS;QACX,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QAC7C,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC;QACzE,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzB,KAAK,MAAM,OAAO,IAAI,SAAS;gBAAE,SAAS,CAAC,OAAO,EAAE,sDAAsD,CAAC,CAAC;YAC5G,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAI,WAAkC,CAAC;QACvC,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,SAAS,GAAG,WAAW,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC;YAC/C,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;gBACrB,WAAW,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC;gBAC/B,SAAS;YACX,CAAC;YACD,IACE,OAAO,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;gBAC1B,CAAC,WAAW,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC9B,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ;gBAC/B,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,EACjD,CAAC;gBACD,SAAS,CACP,OAAO,EACP,8GAA8G,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACvI,CAAC;gBACF,SAAS;YACX,CAAC;YACD,WAAW,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,OAAO,IAAI,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClG,MAAM,cAAc,GAAG,IAAI,GAAG,CAC5B,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAC/F,CAAC;QACF,MAAM,UAAU,GAAW,EAAE,CAAC;QAC9B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClC,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,KAAK,OAAO;gBAAE,SAAS;YAC3D,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACpB,SAAS,CAAC,KAAK,EAAE,qDAAqD,CAAC,CAAC;gBACxE,SAAS;YACX,CAAC;YACD,IAAI,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC9B,SAAS,CAAC,KAAK,EAAE,YAAY,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,2CAA2C,CAAC,CAAC;gBACxF,SAAS;YACX,CAAC;YACD,IACE,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;gBACxB,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,OAAO;gBAC1B,CAAC,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBAC5B,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,EAC/D,CAAC;gBACD,SAAS,CACP,KAAK,EACL,4EAA4E,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACrG,CAAC;gBACF,SAAS;YACX,CAAC;YACD,MAAM,WAAW,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC;YAChH,IAAI,WAAW,CAAC,MAAM,EAAE,CAAC;gBACvB,MAAM,SAAS,GAAG,WAAW,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;gBACjD,IAAI,SAAS,CAAC,MAAM;oBAAE,WAAW,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC;;oBAChD,SAAS,CAAC,KAAK,EAAE,+CAA+C,CAAC,CAAC;gBACvE,SAAS;YACX,CAAC;YACD,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAC3C,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC;gBAClB,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;gBACvC,SAAS;YACX,CAAC;YACD,UAAU,CAAC,IAAI,CAAC;gBACd,KAAK;gBACL,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;gBACzB,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,WAAW;gBACvC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI;gBACtB,GAAG,CAAC,SAAS,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,SAAS,CAAC,SAAS,EAAE,CAAC;gBAChF,IAAI,EAAE,KAAK,CAAC,IAAI;aACjB,CAAC,CAAC;QACL,CAAC;QACD,uFAAuF;QACvF,IAAI,WAAW,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,WAAW,CAAC,EAAE,CAAC;YAC3E,SAAS,CAAC,OAAQ,EAAE,WAAW,WAAW,+BAA+B,CAAC,CAAC;YAC3E,SAAS;QACX,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC;IAC5B,CAAC;IACD,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IAC5C,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;AAChC,CAAC"}

package/dist/semantic/conditions.d.ts

@@ -0,0 +1,22 @@
+import type { FieldNode, Span } from '../ast.js';
+import type { Diagnostic } from '../diagnostics.js';
+import type { SelectorTerm, Term } from './types.js';
+type Refusal = {
+    readonly ok: false;
+    readonly diagnostic: Diagnostic;
+};
+type TermsResult<T> = {
+    readonly ok: true;
+    readonly terms: readonly T[];
+} | Refusal;
+export type ConditionResult = {
+    readonly ok: true;
+    readonly condition?: readonly Term[];
+} | Refusal;
+export declare function readTerms(words: readonly string[], mode: 'selector', path: string, span: Span): TermsResult<SelectorTerm>;
+export declare function readTerms(words: readonly string[], mode: 'condition', path: string, span: Span): TermsResult<Term>;
+export declare function readTerms(words: readonly string[], mode: 'condition' | 'selector', path: string, span: Span): TermsResult<Term>;
+/** Reads only the condition. The specialized carrier reader owns other child structure. */
+export declare function conditionOf(field: FieldNode, path: string): ConditionResult;
+export {};
+//# sourceMappingURL=conditions.d.ts.map

package/dist/semantic/conditions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"conditions.d.ts","sourceRoot":"","sources":["../../src/semantic/conditions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjD,OAAO,KAAK,EAAE,UAAU,EAAY,MAAM,mBAAmB,CAAC;AAE9D,OAAO,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAGrD,KAAK,OAAO,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAA;CAAE,CAAC;AACvE,KAAK,WAAW,CAAC,CAAC,IAAI;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAA;CAAE,GAAG,OAAO,CAAC;AACpF,MAAM,MAAM,eAAe,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,IAAI,EAAE,CAAA;CAAE,GAAG,OAAO,CAAC;AAEpG,wBAAgB,SAAS,CACvB,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,IAAI,EAAE,UAAU,EAChB,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,IAAI,GACT,WAAW,CAAC,YAAY,CAAC,CAAC;AAC7B,wBAAgB,SAAS,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;AACpH,wBAAgB,SAAS,CACvB,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,IAAI,EAAE,WAAW,GAAG,UAAU,EAC9B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,IAAI,GACT,WAAW,CAAC,IAAI,CAAC,CAAC;AA2CrB,2FAA2F;AAC3F,wBAAgB,WAAW,CAAC,KAAK,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,GAAG,eAAe,CAiB3E"}

package/dist/semantic/conditions.js

@@ -0,0 +1,54 @@
+import { diag } from '../diagnostics.js';
+import { AXES } from '../taxonomy.js';
+import { canonicalValue, CONDITION_AXES, valuesFor } from './vocabulary.js';
+export function readTerms(words, mode, path, span) {
+    const axes = mode === 'selector' ? AXES : CONDITION_AXES;
+    const prefix = mode === 'selector' ? 'IA-LANG-SELECTOR' : 'IA-LANG-CONDITION';
+    const fail = (suffix, message) => ({
+        ok: false,
+        diagnostic: diag(`${prefix}-${suffix}`, path, span.line, message, { endLine: span.endLine }),
+    });
+    if (words.length < 3 || (words.length + 1) % 4 !== 0)
+        return fail('MALFORMED', 'Expected one or more <name> is <value> terms joined by and.');
+    const terms = [];
+    const seen = new Set();
+    for (let index = 0; index < words.length; index += 4) {
+        const axis = words[index];
+        const authored = words[index + 2];
+        if (words[index + 1] !== 'is' ||
+            (index > 0 && words[index - 1] !== 'and') ||
+            !/^[A-Za-z][A-Za-z0-9-]*$/.test(authored)) {
+            return fail('MALFORMED', 'Terms require literal is/and and bare word values.');
+        }
+        if (!axes.includes(axis))
+            return fail(mode === 'selector' ? 'AXIS-UNKNOWN' : 'TERM-UNKNOWN', `Unknown ${mode} name ${axis}; expected ${axes.join(', ')}.`);
+        if (seen.has(axis))
+            return fail('MALFORMED', `Repeated ${mode} name ${axis}.`);
+        const value = canonicalValue(axis, authored);
+        if (value === undefined)
+            return fail('VALUE-UNKNOWN', `Unknown ${axis} value ${authored}; expected ${valuesFor(axis).join(', ')}.`);
+        seen.add(axis);
+        terms.push({ axis: axis, value });
+    }
+    terms.sort((a, b) => CONDITION_AXES.indexOf(a.axis) - CONDITION_AXES.indexOf(b.axis));
+    return { ok: true, terms };
+}
+/** Reads only the condition. The specialized carrier reader owns other child structure. */
+export function conditionOf(field, path) {
+    const children = field.children.filter((child) => child.kind === 'field' && child.words[0] === 'when');
+    const fail = (message) => ({
+        ok: false,
+        diagnostic: diag('IA-LANG-CONDITION-MALFORMED', path, field.span.line, message, { endLine: field.span.endLine }),
+    });
+    if (children.length > 1 || (children.length > 0 && field.when !== undefined))
+        return fail('Use one inline condition or one direct child when, never both or repeated children.');
+    const child = children[0];
+    if (child && (child.when !== undefined || child.value.kind !== 'scalar' || child.children.length > 0))
+        return fail('A child when must contain bare condition terms and no children.');
+    const words = field.when ?? child?.words.slice(1);
+    if (words === undefined)
+        return { ok: true };
+    const result = readTerms(words, 'condition', path, child?.span ?? field.span);
+    return result.ok ? { ok: true, condition: result.terms } : result;
+}
+//# sourceMappingURL=conditions.js.map

package/dist/semantic/conditions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"conditions.js","sourceRoot":"","sources":["../../src/semantic/conditions.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAEzC,OAAO,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAEtC,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAmB5E,MAAM,UAAU,SAAS,CACvB,KAAwB,EACxB,IAA8B,EAC9B,IAAY,EACZ,IAAU;IAEV,MAAM,IAAI,GAAsB,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC;IAC5E,MAAM,MAAM,GAAG,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,mBAAmB,CAAC;IAC9E,MAAM,IAAI,GAAG,CAAC,MAAc,EAAE,OAAe,EAAW,EAAE,CAAC,CAAC;QAC1D,EAAE,EAAE,KAAK;QACT,UAAU,EAAE,IAAI,CAAC,GAAG,MAAM,IAAI,MAAM,EAAc,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC;KACzG,CAAC,CAAC;IACH,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC;QAClD,OAAO,IAAI,CAAC,WAAW,EAAE,6DAA6D,CAAC,CAAC;IAC1F,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC;QACnC,IACE,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI;YACzB,CAAC,KAAK,GAAG,CAAC,IAAI,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,KAAK,CAAC;YACzC,CAAC,yBAAyB,CAAC,IAAI,CAAC,QAAQ,CAAC,EACzC,CAAC;YACD,OAAO,IAAI,CAAC,WAAW,EAAE,oDAAoD,CAAC,CAAC;QACjF,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;YACtB,OAAO,IAAI,CACT,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,cAAc,EACrD,WAAW,IAAI,SAAS,IAAI,cAAc,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAC7D,CAAC;QACJ,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,WAAW,EAAE,YAAY,IAAI,SAAS,IAAI,GAAG,CAAC,CAAC;QAC/E,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC7C,IAAI,KAAK,KAAK,SAAS;YACrB,OAAO,IAAI,CAAC,eAAe,EAAE,WAAW,IAAI,UAAU,QAAQ,cAAc,SAAS,CAAC,IAAI,CAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC9G,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAoB,EAAE,KAAK,EAAE,CAAC,CAAC;IACpD,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACtF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAC7B,CAAC;AAED,2FAA2F;AAC3F,MAAM,UAAU,WAAW,CAAC,KAAgB,EAAE,IAAY;IACxD,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CACpC,CAAC,KAAK,EAAsB,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,CACnF,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,OAAe,EAAW,EAAE,CAAC,CAAC;QAC1C,EAAE,EAAE,KAAK;QACT,UAAU,EAAE,IAAI,CAAC,6BAA6B,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;KACjH,CAAC,CAAC;IACH,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC;QAC1E,OAAO,IAAI,CAAC,qFAAqF,CAAC,CAAC;IACrG,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC1B,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;QACnG,OAAO,IAAI,CAAC,iEAAiE,CAAC,CAAC;IACjF,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,IAAI,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAClD,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;IAC7C,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC;IAC9E,OAAO,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;AACpE,CAAC"}

package/dist/semantic/contracts.d.ts

@@ -0,0 +1,11 @@
+import type { FieldNode, RecordNode } from '../ast.js';
+import type { Diagnostic } from '../diagnostics.js';
+import type { FrozenRegistry } from '../registry/types.js';
+import type { CompiledEdge, Requirement } from './types.js';
+export interface ContractResult {
+    readonly requirements: readonly Requirement[];
+    readonly diagnostics: readonly Diagnostic[];
+}
+export declare function isRetiredBinds(field: FieldNode): boolean;
+export declare function readContract(record: RecordNode, path: string, registry: FrozenRegistry, edges: readonly CompiledEdge[], refusedBindings: ReadonlySet<'govern' | 'implement'>): ContractResult;
+//# sourceMappingURL=contracts.d.ts.map

package/dist/semantic/contracts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contracts.d.ts","sourceRoot":"","sources":["../../src/semantic/contracts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAEvD,OAAO,KAAK,EAAE,UAAU,EAAY,MAAM,mBAAmB,CAAC;AAC9D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAK3D,OAAO,KAAK,EAAE,YAAY,EAAE,WAAW,EAAmB,MAAM,YAAY,CAAC;AAE7E,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,YAAY,EAAE,SAAS,WAAW,EAAE,CAAC;IAC9C,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C;AACD,wBAAgB,cAAc,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO,CAExD;AAED,wBAAgB,YAAY,CAC1B,MAAM,EAAE,UAAU,EAClB,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,cAAc,EACxB,KAAK,EAAE,SAAS,YAAY,EAAE,EAC9B,eAAe,EAAE,WAAW,CAAC,QAAQ,GAAG,WAAW,CAAC,GACnD,cAAc,CAqFhB"}

package/dist/semantic/contracts.js

@@ -0,0 +1,75 @@
+import { diag } from '../diagnostics.js';
+import { conditionOf } from './conditions.js';
+import { misplacedIn } from './placement.js';
+import { isRequirementId } from './requirements.js';
+import { REQUIREMENT_KINDS } from './types.js';
+export function isRetiredBinds(field) {
+    return field.key === 'binds' && field.value.kind === 'string';
+}
+export function readContract(record, path, registry, edges, refusedBindings) {
+    const requirements = [];
+    const diagnostics = [];
+    if (record.discriminator !== 'contract' || !registry.registrations.has('contract'))
+        return { requirements, diagnostics };
+    let retiredBinding = false;
+    for (const field of record.head) {
+        if (!isRetiredBinds(field))
+            continue;
+        retiredBinding = true;
+        diagnostics.push(diag('IA-LANG-CONTRACT-BINDS-RETIRED', path, field.span.line, 'Quoted binds is retired; use relationships / governs @discriminator name.'));
+    }
+    for (const section of record.sections) {
+        if (section.name === 'schema') {
+            diagnostics.push(diag('IA-LANG-CONTRACT-SCHEMA-SECTION', path, section.span.line, 'Contract schema blocks are retired; write REQ-ID string/prose clauses under inputs, outputs, preconditions, invariants, failures, authority, context or evolution.'));
+            continue;
+        }
+        if (!REQUIREMENT_KINDS.includes(section.name))
+            continue;
+        for (const field of section.children) {
+            if (field.kind === 'record')
+                continue;
+            const refuse = (code, message) => {
+                diagnostics.push(diag(code, path, field.span.line, message, { endLine: field.span.endLine }));
+            };
+            if (field.kind === 'field' && field.words[0] === 'when') {
+                refuse('IA-LANG-CONDITION-MISPLACED', 'A condition must belong to a requirement clause.');
+                continue;
+            }
+            if (field.kind !== 'field' ||
+                field.words.length !== 1 ||
+                !isRequirementId(field.words[0]) ||
+                (field.value.kind !== 'string' && field.value.kind !== 'prose')) {
+                refuse('IA-LANG-REQUIREMENT-MALFORMED', 'Expected REQ-[A-Z0-9]+(-[A-Z0-9]+)* followed by string or prose text.');
+                continue;
+            }
+            const unsupported = field.children.filter((c) => c.kind !== 'record' && !(c.kind === 'field' && c.words[0] === 'when'));
+            if (unsupported.length) {
+                const misplaced = misplacedIn(unsupported, path)[0];
+                if (misplaced)
+                    diagnostics.push(misplaced);
+                else
+                    refuse('IA-LANG-REQUIREMENT-MALFORMED', 'A requirement admits only a direct child when.');
+                continue;
+            }
+            const condition = conditionOf(field, path);
+            if (!condition.ok) {
+                diagnostics.push(condition.diagnostic);
+                continue;
+            }
+            requirements.push({
+                id: field.words[0],
+                kind: section.name,
+                text: field.value.text,
+                ...(condition.condition === undefined ? {} : { condition: condition.condition }),
+                span: field.span,
+            });
+        }
+    }
+    if (!retiredBinding &&
+        !refusedBindings.has('govern') &&
+        !edges.some((edge) => edge.predicate === 'govern' && edge.direction === 'out'))
+        diagnostics.push(diag('IA-LANG-CONTRACT-UNBOUND', path, record.span.line, 'A contract requires an outbound governs binding.'));
+    diagnostics.sort((a, b) => a.line - b.line);
+    return { requirements, diagnostics };
+}
+//# sourceMappingURL=contracts.js.map

package/dist/semantic/contracts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contracts.js","sourceRoot":"","sources":["../../src/semantic/contracts.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAGzC,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC7C,OAAO,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAO/C,MAAM,UAAU,cAAc,CAAC,KAAgB;IAC7C,OAAO,KAAK,CAAC,GAAG,KAAK,OAAO,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC;AAChE,CAAC;AAED,MAAM,UAAU,YAAY,CAC1B,MAAkB,EAClB,IAAY,EACZ,QAAwB,EACxB,KAA8B,EAC9B,eAAoD;IAEpD,MAAM,YAAY,GAAkB,EAAE,CAAC;IACvC,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,IAAI,MAAM,CAAC,aAAa,KAAK,UAAU,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC;QAChF,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,CAAC;IACvC,IAAI,cAAc,GAAG,KAAK,CAAC;IAC3B,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAChC,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC;YAAE,SAAS;QACrC,cAAc,GAAG,IAAI,CAAC;QACtB,WAAW,CAAC,IAAI,CACd,IAAI,CACF,gCAAgC,EAChC,IAAI,EACJ,KAAK,CAAC,IAAI,CAAC,IAAI,EACf,2EAA2E,CAC5E,CACF,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACtC,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC9B,WAAW,CAAC,IAAI,CACd,IAAI,CACF,iCAAiC,EACjC,IAAI,EACJ,OAAO,CAAC,IAAI,CAAC,IAAI,EACjB,oKAAoK,CACrK,CACF,CAAC;YACF,SAAS;QACX,CAAC;QACD,IAAI,CAAE,iBAAuC,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC;YAAE,SAAS;QAC/E,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;YACrC,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;gBAAE,SAAS;YACtC,MAAM,MAAM,GAAG,CAAC,IAAc,EAAE,OAAe,EAAQ,EAAE;gBACvD,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;YAChG,CAAC,CAAC;YACF,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,EAAE,CAAC;gBACxD,MAAM,CAAC,6BAA6B,EAAE,kDAAkD,CAAC,CAAC;gBAC1F,SAAS;YACX,CAAC;YACD,IACE,KAAK,CAAC,IAAI,KAAK,OAAO;gBACtB,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;gBACxB,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC;gBACjC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,EAC/D,CAAC;gBACD,MAAM,CACJ,+BAA+B,EAC/B,uEAAuE,CACxE,CAAC;gBACF,SAAS;YACX,CAAC;YACD,MAAM,WAAW,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CACvC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAC7E,CAAC;YACF,IAAI,WAAW,CAAC,MAAM,EAAE,CAAC;gBACvB,MAAM,SAAS,GAAG,WAAW,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBACpD,IAAI,SAAS;oBAAE,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;;oBACtC,MAAM,CAAC,+BAA+B,EAAE,gDAAgD,CAAC,CAAC;gBAC/F,SAAS;YACX,CAAC;YACD,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAC3C,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC;gBAClB,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;gBACvC,SAAS;YACX,CAAC;YACD,YAAY,CAAC,IAAI,CAAC;gBAChB,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAE;gBACnB,IAAI,EAAE,OAAO,CAAC,IAAuB;gBACrC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,IAAI;gBACtB,GAAG,CAAC,SAAS,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,SAAS,CAAC,SAAS,EAAE,CAAC;gBAChF,IAAI,EAAE,KAAK,CAAC,IAAI;aACjB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,IACE,CAAC,cAAc;QACf,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC;QAC9B,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,KAAK,QAAQ,IAAI,IAAI,CAAC,SAAS,KAAK,KAAK,CAAC;QAE9E,WAAW,CAAC,IAAI,CACd,IAAI,CAAC,0BAA0B,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,kDAAkD,CAAC,CAC7G,CAAC;IACJ,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IAC5C,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,CAAC;AACvC,CAAC"}

package/dist/semantic/edges.d.ts

@@ -0,0 +1,19 @@
+import type { FieldNode, RecordNode } from '../ast.js';
+import type { Diagnostic } from '../diagnostics.js';
+import type { FrozenRegistry } from '../registry/types.js';
+import type { Resolution, ResolutionCandidate } from './resolve.js';
+import type { CompiledEdge, EdgeReference } from './types.js';
+import type { Verb } from './vocabulary.js';
+export interface EdgesResult {
+    readonly edges: readonly CompiledEdge[];
+    readonly diagnostics: readonly Diagnostic[];
+    /** Known outbound binding lines already refused: dependent validation must not report them missing. */
+    readonly refusedBindings: ReadonlySet<'govern' | 'implement'>;
+}
+export declare function verbPrefix(words: readonly string[]): {
+    readonly verb: Verb;
+    readonly length: number;
+} | undefined;
+export declare function targetOf(field: FieldNode, verbLength: number): EdgeReference | undefined;
+export declare function readEdges(record: RecordNode, source: ResolutionCandidate, registry: FrozenRegistry, pool: readonly ResolutionCandidate[] | ((reference: EdgeReference) => Resolution), generated?: readonly CompiledEdge[]): EdgesResult;
+//# sourceMappingURL=edges.d.ts.map

package/dist/semantic/edges.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"edges.d.ts","sourceRoot":"","sources":["../../src/semantic/edges.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAEvD,OAAO,KAAK,EAAE,UAAU,EAAY,MAAM,mBAAmB,CAAC;AAE9D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAK3D,OAAO,KAAK,EAAE,UAAU,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAC;AACpE,OAAO,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAE9D,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAC;AAE5C,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,KAAK,EAAE,SAAS,YAAY,EAAE,CAAC;IACxC,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IAC5C,uGAAuG;IACvG,QAAQ,CAAC,eAAe,EAAE,WAAW,CAAC,QAAQ,GAAG,WAAW,CAAC,CAAC;CAC/D;AAED,wBAAgB,UAAU,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAAG,SAAS,CAMjH;AAED,wBAAgB,QAAQ,CAAC,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,GAAG,aAAa,GAAG,SAAS,CAcxF;AAkBD,wBAAgB,SAAS,CACvB,MAAM,EAAE,UAAU,EAClB,MAAM,EAAE,mBAAmB,EAC3B,QAAQ,EAAE,cAAc,EACxB,IAAI,EAAE,SAAS,mBAAmB,EAAE,GAAG,CAAC,CAAC,SAAS,EAAE,aAAa,KAAK,UAAU,CAAC,EACjF,SAAS,GAAE,SAAS,YAAY,EAAO,GACtC,WAAW,CAiHb"}

package/dist/semantic/edges.js

@@ -0,0 +1,129 @@
+import { diag } from '../diagnostics.js';
+import { consentFor } from '../registry/consent.js';
+import { KINDS } from '../taxonomy.js';
+import { conditionOf } from './conditions.js';
+import { misplacedIn } from './placement.js';
+import { resolveTarget, validatePool } from './resolve.js';
+import { verbOf, VERB_PHRASES } from './vocabulary.js';
+export function verbPrefix(words) {
+    for (let length = words.length; length > 0; length--) {
+        const verb = verbOf(words.slice(0, length).join(' '));
+        if (verb)
+            return { verb, length };
+    }
+    return undefined;
+}
+export function targetOf(field, verbLength) {
+    if (field.value.kind === 'ref' && field.words.length === verbLength) {
+        const { discriminator, name, fragment } = field.value;
+        return { kind: 'ref', discriminator, name, ...(fragment === undefined ? {} : { fragment }) };
+    }
+    if (field.value.kind !== 'scalar' || field.words.length !== verbLength + 1)
+        return undefined;
+    const target = field.words[verbLength];
+    const match = /^([a-z][a-z0-9-]*)\/([a-z][a-z0-9-]*)\/([^\s/#]+)\/([A-Za-z][A-Za-z0-9-]*)(?:#([A-Za-z0-9-]+(?:\/[A-Za-z0-9-]+)*))?$/.exec(target);
+    if (!match || !KINDS.includes(match[2]))
+        return undefined;
+    const identity = `${match[1]}/${match[2]}/${match[3]}/${match[4]}`;
+    return { kind: 'identity', identity, ...(match[5] === undefined ? {} : { fragment: match[5] }) };
+}
+function equivalentGround(reference, generated) {
+    if (reference.fragment !== undefined ||
+        generated.predicate !== 'ground' ||
+        generated.direction !== 'out' ||
+        generated.condition !== undefined ||
+        generated.fragment !== undefined)
+        return false;
+    return reference.kind === 'identity'
+        ? reference.identity === generated.target
+        : generated.reference.kind === 'ref' &&
+            reference.discriminator === generated.reference.discriminator &&
+            reference.name.toLowerCase() === generated.reference.name.toLowerCase();
+}
+export function readEdges(record, source, registry, pool, generated = []) {
+    validatePool(registry, typeof pool === 'function' ? [source] : [source, ...pool]);
+    const edges = [...generated];
+    const diagnostics = [];
+    const refusedBindings = new Set();
+    const path = source.source.path;
+    for (const section of record.sections) {
+        if (section.name !== 'relationships')
+            continue;
+        for (const field of section.children) {
+            if (field.kind === 'record')
+                continue;
+            const parsed = field.kind === 'field' ? verbPrefix(field.words) : undefined;
+            const refuseDiagnostic = (diagnostic) => {
+                diagnostics.push(diagnostic);
+                if (parsed?.verb.direction === 'out' &&
+                    (parsed.verb.predicate === 'govern' || parsed.verb.predicate === 'implement'))
+                    refusedBindings.add(parsed.verb.predicate);
+            };
+            const refuse = (code, message) => refuseDiagnostic(diag(code, path, field.span.line, message, { endLine: field.span.endLine }));
+            if (field.kind !== 'field') {
+                refuse('IA-LANG-EDGE-MALFORMED', 'Expected a verb and a sigil or qualified target.');
+                continue;
+            }
+            if (field.words[0] === 'when') {
+                refuse('IA-LANG-CONDITION-MISPLACED', 'A condition must belong to an edge.');
+                continue;
+            }
+            if (!parsed) {
+                refuse('IA-LANG-VERB-UNKNOWN', `Unknown relationship verb ${field.words.join(' ')}; expected ${VERB_PHRASES.join(', ')}.`);
+                continue;
+            }
+            const reference = targetOf(field, parsed.length);
+            if (!reference) {
+                refuse('IA-LANG-EDGE-MALFORMED', 'Expected exactly one sigil or fully qualified system/kind/facet/name target, optionally with #fragment.');
+                continue;
+            }
+            const unsupported = field.children.filter((c) => c.kind !== 'record' && !(c.kind === 'field' && c.words[0] === 'when'));
+            if (unsupported.length) {
+                const misplaced = misplacedIn(unsupported, path)[0];
+                if (misplaced)
+                    refuseDiagnostic(misplaced);
+                else
+                    refuse('IA-LANG-EDGE-MALFORMED', 'A relationship admits only a direct child when.');
+                continue;
+            }
+            const condition = conditionOf(field, path);
+            if (!condition.ok) {
+                refuseDiagnostic(condition.diagnostic);
+                continue;
+            }
+            const { predicate, direction } = parsed.verb;
+            if (predicate === 'ground' &&
+                direction === 'out' &&
+                condition.condition === undefined &&
+                generated.some((edge) => equivalentGround(reference, edge)))
+                continue;
+            const resolution = typeof pool === 'function' ? pool(reference) : resolveTarget(reference, registry, pool);
+            if (resolution.kind === 'ambiguous') {
+                refuse('IA-LANG-EDGE-TARGET-AMBIGUOUS', `Target matches multiple occurrences: ${resolution.candidates.map((c) => `${c.identity} at ${c.source.path}:${c.source.line}`).join(', ')}.`);
+                continue;
+            }
+            if (resolution.kind === 'resolved') {
+                const from = direction === 'out' ? source : resolution.target;
+                const to = direction === 'out' ? resolution.target : source;
+                const refused = consentFor(registry, predicate, from.discriminator, to.discriminator, direction === 'out' ? reference.fragment : undefined);
+                if (refused) {
+                    refuse('IA-LANG-EDGE-UNCONSENTED', `The ${refused} system ${refused === 'source' ? from.system : to.system} does not consent to ${predicate} ${from.discriminator} -> ${to.discriminator}.`);
+                    continue;
+                }
+            }
+            else
+                diagnostics.push(diag('IA-LANG-EDGE-TARGET-MISSING', path, field.span.line, 'No admitted record matches this target; the authored reference is retained.', { severity: 'warning', endLine: field.span.endLine }));
+            edges.push({
+                predicate,
+                direction,
+                reference,
+                target: resolution.kind === 'resolved' ? resolution.target.identity : null,
+                ...(reference.fragment === undefined ? {} : { fragment: reference.fragment }),
+                ...(condition.condition === undefined ? {} : { condition: condition.condition }),
+                span: field.span,
+            });
+        }
+    }
+    return { edges, diagnostics, refusedBindings };
+}
+//# sourceMappingURL=edges.js.map

package/dist/semantic/edges.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"edges.js","sourceRoot":"","sources":["../../src/semantic/edges.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAEzC,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAEpD,OAAO,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AACvC,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC7C,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAG3D,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAUvD,MAAM,UAAU,UAAU,CAAC,KAAwB;IACjD,KAAK,IAAI,MAAM,GAAG,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC;QACrD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACtD,IAAI,IAAI;YAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACpC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,KAAgB,EAAE,UAAkB;IAC3D,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QACpE,MAAM,EAAE,aAAa,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC;QACtD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,GAAG,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;IAC/F,CAAC;IACD,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,UAAU,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7F,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,UAAU,CAAE,CAAC;IACxC,MAAM,KAAK,GACT,sHAAsH,CAAC,IAAI,CACzH,MAAM,CACP,CAAC;IACJ,IAAI,CAAC,KAAK,IAAI,CAAE,KAA2B,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC;QAAE,OAAO,SAAS,CAAC;IAClF,MAAM,QAAQ,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IACnE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;AACnG,CAAC;AAED,SAAS,gBAAgB,CAAC,SAAwB,EAAE,SAAuB;IACzE,IACE,SAAS,CAAC,QAAQ,KAAK,SAAS;QAChC,SAAS,CAAC,SAAS,KAAK,QAAQ;QAChC,SAAS,CAAC,SAAS,KAAK,KAAK;QAC7B,SAAS,CAAC,SAAS,KAAK,SAAS;QACjC,SAAS,CAAC,QAAQ,KAAK,SAAS;QAEhC,OAAO,KAAK,CAAC;IACf,OAAO,SAAS,CAAC,IAAI,KAAK,UAAU;QAClC,CAAC,CAAC,SAAS,CAAC,QAAQ,KAAK,SAAS,CAAC,MAAM;QACzC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,KAAK,KAAK;YAChC,SAAS,CAAC,aAAa,KAAK,SAAS,CAAC,SAAS,CAAC,aAAa;YAC7D,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;AAChF,CAAC;AAED,MAAM,UAAU,SAAS,CACvB,MAAkB,EAClB,MAA2B,EAC3B,QAAwB,EACxB,IAAiF,EACjF,YAAqC,EAAE;IAEvC,YAAY,CAAC,QAAQ,EAAE,OAAO,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;IAClF,MAAM,KAAK,GAAmB,CAAC,GAAG,SAAS,CAAC,CAAC;IAC7C,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,eAAe,GAAG,IAAI,GAAG,EAA0B,CAAC;IAC1D,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;IAChC,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACtC,IAAI,OAAO,CAAC,IAAI,KAAK,eAAe;YAAE,SAAS;QAC/C,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;YACrC,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;gBAAE,SAAS;YACtC,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC5E,MAAM,gBAAgB,GAAG,CAAC,UAAsB,EAAQ,EAAE;gBACxD,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC7B,IACE,MAAM,EAAE,IAAI,CAAC,SAAS,KAAK,KAAK;oBAChC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,KAAK,WAAW,CAAC;oBAE7E,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC/C,CAAC,CAAC;YACF,MAAM,MAAM,GAAG,CAAC,IAAc,EAAE,OAAe,EAAQ,EAAE,CACvD,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;YAChG,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAC3B,MAAM,CAAC,wBAAwB,EAAE,kDAAkD,CAAC,CAAC;gBACrF,SAAS;YACX,CAAC;YACD,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,EAAE,CAAC;gBAC9B,MAAM,CAAC,6BAA6B,EAAE,qCAAqC,CAAC,CAAC;gBAC7E,SAAS;YACX,CAAC;YACD,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,MAAM,CACJ,sBAAsB,EACtB,6BAA6B,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,cAAc,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAC3F,CAAC;gBACF,SAAS;YACX,CAAC;YACD,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;YACjD,IAAI,CAAC,SAAS,EAAE,CAAC;gBACf,MAAM,CACJ,wBAAwB,EACxB,yGAAyG,CAC1G,CAAC;gBACF,SAAS;YACX,CAAC;YACD,MAAM,WAAW,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CACvC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAC7E,CAAC;YACF,IAAI,WAAW,CAAC,MAAM,EAAE,CAAC;gBACvB,MAAM,SAAS,GAAG,WAAW,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBACpD,IAAI,SAAS;oBAAE,gBAAgB,CAAC,SAAS,CAAC,CAAC;;oBACtC,MAAM,CAAC,wBAAwB,EAAE,iDAAiD,CAAC,CAAC;gBACzF,SAAS;YACX,CAAC;YACD,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAC3C,IAAI,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC;gBAClB,gBAAgB,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;gBACvC,SAAS;YACX,CAAC;YACD,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC;YAC7C,IACE,SAAS,KAAK,QAAQ;gBACtB,SAAS,KAAK,KAAK;gBACnB,SAAS,CAAC,SAAS,KAAK,SAAS;gBACjC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,gBAAgB,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;gBAE3D,SAAS;YACX,MAAM,UAAU,GAAG,OAAO,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;YAC3G,IAAI,UAAU,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBACpC,MAAM,CACJ,+BAA+B,EAC/B,wCAAwC,UAAU,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,QAAQ,OAAO,CAAC,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAC7I,CAAC;gBACF,SAAS;YACX,CAAC;YACD,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBACnC,MAAM,IAAI,GAAG,SAAS,KAAK,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC;gBAC9D,MAAM,EAAE,GAAG,SAAS,KAAK,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC;gBAC5D,MAAM,OAAO,GAAG,UAAU,CACxB,QAAQ,EACR,SAAS,EACT,IAAI,CAAC,aAAa,EAClB,EAAE,CAAC,aAAa,EAChB,SAAS,KAAK,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CACrD,CAAC;gBACF,IAAI,OAAO,EAAE,CAAC;oBACZ,MAAM,CACJ,0BAA0B,EAC1B,OAAO,OAAO,WAAW,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,wBAAwB,SAAS,IAAI,IAAI,CAAC,aAAa,OAAO,EAAE,CAAC,aAAa,GAAG,CACzJ,CAAC;oBACF,SAAS;gBACX,CAAC;YACH,CAAC;;gBACC,WAAW,CAAC,IAAI,CACd,IAAI,CACF,6BAA6B,EAC7B,IAAI,EACJ,KAAK,CAAC,IAAI,CAAC,IAAI,EACf,6EAA6E,EAC7E,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CACrD,CACF,CAAC;YACJ,KAAK,CAAC,IAAI,CAAC;gBACT,SAAS;gBACT,SAAS;gBACT,SAAS;gBACT,MAAM,EAAE,UAAU,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI;gBAC1E,GAAG,CAAC,SAAS,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE,CAAC;gBAC7E,GAAG,CAAC,SAAS,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,SAAS,CAAC,SAAS,EAAE,CAAC;gBAChF,IAAI,EAAE,KAAK,CAAC,IAAI;aACjB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,eAAe,EAAE,CAAC;AACjD,CAAC"}

package/dist/semantic/placement.d.ts

@@ -0,0 +1,6 @@
+import type { ChildNode, RecordNode } from '../ast.js';
+import type { Diagnostic } from '../diagnostics.js';
+/** Forbidden positions only. Specialized semantic readers own their complete carriers. */
+export declare function misplacedIn(children: readonly ChildNode[], path: string): Diagnostic[];
+export declare function misplacedConditions(record: RecordNode, path: string): readonly Diagnostic[];
+//# sourceMappingURL=placement.d.ts.map

package/dist/semantic/placement.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"placement.d.ts","sourceRoot":"","sources":["../../src/semantic/placement.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAEvD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAGpD,0FAA0F;AAC1F,wBAAgB,WAAW,CAAC,QAAQ,EAAE,SAAS,SAAS,EAAE,EAAE,IAAI,EAAE,MAAM,GAAG,UAAU,EAAE,CAatF;AAED,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,SAAS,UAAU,EAAE,CA0B3F"}

package/dist/semantic/placement.js

@@ -0,0 +1,47 @@
+import { diag } from '../diagnostics.js';
+import { REQUIREMENT_KINDS } from './types.js';
+/** Forbidden positions only. Specialized semantic readers own their complete carriers. */
+export function misplacedIn(children, path) {
+    const diagnostics = [];
+    for (const child of children) {
+        if (child.kind !== 'field')
+            continue;
+        if (child.when !== undefined || child.words[0] === 'when') {
+            diagnostics.push(diag('IA-LANG-CONDITION-MISPLACED', path, child.span.line, 'Conditions are not permitted in this position.', {
+                endLine: child.span.endLine,
+            }));
+        }
+        else
+            diagnostics.push(...misplacedIn(child.children, path));
+    }
+    return diagnostics;
+}
+export function misplacedConditions(record, path) {
+    // Registry extraction owns the complete schema dialect and the system declaration dialect.
+    if (record.discriminator === 'schema')
+        return [];
+    const head = record.head.filter((field) => !(record.discriminator === 'contract' && field.key === 'binds' && field.value.kind === 'string') &&
+        !(record.discriminator === 'case' && field.words[0] === 'verdict'));
+    const diagnostics = record.discriminator === 'system' ? [] : misplacedIn(head, path);
+    const semanticSections = ['activation', 'cognition', 'relationships', 'governance'];
+    for (const section of record.sections) {
+        if (semanticSections.includes(section.name))
+            continue;
+        if (record.discriminator === 'system' && ['discriminators', 'requires', 'edges'].includes(section.name))
+            continue;
+        if (record.discriminator === 'contract' && REQUIREMENT_KINDS.includes(section.name))
+            continue;
+        if (record.discriminator === 'contract' && section.name === 'schema')
+            continue;
+        if (record.discriminator === 'case' && ['scenario', 'verdict'].includes(section.name))
+            continue;
+        if (section.name === 'when')
+            diagnostics.push(diag('IA-LANG-CONDITION-MISPLACED', path, section.span.line, 'A section cannot be a condition.', {
+                endLine: section.span.endLine,
+            }));
+        else
+            diagnostics.push(...misplacedIn(section.children, path));
+    }
+    return diagnostics;
+}
+//# sourceMappingURL=placement.js.map

package/dist/semantic/placement.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"placement.js","sourceRoot":"","sources":["../../src/semantic/placement.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAEzC,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAE/C,0FAA0F;AAC1F,MAAM,UAAU,WAAW,CAAC,QAA8B,EAAE,IAAY;IACtE,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,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,EAAE,CAAC;YAC1D,WAAW,CAAC,IAAI,CACd,IAAI,CAAC,6BAA6B,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,gDAAgD,EAAE;gBAC3G,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,OAAO;aAC5B,CAAC,CACH,CAAC;QACJ,CAAC;;YAAM,WAAW,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,MAAkB,EAAE,IAAY;IAClE,2FAA2F;IAC3F,IAAI,MAAM,CAAC,aAAa,KAAK,QAAQ;QAAE,OAAO,EAAE,CAAC;IACjD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAC7B,CAAC,KAAK,EAAE,EAAE,CACR,CAAC,CAAC,MAAM,CAAC,aAAa,KAAK,UAAU,IAAI,KAAK,CAAC,GAAG,KAAK,OAAO,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAC;QAChG,CAAC,CAAC,MAAM,CAAC,aAAa,KAAK,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CACrE,CAAC;IACF,MAAM,WAAW,GAAG,MAAM,CAAC,aAAa,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACrF,MAAM,gBAAgB,GAAsB,CAAC,YAAY,EAAE,WAAW,EAAE,eAAe,EAAE,YAAY,CAAC,CAAC;IACvG,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACtC,IAAI,gBAAgB,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC;YAAE,SAAS;QACtD,IAAI,MAAM,CAAC,aAAa,KAAK,QAAQ,IAAI,CAAC,gBAAgB,EAAE,UAAU,EAAE,OAAO,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC;YAAE,SAAS;QAClH,IAAI,MAAM,CAAC,aAAa,KAAK,UAAU,IAAK,iBAAuC,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC;YACxG,SAAS;QACX,IAAI,MAAM,CAAC,aAAa,KAAK,UAAU,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ;YAAE,SAAS;QAC/E,IAAI,MAAM,CAAC,aAAa,KAAK,MAAM,IAAI,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC;YAAE,SAAS;QAChG,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM;YACzB,WAAW,CAAC,IAAI,CACd,IAAI,CAAC,6BAA6B,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,kCAAkC,EAAE;gBAC/F,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,OAAO;aAC9B,CAAC,CACH,CAAC;;YACC,WAAW,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC"}

package/dist/semantic/requirements.d.ts

@@ -0,0 +1,14 @@
+import type { Diagnostic } from '../diagnostics.js';
+export declare function isRequirementId(id: string): boolean;
+export interface RequirementOccurrence {
+    readonly id: string;
+    readonly identity: string;
+    readonly path: string;
+    readonly line: number;
+}
+/** All admitted tree occurrences must be supplied before publication; bands do not exempt duplicates. */
+export declare function requirementCollisions<T extends RequirementOccurrence>(occurrences: readonly T[]): {
+    readonly refused: ReadonlySet<T>;
+    readonly diagnostics: readonly Diagnostic[];
+};
+//# sourceMappingURL=requirements.d.ts.map

package/dist/semantic/requirements.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"requirements.d.ts","sourceRoot":"","sources":["../../src/semantic/requirements.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAGpD,wBAAgB,eAAe,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAEnD;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,yGAAyG;AACzG,wBAAgB,qBAAqB,CAAC,CAAC,SAAS,qBAAqB,EACnE,WAAW,EAAE,SAAS,CAAC,EAAE,GACxB;IAAE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;IAAC,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAA;CAAE,CA6BnF"}

package/dist/semantic/requirements.js

@@ -0,0 +1,32 @@
+import { diag } from '../diagnostics.js';
+import { sortDiagnostics } from '../registry/index.js';
+export function isRequirementId(id) {
+    return /^REQ-[A-Z0-9]+(-[A-Z0-9]+)*$/.test(id);
+}
+/** All admitted tree occurrences must be supplied before publication; bands do not exempt duplicates. */
+export function requirementCollisions(occurrences) {
+    const groups = new Map();
+    for (const occurrence of occurrences) {
+        const group = groups.get(occurrence.id);
+        if (group)
+            group.push(occurrence);
+        else
+            groups.set(occurrence.id, [occurrence]);
+    }
+    const refused = new Set();
+    const diagnostics = [];
+    for (const group of groups.values()) {
+        if (group.length < 2)
+            continue;
+        for (const occurrence of group) {
+            refused.add(occurrence);
+            const others = group
+                .filter((other) => other !== occurrence)
+                .map((other) => `${other.path}:${other.line} (${other.identity})`)
+                .sort();
+            diagnostics.push(diag('IA-LANG-REQUIREMENT-DUPLICATE', occurrence.path, occurrence.line, `Requirement ${occurrence.id} is also declared at ${others.join(', ')}.`, { identity: occurrence.identity }));
+        }
+    }
+    return { refused, diagnostics: sortDiagnostics(diagnostics) };
+}
+//# sourceMappingURL=requirements.js.map

package/dist/semantic/requirements.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"requirements.js","sourceRoot":"","sources":["../../src/semantic/requirements.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAEzC,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAEvD,MAAM,UAAU,eAAe,CAAC,EAAU;IACxC,OAAO,8BAA8B,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACjD,CAAC;AASD,yGAAyG;AACzG,MAAM,UAAU,qBAAqB,CACnC,WAAyB;IAEzB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAe,CAAC;IACtC,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QACxC,IAAI,KAAK;YAAE,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;;YAC7B,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;IAC/C,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAK,CAAC;IAC7B,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;QACpC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS;QAC/B,KAAK,MAAM,UAAU,IAAI,KAAK,EAAE,CAAC;YAC/B,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YACxB,MAAM,MAAM,GAAG,KAAK;iBACjB,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,UAAU,CAAC;iBACvC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,QAAQ,GAAG,CAAC;iBACjE,IAAI,EAAE,CAAC;YACV,WAAW,CAAC,IAAI,CACd,IAAI,CACF,+BAA+B,EAC/B,UAAU,CAAC,IAAI,EACf,UAAU,CAAC,IAAI,EACf,eAAe,UAAU,CAAC,EAAE,wBAAwB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EACxE,EAAE,QAAQ,EAAE,UAAU,CAAC,QAAQ,EAAE,CAClC,CACF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,eAAe,CAAC,WAAW,CAAC,EAAE,CAAC;AAChE,CAAC"}