@inventarch/graph 0.0.0-stage → 1.0.0

package/dist/text.d.ts

@@ -0,0 +1,16 @@
+import type { CompiledRecord } from '@inventarch/language';
+import type { Graph } from './types.js';
+export declare function fold(text: string): string;
+export declare function tokenize(text: string): readonly string[];
+export interface TextIndex {
+    readonly postings: ReadonlyMap<string, ReadonlyMap<string, number>>;
+    readonly lengths: ReadonlyMap<string, number>;
+}
+export interface SearchHit {
+    readonly identity: string;
+    readonly score: number;
+    readonly terms: readonly string[];
+}
+export declare function buildTextIndex(records: Iterable<CompiledRecord>): TextIndex;
+export declare function search(graph: Graph, query: string, scope?: ReadonlySet<string>): readonly SearchHit[];
+//# sourceMappingURL=text.d.ts.map

package/dist/text.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"text.d.ts","sourceRoot":"","sources":["../src/text.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAiB,cAAc,EAAiB,MAAM,sBAAsB,CAAC;AAGzF,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAQxC,wBAAgB,IAAI,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAMzC;AACD,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAQxD;AACD,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACpE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC/C;AACD,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAyCD,wBAAgB,cAAc,CAAC,OAAO,EAAE,QAAQ,CAAC,cAAc,CAAC,GAAG,SAAS,CAa3E;AACD,wBAAgB,MAAM,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,GAAG,SAAS,SAAS,EAAE,CA2BrG"}

package/dist/text.js

@@ -0,0 +1,99 @@
+import { snapshot } from './immutable.js';
+import { compare } from './revision.js';
+// Donor store/text.ts normalization, stopwords and BM25 constants; no source lexer.
+const STOPWORDS = new Set('the and for that this with was are has have had not but you your our its all any can did does how what when where which who why will would should could into about from they them then than there here still yet were been being just like make made need want'.split(' '));
+export function fold(text) {
+    return text
+        .normalize('NFKC')
+        .toLowerCase()
+        .normalize('NFD')
+        .replace(/\p{M}+/gu, '');
+}
+export function tokenize(text) {
+    return Object.freeze(fold(text)
+        .split(/[^\p{L}\p{N}]+/u)
+        .filter((word) => word.length >= 2)
+        .map((word) => word.slice(0, 64))
+        .filter((word) => !STOPWORDS.has(word)));
+}
+function valueText(value) {
+    switch (value.kind) {
+        case 'scalar':
+        case 'string':
+        case 'prose':
+            return value.text;
+        case 'ref':
+            return `${value.discriminator} ${value.name} ${value.fragment ?? ''}`;
+        case 'list':
+            return value.items.map(valueText).join(' ');
+        case 'block':
+        case 'none':
+            return '';
+    }
+}
+function recordText(record) {
+    const parts = [record.displayName, record.discriminator], seen = new Set();
+    const collect = (children) => {
+        for (const child of children) {
+            const text = valueText('key' in child ? child.value : child.item);
+            if (text !== '') {
+                parts.push(text);
+                seen.add(child.span.line);
+            }
+            if ('key' in child && child.fields !== undefined)
+                collect(child.fields);
+        }
+    };
+    collect(record.head);
+    for (const section of record.sections)
+        collect(section.fields);
+    // Semantic products retain body spans. Count their text only if the structured
+    // field did not already carry it; never double the weight of a cognition cell.
+    for (const product of [...record.cells, ...record.variants, ...record.requirements]) {
+        if (seen.has(product.span.line))
+            continue;
+        parts.push('value' in product ? valueText(product.value) : product.text);
+        seen.add(product.span.line);
+    }
+    return parts.join(' ');
+}
+export function buildTextIndex(records) {
+    const postings = new Map(), lengths = new Map();
+    for (const record of records) {
+        const tokens = tokenize(recordText(record));
+        lengths.set(record.identity, tokens.length);
+        for (const token of tokens) {
+            const posting = postings.get(token) ?? new Map();
+            posting.set(record.identity, (posting.get(record.identity) ?? 0) + 1);
+            postings.set(token, posting);
+        }
+    }
+    return { postings, lengths }; // load snapshots this internal construction product
+}
+export function search(graph, query, scope) {
+    const terms = [...new Set(tokenize(query))];
+    const visible = [...graph.text.lengths.keys()].filter((id) => scope === undefined || scope.has(id));
+    if (terms.length === 0 || visible.length === 0)
+        return Object.freeze([]);
+    const allowed = new Set(visible), total = visible.length;
+    const average = visible.reduce((sum, id) => sum + graph.text.lengths.get(id), 0) / total || 1;
+    const scores = new Map(), matched = new Map();
+    for (const term of terms) {
+        const postings = [...(graph.text.postings.get(term) ?? [])].filter(([id]) => allowed.has(id));
+        if (postings.length === 0)
+            continue;
+        const idf = Math.log(1 + (total - postings.length + 0.5) / (postings.length + 0.5));
+        for (const [id, tf] of postings) {
+            const denominator = tf + 1.2 * (1 - 0.75 + (0.75 * graph.text.lengths.get(id)) / average);
+            scores.set(id, (scores.get(id) ?? 0) + (idf * tf * 2.2) / denominator);
+            const hits = matched.get(id) ?? [];
+            hits.push(term);
+            matched.set(id, hits);
+        }
+    }
+    return snapshot([...scores]
+        .filter(([, score]) => score > 0)
+        .map(([identity, score]) => ({ identity, score, terms: matched.get(identity) }))
+        .sort((a, b) => b.score - a.score || compare(a.identity, b.identity)));
+}
+//# sourceMappingURL=text.js.map

