@inventarch/language 0.0.0-stage → 1.1.0

package/dist/semantic/resolve.d.ts

@@ -0,0 +1,23 @@
+import type { CompiledRecord } from '../compile/compile.js';
+import type { FrozenRegistry } from '../registry/types.js';
+import type { EdgeReference } from './types.js';
+/** Identity discovery can resolve before the record's semantic arrays have been finalized. */
+export type ResolutionCandidate = Pick<CompiledRecord, 'identity' | 'system' | 'kind' | 'facet' | 'name' | 'discriminator' | 'source'>;
+export type Resolution<T extends ResolutionCandidate = ResolutionCandidate> = ({
+    readonly kind: 'missing';
+} | {
+    readonly kind: 'resolved';
+    readonly target: T;
+} | {
+    readonly kind: 'ambiguous';
+    readonly candidates: readonly T[];
+}) & {
+    readonly fragment?: string;
+};
+/** Caller contract, not a source diagnostic. Deliberately does not select bands or deduplicate. */
+export declare function validatePool(registry: FrozenRegistry, pool: readonly ResolutionCandidate[], excludedPath?: string): void;
+/** Exact cardinality matching. Fragments are addresses whose existence belongs to compliance. */
+export declare function resolveTarget<T extends ResolutionCandidate>(reference: EdgeReference, registry: FrozenRegistry, pool: readonly T[]): Resolution<T>;
+/** Per-compilation index. Validate the complete pool once, preserving duplicates and exact cardinality. */
+export declare function indexedResolver<T extends ResolutionCandidate>(registry: FrozenRegistry, pool: readonly T[]): (reference: EdgeReference) => Resolution<T>;
+//# sourceMappingURL=resolve.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"resolve.d.ts","sourceRoot":"","sources":["../../src/semantic/resolve.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAG5D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEhD,8FAA8F;AAC9F,MAAM,MAAM,mBAAmB,GAAG,IAAI,CACpC,cAAc,EACd,UAAU,GAAG,QAAQ,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,eAAe,GAAG,QAAQ,CAC/E,CAAC;AACF,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,mBAAmB,GAAG,mBAAmB,IAAI,CAC1E;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,GAC5B;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;CAAE,GACjD;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC,EAAE,CAAA;CAAE,CACpE,GAAG;IAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAEnC,mGAAmG;AACnG,wBAAgB,YAAY,CAC1B,QAAQ,EAAE,cAAc,EACxB,IAAI,EAAE,SAAS,mBAAmB,EAAE,EACpC,YAAY,CAAC,EAAE,MAAM,GACpB,IAAI,CAmBN;AAED,iGAAiG;AACjG,wBAAgB,aAAa,CAAC,CAAC,SAAS,mBAAmB,EACzD,SAAS,EAAE,aAAa,EACxB,QAAQ,EAAE,cAAc,EACxB,IAAI,EAAE,SAAS,CAAC,EAAE,GACjB,UAAU,CAAC,CAAC,CAAC,CAyBf;AAMD,2GAA2G;AAC3G,wBAAgB,eAAe,CAAC,CAAC,SAAS,mBAAmB,EAC3D,QAAQ,EAAE,cAAc,EACxB,IAAI,EAAE,SAAS,CAAC,EAAE,GACjB,CAAC,SAAS,EAAE,aAAa,KAAK,UAAU,CAAC,CAAC,CAAC,CAmB7C"}

package/dist/semantic/resolve.js

@@ -0,0 +1,62 @@
+import { renderIdentity } from '../identity.js';
+import { canonicalPath } from '../paths.js';
+/** Caller contract, not a source diagnostic. Deliberately does not select bands or deduplicate. */
+export function validatePool(registry, pool, excludedPath) {
+    for (const candidate of pool) {
+        const registration = registry.registrations.get(candidate.discriminator);
+        if (!registration ||
+            registry.blocked.has(candidate.discriminator) ||
+            registration.system !== candidate.system ||
+            registration.kind !== candidate.kind ||
+            !registration.facets.includes(candidate.facet) ||
+            !/^[a-z][a-z0-9-]*$/.test(candidate.name) ||
+            candidate.identity !== renderIdentity(candidate.system, candidate.kind, candidate.facet, candidate.name)) {
+            throw new TypeError(`Candidate ${candidate.identity} at ${candidate.source.path}:${candidate.source.line} is inconsistent with the registry or its identity slots.`);
+        }
+        if (excludedPath !== undefined && canonicalPath(candidate.source.path) === canonicalPath(excludedPath))
+            throw new TypeError(`The external pool must exclude current source ${excludedPath}.`);
+    }
+}
+/** Exact cardinality matching. Fragments are addresses whose existence belongs to compliance. */
+export function resolveTarget(reference, registry, pool) {
+    validatePool(registry, pool);
+    const fragment = reference.fragment === undefined ? {} : { fragment: reference.fragment };
+    const registration = reference.kind === 'ref' ? registry.registrations.get(reference.discriminator) : undefined;
+    const candidates = pool.filter((candidate) => reference.kind === 'identity'
+        ? candidate.identity === reference.identity
+        : registration !== undefined &&
+            candidate.discriminator === reference.discriminator &&
+            candidate.system === registration.system &&
+            candidate.kind === registration.kind &&
+            candidate.facet === registration.facets[0] &&
+            candidate.name === reference.name.toLowerCase());
+    if (candidates.length === 0)
+        return { kind: 'missing', ...fragment };
+    if (candidates.length === 1)
+        return { kind: 'resolved', target: candidates[0], ...fragment };
+    candidates.sort((a, b) => compare(a.identity, b.identity) ||
+        compare(a.source.path, b.source.path) ||
+        a.source.line - b.source.line ||
+        compare(a.discriminator, b.discriminator) ||
+        a.source.endLine - b.source.endLine);
+    return { kind: 'ambiguous', candidates, ...fragment };
+}
+function compare(a, b) {
+    return a < b ? -1 : a > b ? 1 : 0;
+}
+/** Per-compilation index. Validate the complete pool once, preserving duplicates and exact cardinality. */
+export function indexedResolver(registry, pool) {
+    validatePool(registry, pool);
+    const identities = new Map(), names = new Map();
+    for (const candidate of pool) {
+        const sameIdentity = identities.get(candidate.identity) ?? [];
+        sameIdentity.push(candidate);
+        identities.set(candidate.identity, sameIdentity);
+        const sameName = names.get(candidate.name) ?? [];
+        sameName.push(candidate);
+        names.set(candidate.name, sameName);
+    }
+    return (reference) => resolveTarget(reference, registry, (reference.kind === 'identity' ? identities.get(reference.identity) : names.get(reference.name.toLowerCase())) ??
+        []);
+}
+//# sourceMappingURL=resolve.js.map

