@inventarch/graph 0.0.0-stage → 1.1.0

package/dist/load.js

@@ -0,0 +1,320 @@
+import { KIND_LANES, canonicalPath, consentFor, isPhase, validatePool } from '@inventarch/language';
+import { dimensionsOf } from './coordinate.js';
+import { GraphUsageError, graphDiagnostic } from './diagnostics.js';
+import { snapshot } from './immutable.js';
+import { assertLocation, canonicalRoot, reaches } from './paths.js';
+import { referenceKey, resolve } from './resolve.js';
+import { compare, revisionOf, stableSerialize } from './revision.js';
+import { buildTextIndex } from './text.js';
+export const edgeOrder = (a, b) => compare(a.from ?? '', b.from ?? '') ||
+    compare(a.predicate, b.predicate) ||
+    compare(a.to ?? '', b.to ?? '') ||
+    compare(a.fragment ?? '', b.fragment ?? '') ||
+    compare(a.fragmentEndpoint ?? '', b.fragmentEndpoint ?? '') ||
+    compare(stableSerialize(a.condition ?? []), stableSerialize(b.condition ?? [])) ||
+    compare(a.author, b.author) ||
+    compare(a.source.path, b.source.path) ||
+    a.source.line - b.source.line;
+export function load(records, registry, options) {
+    validatePool(registry, records);
+    const location = canonicalRoot(options.location);
+    if (options.phase !== undefined && !isPhase(options.phase))
+        throw new GraphUsageError('IA-GRAPH-COORDINATE-VALUE-UNKNOWN', `Unknown phase '${options.phase}'; admitted: orient, plan, act, learn`);
+    const revision = revisionOf(registry, options);
+    const sourceLocations = new Map(options.sources.map((s) => [canonicalPath(s.path), s.location]));
+    const seen = new Set();
+    const diagnostics = [];
+    let occurrences = records
+        .map((record) => {
+        assertLocation({ placement: record.placement, provenance: record.provenance });
+        const sourceLocation = sourceLocations.get(record.source.path);
+        if (sourceLocation === undefined)
+            throw new TypeError(`Record source ${record.source.path} is absent from revision inputs`);
+        if (sourceLocation.placement.kind !== record.placement.kind ||
+            sourceLocation.placement.band !== record.placement.band ||
+            canonicalRoot(sourceLocation.placement.reach) !== canonicalRoot(record.placement.reach) ||
+            sourceLocation.provenance !== record.provenance)
+            throw new TypeError(`Record placement/provenance disagrees with revision source ${record.source.path}`);
+        const key = JSON.stringify([record.identity, record.source.path, record.source.line]);
+        if (seen.has(key))
+            throw new TypeError(`Duplicate record occurrence ${key}`);
+        seen.add(key);
+        const dimensions = dimensionsOf(record);
+        diagnostics.push(...dimensions.diagnostics);
+        const node = {
+            ...record,
+            band: record.placement.band,
+            reach: canonicalRoot(record.placement.reach),
+            dimensions: dimensions.dimensions,
+        };
+        return { key, node, status: dimensions.diagnostics.length > 0 ? 'refused' : 'inactive' };
+    })
+        .sort((a, b) => compare(a.node.identity, b.node.identity) ||
+        compare(a.node.source.path, b.node.source.path) ||
+        a.node.source.line - b.node.source.line);
+    const groups = new Map();
+    for (const occurrence of occurrences) {
+        const node = occurrence.node;
+        const phaseAdmitted = options.phase === undefined ||
+            node.selectors.length === 0 ||
+            node.selectors.some((group) => !group.some((t) => t.axis === 'phase') || group.some((t) => t.axis === 'phase' && t.value === options.phase));
+        if (occurrence.status === 'refused' || !reaches(node.reach, location) || !phaseAdmitted)
+            continue;
+        const group = groups.get(node.identity) ?? [];
+        group.push(occurrence);
+        groups.set(node.identity, group);
+    }
+    const states = new Map();
+    const nodes = new Map();
+    const shadows = [];
+    const ties = [];
+    for (const [identity, group] of groups) {
+        const band = Math.max(...group.map((o) => o.node.band));
+        const highest = group.filter((o) => o.node.band === band);
+        if (highest.length > 1) {
+            ties.push({ identity, band: highest[0].node.band, occurrences: highest.map((o) => o.key) });
+            for (const occurrence of highest) {
+                states.set(occurrence.key, { status: 'tied' });
+                diagnostics.push(graphDiagnostic('IA-GRAPH-IDENTITY-TIE', occurrence.node.source.path, occurrence.node.source.line, `${identity} ties at band ${band}: ${highest.map((o) => `${o.node.source.path}:${o.node.source.line}`).join(', ')}`));
+            }
+            for (const occurrence of group)
+                if (occurrence.node.band !== band)
+                    states.set(occurrence.key, { status: 'blocked' });
+            continue;
+        }
+        const winner = highest[0];
+        nodes.set(identity, winner.node);
+        states.set(winner.key, { status: 'winner' });
+        for (const loser of group)
+            if (loser !== winner) {
+                states.set(loser.key, { status: 'shadowed', shadowedBy: winner.key });
+                shadows.push({ identity, winner: winner.key, shadowed: loser.key });
+            }
+    }
+    occurrences = occurrences.map((o) => ({ ...o, ...states.get(o.key) }));
+    const byName = new Map(), byDiscriminator = new Map(), byKind = new Map(), bySystem = new Map(), byCategory = new Map(), byLane = new Map(), byArtifactSet = new Map();
+    const cells = new Map(), selectors = new Map(), conditions = new Map();
+    const post = (map, key, identity) => {
+        const list = map.get(key) ?? [];
+        if (!list.includes(identity))
+            list.push(identity);
+        map.set(key, list);
+    };
+    for (const node of nodes.values()) {
+        post(byName, node.name, node.identity);
+        post(byDiscriminator, node.discriminator, node.identity);
+        post(byKind, node.kind, node.identity);
+        post(bySystem, node.system, node.identity);
+        post(byCategory, registry.registrations.get(node.discriminator).category, node.identity);
+        post(byLane, node.kind === 'contract' && node.facet === 'authority' ? 'authority' : KIND_LANES[node.kind], node.identity);
+        if (node.dimensions.artifactSet !== undefined)
+            post(byArtifactSet, node.dimensions.artifactSet, node.identity);
+        for (const cell of node.cells) {
+            const key = `${cell.phase}/${cell.primitive}`, list = cells.get(key) ?? [];
+            list.push({ identity: node.identity, primary: cell.primary, span: cell.span });
+            cells.set(key, list);
+        }
+        for (const group of node.selectors)
+            for (const term of group) {
+                const map = selectors.get(term.axis) ?? new Map();
+                post(map, term.value, node.identity);
+                selectors.set(term.axis, map);
+            }
+        for (const product of [...node.cells, ...node.edges, ...node.variants, ...node.requirements])
+            for (const term of product.condition ?? [])
+                post(conditions, `${term.axis}=${term.value}`, node.identity);
+    }
+    const edgeMap = new Map();
+    const pool = [...nodes.values()];
+    for (const author of pool)
+        for (const assertion of author.edges) {
+            const candidates = (assertion.reference.kind === 'identity'
+                ? [assertion.reference.identity]
+                : (byName.get(assertion.reference.name.toLowerCase()) ?? [])).flatMap((id) => {
+                const node = nodes.get(id);
+                return node === undefined ? [] : [node];
+            });
+            const resolved = resolve(assertion.reference, candidates, registry);
+            if (!resolved.ok && resolved.code === 'IA-GRAPH-TARGET-AMBIGUOUS') {
+                diagnostics.push(graphDiagnostic(resolved.code, author.source.path, assertion.span.line, `Ambiguous ${referenceKey(assertion.reference)}`));
+                continue;
+            }
+            const target = resolved.ok ? resolved.identity : null;
+            if (!resolved.ok)
+                diagnostics.push(graphDiagnostic(resolved.code, author.source.path, assertion.span.line, `Missing ${referenceKey(assertion.reference)}`, true));
+            const from = assertion.direction === 'out' ? author.identity : target;
+            const to = assertion.direction === 'out' ? target : author.identity;
+            if (from !== null && to !== null && !structuralGround(author, assertion, nodes.get(to), registry)) {
+                const refusal = consentFor(registry, assertion.predicate, nodes.get(from).discriminator, nodes.get(to).discriminator, assertion.direction === 'out' ? assertion.fragment : undefined);
+                if (refusal !== undefined) {
+                    diagnostics.push(graphDiagnostic('IA-GRAPH-EDGE-UNCONSENTED', author.source.path, assertion.span.line, `${refusal} system refuses ${assertion.predicate} from ${from} to ${to}`));
+                    continue;
+                }
+            }
+            const source = { path: author.source.path, ...assertion.span };
+            const edge = {
+                from,
+                predicate: assertion.predicate,
+                to,
+                author: author.identity,
+                reference: assertion.reference,
+                conditionSubject: author.identity,
+                source,
+                ...(assertion.fragment === undefined
+                    ? {}
+                    : {
+                        fragment: assertion.fragment,
+                        fragmentEndpoint: assertion.direction === 'out' ? 'to' : 'from',
+                    }),
+                ...(assertion.condition === undefined ? {} : { condition: assertion.condition }),
+                assertions: [
+                    { author: author.identity, direction: assertion.direction, reference: assertion.reference, source },
+                ],
+            };
+            const key = stableSerialize([
+                from,
+                edge.predicate,
+                to,
+                edge.fragment ?? null,
+                edge.fragmentEndpoint ?? null,
+                edge.condition ?? [],
+                edge.condition === undefined ? null : author.identity,
+                target === null ? referenceKey(edge.reference) : null,
+            ]);
+            const prior = edgeMap.get(key);
+            edgeMap.set(key, prior === undefined ? edge : { ...prior, assertions: [...prior.assertions, ...edge.assertions] });
+        }
+    const edges = [...edgeMap.values()].sort(edgeOrder);
+    const out = new Map(), inbound = new Map();
+    const dangling = [], byDanglingReference = new Map();
+    const adjacent = (map, identity, edge) => {
+        const predicates = map.get(identity) ?? new Map();
+        const list = predicates.get(edge.predicate) ?? [];
+        list.push(edge);
+        predicates.set(edge.predicate, list);
+        map.set(identity, predicates);
+    };
+    for (const edge of edges) {
+        if (edge.from !== null)
+            adjacent(out, edge.from, edge);
+        if (edge.to !== null)
+            adjacent(inbound, edge.to, edge);
+        if (edge.from === null || edge.to === null) {
+            dangling.push(edge);
+            const key = referenceKey(edge.reference), list = byDanglingReference.get(key) ?? [];
+            list.push(edge);
+            byDanglingReference.set(key, list);
+        }
+    }
+    diagnostics.sort((a, b) => compare(a.path, b.path) || a.line - b.line || compare(a.code, b.code));
+    const references = fieldReferences(nodes, byName, registry), referencedBy = new Map();
+    for (const reference of references) {
+        const list = referencedBy.get(reference.to) ?? [];
+        list.push(reference);
+        referencedBy.set(reference.to, list);
+    }
+    return snapshot({
+        revision,
+        location,
+        ...(options.phase === undefined ? {} : { phase: options.phase }),
+        registry,
+        nodes,
+        occurrences,
+        shadows,
+        ties,
+        diagnostics,
+        edges,
+        out,
+        in: inbound,
+        byName,
+        byDiscriminator,
+        byKind,
+        bySystem,
+        byCategory,
+        byLane,
+        byArtifactSet,
+        cells,
+        selectors,
+        conditions,
+        dangling,
+        byDanglingReference,
+        references,
+        referencedBy,
+        text: buildTextIndex(nodes.values()),
+    });
+}
+function structuralGround(author, edge, target, registry) {
+    if (author.discriminator !== 'system' ||
+        target.discriminator !== 'schema' ||
+        edge.direction !== 'out' ||
+        edge.predicate !== 'ground' ||
+        edge.condition !== undefined ||
+        edge.fragment !== undefined)
+        return false;
+    const declaration = registry.systems.get(author.name);
+    return (declaration !== undefined &&
+        canonicalPath(declaration.path) === author.source.path &&
+        declaration.entries.some((e) => e.schema === target.name && e.span.line === edge.span.line));
+}
+const referenceOrder = (a, b) => compare(a.from, b.from) ||
+    compare(a.field, b.field) ||
+    compare(a.to, b.to) ||
+    compare(a.source.path, b.source.path) ||
+    a.source.line - b.source.line ||
+    compare(stableSerialize(a.reference), stableSerialize(b.reference));
+/**
+ * G06a: every resolved typed ref value a winner holds in its head or sections, as a derived index beside the edges.
+ * It reads what the compiler kept as fields, so it never duplicates an edge: `relationships` is skipped by name (its
+ * refs are edge assertions, and a consent-refused one must not reappear here), and a ref inside the span of an edge
+ * the compiler already lowered (a floor @system `discriminators` entry's `ground`) is skipped too. A field reference
+ * carries no predicate and is never consent-, cardinality- or COMP-checked; an unresolved or ambiguous ref is left
+ * out without a diagnostic, since compliance already reports it (IA-COMP-FIELD-REF-MISSING).
+ */
+function fieldReferences(nodes, byName, registry) {
+    const found = new Map();
+    const refs = (value) => value.kind === 'ref' ? [value] : value.kind === 'list' ? value.items.flatMap(refs) : [];
+    for (const author of nodes.values()) {
+        const lowered = author.edges.map((edge) => edge.span);
+        const visit = (children, path) => {
+            for (const child of children) {
+                const [value, field] = 'item' in child ? [child.item, path] : [child.value, `${path}.${child.key}`];
+                if (!lowered.some((span) => span.line <= child.span.line && child.span.line <= span.endLine))
+                    for (const reference of refs(value)) {
+                        const candidates = (byName.get(reference.name.toLowerCase()) ?? []).flatMap((id) => {
+                            const node = nodes.get(id);
+                            return node === undefined ? [] : [node];
+                        });
+                        const resolved = resolve(reference, candidates, registry);
+                        if (!resolved.ok)
+                            continue;
+                        const entry = {
+                            from: author.identity,
+                            to: resolved.identity,
+                            field,
+                            reference,
+                            source: { path: author.source.path, line: child.span.line, endLine: child.span.endLine },
+                        };
+                        found.set(stableSerialize([
+                            entry.from,
+                            entry.field,
+                            entry.to,
+                            entry.source.path,
+                            entry.source.line,
+                            entry.reference,
+                        ]), entry);
+                    }
+                if (!('item' in child))
+                    visit(child.fields ?? [], field);
+            }
+        };
+        visit(author.head, 'head');
+        for (const section of author.sections)
+            if (section.name !== 'relationships')
+                visit(section.fields, section.name);
+    }
+    return [...found.values()].sort(referenceOrder);
+}
+export function serialize(graph) {
+    return stableSerialize(graph);
+}
+//# sourceMappingURL=load.js.map