package/dist/text.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"text.js","sourceRoot":"","sources":["../src/text.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAGxC,oFAAoF;AACpF,MAAM,SAAS,GAAG,IAAI,GAAG,CACvB,gQAAgQ,CAAC,KAAK,CACpQ,GAAG,CACJ,CACF,CAAC;AACF,MAAM,UAAU,IAAI,CAAC,IAAY;IAC/B,OAAO,IAAI;SACR,SAAS,CAAC,MAAM,CAAC;SACjB,WAAW,EAAE;SACb,SAAS,CAAC,KAAK,CAAC;SAChB,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;AAC7B,CAAC;AACD,MAAM,UAAU,QAAQ,CAAC,IAAY;IACnC,OAAO,MAAM,CAAC,MAAM,CAClB,IAAI,CAAC,IAAI,CAAC;SACP,KAAK,CAAC,iBAAiB,CAAC;SACxB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC;SAClC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;SAChC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAC1C,CAAC;AACJ,CAAC;AAWD,SAAS,SAAS,CAAC,KAAoB;IACrC,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,OAAO;YACV,OAAO,KAAK,CAAC,IAAI,CAAC;QACpB,KAAK,KAAK;YACR,OAAO,GAAG,KAAK,CAAC,aAAa,IAAI,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;QACxE,KAAK,MAAM;YACT,OAAO,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC9C,KAAK,OAAO,CAAC;QACb,KAAK,MAAM;YACT,OAAO,EAAE,CAAC;IACd,CAAC;AACH,CAAC;AACD,SAAS,UAAU,CAAC,MAAsB;IACxC,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,aAAa,CAAC,EACtD,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC3B,MAAM,OAAO,GAAG,CAAC,QAAkC,EAAQ,EAAE;QAC3D,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAClE,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;gBAChB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACjB,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5B,CAAC;YACD,IAAI,KAAK,IAAI,KAAK,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;gBAAE,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC,CAAC;IACF,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACrB,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ;QAAE,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC/D,+EAA+E;IAC/E,+EAA+E;IAC/E,KAAK,MAAM,OAAO,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,GAAG,MAAM,CAAC,QAAQ,EAAE,GAAG,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC;QACpF,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,SAAS;QAC1C,KAAK,CAAC,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACzE,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC;AACD,MAAM,UAAU,cAAc,CAAC,OAAiC;IAC9D,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA+B,EACrD,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,QAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;QAC5C,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;QAC5C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,GAAG,EAAkB,CAAC;YACjE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACtE,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IACD,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,oDAAoD;AACpF,CAAC;AACD,MAAM,UAAU,MAAM,CAAC,KAAY,EAAE,KAAa,EAAE,KAA2B;IAC7E,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAC5C,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACpG,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACzE,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,EAC9B,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC;IACzB,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAE,EAAE,CAAC,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC;IAC/F,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,EACtC,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;IACxC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9F,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACpC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,GAAG,QAAQ,CAAC,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC;QACpF,KAAK,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,QAAQ,EAAE,CAAC;YAChC,MAAM,WAAW,GAAG,EAAE,GAAG,GAAG,GAAG,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC,GAAG,OAAO,CAAC,CAAC;YAC3F,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,GAAG,EAAE,GAAG,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC;YACvE,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;YACnC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChB,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CACb,CAAC,GAAG,MAAM,CAAC;SACR,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,CAAC;SAChC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAE,EAAE,CAAC,CAAC;SAChF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CACxE,CAAC;AACJ,CAAC"}