package/dist/semantic/resolve.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve.js","sourceRoot":"","sources":["../../src/semantic/resolve.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAe5C,mGAAmG;AACnG,MAAM,UAAU,YAAY,CAC1B,QAAwB,EACxB,IAAoC,EACpC,YAAqB;IAErB,KAAK,MAAM,SAAS,IAAI,IAAI,EAAE,CAAC;QAC7B,MAAM,YAAY,GAAG,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QACzE,IACE,CAAC,YAAY;YACb,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,aAAa,CAAC;YAC7C,YAAY,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM;YACxC,YAAY,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI;YACpC,CAAC,YAAY,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC;YAC9C,CAAC,mBAAmB,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;YACzC,SAAS,CAAC,QAAQ,KAAK,cAAc,CAAC,SAAS,CAAC,MAAM,EAAE,SAAS,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,EAAE,SAAS,CAAC,IAAI,CAAC,EACxG,CAAC;YACD,MAAM,IAAI,SAAS,CACjB,aAAa,SAAS,CAAC,QAAQ,OAAO,SAAS,CAAC,MAAM,CAAC,IAAI,IAAI,SAAS,CAAC,MAAM,CAAC,IAAI,2DAA2D,CAChJ,CAAC;QACJ,CAAC;QACD,IAAI,YAAY,KAAK,SAAS,IAAI,aAAa,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,aAAa,CAAC,YAAY,CAAC;YACpG,MAAM,IAAI,SAAS,CAAC,iDAAiD,YAAY,GAAG,CAAC,CAAC;IAC1F,CAAC;AACH,CAAC;AAED,iGAAiG;AACjG,MAAM,UAAU,aAAa,CAC3B,SAAwB,EACxB,QAAwB,EACxB,IAAkB;IAElB,YAAY,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAC7B,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE,CAAC;IAC1F,MAAM,YAAY,GAAG,SAAS,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAChH,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAC3C,SAAS,CAAC,IAAI,KAAK,UAAU;QAC3B,CAAC,CAAC,SAAS,CAAC,QAAQ,KAAK,SAAS,CAAC,QAAQ;QAC3C,CAAC,CAAC,YAAY,KAAK,SAAS;YAC1B,SAAS,CAAC,aAAa,KAAK,SAAS,CAAC,aAAa;YACnD,SAAS,CAAC,MAAM,KAAK,YAAY,CAAC,MAAM;YACxC,SAAS,CAAC,IAAI,KAAK,YAAY,CAAC,IAAI;YACpC,SAAS,CAAC,KAAK,KAAK,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC;YAC1C,SAAS,CAAC,IAAI,KAAK,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,CACpD,CAAC;IACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,QAAQ,EAAE,CAAC;IACrE,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC,CAAE,EAAE,GAAG,QAAQ,EAAE,CAAC;IAC9F,UAAU,CAAC,IAAI,CACb,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC;QAC/B,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;QACrC,CAAC,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI;QAC7B,OAAO,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC,CAAC,aAAa,CAAC;QACzC,CAAC,CAAC,MAAM,CAAC,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CACtC,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,GAAG,QAAQ,EAAE,CAAC;AACxD,CAAC;AAED,SAAS,OAAO,CAAC,CAAS,EAAE,CAAS;IACnC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACpC,CAAC;AAED,2GAA2G;AAC3G,MAAM,UAAU,eAAe,CAC7B,QAAwB,EACxB,IAAkB;IAElB,YAAY,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IAC7B,MAAM,UAAU,GAAG,IAAI,GAAG,EAAe,EACvC,KAAK,GAAG,IAAI,GAAG,EAAe,CAAC;IACjC,KAAK,MAAM,SAAS,IAAI,IAAI,EAAE,CAAC;QAC7B,MAAM,YAAY,GAAG,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;QAC9D,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC7B,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;QACjD,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACjD,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACzB,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,CAAC,SAAS,EAAE,EAAE,CACnB,aAAa,CACX,SAAS,EACT,QAAQ,EACR,CAAC,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;QAC5G,EAAE,CACL,CAAC;AACN,CAAC"}

package/dist/semantic/selectors.d.ts