package/dist/load.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"load.js","sourceRoot":"","sources":["../src/load.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,aAAa,EAAE,UAAU,EAAE,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AASpG,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAEpE,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AACpE,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACrD,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAG3C,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAO,EAAE,CAAO,EAAU,EAAE,CACpD,OAAO,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC;IACnC,OAAO,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC;IACjC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC;IAC/B,OAAO,CAAC,CAAC,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC;IAC3C,OAAO,CAAC,CAAC,CAAC,gBAAgB,IAAI,EAAE,EAAE,CAAC,CAAC,gBAAgB,IAAI,EAAE,CAAC;IAC3D,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,EAAE,eAAe,CAAC,CAAC,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;IAC/E,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC;IAC3B,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;IACrC,CAAC,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;AAChC,MAAM,UAAU,IAAI,CAAC,OAAkC,EAAE,QAAwB,EAAE,OAAoB;IACrG,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAChC,MAAM,QAAQ,GAAG,aAAa,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACjD,IAAI,OAAO,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC;QACxD,MAAM,IAAI,eAAe,CACvB,mCAAmC,EACnC,kBAAkB,OAAO,CAAC,KAAK,uCAAuC,CACvE,CAAC;IACJ,MAAM,QAAQ,GAAG,UAAU,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAC/C,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACjG,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,WAAW,GAAsB,EAAE,CAAC;IAC1C,IAAI,WAAW,GAAiB,OAAO;SACpC,GAAG,CAAa,CAAC,MAAM,EAAE,EAAE;QAC1B,cAAc,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;QAC/E,MAAM,cAAc,GAAG,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC/D,IAAI,cAAc,KAAK,SAAS;YAC9B,MAAM,IAAI,SAAS,CAAC,iBAAiB,MAAM,CAAC,MAAM,CAAC,IAAI,iCAAiC,CAAC,CAAC;QAC5F,IACE,cAAc,CAAC,SAAS,CAAC,IAAI,KAAK,MAAM,CAAC,SAAS,CAAC,IAAI;YACvD,cAAc,CAAC,SAAS,CAAC,IAAI,KAAK,MAAM,CAAC,SAAS,CAAC,IAAI;YACvD,aAAa,CAAC,cAAc,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,aAAa,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC;YACvF,cAAc,CAAC,UAAU,KAAK,MAAM,CAAC,UAAU;YAE/C,MAAM,IAAI,SAAS,CAAC,8DAA8D,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;QAC1G,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QACtF,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,+BAA+B,GAAG,EAAE,CAAC,CAAC;QAC7E,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;QACxC,WAAW,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;QAC5C,MAAM,IAAI,GAAS;YACjB,GAAG,MAAM;YACT,IAAI,EAAE,MAAM,CAAC,SAAS,CAAC,IAAI;YAC3B,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC;YAC5C,UAAU,EAAE,UAAU,CAAC,UAAU;SAClC,CAAC;QACF,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC;IAC3F,CAAC,CAAC;SACD,IAAI,CACH,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC;QACzC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;QAC/C,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAC1C,CAAC;IACJ,MAAM,MAAM,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC/C,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC;QAC7B,MAAM,aAAa,GACjB,OAAO,CAAC,KAAK,KAAK,SAAS;YAC3B,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;YAC3B,IAAI,CAAC,SAAS,CAAC,IAAI,CACjB,CAAC,KAAK,EAAE,EAAE,CACR,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,KAAK,KAAK,OAAO,CAAC,KAAK,CAAC,CAC/G,CAAC;QACJ,IAAI,UAAU,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,aAAa;YAAE,SAAS;QAClG,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;QAC9C,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvB,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACnC,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAqD,CAAC;IAC5E,MAAM,KAAK,GAAG,IAAI,GAAG,EAAgB,CAAC;IACtC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,IAAI,GAAU,EAAE,CAAC;IACvB,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QACxD,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;QAC1D,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvB,IAAI,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC7F,KAAK,MAAM,UAAU,IAAI,OAAO,EAAE,CAAC;gBACjC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;gBAC/C,WAAW,CAAC,IAAI,CACd,eAAe,CACb,uBAAuB,EACvB,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAC3B,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAC3B,GAAG,QAAQ,iBAAiB,IAAI,KAAK,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACpH,CACF,CAAC;YACJ,CAAC;YACD,KAAK,MAAM,UAAU,IAAI,KAAK;gBAC5B,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI;oBAAE,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;YACvF,SAAS;QACX,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC;QAC3B,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC7C,KAAK,MAAM,KAAK,IAAI,KAAK;YACvB,IAAI,KAAK,KAAK,MAAM,EAAE,CAAC;gBACrB,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;gBACtE,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,EAAE,QAAQ,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC;YACtE,CAAC;IACL,CAAC;IACD,WAAW,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACvE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAoB,EACxC,eAAe,GAAG,IAAI,GAAG,EAAoB,EAC7C,MAAM,GAAG,IAAI,GAAG,EAAoB,EACpC,QAAQ,GAAG,IAAI,GAAG,EAAoB,EACtC,UAAU,GAAG,IAAI,GAAG,EAAoB,EACxC,MAAM,GAAG,IAAI,GAAG,EAAoB,EACpC,aAAa,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC9C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAqB,EACxC,SAAS,GAAG,IAAI,GAAG,EAAiC,EACpD,UAAU,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC3C,MAAM,IAAI,GAAG,CAAC,GAA0B,EAAE,GAAW,EAAE,QAAgB,EAAQ,EAAE;QAC/E,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QAChC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAClD,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IACrB,CAAC,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;QAClC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QACvC,IAAI,CAAC,eAAe,EAAE,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QACzD,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QACvC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC3C,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,CAAE,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC1F,IAAI,CACF,MAAM,EACN,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAC5F,IAAI,CAAC,QAAQ,CACd,CAAC;QACF,IAAI,IAAI,CAAC,UAAU,CAAC,WAAW,KAAK,SAAS;YAAE,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,UAAU,CAAC,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC/G,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC9B,MAAM,GAAG,GAAG,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,SAAS,EAAE,EAC3C,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;YAC9B,IAAI,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YAC/E,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACvB,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,SAAS;YAChC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAoB,CAAC;gBACpE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACrC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAChC,CAAC;QACH,KAAK,MAAM,OAAO,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,CAAC,YAAY,CAAC;YAC1F,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,SAAS,IAAI,EAAE;gBAAE,IAAI,CAAC,UAAU,EAAE,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC9G,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAgB,CAAC;IACxC,MAAM,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IACjC,KAAK,MAAM,MAAM,IAAI,IAAI;QACvB,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YACrC,MAAM,UAAU,GAAG,CACjB,SAAS,CAAC,SAAS,CAAC,IAAI,KAAK,UAAU;gBACrC,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC;gBAChC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,CAAC,CAC/D,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE;gBACf,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAC3B,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC1C,CAAC,CAAC,CAAC;YACH,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;YACpE,IAAI,CAAC,QAAQ,CAAC,EAAE,IAAI,QAAQ,CAAC,IAAI,KAAK,2BAA2B,EAAE,CAAC;gBAClE,WAAW,CAAC,IAAI,CACd,eAAe,CACb,QAAQ,CAAC,IAAI,EACb,MAAM,CAAC,MAAM,CAAC,IAAI,EAClB,SAAS,CAAC,IAAI,CAAC,IAAI,EACnB,aAAa,YAAY,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,CACjD,CACF,CAAC;gBACF,SAAS;YACX,CAAC;YACD,MAAM,MAAM,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;YACtD,IAAI,CAAC,QAAQ,CAAC,EAAE;gBACd,WAAW,CAAC,IAAI,CACd,eAAe,CACb,QAAQ,CAAC,IAAI,EACb,MAAM,CAAC,MAAM,CAAC,IAAI,EAClB,SAAS,CAAC,IAAI,CAAC,IAAI,EACnB,WAAW,YAAY,CAAC,SAAS,CAAC,SAAS,CAAC,EAAE,EAC9C,IAAI,CACL,CACF,CAAC;YACJ,MAAM,IAAI,GAAG,SAAS,CAAC,SAAS,KAAK,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC;YACtE,MAAM,EAAE,GAAG,SAAS,CAAC,SAAS,KAAK,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC;YACpE,IAAI,IAAI,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,IAAI,CAAC,gBAAgB,CAAC,MAAM,EAAE,SAAS,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAE,EAAE,QAAQ,CAAC,EAAE,CAAC;gBACnG,MAAM,OAAO,GAAG,UAAU,CACxB,QAAQ,EACR,SAAS,CAAC,SAAS,EACnB,KAAK,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,aAAa,EAC9B,KAAK,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC,aAAa,EAC5B,SAAS,CAAC,SAAS,KAAK,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAC/D,CAAC;gBACF,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;oBAC1B,WAAW,CAAC,IAAI,CACd,eAAe,CACb,2BAA2B,EAC3B,MAAM,CAAC,MAAM,CAAC,IAAI,EAClB,SAAS,CAAC,IAAI,CAAC,IAAI,EACnB,GAAG,OAAO,mBAAmB,SAAS,CAAC,SAAS,SAAS,IAAI,OAAO,EAAE,EAAE,CACzE,CACF,CAAC;oBACF,SAAS;gBACX,CAAC;YACH,CAAC;YACD,MAAM,MAAM,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,SAAS,CAAC,IAAI,EAAE,CAAC;YAC/D,MAAM,IAAI,GAAS;gBACjB,IAAI;gBACJ,SAAS,EAAE,SAAS,CAAC,SAAS;gBAC9B,EAAE;gBACF,MAAM,EAAE,MAAM,CAAC,QAAQ;gBACvB,SAAS,EAAE,SAAS,CAAC,SAAS;gBAC9B,gBAAgB,EAAE,MAAM,CAAC,QAAQ;gBACjC,MAAM;gBACN,GAAG,CAAC,SAAS,CAAC,QAAQ,KAAK,SAAS;oBAClC,CAAC,CAAC,EAAE;oBACJ,CAAC,CAAC;wBACE,QAAQ,EAAE,SAAS,CAAC,QAAQ;wBAC5B,gBAAgB,EAAE,SAAS,CAAC,SAAS,KAAK,KAAK,CAAC,CAAC,CAAE,IAAc,CAAC,CAAC,CAAE,MAAgB;qBACtF,CAAC;gBACN,GAAG,CAAC,SAAS,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,SAAS,CAAC,SAAS,EAAE,CAAC;gBAChF,UAAU,EAAE;oBACV,EAAE,MAAM,EAAE,MAAM,CAAC,QAAQ,EAAE,SAAS,EAAE,SAAS,CAAC,SAAS,EAAE,SAAS,EAAE,SAAS,CAAC,SAAS,EAAE,MAAM,EAAE;iBACpG;aACF,CAAC;YACF,MAAM,GAAG,GAAG,eAAe,CAAC;gBAC1B,IAAI;gBACJ,IAAI,CAAC,SAAS;gBACd,EAAE;gBACF,IAAI,CAAC,QAAQ,IAAI,IAAI;gBACrB,IAAI,CAAC,gBAAgB,IAAI,IAAI;gBAC7B,IAAI,CAAC,SAAS,IAAI,EAAE;gBACpB,IAAI,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ;gBACrD,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI;aACtD,CAAC,CAAC;YACH,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC/B,OAAO,CAAC,GAAG,CACT,GAAG,EACH,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,UAAU,EAAE,CAAC,GAAG,KAAK,CAAC,UAAU,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,EAAE,CACjG,CAAC;QACJ,CAAC;IACH,MAAM,KAAK,GAAG,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACpD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkC,EACnD,OAAO,GAAG,IAAI,GAAG,EAAkC,CAAC;IACtD,MAAM,QAAQ,GAAW,EAAE,EACzB,mBAAmB,GAAG,IAAI,GAAG,EAAkB,CAAC;IAClD,MAAM,QAAQ,GAAG,CAAC,GAAwC,EAAE,QAAgB,EAAE,IAAU,EAAQ,EAAE;QAChG,MAAM,UAAU,GAAG,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAI,GAAG,EAAqB,CAAC;QACrE,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;QAClD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChB,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QACrC,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAChC,CAAC,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;YAAE,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACvD,IAAI,IAAI,CAAC,EAAE,KAAK,IAAI;YAAE,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACvD,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC;YAC3C,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACpB,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,EACtC,IAAI,GAAG,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;YAC5C,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChB,mBAAmB,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;IACD,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAClG,MAAM,UAAU,GAAG,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,EACzD,YAAY,GAAG,IAAI,GAAG,EAA4B,CAAC;IACrD,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;QAClD,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACrB,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,QAAQ,CAAC;QACd,QAAQ;QACR,QAAQ;QACR,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;QAChE,QAAQ;QACR,KAAK;QACL,WAAW;QACX,OAAO;QACP,IAAI;QACJ,WAAW;QACX,KAAK;QACL,GAAG;QACH,EAAE,EAAE,OAAO;QACX,MAAM;QACN,eAAe;QACf,MAAM;QACN,QAAQ;QACR,UAAU;QACV,MAAM;QACN,aAAa;QACb,KAAK;QACL,SAAS;QACT,UAAU;QACV,QAAQ;QACR,mBAAmB;QACnB,UAAU;QACV,YAAY;QACZ,IAAI,EAAE,cAAc,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;KACrC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,gBAAgB,CAAC,MAAY,EAAE,IAAkB,EAAE,MAAY,EAAE,QAAwB;IAChG,IACE,MAAM,CAAC,aAAa,KAAK,QAAQ;QACjC,MAAM,CAAC,aAAa,KAAK,QAAQ;QACjC,IAAI,CAAC,SAAS,KAAK,KAAK;QACxB,IAAI,CAAC,SAAS,KAAK,QAAQ;QAC3B,IAAI,CAAC,SAAS,KAAK,SAAS;QAC5B,IAAI,CAAC,QAAQ,KAAK,SAAS;QAE3B,OAAO,KAAK,CAAC;IACf,MAAM,WAAW,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACtD,OAAO,CACL,WAAW,KAAK,SAAS;QACzB,aAAa,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI;QACtD,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAC5F,CAAC;AACJ,CAAC;AACD,MAAM,cAAc,GAAG,CAAC,CAAiB,EAAE,CAAiB,EAAU,EAAE,CACtE,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;IACvB,OAAO,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC;IACzB,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;IACnB,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC;IACrC,CAAC,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI;IAC7B,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;AACtE;;;;;;;GAOG;AACH,SAAS,eAAe,CACtB,KAAgC,EAChC,MAA8C,EAC9C,QAAwB;IAExB,MAAM,KAAK,GAAG,IAAI,GAAG,EAA0B,CAAC;IAChD,MAAM,IAAI,GAAG,CAAC,KAAoB,EAAsD,EAAE,CACxF,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1F,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;QACpC,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtD,MAAM,KAAK,GAAG,CAAC,QAAkC,EAAE,IAAY,EAAQ,EAAE;YACvE,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;gBAC7B,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,MAAM,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,IAAI,IAAI,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC;gBACpG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC;oBAC1F,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;wBACpC,MAAM,UAAU,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE;4BACjF,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;4BAC3B,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;wBAC1C,CAAC,CAAC,CAAC;wBACH,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;wBAC1D,IAAI,CAAC,QAAQ,CAAC,EAAE;4BAAE,SAAS;wBAC3B,MAAM,KAAK,GAAmB;4BAC5B,IAAI,EAAE,MAAM,CAAC,QAAQ;4BACrB,EAAE,EAAE,QAAQ,CAAC,QAAQ;4BACrB,KAAK;4BACL,SAAS;4BACT,MAAM,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE;yBACzF,CAAC;wBACF,KAAK,CAAC,GAAG,CACP,eAAe,CAAC;4BACd,KAAK,CAAC,IAAI;4BACV,KAAK,CAAC,KAAK;4BACX,KAAK,CAAC,EAAE;4BACR,KAAK,CAAC,MAAM,CAAC,IAAI;4BACjB,KAAK,CAAC,MAAM,CAAC,IAAI;4BACjB,KAAK,CAAC,SAAS;yBAChB,CAAC,EACF,KAAK,CACN,CAAC;oBACJ,CAAC;gBACH,IAAI,CAAC,CAAC,MAAM,IAAI,KAAK,CAAC;oBAAE,KAAK,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE,EAAE,KAAK,CAAC,CAAC;YAC3D,CAAC;QACH,CAAC,CAAC;QACF,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC3B,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ;YAAE,IAAI,OAAO,CAAC,IAAI,KAAK,eAAe;gBAAE,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC;IACnH,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;AAClD,CAAC;AACD,MAAM,UAAU,SAAS,CAAC,KAAY;IACpC,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC;AAChC,CAAC"}