package/dist/traverse.d.ts

@@ -0,0 +1,39 @@
+import type { Kind, Predicate } from '@inventarch/language';
+import type { Coordinate } from './coordinate.js';
+import type { Edge, Graph } from './types.js';
+export interface TraverseOptions {
+    readonly start: readonly string[];
+    readonly follow?: readonly string[];
+    readonly direction?: 'out' | 'in' | 'both';
+    readonly depth?: number;
+    readonly filter?: {
+        readonly kind?: Kind;
+        readonly discriminator?: string;
+        readonly system?: string;
+    };
+    readonly coordinate?: Coordinate;
+    readonly scope?: ReadonlySet<string>;
+    /** Optional work bounds; omission preserves the complete traversal contract. */
+    readonly maxNodes?: number;
+    readonly maxEdges?: number;
+}
+export interface Via {
+    readonly from: string;
+    readonly predicate: Predicate;
+    readonly direction: 'out' | 'in';
+    readonly target: string;
+}
+export interface WalkNode {
+    readonly identity: string;
+    readonly depth: number;
+}
+export interface Traversal {
+    readonly nodes: readonly WalkNode[];
+    readonly via: readonly Via[];
+    readonly edges: readonly Edge[];
+    readonly gated: readonly Edge[];
+    readonly dangling: readonly Edge[];
+    readonly truncated?: boolean;
+}
+export declare function traverse(graph: Graph, options: TraverseOptions): Traversal;
+//# sourceMappingURL=traverse.d.ts.map

package/dist/traverse.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"traverse.d.ts","sourceRoot":"","sources":["../src/traverse.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAE5D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAMlD,OAAO,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAE9C,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,SAAS,CAAC,EAAE,KAAK,GAAG,IAAI,GAAG,MAAM,CAAC;IAC3C,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;QAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IACtG,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;IACjC,QAAQ,CAAC,KAAK,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACrC,gFAAgF;IAChF,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;CAC5B;AACD,MAAM,WAAW,GAAG;IAClB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,KAAK,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AACD,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AACD,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,KAAK,EAAE,SAAS,QAAQ,EAAE,CAAC;IACpC,QAAQ,CAAC,GAAG,EAAE,SAAS,GAAG,EAAE,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,SAAS,IAAI,EAAE,CAAC;IACnC,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;CAC9B;AAED,wBAAgB,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,eAAe,GAAG,SAAS,CAiH1E"}

package/dist/traverse.js