@@ -0,0 +1,10 @@
+import type { RecordNode, Span } from '../ast.js';
+import type { Diagnostic } from '../diagnostics.js';
+import type { Selector } from './types.js';
+export interface SelectorsResult {
+    readonly selectors: readonly Selector[];
+    readonly spans: readonly Span[];
+    readonly diagnostics: readonly Diagnostic[];
+}
+export declare function readSelectors(record: RecordNode, path: string): SelectorsResult;
+//# sourceMappingURL=selectors.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"selectors.d.ts","sourceRoot":"","sources":["../../src/semantic/selectors.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAElD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAE3C,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,SAAS,EAAE,SAAS,QAAQ,EAAE,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC;IAChC,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C;AAED,wBAAgB,aAAa,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,eAAe,CAoC/E"}

package/dist/semantic/selectors.js

@@ -0,0 +1,33 @@
+import { diag } from '../diagnostics.js';
+import { readTerms } from './conditions.js';
+export function readSelectors(record, path) {
+    const selectors = [];
+    const spans = [];
+    const diagnostics = [];
+    for (const section of record.sections) {
+        if (section.name !== 'activation')
+            continue;
+        for (const child of section.children) {
+            if (child.kind === 'record')
+                continue;
+            if (child.kind !== 'field' ||
+                child.words.length !== 1 ||
+                child.words[0] !== 'activate' ||
+                child.value.kind !== 'none' ||
+                child.when === undefined ||
+                child.children.length > 0) {
+                diagnostics.push(diag('IA-LANG-SELECTOR-MALFORMED', path, child.span.line, 'Expected activate when <axis> is <value>, with no child block.', { endLine: child.span.endLine }));
+                continue;
+            }
+            const result = readTerms(child.when, 'selector', path, child.span);
+            if (!result.ok)
+                diagnostics.push(result.diagnostic);
+            else {
+                selectors.push(result.terms);
+                spans.push(child.span);
+            }
+        }
+    }
+    return { selectors, spans, diagnostics };
+}
+//# sourceMappingURL=selectors.js.map

package/dist/semantic/selectors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"selectors.js","sourceRoot":"","sources":["../../src/semantic/selectors.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAEzC,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAS5C,MAAM,UAAU,aAAa,CAAC,MAAkB,EAAE,IAAY;IAC5D,MAAM,SAAS,GAAe,EAAE,CAAC;IACjC,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACtC,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY;YAAE,SAAS;QAC5C,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;YACrC,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;gBAAE,SAAS;YACtC,IACE,KAAK,CAAC,IAAI,KAAK,OAAO;gBACtB,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;gBACxB,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,UAAU;gBAC7B,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM;gBAC3B,KAAK,CAAC,IAAI,KAAK,SAAS;gBACxB,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EACzB,CAAC;gBACD,WAAW,CAAC,IAAI,CACd,IAAI,CACF,4BAA4B,EAC5B,IAAI,EACJ,KAAK,CAAC,IAAI,CAAC,IAAI,EACf,gEAAgE,EAChE,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CAChC,CACF,CAAC;gBACF,SAAS;YACX,CAAC;YACD,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YACnE,IAAI,CAAC,MAAM,CAAC,EAAE;gBAAE,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;iBAC/C,CAAC;gBACJ,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBAC7B,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;AAC3C,CAAC"}

package/dist/semantic/types.d.ts

@@ -0,0 +1,56 @@
+import type { Span } from '../ast.js';
+import type { CompiledValue } from '../compile/values.js';
+import type { Axis, Phase, Predicate, Primitive } from '../taxonomy.js';
+export type ConditionAxis = Axis | 'severity' | 'provenance';
+export interface Term {
+    readonly axis: ConditionAxis;
+    readonly value: string;
+}
+export interface SelectorTerm {
+    readonly axis: Axis;
+    readonly value: string;
+}
+export type Selector = readonly SelectorTerm[];
+export type EdgeReference = {
+    readonly kind: 'ref';
+    readonly discriminator: string;
+    readonly name: string;
+    readonly fragment?: string;
+} | {
+    readonly kind: 'identity';
+    readonly identity: string;
+    readonly fragment?: string;
+};
+export interface CompiledEdge {
+    readonly predicate: Predicate;
+    readonly direction: 'out' | 'in';
+    readonly reference: EdgeReference;
+    readonly target: string | null;
+    readonly fragment?: string;
+    readonly condition?: readonly Term[];
+    readonly span: Span;
+}
+export interface Cell {
+    readonly phase: Phase;
+    readonly primitive: Primitive;
+    readonly primary: boolean;
+    readonly text: string;
+    readonly condition?: readonly Term[];
+    readonly span: Span;
+}
+export interface Variant {
+    readonly key: string;
+    readonly value: CompiledValue;
+    readonly condition?: readonly Term[];
+    readonly span: Span;
+}
+export declare const REQUIREMENT_KINDS: readonly ["inputs", "outputs", "preconditions", "invariants", "failures", "authority", "context", "evolution"];
+export type RequirementKind = (typeof REQUIREMENT_KINDS)[number];
+export interface Requirement {
+    readonly id: string;
+    readonly kind: RequirementKind;
+    readonly text: string;
+    readonly condition?: readonly Term[];
+    readonly span: Span;
+}
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/semantic/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAExE,MAAM,MAAM,aAAa,GAAG,IAAI,GAAG,UAAU,GAAG,YAAY,CAAC;AAC7D,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AACD,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AACD,MAAM,MAAM,QAAQ,GAAG,SAAS,YAAY,EAAE,CAAC;AAE/C,MAAM,MAAM,aAAa,GACrB;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,UAAU,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzF,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,KAAK,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,IAAI,EAAE,CAAC;IACrC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,IAAI,EAAE,CAAC;IACrC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;IAC9B,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,IAAI,EAAE,CAAC;IACrC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AAED,eAAO,MAAM,iBAAiB,gHASpB,CAAC;AACX,MAAM,MAAM,eAAe,GAAG,CAAC,OAAO,iBAAiB,CAAC,CAAC,MAAM,CAAC,CAAC;AACjE,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,IAAI,EAAE,CAAC;IACrC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB"}