package/dist/paths.d.ts

@@ -0,0 +1,5 @@
+import type { Location } from '@inventarch/language';
+export declare function canonicalRoot(value: string): string;
+export declare function reaches(reach: string, location: string): boolean;
+export declare function assertLocation(location: Location): void;
+//# sourceMappingURL=paths.d.ts.map

package/dist/paths.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"paths.d.ts","sourceRoot":"","sources":["../src/paths.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAGrD,wBAAgB,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAUnD;AACD,wBAAgB,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAIhE;AACD,wBAAgB,cAAc,CAAC,QAAQ,EAAE,QAAQ,GAAG,IAAI,CAQvD"}

package/dist/paths.js

@@ -0,0 +1,28 @@
+import { BAND_OF, canonicalPath, isPlacementKind, isProvenance } from '@inventarch/language';
+import { GraphUsageError } from './diagnostics.js';
+export function canonicalRoot(value) {
+    if (/^(?:[A-Za-z]:|[\\/])/.test(value))
+        throw new GraphUsageError('IA-GRAPH-SCOPE-INVALID', `Scope root '${value}' must be corpus-relative`);
+    try {
+        const path = canonicalPath(value === '' ? '__root__' : `${value}/__root__`);
+        if (path.startsWith('../') || /^[A-Za-z]:/.test(path))
+            throw new Error('Root must stay within the corpus');
+        return path === '__root__' ? '' : path.slice(0, -'/__root__'.length);
+    }
+    catch (error) {
+        throw new GraphUsageError('IA-GRAPH-SCOPE-INVALID', `Invalid scope root '${value}': ${String(error)}`);
+    }
+}
+export function reaches(reach, location) {
+    const from = canonicalRoot(reach);
+    const to = canonicalRoot(location);
+    return from === '' || from === to || to.startsWith(`${from}/`);
+}
+export function assertLocation(location) {
+    if (!isPlacementKind(location.placement.kind) ||
+        BAND_OF[location.placement.kind] !== location.placement.band ||
+        !isProvenance(location.provenance))
+        throw new TypeError('Location must have a valid placement kind/band pair and provenance');
+    canonicalRoot(location.placement.reach);
+}
+//# sourceMappingURL=paths.js.map