@@ -0,0 +1,107 @@
+import { VERB_PHRASES, verbOf } from '@inventarch/language';
+import { validateCoordinate } from './coordinate.js';
+import { GraphUsageError } from './diagnostics.js';
+import { snapshot } from './immutable.js';
+import { edgeOrder } from './load.js';
+import { conditionHolds } from './queries.js';
+import { compare, stableSerialize } from './revision.js';
+export function traverse(graph, options) {
+    for (const limit of [options.maxNodes, options.maxEdges])
+        if (limit !== undefined && (!Number.isSafeInteger(limit) || limit < 1))
+            throw new GraphUsageError('IA-GRAPH-TRAVERSAL-INVALID', 'Traversal limits must be positive integers');
+    let truncated = false, examined = 0;
+    const depth = options.depth ?? 1;
+    if (!Number.isInteger(depth) || depth < 0 || depth > 8)
+        throw new GraphUsageError('IA-GRAPH-TRAVERSAL-INVALID', 'Traversal depth must be an integer from 0 to 8');
+    const direction = options.direction ?? 'both';
+    if (options.follow === undefined && !['out', 'in', 'both'].includes(direction))
+        throw new GraphUsageError('IA-GRAPH-TRAVERSAL-INVALID', `Unknown direction '${direction}'`);
+    const followed = options.follow?.map((phrase) => {
+        const verb = verbOf(phrase);
+        if (verb === undefined)
+            throw new GraphUsageError('IA-GRAPH-VERB-UNKNOWN', `Unknown verb '${phrase}'; admitted: ${VERB_PHRASES.join(', ')}`);
+        return verb;
+    });
+    const coordinate = options.coordinate === undefined ? undefined : validateCoordinate(options.coordinate);
+    const admitted = (id) => {
+        const node = graph.nodes.get(id), filter = options.filter;
+        return (node !== undefined &&
+            (options.scope === undefined || options.scope.has(id)) &&
+            (filter?.kind === undefined || node.kind === filter.kind) &&
+            (filter?.discriminator === undefined || node.discriminator === filter.discriminator) &&
+            (filter?.system === undefined || node.system === filter.system));
+    };
+    const depths = new Map();
+    let frontier = [...new Set(options.start)].filter(admitted).sort(compare);
+    if (options.maxNodes !== undefined && frontier.length > options.maxNodes) {
+        frontier = frontier.slice(0, options.maxNodes);
+        truncated = true;
+    }
+    for (const id of frontier)
+        depths.set(id, 0);
+    const edges = new Map(), gated = new Map(), dangling = new Map(), via = new Map();
+    walk: for (let level = 1; level <= depth && frontier.length > 0; level++) {
+        const next = new Set();
+        for (const id of frontier)
+            for (const dir of ['out', 'in']) {
+                if (followed === undefined && direction !== 'both' && direction !== dir)
+                    continue;
+                for (const [predicate, adjacent] of (dir === 'out' ? graph.out : graph.in).get(id) ?? []) {
+                    if (followed !== undefined && !followed.some((v) => v.direction === dir && v.predicate === predicate))
+                        continue;
+                    for (const edge of adjacent) {
+                        if (options.maxEdges !== undefined &&
+                            (edges.size + gated.size + dangling.size >= options.maxEdges || ++examined > options.maxEdges * 4)) {
+                            truncated = true;
+                            break walk;
+                        }
+                        const target = dir === 'out' ? edge.to : edge.from;
+                        // Prune before emitting even a gated edge: it must not reveal an excluded endpoint.
+                        if (target !== null && !admitted(target))
+                            continue;
+                        if (target !== null &&
+                            !depths.has(target) &&
+                            options.maxNodes !== undefined &&
+                            depths.size >= options.maxNodes) {
+                            truncated = true;
+                            continue;
+                        }
+                        const key = stableSerialize(edge);
+                        if (coordinate !== undefined &&
+                            !conditionHolds(edge.condition, graph.nodes.get(edge.conditionSubject).dimensions, coordinate)) {
+                            gated.set(key, edge);
+                            continue;
+                        }
+                        if (target === null) {
+                            dangling.set(key, edge);
+                            continue;
+                        }
+                        edges.set(key, edge);
+                        if (depths.has(target) && depths.get(target) !== level)
+                            continue;
+                        const hop = { from: id, predicate, direction: dir, target };
+                        via.set(stableSerialize(hop), hop);
+                        if (!depths.has(target)) {
+                            depths.set(target, level);
+                            next.add(target);
+                        }
+                    }
+                }
+            }
+        frontier = [...next].sort(compare);
+    }
+    return snapshot({
+        nodes: [...depths]
+            .map(([identity, depth]) => ({ identity, depth }))
+            .sort((a, b) => a.depth - b.depth || compare(a.identity, b.identity)),
+        via: [...via.values()].sort((a, b) => compare(a.from, b.from) ||
+            compare(a.predicate, b.predicate) ||
+            compare(a.direction, b.direction) ||
+            compare(a.target, b.target)),
+        edges: [...edges.values()].sort(edgeOrder),
+        gated: [...gated.values()].sort(edgeOrder),
+        dangling: [...dangling.values()].sort(edgeOrder),
+        ...(options.maxNodes === undefined && options.maxEdges === undefined ? {} : { truncated }),
+    });
+}
+//# sourceMappingURL=traverse.js.map