package/dist/semantic/types.js

@@ -0,0 +1,11 @@
+export const REQUIREMENT_KINDS = [
+    'inputs',
+    'outputs',
+    'preconditions',
+    'invariants',
+    'failures',
+    'authority',
+    'context',
+    'evolution',
+];
+//# sourceMappingURL=types.js.map

package/dist/semantic/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/semantic/types.ts"],"names":[],"mappings":"AA6CA,MAAM,CAAC,MAAM,iBAAiB,GAAG;IAC/B,QAAQ;IACR,SAAS;IACT,eAAe;IACf,YAAY;IACZ,UAAU;IACV,WAAW;IACX,SAAS;IACT,WAAW;CACH,CAAC"}

package/dist/semantic/variants.d.ts

@@ -0,0 +1,10 @@
+import type { RecordNode } from '../ast.js';
+import type { Spelling } from '../compile/values.js';
+import type { Diagnostic } from '../diagnostics.js';
+import type { Variant } from './types.js';
+export interface VariantsResult {
+    readonly variants: readonly Variant[];
+    readonly diagnostics: readonly Diagnostic[];
+}
+export declare function readVariants(record: RecordNode, path: string, spellings: readonly Spelling[]): VariantsResult;
+//# sourceMappingURL=variants.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"variants.d.ts","sourceRoot":"","sources":["../../src/semantic/variants.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAE5C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAErD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAGpD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAE1C,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAC;IACtC,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C;AAED,wBAAgB,YAAY,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,QAAQ,EAAE,GAAG,cAAc,CA8D7G"}

package/dist/semantic/variants.js

@@ -0,0 +1,63 @@
+import { resolveKey } from '../compile/values.js';
+import { diag } from '../diagnostics.js';
+import { conditionOf } from './conditions.js';
+import { misplacedIn } from './placement.js';
+export function readVariants(record, path, spellings) {
+    const variants = [];
+    const diagnostics = [];
+    for (const section of record.sections) {
+        if (section.name !== 'governance')
+            continue;
+        for (const field of section.children) {
+            if (field.kind !== 'field')
+                continue;
+            const { key, value } = resolveKey(field, spellings);
+            if (key === 'severity' || field.words[0] === 'when') {
+                const misplaced = misplacedIn([field], path)[0];
+                if (misplaced)
+                    diagnostics.push(misplaced);
+                continue;
+            }
+            const condition = conditionOf(field, path);
+            if (!condition.ok) {
+                diagnostics.push(condition.diagnostic);
+                continue;
+            }
+            const misplaced = misplacedIn(field.children.filter((c) => !(c.kind === 'field' && c.words[0] === 'when')), path)[0];
+            if (misplaced) {
+                diagnostics.push(misplaced);
+                continue;
+            }
+            variants.push({
+                key,
+                value,
+                ...(condition.condition === undefined ? {} : { condition: condition.condition }),
+                span: field.span,
+            });
+        }
+    }
+    const groups = new Map();
+    for (const variant of variants) {
+        const key = JSON.stringify([variant.key, variant.condition ?? []]);
+        const group = groups.get(key);
+        if (group)
+            group.push(variant);
+        else
+            groups.set(key, [variant]);
+    }
+    const refused = new Set();
+    for (const group of groups.values()) {
+        if (group.length < 2)
+            continue;
+        for (const variant of group) {
+            refused.add(variant);
+            diagnostics.push(diag('IA-LANG-VARIANT-DUPLICATE', path, variant.span.line, `Duplicate ${variant.key} condition; other occurrences at ${group
+                .filter((v) => v !== variant)
+                .map((v) => `${path}:${v.span.line}`)
+                .join(', ')}.`, { endLine: variant.span.endLine }));
+        }
+    }
+    diagnostics.sort((a, b) => a.line - b.line);
+    return { variants: variants.filter((v) => !refused.has(v)), diagnostics };
+}
+//# sourceMappingURL=variants.js.map

package/dist/semantic/variants.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"variants.js","sourceRoot":"","sources":["../../src/semantic/variants.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAElD,OAAO,EAAE,IAAI,EAAE,MAAM,mBAAmB,CAAC;AAEzC,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAQ7C,MAAM,UAAU,YAAY,CAAC,MAAkB,EAAE,IAAY,EAAE,SAA8B;IAC3F,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACtC,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY;YAAE,SAAS;QAC5C,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;YACrC,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;gBAAE,SAAS;YACrC,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YACpD,IAAI,GAAG,KAAK,UAAU,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,EAAE,CAAC;gBACpD,MAAM,SAAS,GAAG,WAAW,CAAC,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;gBAChD,IAAI,SAAS;oBAAE,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAC3C,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,MAAM,SAAS,GAAG,WAAW,CAC3B,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC,EAC5E,IAAI,CACL,CAAC,CAAC,CAAC,CAAC;YACL,IAAI,SAAS,EAAE,CAAC;gBACd,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;gBAC5B,SAAS;YACX,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC;gBACZ,GAAG;gBACH,KAAK;gBACL,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,MAAM,MAAM,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC5C,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,CAAC;QACnE,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,KAAK;YAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;;YAC1B,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;IAClC,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAW,CAAC;IACnC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;QACpC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS;QAC/B,KAAK,MAAM,OAAO,IAAI,KAAK,EAAE,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YACrB,WAAW,CAAC,IAAI,CACd,IAAI,CACF,2BAA2B,EAC3B,IAAI,EACJ,OAAO,CAAC,IAAI,CAAC,IAAI,EACjB,aAAa,OAAO,CAAC,GAAG,oCAAoC,KAAK;iBAC9D,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,OAAO,CAAC;iBAC5B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;iBACpC,IAAI,CAAC,IAAI,CAAC,GAAG,EAChB,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,CAClC,CACF,CAAC;QACJ,CAAC;IACH,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,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC;AAC5E,CAAC"}