package/dist/paths.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"paths.js","sourceRoot":"","sources":["../src/paths.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAE7F,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAEnD,MAAM,UAAU,aAAa,CAAC,KAAa;IACzC,IAAI,sBAAsB,CAAC,IAAI,CAAC,KAAK,CAAC;QACpC,MAAM,IAAI,eAAe,CAAC,wBAAwB,EAAE,eAAe,KAAK,2BAA2B,CAAC,CAAC;IACvG,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,KAAK,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,KAAK,WAAW,CAAC,CAAC;QAC5E,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;QAC3G,OAAO,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;IACvE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,IAAI,eAAe,CAAC,wBAAwB,EAAE,uBAAuB,KAAK,MAAM,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACzG,CAAC;AACH,CAAC;AACD,MAAM,UAAU,OAAO,CAAC,KAAa,EAAE,QAAgB;IACrD,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IAClC,MAAM,EAAE,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;IACnC,OAAO,IAAI,KAAK,EAAE,IAAI,IAAI,KAAK,EAAE,IAAI,EAAE,CAAC,UAAU,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC;AACjE,CAAC;AACD,MAAM,UAAU,cAAc,CAAC,QAAkB;IAC/C,IACE,CAAC,eAAe,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC;QACzC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,QAAQ,CAAC,SAAS,CAAC,IAAI;QAC5D,CAAC,YAAY,CAAC,QAAQ,CAAC,UAAU,CAAC;QAElC,MAAM,IAAI,SAAS,CAAC,oEAAoE,CAAC,CAAC;IAC5F,aAAa,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAC1C,CAAC"}