package/dist/traverse.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"traverse.js","sourceRoot":"","sources":["../src/traverse.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAE5D,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAErD,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAkCzD,MAAM,UAAU,QAAQ,CAAC,KAAY,EAAE,OAAwB;IAC7D,KAAK,MAAM,KAAK,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC;QACtD,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;YACpE,MAAM,IAAI,eAAe,CAAC,4BAA4B,EAAE,4CAA4C,CAAC,CAAC;IAC1G,IAAI,SAAS,GAAG,KAAK,EACnB,QAAQ,GAAG,CAAC,CAAC;IACf,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,CAAC,CAAC;IACjC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC;QACpD,MAAM,IAAI,eAAe,CAAC,4BAA4B,EAAE,gDAAgD,CAAC,CAAC;IAC5G,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,MAAM,CAAC;IAC9C,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC;QAC5E,MAAM,IAAI,eAAe,CAAC,4BAA4B,EAAE,sBAAsB,SAAS,GAAG,CAAC,CAAC;IAC9F,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;QAC9C,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;QAC5B,IAAI,IAAI,KAAK,SAAS;YACpB,MAAM,IAAI,eAAe,CACvB,uBAAuB,EACvB,iBAAiB,MAAM,gBAAgB,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACjE,CAAC;QACJ,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,kBAAkB,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IACzG,MAAM,QAAQ,GAAG,CAAC,EAAU,EAAW,EAAE;QACvC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,EAC9B,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;QAC1B,OAAO,CACL,IAAI,KAAK,SAAS;YAClB,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACtD,CAAC,MAAM,EAAE,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC;YACzD,CAAC,MAAM,EAAE,aAAa,KAAK,SAAS,IAAI,IAAI,CAAC,aAAa,KAAK,MAAM,CAAC,aAAa,CAAC;YACpF,CAAC,MAAM,EAAE,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,CAAC,CAChE,CAAC;IACJ,CAAC,CAAC;IACF,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,IAAI,QAAQ,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC1E,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,GAAG,OAAO,CAAC,QAAQ,EAAE,CAAC;QACzE,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC/C,SAAS,GAAG,IAAI,CAAC;IACnB,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,QAAQ;QAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAgB,EACnC,KAAK,GAAG,IAAI,GAAG,EAAgB,EAC/B,QAAQ,GAAG,IAAI,GAAG,EAAgB,EAClC,GAAG,GAAG,IAAI,GAAG,EAAe,CAAC;IAC/B,IAAI,EAAE,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,IAAI,KAAK,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;QACzE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,KAAK,MAAM,EAAE,IAAI,QAAQ;YACvB,KAAK,MAAM,GAAG,IAAI,CAAC,KAAK,EAAE,IAAI,CAAU,EAAE,CAAC;gBACzC,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,KAAK,MAAM,IAAI,SAAS,KAAK,GAAG;oBAAE,SAAS;gBAClF,KAAK,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC;oBACzF,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,GAAG,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC;wBACnG,SAAS;oBACX,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;wBAC5B,IACE,OAAO,CAAC,QAAQ,KAAK,SAAS;4BAC9B,CAAC,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,GAAG,QAAQ,CAAC,IAAI,IAAI,OAAO,CAAC,QAAQ,IAAI,EAAE,QAAQ,GAAG,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC,EAClG,CAAC;4BACD,SAAS,GAAG,IAAI,CAAC;4BACjB,MAAM,IAAI,CAAC;wBACb,CAAC;wBACD,MAAM,MAAM,GAAG,GAAG,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;wBACnD,oFAAoF;wBACpF,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;4BAAE,SAAS;wBACnD,IACE,MAAM,KAAK,IAAI;4BACf,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC;4BACnB,OAAO,CAAC,QAAQ,KAAK,SAAS;4BAC9B,MAAM,CAAC,IAAI,IAAI,OAAO,CAAC,QAAQ,EAC/B,CAAC;4BACD,SAAS,GAAG,IAAI,CAAC;4BACjB,SAAS;wBACX,CAAC;wBACD,MAAM,GAAG,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;wBAClC,IACE,UAAU,KAAK,SAAS;4BACxB,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAE,CAAC,UAAU,EAAE,UAAU,CAAC,EAC/F,CAAC;4BACD,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;4BACrB,SAAS;wBACX,CAAC;wBACD,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;4BACpB,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;4BACxB,SAAS;wBACX,CAAC;wBACD,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;wBACrB,IAAI,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,KAAK;4BAAE,SAAS;wBACjE,MAAM,GAAG,GAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;wBACjE,GAAG,CAAC,GAAG,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;wBACnC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;4BACxB,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;4BAC1B,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;wBACnB,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,QAAQ,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,QAAQ,CAAC;QACd,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC;aACf,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;aACjD,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;QACvE,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CACzB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACP,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC;YACvB,OAAO,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC;YACjC,OAAO,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC;YACjC,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAC9B;QACD,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC;QAC1C,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC;QAC1C,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC;QAChD,GAAG,CAAC,OAAO,CAAC,QAAQ,KAAK,SAAS,IAAI,OAAO,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC;KAC3F,CAAC,CAAC;AACL,CAAC"}