package/dist/semantic/vocabulary.d.ts

@@ -0,0 +1,12 @@
+import type { Predicate } from '../taxonomy.js';
+import type { ConditionAxis } from './types.js';
+export declare const CONDITION_AXES: readonly ConditionAxis[];
+export declare function valuesFor(axis: string): readonly string[] | undefined;
+export declare function canonicalValue(axis: string, value: string): string | undefined;
+export interface Verb {
+    readonly predicate: Predicate;
+    readonly direction: 'out' | 'in';
+}
+export declare const VERB_PHRASES: readonly string[];
+export declare function verbOf(phrase: string): Verb | undefined;
+//# sourceMappingURL=vocabulary.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"vocabulary.d.ts","sourceRoot":"","sources":["../../src/semantic/vocabulary.ts"],"names":[],"mappings":"AAgBA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEhD,eAAO,MAAM,cAAc,EAAE,SAAS,aAAa,EAAwC,CAAC;AAe5F,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,GAAG,SAAS,CAErE;AACD,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAE9E;AAED,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,KAAK,GAAG,IAAI,CAAC;CAClC;AAQD,eAAO,MAAM,YAAY,EAAE,SAAS,MAAM,EAAqC,CAAC;AAChF,wBAAgB,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,CAEvD"}

package/dist/semantic/vocabulary.js

@@ -0,0 +1,33 @@
+import { ARTIFACT_SETS, AXES, CATEGORIES, KINDS, LANES, MOVES, PHASES, PREDICATES, PREDICATE_PAIRS, PRESENT_PHRASES, PRIMITIVES, PROVENANCES, SEVERITIES, SHAPES, } from '../taxonomy.js';
+export const CONDITION_AXES = [...AXES, 'severity', 'provenance'];
+const values = new Map([
+    ['shape', SHAPES],
+    ['category', CATEGORIES],
+    ['phase', PHASES],
+    ['primitive', PRIMITIVES],
+    ['move', MOVES],
+    ['kind', KINDS],
+    ['lane', LANES],
+    ['predicate', PREDICATES],
+    ['artifact-set', ARTIFACT_SETS],
+    ['severity', SEVERITIES],
+    ['provenance', PROVENANCES],
+]);
+export function valuesFor(axis) {
+    return values.get(axis);
+}
+export function canonicalValue(axis, value) {
+    return values.get(axis)?.find((candidate) => candidate.toLowerCase() === value.toLowerCase());
+}
+const verbs = new Map();
+for (const [predicate, inverse] of PREDICATE_PAIRS) {
+    verbs.set(predicate, Object.freeze({ predicate, direction: 'out' }));
+    verbs.set(inverse, Object.freeze({ predicate, direction: 'in' }));
+}
+for (const [index, phrase] of PRESENT_PHRASES.entries())
+    verbs.set(phrase, Object.freeze({ predicate: PREDICATE_PAIRS[index][0], direction: 'out' }));
+export const VERB_PHRASES = Object.freeze([...verbs.keys()]);
+export function verbOf(phrase) {
+    return verbs.get(phrase);
+}
+//# sourceMappingURL=vocabulary.js.map

package/dist/semantic/vocabulary.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"vocabulary.js","sourceRoot":"","sources":["../../src/semantic/vocabulary.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,aAAa,EACb,IAAI,EACJ,UAAU,EACV,KAAK,EACL,KAAK,EACL,KAAK,EACL,MAAM,EACN,UAAU,EACV,eAAe,EACf,eAAe,EACf,UAAU,EACV,WAAW,EACX,UAAU,EACV,MAAM,GACP,MAAM,gBAAgB,CAAC;AAIxB,MAAM,CAAC,MAAM,cAAc,GAA6B,CAAC,GAAG,IAAI,EAAE,UAAU,EAAE,YAAY,CAAC,CAAC;AAC5F,MAAM,MAAM,GAAG,IAAI,GAAG,CAA4B;IAChD,CAAC,OAAO,EAAE,MAAM,CAAC;IACjB,CAAC,UAAU,EAAE,UAAU,CAAC;IACxB,CAAC,OAAO,EAAE,MAAM,CAAC;IACjB,CAAC,WAAW,EAAE,UAAU,CAAC;IACzB,CAAC,MAAM,EAAE,KAAK,CAAC;IACf,CAAC,MAAM,EAAE,KAAK,CAAC;IACf,CAAC,MAAM,EAAE,KAAK,CAAC;IACf,CAAC,WAAW,EAAE,UAAU,CAAC;IACzB,CAAC,cAAc,EAAE,aAAa,CAAC;IAC/B,CAAC,UAAU,EAAE,UAAU,CAAC;IACxB,CAAC,YAAY,EAAE,WAAW,CAAC;CAC5B,CAAC,CAAC;AAEH,MAAM,UAAU,SAAS,CAAC,IAAY;IACpC,OAAO,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AACD,MAAM,UAAU,cAAc,CAAC,IAAY,EAAE,KAAa;IACxD,OAAO,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,WAAW,EAAE,KAAK,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC;AAChG,CAAC;AAMD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAgB,CAAC;AACtC,KAAK,MAAM,CAAC,SAAS,EAAE,OAAO,CAAC,IAAI,eAAe,EAAE,CAAC;IACnD,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IACrE,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AACpE,CAAC;AACD,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,eAAe,CAAC,OAAO,EAAE;IACrD,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,eAAe,CAAC,KAAK,CAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;AAChG,MAAM,CAAC,MAAM,YAAY,GAAsB,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;AAChF,MAAM,UAAU,MAAM,CAAC,MAAc;IACnC,OAAO,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AAC3B,CAAC"}