package/dist/queries.d.ts

@@ -0,0 +1,19 @@
+import type { Term, Variant } from '@inventarch/language';
+import type { Coordinate, Dimensions } from './coordinate.js';
+import type { GraphDiagnostic } from './diagnostics.js';
+import type { CellSelection, Node } from './types.js';
+/** Both severity sources can raise the stakes; the native list is strongest first. */
+export declare function effectiveSeverity(subject: Dimensions, coordinate: Coordinate): string | undefined;
+export declare function conditionHolds(condition: readonly Term[] | undefined, subject: Dimensions, input: Coordinate): boolean;
+export interface SelectorMatch {
+    readonly status: 'matched' | 'neutral' | 'disqualified';
+    readonly specificity: number;
+}
+export declare function selectors(record: Node, input: Coordinate): SelectorMatch;
+export interface VariantSelection {
+    readonly selected: ReadonlyMap<string, Variant>;
+    readonly diagnostics: readonly GraphDiagnostic[];
+}
+export declare function variants(record: Node, input: Coordinate): VariantSelection;
+export declare function cell(record: Node, input: Coordinate): CellSelection | undefined;
+//# sourceMappingURL=queries.d.ts.map

package/dist/queries.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"queries.d.ts","sourceRoot":"","sources":["../src/queries.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAE1D,OAAO,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE9D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAGxD,OAAO,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAEtD,sFAAsF;AACtF,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,GAAG,MAAM,GAAG,SAAS,CAGjG;AAED,wBAAgB,cAAc,CAC5B,SAAS,EAAE,SAAS,IAAI,EAAE,GAAG,SAAS,EACtC,OAAO,EAAE,UAAU,EACnB,KAAK,EAAE,UAAU,GAChB,OAAO,CAaT;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,MAAM,EAAE,SAAS,GAAG,SAAS,GAAG,cAAc,CAAC;IACxD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AACD,wBAAgB,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,GAAG,aAAa,CAcxE;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAChD,QAAQ,CAAC,WAAW,EAAE,SAAS,eAAe,EAAE,CAAC;CAClD;AACD,wBAAgB,QAAQ,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,GAAG,gBAAgB,CA0B1E;AAED,wBAAgB,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,GAAG,aAAa,GAAG,SAAS,CAU/E"}