package/dist/types.d.ts

@@ -0,0 +1,112 @@
+import type { Band, Cell, CompiledRecord, CompiledValue, EdgeReference, FrozenRegistry, Phase, Predicate, Span, Term } from '@inventarch/language';
+import type { Dimensions } from './coordinate.js';
+import type { GraphDiagnostic } from './diagnostics.js';
+import type { RevisionInputs } from './revision.js';
+import type { TextIndex } from './text.js';
+export interface Node extends CompiledRecord {
+    readonly band: Band;
+    readonly reach: string;
+    readonly dimensions: Dimensions;
+}
+export interface Occurrence {
+    readonly key: string;
+    readonly node: Node;
+    readonly status: 'inactive' | 'refused' | 'winner' | 'shadowed' | 'tied' | 'blocked';
+    readonly shadowedBy?: string;
+}
+export interface Shadow {
+    readonly identity: string;
+    readonly winner: string;
+    readonly shadowed: string;
+}
+export interface Tie {
+    readonly identity: string;
+    readonly band: Band;
+    readonly occurrences: readonly string[];
+}
+export interface EdgeAssertion {
+    readonly author: string;
+    readonly direction: 'out' | 'in';
+    readonly reference: EdgeReference;
+    readonly source: {
+        readonly path: string;
+        readonly line: number;
+        readonly endLine: number;
+    };
+}
+export interface Edge {
+    readonly from: string | null;
+    readonly predicate: Predicate;
+    readonly to: string | null;
+    readonly author: string;
+    readonly reference: EdgeReference;
+    readonly fragment?: string;
+    readonly fragmentEndpoint?: 'from' | 'to';
+    readonly condition?: readonly Term[];
+    readonly conditionSubject: string;
+    readonly source: EdgeAssertion['source'];
+    readonly assertions: readonly EdgeAssertion[];
+}
+/**
+ * A resolved typed ref value held in a record field (G06a): `field` is the compiler's field path, `head.steward`,
+ * `composition.mandate`, `binding.target`, or the bare section name for a section-level `- @word name` item.
+ * Derived only: it is not an Edge, carries no predicate and is never consent- or cardinality-checked.
+ */
+export interface FieldReference {
+    readonly from: string;
+    readonly to: string;
+    readonly field: string;
+    readonly reference: Extract<CompiledValue, {
+        kind: 'ref';
+    }>;
+    readonly source: {
+        readonly path: string;
+        readonly line: number;
+        readonly endLine: number;
+    };
+}
+export interface CellRef {
+    readonly identity: string;
+    readonly primary: boolean;
+    readonly span: Span;
+}
+export interface LoadOptions extends RevisionInputs {
+    readonly location: string;
+    readonly phase?: Phase;
+}
+export interface Graph {
+    readonly text: TextIndex;
+    readonly revision: string;
+    readonly location: string;
+    readonly phase?: Phase;
+    readonly registry: FrozenRegistry;
+    readonly nodes: ReadonlyMap<string, Node>;
+    readonly occurrences: readonly Occurrence[];
+    readonly shadows: readonly Shadow[];
+    readonly ties: readonly Tie[];
+    readonly diagnostics: readonly GraphDiagnostic[];
+    readonly edges: readonly Edge[];
+    readonly out: ReadonlyMap<string, ReadonlyMap<Predicate, readonly Edge[]>>;
+    readonly in: ReadonlyMap<string, ReadonlyMap<Predicate, readonly Edge[]>>;
+    readonly byName: ReadonlyMap<string, readonly string[]>;
+    readonly byDiscriminator: ReadonlyMap<string, readonly string[]>;
+    readonly byKind: ReadonlyMap<string, readonly string[]>;
+    readonly bySystem: ReadonlyMap<string, readonly string[]>;
+    readonly byCategory: ReadonlyMap<string, readonly string[]>;
+    readonly byLane: ReadonlyMap<string, readonly string[]>;
+    readonly byArtifactSet: ReadonlyMap<string, readonly string[]>;
+    readonly cells: ReadonlyMap<string, readonly CellRef[]>;
+    readonly selectors: ReadonlyMap<string, ReadonlyMap<string, readonly string[]>>;
+    readonly conditions: ReadonlyMap<string, readonly string[]>;
+    readonly dangling: readonly Edge[];
+    readonly byDanglingReference: ReadonlyMap<string, readonly Edge[]>;
+    /** G06a: resolved typed field refs, disjoint from `edges`; `in`, `out` and every edge count ignore them. */
+    readonly references: readonly FieldReference[];
+    /** `references` keyed by target identity, each list in `references` order. */
+    readonly referencedBy: ReadonlyMap<string, readonly FieldReference[]>;
+}
+export interface CellSelection {
+    readonly kind: 'exact' | 'primary';
+    readonly cell: Cell;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,IAAI,EACJ,IAAI,EACJ,cAAc,EACd,aAAa,EACb,aAAa,EACb,cAAc,EACd,KAAK,EACL,SAAS,EACT,IAAI,EACJ,IAAI,EACL,MAAM,sBAAsB,CAAC;AAC9B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAClD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AACpD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAE3C,MAAM,WAAW,IAAK,SAAQ,cAAc;IAC1C,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;CACjC;AACD,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG,SAAS,GAAG,QAAQ,GAAG,UAAU,GAAG,MAAM,GAAG,SAAS,CAAC;IACrF,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B;AACD,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AACD,MAAM,WAAW,GAAG;IAClB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC;AACD,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,KAAK,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;CAC7F;AACD,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC;IAClC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1C,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,IAAI,EAAE,CAAC;IACrC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAC;IACzC,QAAQ,CAAC,UAAU,EAAE,SAAS,aAAa,EAAE,CAAC;CAC/C;AACD;;;;GAIG;AACH,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC,aAAa,EAAE;QAAE,IAAI,EAAE,KAAK,CAAA;KAAE,CAAC,CAAC;IAC5D,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC;CAC7F;AACD,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB;AACD,MAAM,WAAW,WAAY,SAAQ,cAAc;IACjD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC;CACxB;AACD,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC1C,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IAC5C,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,EAAE,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,SAAS,eAAe,EAAE,CAAC;IACjD,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC;IAChC,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,SAAS,EAAE,SAAS,IAAI,EAAE,CAAC,CAAC,CAAC;IAC3E,QAAQ,CAAC,EAAE,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,SAAS,EAAE,SAAS,IAAI,EAAE,CAAC,CAAC,CAAC;IAC1E,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC;IACxD,QAAQ,CAAC,eAAe,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC;IACjE,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC;IACxD,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC;IAC1D,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC;IAC5D,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC;IACxD,QAAQ,CAAC,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC;IAC/D,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,OAAO,EAAE,CAAC,CAAC;IACxD,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC;IAChF,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC;IAC5D,QAAQ,CAAC,QAAQ,EAAE,SAAS,IAAI,EAAE,CAAC;IACnC,QAAQ,CAAC,mBAAmB,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,IAAI,EAAE,CAAC,CAAC;IACnE,4GAA4G;IAC5G,QAAQ,CAAC,UAAU,EAAE,SAAS,cAAc,EAAE,CAAC;IAC/C,8EAA8E;IAC9E,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,cAAc,EAAE,CAAC,CAAC;CACvE;AACD,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,SAAS,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CACrB"}

package/dist/types.js

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

package/dist/types.js.map

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

package/package.json

@@ -1,6 +1,94 @@
 {
   "name": "@inventarch/graph",
-  "version": "0.0.0-stage",
-  "stub": true,
-  "description": "Temporary package placeholder for staged publishing"
+  "version": "1.0.0",
+  "type": "module",
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "default": "./dist/index.js"
+    },
+    "./internal/coordinate": {
+      "types": "./dist/coordinate.d.ts",
+      "default": "./dist/coordinate.js"
+    },
+    "./internal/diagnostics": {
+      "types": "./dist/diagnostics.d.ts",
+      "default": "./dist/diagnostics.js"
+    },
+    "./internal/immutable": {
+      "types": "./dist/immutable.d.ts",
+      "default": "./dist/immutable.js"
+    },
+    "./internal/index": {
+      "types": "./dist/index.d.ts",
+      "default": "./dist/index.js"
+    },
+    "./internal/load": {
+      "types": "./dist/load.d.ts",
+      "default": "./dist/load.js"
+    },
+    "./internal/paths": {
+      "types": "./dist/paths.d.ts",
+      "default": "./dist/paths.js"
+    },
+    "./internal/queries": {
+      "types": "./dist/queries.d.ts",
+      "default": "./dist/queries.js"
+    },
+    "./internal/resolve": {
+      "types": "./dist/resolve.d.ts",
+      "default": "./dist/resolve.js"
+    },
+    "./internal/revision": {
+      "types": "./dist/revision.d.ts",
+      "default": "./dist/revision.js"
+    },
+    "./internal/text": {
+      "types": "./dist/text.d.ts",
+      "default": "./dist/text.js"
+    },
+    "./internal/traverse": {
+      "types": "./dist/traverse.d.ts",
+      "default": "./dist/traverse.js"
+    },
+    "./internal/types": {
+      "types": "./dist/types.d.ts",
+      "default": "./dist/types.js"
+    }
+  },
+  "files": [
+    "dist",
+    "README.md",
+    "SPEC.md",
+    "LICENSE",
+    "NOTICE"
+  ],
+  "dependencies": {
+    "@inventarch/language": "1.0.0"
+  },
+  "devDependencies": {
+    "@types/node": "^22.19.0",
+    "typescript": "^5.9.3",
+    "vitest": "^4.1.4"
+  },
+  "license": "Apache-2.0",
+  "publishConfig": {
+    "access": "public",
+    "registry": "https://registry.npmjs.org"
+  },
+  "engines": {
+    "node": ">=22.22.0 <23"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/inventarch/ia.git",
+    "directory": "packages/graph"
+  },
+  "scripts": {
+    "build": "tsc -p tsconfig.json",
+    "typecheck": "tsc --noEmit -p tsconfig.json && tsc -p tsconfig.tests.json",
+    "test": "vitest run --config vitest.config.mts"
+  }
 }