package/dist/taxonomy.d.ts

@@ -0,0 +1,51 @@
+import { KINDS, CATEGORIES, PREDICATE_PAIRS, PHASES, PRIMITIVES, MOVES, AXES, LANES, SHAPES, ARTIFACT_SETS, SEVERITIES, PROVENANCES, BANDS, PLACEMENT_KINDS, VALUE_TYPES, CARDINALITIES } from './kernel.generated.js';
+export { KINDS, CATEGORIES, PREDICATE_PAIRS, PHASES, PRIMITIVES, MOVES, AXES, LANES, SHAPES, ARTIFACT_SETS, SEVERITIES, PROVENANCES, BANDS, PLACEMENT_KINDS, VALUE_TYPES, CARDINALITIES, BAND_OF, PRESENT_PHRASES, DIMENSION_PATHS, KIND_LANES, PRIMITIVE_ANCHORS, SHAPE_ROWS, KERNEL_DIGEST, } from './kernel.generated.js';
+export type Kind = (typeof KINDS)[number];
+export type Category = (typeof CATEGORIES)[number];
+/** The eighteen active predicates with their inverses; semantic/vocabulary adds exact present-tense phrases. */
+export type Predicate = (typeof PREDICATE_PAIRS)[number][0];
+export declare const PREDICATES: readonly Predicate[];
+export declare const INVERSE_OF: ReadonlyMap<Predicate, string>;
+export type Phase = (typeof PHASES)[number];
+export type Primitive = (typeof PRIMITIVES)[number];
+export type Move = (typeof MOVES)[number];
+/** The nine routing axes a selector or condition may name (spec 5.3). */
+export type Axis = (typeof AXES)[number];
+export type Lane = (typeof LANES)[number];
+export type Shape = (typeof SHAPES)[number];
+export type ArtifactSet = (typeof ARTIFACT_SETS)[number];
+export type Severity = (typeof SEVERITIES)[number];
+export type Provenance = (typeof PROVENANCES)[number];
+/** Authority bands (graph spec 3.3): the closed set and nothing else. */
+export type Band = (typeof BANDS)[number];
+export type PlacementKind = (typeof PLACEMENT_KINDS)[number];
+/** The kernel's value types for schema fields (spec 4.3) and the edge cardinalities. */
+export type ValueType = (typeof VALUE_TYPES)[number];
+export type Cardinality = (typeof CARDINALITIES)[number];
+/** A schema field type: a value type, or `list of` one. */
+export type FieldType = ValueType | `list of ${ValueType}`;
+/**
+ * The closed table of text forms a schema may require with `as text form <form>` (W0-L5). Language-owned, not a
+ * kernel value type: adding a form changes this table and the compliance predicate for it, never the kernel.
+ */
+export declare const TEXT_FORMS: readonly ["iso-date"];
+export type TextForm = (typeof TEXT_FORMS)[number];
+export declare const isKind: (x: string) => x is Kind;
+export declare const isCategory: (x: string) => x is Category;
+export declare const isPredicate: (x: string) => x is Predicate;
+export declare const isPhase: (x: string) => x is Phase;
+export declare const isPrimitive: (x: string) => x is Primitive;
+export declare const isMove: (x: string) => x is Move;
+export declare const isAxis: (x: string) => x is Axis;
+export declare const isSeverity: (x: string) => x is Severity;
+export declare const isProvenance: (x: string) => x is Provenance;
+export declare const isPlacementKind: (x: string) => x is PlacementKind;
+export declare const isValueType: (x: string) => x is ValueType;
+export declare const isCardinality: (x: string) => x is Cardinality;
+export declare const isTextForm: (x: string) => x is TextForm;
+/** The `id` value rule (compliance C05): an ASCII letter, then letters, digits or hyphens. */
+export declare const isId: (x: string) => boolean;
+export declare function isBand(x: number): x is Band;
+/** The field type spelled by a run of words: `text`, or `list of text`. */
+export declare function fieldTypeOf(words: readonly string[]): FieldType | undefined;
+//# sourceMappingURL=taxonomy.d.ts.map