package/dist/queries.js

@@ -0,0 +1,70 @@
+import { SEVERITIES } from '@inventarch/language';
+import { validateCoordinate } from './coordinate.js';
+import { graphDiagnostic } from './diagnostics.js';
+import { snapshot } from './immutable.js';
+import { compare } from './revision.js';
+/** Both severity sources can raise the stakes; the native list is strongest first. */
+export function effectiveSeverity(subject, coordinate) {
+    const request = validateCoordinate(coordinate).severity;
+    return SEVERITIES.find((value) => value === subject.severity || value === request);
+}
+export function conditionHolds(condition, subject, input) {
+    const coordinate = validateCoordinate(input);
+    return (condition ?? []).every(({ axis, value }) => {
+        const actual = axis === 'severity'
+            ? effectiveSeverity(subject, coordinate)
+            : axis === 'provenance'
+                ? subject.provenance
+                : axis === 'artifact-set'
+                    ? subject.artifactSet
+                    : coordinate[axis];
+        return actual === value;
+    });
+}
+export function selectors(record, input) {
+    const coordinate = validateCoordinate(input);
+    let specificity = -1, neutral = record.selectors.length === 0;
+    for (const group of record.selectors) {
+        if (group.some((term) => coordinate[term.axis] !== undefined && coordinate[term.axis] !== term.value))
+            continue;
+        if (group.every((term) => coordinate[term.axis] === term.value))
+            specificity = Math.max(specificity, group.length);
+        else
+            neutral = true;
+    }
+    return Object.freeze(specificity >= 0
+        ? { status: 'matched', specificity }
+        : { status: neutral ? 'neutral' : 'disqualified', specificity: 0 });
+}
+export function variants(record, input) {
+    const coordinate = validateCoordinate(input), families = new Map();
+    for (const variant of record.variants) {
+        if (!conditionHolds(variant.condition, record.dimensions, coordinate))
+            continue;
+        const group = families.get(variant.key) ?? [];
+        group.push(variant);
+        families.set(variant.key, group);
+    }
+    const selected = new Map(), diagnostics = [];
+    for (const [key, family] of [...families].sort(([a], [b]) => compare(a, b))) {
+        const maximum = Math.max(...family.map((v) => v.condition?.length ?? 0));
+        const best = family.filter((v) => (v.condition?.length ?? 0) === maximum).sort((a, b) => a.span.line - b.span.line);
+        if (best.length === 1)
+            selected.set(key, best[0]);
+        else
+            diagnostics.push(graphDiagnostic('IA-GRAPH-VARIANT-AMBIGUOUS', record.source.path, best[0].span.line, `${record.identity}: ${key} has equal maximum specificity ${maximum} at lines ${best.map((v) => v.span.line).join(', ')}`));
+    }
+    return snapshot({ selected, diagnostics });
+}
+export function cell(record, input) {
+    const coordinate = validateCoordinate(input);
+    if (coordinate.phase === undefined || coordinate.primitive === undefined)
+        return undefined;
+    const applicable = record.cells.filter((c) => c.phase === coordinate.phase && conditionHolds(c.condition, record.dimensions, coordinate));
+    const exact = applicable.find((c) => c.primitive === coordinate.primitive);
+    if (exact !== undefined)
+        return snapshot({ kind: 'exact', cell: exact });
+    const primary = applicable.find((c) => c.primary);
+    return primary === undefined ? undefined : snapshot({ kind: 'primary', cell: primary });
+}
+//# sourceMappingURL=queries.js.map