package/dist/taxonomy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"taxonomy.d.ts","sourceRoot":"","sources":["../src/taxonomy.ts"],"names":[],"mappings":"AACA,OAAO,EACL,KAAK,EACL,UAAU,EACV,eAAe,EACf,MAAM,EACN,UAAU,EACV,KAAK,EACL,IAAI,EACJ,KAAK,EACL,MAAM,EACN,aAAa,EACb,UAAU,EACV,WAAW,EACX,KAAK,EACL,eAAe,EACf,WAAW,EACX,aAAa,EACd,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,KAAK,EACL,UAAU,EACV,eAAe,EACf,MAAM,EACN,UAAU,EACV,KAAK,EACL,IAAI,EACJ,KAAK,EACL,MAAM,EACN,aAAa,EACb,UAAU,EACV,WAAW,EACX,KAAK,EACL,eAAe,EACf,WAAW,EACX,aAAa,EACb,OAAO,EACP,eAAe,EACf,eAAe,EACf,UAAU,EACV,iBAAiB,EACjB,UAAU,EACV,aAAa,GACd,MAAM,uBAAuB,CAAC;AAE/B,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC;AAE1C,MAAM,MAAM,QAAQ,GAAG,CAAC,OAAO,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC;AAEnD,gHAAgH;AAChH,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;AAC5D,eAAO,MAAM,UAAU,EAAE,SAAS,SAAS,EAA2C,CAAC;AACvF,eAAO,MAAM,UAAU,EAAE,WAAW,CAAC,SAAS,EAAE,MAAM,CAErD,CAAC;AAEF,MAAM,MAAM,KAAK,GAAG,CAAC,OAAO,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC;AAC5C,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC;AACpD,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC;AAC1C,yEAAyE;AACzE,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC;AACzC,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC;AAC1C,MAAM,MAAM,KAAK,GAAG,CAAC,OAAO,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC;AAC5C,MAAM,MAAM,WAAW,GAAG,CAAC,OAAO,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC;AAEzD,MAAM,MAAM,QAAQ,GAAG,CAAC,OAAO,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC;AACnD,MAAM,MAAM,UAAU,GAAG,CAAC,OAAO,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC;AAEtD,yEAAyE;AACzE,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC;AAC1C,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,eAAe,CAAC,CAAC,MAAM,CAAC,CAAC;AAE7D,wFAAwF;AACxF,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC;AACrD,MAAM,MAAM,WAAW,GAAG,CAAC,OAAO,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC;AACzD,2DAA2D;AAC3D,MAAM,MAAM,SAAS,GAAG,SAAS,GAAG,WAAW,SAAS,EAAE,CAAC;AAC3D;;;GAGG;AACH,eAAO,MAAM,UAAU,uBAAwB,CAAC;AAChD,MAAM,MAAM,QAAQ,GAAG,CAAC,OAAO,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC;AAKnD,eAAO,MAAM,MAAM,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,CAAC,IAAI,IAAoB,CAAC;AAC9D,eAAO,MAAM,UAAU,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,CAAC,IAAI,QAA6B,CAAC;AAC3E,eAAO,MAAM,WAAW,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,CAAC,IAAI,SAA8B,CAAC;AAC7E,eAAO,MAAM,OAAO,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,CAAC,IAAI,KAAsB,CAAC;AACjE,eAAO,MAAM,WAAW,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,CAAC,IAAI,SAA8B,CAAC;AAC7E,eAAO,MAAM,MAAM,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,CAAC,IAAI,IAAoB,CAAC;AAC9D,eAAO,MAAM,MAAM,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,CAAC,IAAI,IAAmB,CAAC;AAC7D,eAAO,MAAM,UAAU,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,CAAC,IAAI,QAA6B,CAAC;AAC3E,eAAO,MAAM,YAAY,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,CAAC,IAAI,UAAgC,CAAC;AAChF,eAAO,MAAM,eAAe,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,CAAC,IAAI,aAAuC,CAAC;AAC1F,eAAO,MAAM,WAAW,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,CAAC,IAAI,SAA+B,CAAC;AAC9E,eAAO,MAAM,aAAa,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,CAAC,IAAI,WAAmC,CAAC;AACpF,eAAO,MAAM,UAAU,EAAE,CAAC,CAAC,EAAE,MAAM,KAAK,CAAC,IAAI,QAA6B,CAAC;AAC3E,8FAA8F;AAC9F,eAAO,MAAM,IAAI,GAAI,GAAG,MAAM,KAAG,OAA4C,CAAC;AAC9E,wBAAgB,MAAM,CAAC,CAAC,EAAE,MAAM,GAAG,CAAC,IAAI,IAAI,CAE3C;AAED,2EAA2E;AAC3E,wBAAgB,WAAW,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,GAAG,SAAS,CAO3E"}

package/dist/taxonomy.js

@@ -0,0 +1,42 @@
+// Closed constants are generated from schema-validated native kernel records.
+import { KINDS, CATEGORIES, PREDICATE_PAIRS, PHASES, PRIMITIVES, MOVES, AXES, SEVERITIES, PROVENANCES, BANDS, PLACEMENT_KINDS, VALUE_TYPES, CARDINALITIES, } from './kernel.generated.js';
+export { KINDS, CATEGORIES, PREDICATE_PAIRS, PHASES, PRIMITIVES, MOVES, AXES, LANES, SHAPES, ARTIFACT_SETS, SEVERITIES, PROVENANCES, BANDS, PLACEMENT_KINDS, VALUE_TYPES, CARDINALITIES, BAND_OF, PRESENT_PHRASES, DIMENSION_PATHS, KIND_LANES, PRIMITIVE_ANCHORS, SHAPE_ROWS, KERNEL_DIGEST, } from './kernel.generated.js';
+export const PREDICATES = PREDICATE_PAIRS.map((pair) => pair[0]);
+export const INVERSE_OF = new Map(PREDICATE_PAIRS.map((pair) => [pair[0], pair[1]]));
+/**
+ * The closed table of text forms a schema may require with `as text form <form>` (W0-L5). Language-owned, not a
+ * kernel value type: adding a form changes this table and the compliance predicate for it, never the kernel.
+ */
+export const TEXT_FORMS = ['iso-date'];
+function member(set) {
+    return (x) => set.includes(x);
+}
+export const isKind = member(KINDS);
+export const isCategory = member(CATEGORIES);
+export const isPredicate = member(PREDICATES);
+export const isPhase = member(PHASES);
+export const isPrimitive = member(PRIMITIVES);
+export const isMove = member(MOVES);
+export const isAxis = member(AXES);
+export const isSeverity = member(SEVERITIES);
+export const isProvenance = member(PROVENANCES);
+export const isPlacementKind = member(PLACEMENT_KINDS);
+export const isValueType = member(VALUE_TYPES);
+export const isCardinality = member(CARDINALITIES);
+export const isTextForm = member(TEXT_FORMS);
+/** The `id` value rule (compliance C05): an ASCII letter, then letters, digits or hyphens. */
+export const isId = (x) => /^[A-Za-z][A-Za-z0-9-]*$/.test(x);
+export function isBand(x) {
+    return BANDS.includes(x);
+}
+/** The field type spelled by a run of words: `text`, or `list of text`. */
+export function fieldTypeOf(words) {
+    const first = words[0];
+    const third = words[2];
+    if (words.length === 1 && first !== undefined && isValueType(first))
+        return first;
+    if (words.length === 3 && first === 'list' && words[1] === 'of' && third !== undefined && isValueType(third))
+        return `list of ${third}`;
+    return undefined;
+}
+//# sourceMappingURL=taxonomy.js.map

package/dist/taxonomy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"taxonomy.js","sourceRoot":"","sources":["../src/taxonomy.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAC9E,OAAO,EACL,KAAK,EACL,UAAU,EACV,eAAe,EACf,MAAM,EACN,UAAU,EACV,KAAK,EACL,IAAI,EAIJ,UAAU,EACV,WAAW,EACX,KAAK,EACL,eAAe,EACf,WAAW,EACX,aAAa,GACd,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,KAAK,EACL,UAAU,EACV,eAAe,EACf,MAAM,EACN,UAAU,EACV,KAAK,EACL,IAAI,EACJ,KAAK,EACL,MAAM,EACN,aAAa,EACb,UAAU,EACV,WAAW,EACX,KAAK,EACL,eAAe,EACf,WAAW,EACX,aAAa,EACb,OAAO,EACP,eAAe,EACf,eAAe,EACf,UAAU,EACV,iBAAiB,EACjB,UAAU,EACV,aAAa,GACd,MAAM,uBAAuB,CAAC;AAQ/B,MAAM,CAAC,MAAM,UAAU,GAAyB,eAAe,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;AACvF,MAAM,CAAC,MAAM,UAAU,GAAmC,IAAI,GAAG,CAC/D,eAAe,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAU,CAAC,CAC3D,CAAC;AAuBF;;;GAGG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,UAAU,CAAU,CAAC;AAGhD,SAAS,MAAM,CAAmB,GAAiB;IACjD,OAAO,CAAC,CAAS,EAAU,EAAE,CAAE,GAAyB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;AACvE,CAAC;AACD,MAAM,CAAC,MAAM,MAAM,GAA6B,MAAM,CAAC,KAAK,CAAC,CAAC;AAC9D,MAAM,CAAC,MAAM,UAAU,GAAiC,MAAM,CAAC,UAAU,CAAC,CAAC;AAC3E,MAAM,CAAC,MAAM,WAAW,GAAkC,MAAM,CAAC,UAAU,CAAC,CAAC;AAC7E,MAAM,CAAC,MAAM,OAAO,GAA8B,MAAM,CAAC,MAAM,CAAC,CAAC;AACjE,MAAM,CAAC,MAAM,WAAW,GAAkC,MAAM,CAAC,UAAU,CAAC,CAAC;AAC7E,MAAM,CAAC,MAAM,MAAM,GAA6B,MAAM,CAAC,KAAK,CAAC,CAAC;AAC9D,MAAM,CAAC,MAAM,MAAM,GAA6B,MAAM,CAAC,IAAI,CAAC,CAAC;AAC7D,MAAM,CAAC,MAAM,UAAU,GAAiC,MAAM,CAAC,UAAU,CAAC,CAAC;AAC3E,MAAM,CAAC,MAAM,YAAY,GAAmC,MAAM,CAAC,WAAW,CAAC,CAAC;AAChF,MAAM,CAAC,MAAM,eAAe,GAAsC,MAAM,CAAC,eAAe,CAAC,CAAC;AAC1F,MAAM,CAAC,MAAM,WAAW,GAAkC,MAAM,CAAC,WAAW,CAAC,CAAC;AAC9E,MAAM,CAAC,MAAM,aAAa,GAAoC,MAAM,CAAC,aAAa,CAAC,CAAC;AACpF,MAAM,CAAC,MAAM,UAAU,GAAiC,MAAM,CAAC,UAAU,CAAC,CAAC;AAC3E,8FAA8F;AAC9F,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC9E,MAAM,UAAU,MAAM,CAAC,CAAS;IAC9B,OAAQ,KAA2B,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,WAAW,CAAC,KAAwB;IAClD,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACvB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACvB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,KAAK,SAAS,IAAI,WAAW,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAClF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,KAAK,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,IAAI,WAAW,CAAC,KAAK,CAAC;QAC1G,OAAO,WAAW,KAAK,EAAE,CAAC;IAC5B,OAAO,SAAS,CAAC;AACnB,CAAC"}