package/dist/queries.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"queries.js","sourceRoot":"","sources":["../src/queries.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAElD,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAErD,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAEnD,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAGxC,sFAAsF;AACtF,MAAM,UAAU,iBAAiB,CAAC,OAAmB,EAAE,UAAsB;IAC3E,MAAM,OAAO,GAAG,kBAAkB,CAAC,UAAU,CAAC,CAAC,QAAQ,CAAC;IACxD,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,OAAO,CAAC,QAAQ,IAAI,KAAK,KAAK,OAAO,CAAC,CAAC;AACrF,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,SAAsC,EACtC,OAAmB,EACnB,KAAiB;IAEjB,MAAM,UAAU,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAC7C,OAAO,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE;QACjD,MAAM,MAAM,GACV,IAAI,KAAK,UAAU;YACjB,CAAC,CAAC,iBAAiB,CAAC,OAAO,EAAE,UAAU,CAAC;YACxC,CAAC,CAAC,IAAI,KAAK,YAAY;gBACrB,CAAC,CAAC,OAAO,CAAC,UAAU;gBACpB,CAAC,CAAC,IAAI,KAAK,cAAc;oBACvB,CAAC,CAAC,OAAO,CAAC,WAAW;oBACrB,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QAC3B,OAAO,MAAM,KAAK,KAAK,CAAC;IAC1B,CAAC,CAAC,CAAC;AACL,CAAC;AAMD,MAAM,UAAU,SAAS,CAAC,MAAY,EAAE,KAAiB;IACvD,MAAM,UAAU,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAC7C,IAAI,WAAW,GAAG,CAAC,CAAC,EAClB,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC;IAC1C,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QACrC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,SAAS,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC;YAAE,SAAS;QAChH,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC;YAAE,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;;YAC9G,OAAO,GAAG,IAAI,CAAC;IACtB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAClB,WAAW,IAAI,CAAC;QACd,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE;QACpC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,cAAc,EAAE,WAAW,EAAE,CAAC,EAAE,CACrE,CAAC;AACJ,CAAC;AAMD,MAAM,UAAU,QAAQ,CAAC,MAAY,EAAE,KAAiB;IACtD,MAAM,UAAU,GAAG,kBAAkB,CAAC,KAAK,CAAC,EAC1C,QAAQ,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC1C,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACtC,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC;YAAE,SAAS;QAChF,MAAM,KAAK,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QAC9C,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpB,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACnC,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAmB,EACzC,WAAW,GAAsB,EAAE,CAAC;IACtC,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5E,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,EAAE,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC;QACzE,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,MAAM,IAAI,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpH,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAE,CAAC,CAAC;;YAEjD,WAAW,CAAC,IAAI,CACd,eAAe,CACb,4BAA4B,EAC5B,MAAM,CAAC,MAAM,CAAC,IAAI,EAClB,IAAI,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,IAAI,EAClB,GAAG,MAAM,CAAC,QAAQ,KAAK,GAAG,kCAAkC,OAAO,aAAa,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC1H,CACF,CAAC;IACN,CAAC;IACD,OAAO,QAAQ,CAAC,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC,CAAC;AAC7C,CAAC;AAED,MAAM,UAAU,IAAI,CAAC,MAAY,EAAE,KAAiB;IAClD,MAAM,UAAU,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;IAC7C,IAAI,UAAU,CAAC,KAAK,KAAK,SAAS,IAAI,UAAU,CAAC,SAAS,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC3F,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CACpC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,UAAU,CAAC,KAAK,IAAI,cAAc,CAAC,CAAC,CAAC,SAAS,EAAE,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,CAClG,CAAC;IACF,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,UAAU,CAAC,SAAS,CAAC,CAAC;IAC3E,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC,EAAE,IAAI,EAAE,OAAgB,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IAClF,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IAClD,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,SAAkB,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;AACnG,CAAC"}

package/dist/resolve.d.ts

@@ -0,0 +1,12 @@
+import type { EdgeReference, FrozenRegistry, ResolutionCandidate } from '@inventarch/language';
+export type Resolution = {
+    readonly ok: true;
+    readonly identity: string;
+    readonly fragment?: string;
+} | {
+    readonly ok: false;
+    readonly code: 'IA-GRAPH-TARGET-MISSING' | 'IA-GRAPH-TARGET-AMBIGUOUS';
+};
+export declare function resolve(reference: EdgeReference, pool: readonly ResolutionCandidate[], registry: FrozenRegistry): Resolution;
+export declare function referenceKey(reference: EdgeReference): string;
+//# sourceMappingURL=resolve.d.ts.map

package/dist/resolve.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve.d.ts","sourceRoot":"","sources":["../src/resolve.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,aAAa,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAE/F,MAAM,MAAM,UAAU,GAClB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,GAC5E;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,yBAAyB,GAAG,2BAA2B,CAAA;CAAE,CAAC;AACnG,wBAAgB,OAAO,CACrB,SAAS,EAAE,aAAa,EACxB,IAAI,EAAE,SAAS,mBAAmB,EAAE,EACpC,QAAQ,EAAE,cAAc,GACvB,UAAU,CASZ;AACD,wBAAgB,YAAY,CAAC,SAAS,EAAE,aAAa,GAAG,MAAM,CAI7D"}

package/dist/resolve.js

@@ -0,0 +1,17 @@
+import { resolveTarget } from '@inventarch/language';
+export function resolve(reference, pool, registry) {
+    const result = resolveTarget(reference, registry, pool);
+    if (result.kind !== 'resolved')
+        return { ok: false, code: result.kind === 'missing' ? 'IA-GRAPH-TARGET-MISSING' : 'IA-GRAPH-TARGET-AMBIGUOUS' };
+    return {
+        ok: true,
+        identity: result.target.identity,
+        ...(result.fragment === undefined ? {} : { fragment: result.fragment }),
+    };
+}
+export function referenceKey(reference) {
+    return reference.kind === 'identity'
+        ? reference.identity
+        : `@${reference.discriminator} ${reference.name.toLowerCase()}`;
+}
+//# sourceMappingURL=resolve.js.map

package/dist/resolve.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"resolve.js","sourceRoot":"","sources":["../src/resolve.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAMrD,MAAM,UAAU,OAAO,CACrB,SAAwB,EACxB,IAAoC,EACpC,QAAwB;IAExB,MAAM,MAAM,GAAG,aAAa,CAAC,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IACxD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU;QAC5B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,yBAAyB,CAAC,CAAC,CAAC,2BAA2B,EAAE,CAAC;IAClH,OAAO;QACL,EAAE,EAAE,IAAI;QACR,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ;QAChC,GAAG,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC;KACxE,CAAC;AACJ,CAAC;AACD,MAAM,UAAU,YAAY,CAAC,SAAwB;IACnD,OAAO,SAAS,CAAC,IAAI,KAAK,UAAU;QAClC,CAAC,CAAC,SAAS,CAAC,QAAQ;QACpB,CAAC,CAAC,IAAI,SAAS,CAAC,aAAa,IAAI,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;AACpE,CAAC"}

package/dist/revision.d.ts

@@ -0,0 +1,16 @@
+import type { FrozenRegistry, Location } from '@inventarch/language';
+export interface RevisionSource {
+    readonly path: string;
+    readonly text: string;
+    readonly location: Location;
+}
+export interface RevisionInputs {
+    readonly sources: readonly RevisionSource[];
+    readonly languageVersion: string;
+    readonly kernelDigest: string;
+}
+export declare const compare: (a: string, b: string) => number;
+/** Stable structured-data encoding. Collection tags keep maps, sets and arrays distinct. */
+export declare function stableSerialize(value: unknown): string;
+export declare function revisionOf(registry: FrozenRegistry, inputs: RevisionInputs): string;
+//# sourceMappingURL=revision.d.ts.map

package/dist/revision.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"revision.d.ts","sourceRoot":"","sources":["../src/revision.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAGrE,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;CAC7B;AACD,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;IAC5C,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;CAC/B;AACD,eAAO,MAAM,OAAO,GAAI,GAAG,MAAM,EAAE,GAAG,MAAM,KAAG,MAAsC,CAAC;AAEtF,4FAA4F;AAC5F,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAwBtD;AACD,wBAAgB,UAAU,CAAC,QAAQ,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,GAAG,MAAM,CA0BnF"}

package/dist/revision.js

@@ -0,0 +1,58 @@
+import { createHash } from 'node:crypto';
+import { canonicalPath } from '@inventarch/language';
+import { assertLocation, canonicalRoot } from './paths.js';
+export const compare = (a, b) => (a < b ? -1 : a > b ? 1 : 0);
+/** Stable structured-data encoding. Collection tags keep maps, sets and arrays distinct. */
+export function stableSerialize(value) {
+    const ordered = (item) => {
+        if (item instanceof Map)
+            return {
+                $map: [...item]
+                    .map(([k, v]) => [ordered(k), ordered(v)])
+                    .sort((a, b) => compare(JSON.stringify(a[0]), JSON.stringify(b[0]))),
+            };
+        if (item instanceof Set)
+            return { $set: [...item].map(ordered).sort((a, b) => compare(JSON.stringify(a), JSON.stringify(b))) };
+        if (Array.isArray(item))
+            return item.map(ordered);
+        if (item !== null && typeof item === 'object')
+            return {
+                $object: Object.entries(item)
+                    .filter(([, v]) => v !== undefined)
+                    .sort(([a], [b]) => compare(a, b))
+                    .map(([k, v]) => [k, ordered(v)]),
+            };
+        if (typeof item === 'number' && !Number.isFinite(item))
+            throw new TypeError('Cannot serialize a non-finite number');
+        if (item === undefined || typeof item === 'function' || typeof item === 'symbol' || typeof item === 'bigint')
+            throw new TypeError('Expected structured serializable data');
+        return item;
+    };
+    return JSON.stringify(ordered(value));
+}
+export function revisionOf(registry, inputs) {
+    const sources = inputs.sources
+        .map((source) => {
+        assertLocation(source.location);
+        return {
+            path: canonicalPath(source.path),
+            text: source.text,
+            location: {
+                ...source.location,
+                placement: { ...source.location.placement, reach: canonicalRoot(source.location.placement.reach) },
+            },
+        };
+    })
+        .sort((a, b) => compare(a.path, b.path));
+    if (new Set(sources.map((s) => s.path)).size !== sources.length)
+        throw new TypeError('Revision sources have duplicate canonical paths');
+    return createHash('sha256')
+        .update(stableSerialize({
+        sources,
+        registry,
+        languageVersion: inputs.languageVersion,
+        kernelDigest: inputs.kernelDigest,
+    }))
+        .digest('hex');
+}
+//# sourceMappingURL=revision.js.map

package/dist/revision.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"revision.js","sourceRoot":"","sources":["../src/revision.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAErD,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAY3D,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,CAAS,EAAE,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAEtF,4FAA4F;AAC5F,MAAM,UAAU,eAAe,CAAC,KAAc;IAC5C,MAAM,OAAO,GAAG,CAAC,IAAa,EAAW,EAAE;QACzC,IAAI,IAAI,YAAY,GAAG;YACrB,OAAO;gBACL,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC;qBACZ,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;qBACzC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;aACvE,CAAC;QACJ,IAAI,IAAI,YAAY,GAAG;YACrB,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACxG,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAClD,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;YAC3C,OAAO;gBACL,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;qBAC1B,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC;qBAClC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;qBACjC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;aACpC,CAAC;QACJ,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,SAAS,CAAC,sCAAsC,CAAC,CAAC;QACpH,IAAI,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,KAAK,UAAU,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,IAAI,KAAK,QAAQ;YAC1G,MAAM,IAAI,SAAS,CAAC,uCAAuC,CAAC,CAAC;QAC/D,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,OAAO,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;AACxC,CAAC;AACD,MAAM,UAAU,UAAU,CAAC,QAAwB,EAAE,MAAsB;IACzE,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO;SAC3B,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;QACd,cAAc,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAChC,OAAO;YACL,IAAI,EAAE,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC;YAChC,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,QAAQ,EAAE;gBACR,GAAG,MAAM,CAAC,QAAQ;gBAClB,SAAS,EAAE,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,EAAE,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE;aACnG;SACF,CAAC;IACJ,CAAC,CAAC;SACD,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3C,IAAI,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,MAAM;QAC7D,MAAM,IAAI,SAAS,CAAC,iDAAiD,CAAC,CAAC;IACzE,OAAO,UAAU,CAAC,QAAQ,CAAC;SACxB,MAAM,CACL,eAAe,CAAC;QACd,OAAO;QACP,QAAQ;QACR,eAAe,EAAE,MAAM,CAAC,eAAe;QACvC,YAAY,EAAE,MAAM,CAAC,YAAY;KAClC,CAAC,CACH;SACA,MAAM,CAAC,KAAK,CAAC,CAAC;AACnB,CAAC"}