@opensip-cli/graph-typescript 0.1.0

package/dist/__tests__/inventory-differential.test.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Inventory differential tests (Tier 2).
+ *
+ * The most powerful test in the suite: take real TypeScript files from
+ * the workspace, enumerate every callable declaration using the
+ * TypeScript Compiler API directly, run graph's stage 1 against the
+ * same files, and assert the symmetric difference is empty (modulo a
+ * documented deny-list of intentional exclusions).
+ *
+ * If this test passes for the chosen sample files, function detection
+ * is correct on real-world TypeScript. If it fails, the failing items
+ * are real bugs to investigate — they are not test artifacts.
+ */
+export {};
+//# sourceMappingURL=inventory-differential.test.d.ts.map

package/dist/__tests__/inventory-differential.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"inventory-differential.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/inventory-differential.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG"}

package/dist/__tests__/inventory-differential.test.js

@@ -0,0 +1,319 @@
+/**
+ * Inventory differential tests (Tier 2).
+ *
+ * The most powerful test in the suite: take real TypeScript files from
+ * the workspace, enumerate every callable declaration using the
+ * TypeScript Compiler API directly, run graph's stage 1 against the
+ * same files, and assert the symmetric difference is empty (modulo a
+ * documented deny-list of intentional exclusions).
+ *
+ * If this test passes for the chosen sample files, function detection
+ * is correct on real-world TypeScript. If it fails, the failing items
+ * are real bugs to investigate — they are not test artifacts.
+ */
+import { dirname, relative, resolve } from 'node:path';
+import { fileURLToPath } from 'node:url';
+import ts from 'typescript';
+import { describe, expect, it } from 'vitest';
+import { discoverFiles } from '../discover.js';
+import { buildCatalog } from './_pipeline.js';
+const HERE = dirname(fileURLToPath(import.meta.url));
+const REPO_ROOT = resolve(HERE, '../../../../..');
+/**
+ * Walk a single source file and enumerate every callable declaration
+ * the TypeScript Compiler API would surface.
+ *
+ * Excludes — these are the intentionally-excluded shapes (matching
+ * graph's design). They are documented inline to keep the test honest:
+ * if graph silently misses any of these the negative tests in
+ * inventory-shape-coverage.test.ts catch it; this test only asserts
+ * positive parity for shapes that should be in the catalog.
+ *
+ *  - MethodSignature, PropertySignature, IndexSignature on
+ *    InterfaceDeclaration / TypeLiteralNode — type-level only, no body.
+ *  - FunctionTypeNode / ConstructorTypeNode in a type-position context.
+ *  - Function declarations / methods with no body (overload signatures,
+ *    abstract members, ambient `declare`).
+ */
+function enumerateCallablesFromTs(sourceFile, filePathProjectRel) {
+    const out = [];
+    const enclosingClass = [];
+    function siteOf(node) {
+        const start = node.getStart(sourceFile);
+        const lc = sourceFile.getLineAndCharacterOfPosition(start);
+        return { line: lc.line + 1, column: lc.character };
+    }
+    function visit(node) {
+        // Skip type-position descendants entirely — anything inside a
+        // TypeNode (function type alias, type literal, interface body) is
+        // not a callable.
+        if (ts.isTypeAliasDeclaration(node) ||
+            ts.isInterfaceDeclaration(node) ||
+            ts.isTypeLiteralNode(node) ||
+            ts.isFunctionTypeNode(node) ||
+            ts.isConstructorTypeNode(node)) {
+            return;
+        }
+        if (ts.isClassDeclaration(node) || ts.isClassExpression(node)) {
+            const className = node.name?.text ?? '<anon-class>';
+            enclosingClass.push(className);
+            ts.forEachChild(node, visit);
+            enclosingClass.pop();
+            return;
+        }
+        if (ts.isFunctionDeclaration(node)) {
+            // Body-less declarations (overload signatures, ambient declares)
+            // are not callables — graph excludes them by design.
+            if (!node.body) {
+                ts.forEachChild(node, visit);
+                return;
+            }
+            const name = node.name?.text ?? '<anon>';
+            const { line, column } = siteOf(node);
+            out.push({
+                label: `function:${name}`,
+                line,
+                column,
+                filePath: filePathProjectRel,
+                kind: 'function',
+            });
+            ts.forEachChild(node, visit);
+            return;
+        }
+        if (ts.isMethodDeclaration(node)) {
+            // Abstract / overload-signature methods have no body.
+            if (!node.body) {
+                ts.forEachChild(node, visit);
+                return;
+            }
+            const cls = enclosingClass.at(-1) ?? '<anon-class>';
+            const nameNode = node.name;
+            let name;
+            if (ts.isIdentifier(nameNode))
+                name = nameNode.text;
+            else if (ts.isStringLiteral(nameNode))
+                name = nameNode.text;
+            else if (ts.isPrivateIdentifier(nameNode))
+                name = nameNode.text;
+            else
+                name = '<computed>';
+            const { line, column } = siteOf(node);
+            out.push({
+                label: `method:${cls}.${name}`,
+                line,
+                column,
+                filePath: filePathProjectRel,
+                kind: 'method',
+            });
+            ts.forEachChild(node, visit);
+            return;
+        }
+        if (ts.isConstructorDeclaration(node)) {
+            if (!node.body) {
+                ts.forEachChild(node, visit);
+                return;
+            }
+            const cls = enclosingClass.at(-1) ?? '<anon-class>';
+            const { line, column } = siteOf(node);
+            out.push({
+                label: `constructor:${cls}`,
+                line,
+                column,
+                filePath: filePathProjectRel,
+                kind: 'constructor',
+            });
+            ts.forEachChild(node, visit);
+            return;
+        }
+        if (ts.isGetAccessor(node)) {
+            if (!node.body) {
+                ts.forEachChild(node, visit);
+                return;
+            }
+            const cls = enclosingClass.at(-1) ?? '<anon-class>';
+            const nameNode = node.name;
+            const name = ts.isIdentifier(nameNode) || ts.isStringLiteral(nameNode) ? nameNode.text : '<computed>';
+            const { line, column } = siteOf(node);
+            out.push({
+                label: `get:${cls}.${name}`,
+                line,
+                column,
+                filePath: filePathProjectRel,
+                kind: 'getter',
+            });
+            ts.forEachChild(node, visit);
+            return;
+        }
+        if (ts.isSetAccessor(node)) {
+            if (!node.body) {
+                ts.forEachChild(node, visit);
+                return;
+            }
+            const cls = enclosingClass.at(-1) ?? '<anon-class>';
+            const nameNode = node.name;
+            const name = ts.isIdentifier(nameNode) || ts.isStringLiteral(nameNode) ? nameNode.text : '<computed>';
+            const { line, column } = siteOf(node);
+            out.push({
+                label: `set:${cls}.${name}`,
+                line,
+                column,
+                filePath: filePathProjectRel,
+                kind: 'setter',
+            });
+            ts.forEachChild(node, visit);
+            return;
+        }
+        if (ts.isArrowFunction(node)) {
+            const { line, column } = siteOf(node);
+            out.push({
+                label: `arrow@${String(line)}:${String(column)}`,
+                line,
+                column,
+                filePath: filePathProjectRel,
+                kind: 'arrow',
+            });
+            ts.forEachChild(node, visit);
+            return;
+        }
+        if (ts.isFunctionExpression(node)) {
+            const { line, column } = siteOf(node);
+            const name = node.name?.text ?? `fn-expr@${String(line)}:${String(column)}`;
+            out.push({
+                label: `function-expression:${name}`,
+                line,
+                column,
+                filePath: filePathProjectRel,
+                kind: 'function-expression',
+            });
+            ts.forEachChild(node, visit);
+            return;
+        }
+        ts.forEachChild(node, visit);
+    }
+    visit(sourceFile);
+    return out;
+}
+/** Reduce a graph occurrence to a (line, column, kind) site for comparison. */
+function occToSite(occ) {
+    // Map graph's FunctionKind → the coarser kinds enumerateCallablesFromTs uses.
+    let kind = occ.kind;
+    if (occ.kind === 'function-declaration')
+        kind = 'function';
+    return { line: occ.line, column: occ.column, kind };
+}
+function siteKey(s) {
+    return `${s.kind}@${String(s.line)}:${String(s.column)}`;
+}
+/**
+ * For a given file in the workspace, run graph's stage 1, run a parallel
+ * TS-Compiler-API enumeration, and return the symmetric difference of
+ * (line, column, kind) sites.
+ */
+function differentialFor(filePathProjectRel, projectDir) {
+    const discovery = discoverFiles({ projectDir });
+    const inv = buildCatalog({
+        projectDirAbs: discovery.projectDirAbs,
+        files: discovery.files,
+        compilerOptions: discovery.compilerOptions,
+        tsConfigPathAbs: discovery.tsConfigPathAbs,
+    });
+    const catalog = inv.catalog;
+    const targetSf = inv.program
+        .getSourceFiles()
+        .find((sf) => relative(discovery.projectDirAbs, sf.fileName).split(/[/\\]/).join('/') ===
+        filePathProjectRel);
+    if (!targetSf) {
+        throw new Error(`Could not find ${filePathProjectRel} in program; tsconfig may not include it.`);
+    }
+    const tsCallables = enumerateCallablesFromTs(targetSf, filePathProjectRel);
+    const tsSites = new Set(tsCallables.map((c) => siteKey(c)));
+    const graphOccs = [];
+    for (const occs of Object.values(catalog.functions)) {
+        for (const o of occs) {
+            // module-init is a graph-only synthesis; not a real callable from
+            // the TS-API perspective. Exclude from the differential.
+            if (o.kind === 'module-init')
+                continue;
+            if (o.filePath === filePathProjectRel)
+                graphOccs.push(o);
+        }
+    }
+    const graphSites = new Set(graphOccs.map((o) => siteKey(occToSite(o))));
+    const onlyInTs = tsCallables.filter((c) => !graphSites.has(siteKey(c)));
+    const onlyInGraph = graphOccs.filter((o) => !tsSites.has(siteKey(occToSite(o))));
+    return {
+        onlyInTs,
+        onlyInGraph,
+        graphCount: graphOccs.length,
+        tsCount: tsCallables.length,
+    };
+}
+const SAMPLES = [
+    { packageDir: 'packages/cli', relativePath: 'src/index.ts' },
+    { packageDir: 'packages/fitness/engine', relativePath: 'src/framework/define-check.ts' },
+    { packageDir: 'packages/contracts', relativePath: 'src/types.ts' },
+    { packageDir: 'packages/languages/lang-typescript', relativePath: 'src/ast-utilities.ts' },
+    // Layer 5 Phase 3 (audit 2026-05-22 F3) moved the FitView controller
+    // out of cli/ui into the fitness package as fit-runner.tsx; the new
+    // file is the JSX-rich sample that this differential test exercises.
+    { packageDir: 'packages/fitness/engine', relativePath: 'src/cli/fit-runner.tsx' },
+];
+describe('Tier 2 — differential test against TS Compiler API on real workspace files', () => {
+    for (const sample of SAMPLES) {
+        it(`graph stage 1 finds the same callables as the TS API for ${sample.packageDir}/${sample.relativePath}`, () => {
+            const projectDir = resolve(REPO_ROOT, sample.packageDir);
+            const { onlyInTs, onlyInGraph, graphCount, tsCount } = differentialFor(sample.relativePath, projectDir);
+            const tsLines = onlyInTs
+                .map((c) => `${c.label} at ${String(c.line)}:${String(c.column)}`)
+                .join('\n  - ');
+            const graphLines = onlyInGraph
+                .map((o) => `${o.kind} ${o.simpleName} at ${String(o.line)}:${String(o.column)}`)
+                .join('\n  - ');
+            const missedLine = onlyInTs.length > 0
+                ? `Missed by graph (${String(onlyInTs.length)}):\n  - ${tsLines}`
+                : 'Missed by graph: none';
+            const spuriousLine = onlyInGraph.length > 0
+                ? `Spurious in graph (${String(onlyInGraph.length)}):\n  - ${graphLines}`
+                : 'Spurious in graph: none';
+            const detail = [
+                `Sample: ${sample.packageDir}/${sample.relativePath}`,
+                `graph found: ${String(graphCount)} callables`,
+                `TS API found: ${String(tsCount)} callables`,
+                missedLine,
+                spuriousLine,
+            ].join('\n');
+            // Sanity floor: types-only files (e.g. types.ts) may have zero
+            // callables. All other samples should have at least one.
+            expect(graphCount, detail).toBe(tsCount);
+            expect(onlyInTs, `\n${detail}`).toEqual([]);
+            expect(onlyInGraph, `\n${detail}`).toEqual([]);
+        });
+    }
+    it('coverage sanity: the 5 sample files together expose a substantial number of callables', () => {
+        // Make sure our chosen sample is non-trivial — i.e. we're actually
+        // exercising graph's detection on real code, not just empty type files.
+        // Empirically observed callable counts on the post-Phase-3 layout
+        // (the FitView controller moved from cli/ui/components into
+        // fitness/cli/fit-runner.tsx). The exact totals are not pinned —
+        // see the sanity floor below — but the spread roughly mirrors:
+        //   packages/cli/src/index.ts                                ~26
+        //   packages/fitness/engine/src/framework/define-check.ts    ~12
+        //   packages/contracts/src/types.ts                            0  (types-only)
+        //   packages/languages/lang-typescript/src/ast-utilities.ts  ~20
+        //   packages/fitness/engine/src/cli/fit-runner.tsx           >0  (large JSX file)
+        const perFile = {};
+        let totalCallables = 0;
+        for (const sample of SAMPLES) {
+            const projectDir = resolve(REPO_ROOT, sample.packageDir);
+            const { tsCount } = differentialFor(sample.relativePath, projectDir);
+            perFile[`${sample.packageDir}/${sample.relativePath}`] = tsCount;
+            totalCallables += tsCount;
+        }
+        const detail = JSON.stringify(perFile, null, 2);
+        expect(totalCallables, detail).toBeGreaterThanOrEqual(30);
+        // Belt-and-braces: at least 4 of the 5 samples are non-empty.
+        const nonEmpty = Object.values(perFile).filter((n) => n > 0).length;
+        expect(nonEmpty, detail).toBeGreaterThanOrEqual(4);
+    });
+});
+//# sourceMappingURL=inventory-differential.test.js.map

package/dist/__tests__/inventory-differential.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inventory-differential.test.js","sourceRoot":"","sources":["../../src/__tests__/inventory-differential.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAE/C,OAAO,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAI9C,MAAM,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AACrD,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC;AAsBlD;;;;;;;;;;;;;;;GAeG;AACH,SAAS,wBAAwB,CAC/B,UAAyB,EACzB,kBAA0B;IAE1B,MAAM,GAAG,GAAmB,EAAE,CAAC;IAC/B,MAAM,cAAc,GAAa,EAAE,CAAC;IAEpC,SAAS,MAAM,CAAC,IAAa;QAC3B,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QACxC,MAAM,EAAE,GAAG,UAAU,CAAC,6BAA6B,CAAC,KAAK,CAAC,CAAC;QAC3D,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,SAAS,EAAE,CAAC;IACrD,CAAC;IAED,SAAS,KAAK,CAAC,IAAa;QAC1B,8DAA8D;QAC9D,kEAAkE;QAClE,kBAAkB;QAClB,IACE,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;YAC/B,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;YAC/B,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;YAC1B,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;YAC3B,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAC9B,CAAC;YACD,OAAO;QACT,CAAC;QAED,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9D,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,IAAI,cAAc,CAAC;YACpD,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC/B,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC7B,cAAc,CAAC,GAAG,EAAE,CAAC;YACrB,OAAO;QACT,CAAC;QAED,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,iEAAiE;YACjE,qDAAqD;YACrD,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACf,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBAC7B,OAAO;YACT,CAAC;YACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,IAAI,QAAQ,CAAC;YACzC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;YACtC,GAAG,CAAC,IAAI,CAAC;gBACP,KAAK,EAAE,YAAY,IAAI,EAAE;gBACzB,IAAI;gBACJ,MAAM;gBACN,QAAQ,EAAE,kBAAkB;gBAC5B,IAAI,EAAE,UAAU;aACjB,CAAC,CAAC;YACH,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC7B,OAAO;QACT,CAAC;QAED,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,sDAAsD;YACtD,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACf,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBAC7B,OAAO;YACT,CAAC;YACD,MAAM,GAAG,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,cAAc,CAAC;YACpD,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC;YAC3B,IAAI,IAAY,CAAC;YACjB,IAAI,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC;gBAAE,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC;iBAC/C,IAAI,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC;gBAAE,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC;iBACvD,IAAI,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC;gBAAE,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC;;gBAC3D,IAAI,GAAG,YAAY,CAAC;YACzB,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;YACtC,GAAG,CAAC,IAAI,CAAC;gBACP,KAAK,EAAE,UAAU,GAAG,IAAI,IAAI,EAAE;gBAC9B,IAAI;gBACJ,MAAM;gBACN,QAAQ,EAAE,kBAAkB;gBAC5B,IAAI,EAAE,QAAQ;aACf,CAAC,CAAC;YACH,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC7B,OAAO;QACT,CAAC;QAED,IAAI,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAAE,CAAC;YACtC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACf,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBAC7B,OAAO;YACT,CAAC;YACD,MAAM,GAAG,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,cAAc,CAAC;YACpD,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;YACtC,GAAG,CAAC,IAAI,CAAC;gBACP,KAAK,EAAE,eAAe,GAAG,EAAE;gBAC3B,IAAI;gBACJ,MAAM;gBACN,QAAQ,EAAE,kBAAkB;gBAC5B,IAAI,EAAE,aAAa;aACpB,CAAC,CAAC;YACH,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC7B,OAAO;QACT,CAAC;QAED,IAAI,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACf,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBAC7B,OAAO;YACT,CAAC;YACD,MAAM,GAAG,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,cAAc,CAAC;YACpD,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC;YAC3B,MAAM,IAAI,GACR,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC;YAC3F,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;YACtC,GAAG,CAAC,IAAI,CAAC;gBACP,KAAK,EAAE,OAAO,GAAG,IAAI,IAAI,EAAE;gBAC3B,IAAI;gBACJ,MAAM;gBACN,QAAQ,EAAE,kBAAkB;gBAC5B,IAAI,EAAE,QAAQ;aACf,CAAC,CAAC;YACH,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC7B,OAAO;QACT,CAAC;QAED,IAAI,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBACf,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;gBAC7B,OAAO;YACT,CAAC;YACD,MAAM,GAAG,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,cAAc,CAAC;YACpD,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC;YAC3B,MAAM,IAAI,GACR,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC;YAC3F,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;YACtC,GAAG,CAAC,IAAI,CAAC;gBACP,KAAK,EAAE,OAAO,GAAG,IAAI,IAAI,EAAE;gBAC3B,IAAI;gBACJ,MAAM;gBACN,QAAQ,EAAE,kBAAkB;gBAC5B,IAAI,EAAE,QAAQ;aACf,CAAC,CAAC;YACH,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC7B,OAAO;QACT,CAAC;QAED,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;YACtC,GAAG,CAAC,IAAI,CAAC;gBACP,KAAK,EAAE,SAAS,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,EAAE;gBAChD,IAAI;gBACJ,MAAM;gBACN,QAAQ,EAAE,kBAAkB;gBAC5B,IAAI,EAAE,OAAO;aACd,CAAC,CAAC;YACH,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC7B,OAAO;QACT,CAAC;QAED,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;YAClC,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;YACtC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,IAAI,WAAW,MAAM,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5E,GAAG,CAAC,IAAI,CAAC;gBACP,KAAK,EAAE,uBAAuB,IAAI,EAAE;gBACpC,IAAI;gBACJ,MAAM;gBACN,QAAQ,EAAE,kBAAkB;gBAC5B,IAAI,EAAE,qBAAqB;aAC5B,CAAC,CAAC;YACH,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC7B,OAAO;QACT,CAAC;QAED,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC;IAED,KAAK,CAAC,UAAU,CAAC,CAAC;IAClB,OAAO,GAAG,CAAC;AACb,CAAC;AAED,+EAA+E;AAC/E,SAAS,SAAS,CAAC,GAAuB;IACxC,8EAA8E;IAC9E,IAAI,IAAI,GAAW,GAAG,CAAC,IAAI,CAAC;IAC5B,IAAI,GAAG,CAAC,IAAI,KAAK,sBAAsB;QAAE,IAAI,GAAG,UAAU,CAAC;IAC3D,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC;AACtD,CAAC;AAED,SAAS,OAAO,CAAC,CAAiD;IAChE,OAAO,GAAG,CAAC,CAAC,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;AAC3D,CAAC;AAED;;;;GAIG;AACH,SAAS,eAAe,CACtB,kBAA0B,EAC1B,UAAkB;IAOlB,MAAM,SAAS,GAAG,aAAa,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC;IAChD,MAAM,GAAG,GAAG,YAAY,CAAC;QACvB,aAAa,EAAE,SAAS,CAAC,aAAa;QACtC,KAAK,EAAE,SAAS,CAAC,KAAK;QACtB,eAAe,EAAE,SAAS,CAAC,eAAe;QAC1C,eAAe,EAAE,SAAS,CAAC,eAAe;KAC3C,CAAC,CAAC;IACH,MAAM,OAAO,GAAY,GAAG,CAAC,OAAO,CAAC;IAErC,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO;SACzB,cAAc,EAAE;SAChB,IAAI,CACH,CAAC,EAAE,EAAE,EAAE,CACL,QAAQ,CAAC,SAAS,CAAC,aAAa,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QACvE,kBAAkB,CACrB,CAAC;IACJ,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,MAAM,IAAI,KAAK,CACb,kBAAkB,kBAAkB,2CAA2C,CAChF,CAAC;IACJ,CAAC;IAED,MAAM,WAAW,GAAG,wBAAwB,CAAC,QAAQ,EAAE,kBAAkB,CAAC,CAAC;IAC3E,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAE5D,MAAM,SAAS,GAAyB,EAAE,CAAC;IAC3C,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QACpD,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,kEAAkE;YAClE,yDAAyD;YACzD,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa;gBAAE,SAAS;YACvC,IAAI,CAAC,CAAC,QAAQ,KAAK,kBAAkB;gBAAE,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC;IACD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAExE,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxE,MAAM,WAAW,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAEjF,OAAO;QACL,QAAQ;QACR,WAAW;QACX,UAAU,EAAE,SAAS,CAAC,MAAM;QAC5B,OAAO,EAAE,WAAW,CAAC,MAAM;KAC5B,CAAC;AACJ,CAAC;AAOD,MAAM,OAAO,GAA0B;IACrC,EAAE,UAAU,EAAE,cAAc,EAAE,YAAY,EAAE,cAAc,EAAE;IAC5D,EAAE,UAAU,EAAE,yBAAyB,EAAE,YAAY,EAAE,+BAA+B,EAAE;IACxF,EAAE,UAAU,EAAE,oBAAoB,EAAE,YAAY,EAAE,cAAc,EAAE;IAClE,EAAE,UAAU,EAAE,oCAAoC,EAAE,YAAY,EAAE,sBAAsB,EAAE;IAC1F,qEAAqE;IACrE,oEAAoE;IACpE,qEAAqE;IACrE,EAAE,UAAU,EAAE,yBAAyB,EAAE,YAAY,EAAE,wBAAwB,EAAE;CAClF,CAAC;AAEF,QAAQ,CAAC,4EAA4E,EAAE,GAAG,EAAE;IAC1F,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,EAAE,CAAC,4DAA4D,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,GAAG,EAAE;YAC9G,MAAM,UAAU,GAAG,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;YACzD,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,eAAe,CACpE,MAAM,CAAC,YAAY,EACnB,UAAU,CACX,CAAC;YAEF,MAAM,OAAO,GAAG,QAAQ;iBACrB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;iBACjE,IAAI,CAAC,QAAQ,CAAC,CAAC;YAClB,MAAM,UAAU,GAAG,WAAW;iBAC3B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,UAAU,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;iBAChF,IAAI,CAAC,QAAQ,CAAC,CAAC;YAClB,MAAM,UAAU,GACd,QAAQ,CAAC,MAAM,GAAG,CAAC;gBACjB,CAAC,CAAC,oBAAoB,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,WAAW,OAAO,EAAE;gBACjE,CAAC,CAAC,uBAAuB,CAAC;YAC9B,MAAM,YAAY,GAChB,WAAW,CAAC,MAAM,GAAG,CAAC;gBACpB,CAAC,CAAC,sBAAsB,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,WAAW,UAAU,EAAE;gBACzE,CAAC,CAAC,yBAAyB,CAAC;YAChC,MAAM,MAAM,GAAG;gBACb,WAAW,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,YAAY,EAAE;gBACrD,gBAAgB,MAAM,CAAC,UAAU,CAAC,YAAY;gBAC9C,iBAAiB,MAAM,CAAC,OAAO,CAAC,YAAY;gBAC5C,UAAU;gBACV,YAAY;aACb,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAEb,+DAA+D;YAC/D,yDAAyD;YACzD,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACzC,MAAM,CAAC,QAAQ,EAAE,KAAK,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YAC5C,MAAM,CAAC,WAAW,EAAE,KAAK,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACjD,CAAC,CAAC,CAAC;IACL,CAAC;IAED,EAAE,CAAC,uFAAuF,EAAE,GAAG,EAAE;QAC/F,mEAAmE;QACnE,wEAAwE;QACxE,kEAAkE;QAClE,4DAA4D;QAC5D,iEAAiE;QACjE,+DAA+D;QAC/D,iEAAiE;QACjE,iEAAiE;QACjE,+EAA+E;QAC/E,iEAAiE;QACjE,kFAAkF;QAClF,MAAM,OAAO,GAA2B,EAAE,CAAC;QAC3C,IAAI,cAAc,GAAG,CAAC,CAAC;QACvB,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,UAAU,GAAG,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC;YACzD,MAAM,EAAE,OAAO,EAAE,GAAG,eAAe,CAAC,MAAM,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC;YACrE,OAAO,CAAC,GAAG,MAAM,CAAC,UAAU,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC,GAAG,OAAO,CAAC;YACjE,cAAc,IAAI,OAAO,CAAC;QAC5B,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAChD,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC;QAC1D,8DAA8D;QAC9D,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;QACpE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/__tests__/inventory-helpers/hash-body.test.d.ts

@@ -0,0 +1,11 @@
+/**
+ * hashFunctionBody tests (DRY-4).
+ *
+ * Per spec §2.2:
+ *  - Same body in two files → same hash
+ *  - Whitespace-only difference → same hash
+ *  - Comment-only difference → same hash (stripComments runs first)
+ *  - One-character body change → different hash
+ */
+export {};
+//# sourceMappingURL=hash-body.test.d.ts.map

package/dist/__tests__/inventory-helpers/hash-body.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hash-body.test.d.ts","sourceRoot":"","sources":["../../../src/__tests__/inventory-helpers/hash-body.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG"}

package/dist/__tests__/inventory-helpers/hash-body.test.js

@@ -0,0 +1,34 @@
+/**
+ * hashFunctionBody tests (DRY-4).
+ *
+ * Per spec §2.2:
+ *  - Same body in two files → same hash
+ *  - Whitespace-only difference → same hash
+ *  - Comment-only difference → same hash (stripComments runs first)
+ *  - One-character body change → different hash
+ */
+import { describe, expect, it } from 'vitest';
+import { hashSyntheticBody } from '../../inventory-helpers/hash-body.js';
+describe('hashFunctionBody (DRY-4)', () => {
+    it('produces identical hashes for identical bodies', () => {
+        const a = hashSyntheticBody('function foo() { return 1; }');
+        const b = hashSyntheticBody('function foo() { return 1; }');
+        expect(a).toBe(b);
+    });
+    it('ignores whitespace-only differences', () => {
+        const a = hashSyntheticBody('function foo() { return 1; }');
+        const b = hashSyntheticBody('function foo()  {  return  1;  }');
+        expect(a).toBe(b);
+    });
+    it('ignores comment-only differences', () => {
+        const a = hashSyntheticBody('function foo() { return 1; }');
+        const b = hashSyntheticBody('function foo() { /* hi */ return 1; }');
+        expect(a).toBe(b);
+    });
+    it('reflects one-character body changes', () => {
+        const a = hashSyntheticBody('function foo() { return 1; }');
+        const b = hashSyntheticBody('function foo() { return 2; }');
+        expect(a).not.toBe(b);
+    });
+});
+//# sourceMappingURL=hash-body.test.js.map

package/dist/__tests__/inventory-helpers/hash-body.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hash-body.test.js","sourceRoot":"","sources":["../../../src/__tests__/inventory-helpers/hash-body.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EAAE,iBAAiB,EAAE,MAAM,sCAAsC,CAAC;AAEzE,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,iBAAiB,CAAC,8BAA8B,CAAC,CAAC;QAC5D,MAAM,CAAC,GAAG,iBAAiB,CAAC,8BAA8B,CAAC,CAAC;QAC5D,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAG,iBAAiB,CAAC,8BAA8B,CAAC,CAAC;QAC5D,MAAM,CAAC,GAAG,iBAAiB,CAAC,kCAAkC,CAAC,CAAC;QAChE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,iBAAiB,CAAC,8BAA8B,CAAC,CAAC;QAC5D,MAAM,CAAC,GAAG,iBAAiB,CAAC,uCAAuC,CAAC,CAAC;QACrE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAG,iBAAiB,CAAC,8BAA8B,CAAC,CAAC;QAC5D,MAAM,CAAC,GAAG,iBAAiB,CAAC,8BAA8B,CAAC,CAAC;QAC5D,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/__tests__/inventory-helpers/synthesize-name.test.d.ts

@@ -0,0 +1,9 @@
+/**
+ * synthesizeName tests (DRY-4).
+ *
+ * Per spec §2.2: angle-bracketed names cannot collide with valid TS
+ * identifiers, so the catalog can mix synthesized + real names in
+ * the same map.
+ */
+export {};
+//# sourceMappingURL=synthesize-name.test.d.ts.map

package/dist/__tests__/inventory-helpers/synthesize-name.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"synthesize-name.test.d.ts","sourceRoot":"","sources":["../../../src/__tests__/inventory-helpers/synthesize-name.test.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG"}

package/dist/__tests__/inventory-helpers/synthesize-name.test.js

@@ -0,0 +1,30 @@
+/**
+ * synthesizeName tests (DRY-4).
+ *
+ * Per spec §2.2: angle-bracketed names cannot collide with valid TS
+ * identifiers, so the catalog can mix synthesized + real names in
+ * the same map.
+ */
+import { describe, expect, it } from 'vitest';
+import { synthesizeArrowName, synthesizeFunctionExpressionName, synthesizeModuleInitName, } from '../../inventory-helpers/synthesize-name.js';
+describe('synthesizeName (DRY-4)', () => {
+    it('arrow names are angle-bracketed with file:line:column', () => {
+        const name = synthesizeArrowName({ filePath: 'src/foo.ts', line: 42, column: 7 });
+        expect(name).toBe('<arrow:src/foo.ts:42:7>');
+    });
+    it('function-expression names are angle-bracketed', () => {
+        const name = synthesizeFunctionExpressionName({ filePath: 'a.ts', line: 1, column: 0 });
+        expect(name).toBe('<fn-expr:a.ts:1:0>');
+    });
+    it('module-init name is angle-bracketed with file', () => {
+        const name = synthesizeModuleInitName('src/foo.ts');
+        expect(name).toBe('<module-init:src/foo.ts>');
+    });
+    it('synthesized names cannot collide with valid TS identifiers', () => {
+        // A valid TS identifier never contains '<' or '>'.
+        expect(synthesizeArrowName({ filePath: 'a.ts', line: 1, column: 0 })).toMatch(/^<.+>$/);
+        expect(synthesizeFunctionExpressionName({ filePath: 'a.ts', line: 1, column: 0 })).toMatch(/^<.+>$/);
+        expect(synthesizeModuleInitName('a.ts')).toMatch(/^<.+>$/);
+    });
+});
+//# sourceMappingURL=synthesize-name.test.js.map

package/dist/__tests__/inventory-helpers/synthesize-name.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"synthesize-name.test.js","sourceRoot":"","sources":["../../../src/__tests__/inventory-helpers/synthesize-name.test.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAE9C,OAAO,EACL,mBAAmB,EACnB,gCAAgC,EAChC,wBAAwB,GACzB,MAAM,4CAA4C,CAAC;AAEpD,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,IAAI,GAAG,mBAAmB,CAAC,EAAE,QAAQ,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAClF,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,IAAI,GAAG,gCAAgC,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QACxF,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,IAAI,GAAG,wBAAwB,CAAC,YAAY,CAAC,CAAC;QACpD,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,mDAAmD;QACnD,MAAM,CAAC,mBAAmB,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACxF,MAAM,CAAC,gCAAgC,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CACxF,QAAQ,CACT,CAAC;QACF,MAAM,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/__tests__/inventory-property-tests.test.d.ts

@@ -0,0 +1,24 @@
+/**
+ * Inventory property-based tests (Tier 2).
+ *
+ * These tests assert invariants over the catalog rather than membership
+ * of specific entries. Every catalog produced by stage 1 is expected to
+ * satisfy these properties for any TypeScript input — they are the
+ * contract the catalog promises its consumers.
+ *
+ * Properties exercised:
+ *
+ *  1. bodyHash determinism by content — same body → same hash, twice.
+ *  2. bodyHash insensitivity to whitespace inside the body.
+ *  3. bodyHash sensitivity to a single identifier change.
+ *  4. bodyHash collision for identical bodies under different names
+ *     (the property the `duplicated-function-body` rule depends on).
+ *  5. simpleName synthesis determinism for arrow callbacks.
+ *  6. catalog closure: every CallEdge.to bodyHash exists in the catalog
+ *     (or is empty for unresolved calls).
+ *  7. simpleName + qualifiedName are both populated and non-empty
+ *     for every occurrence.
+ *  8. inTestFile is correct for files matching test patterns.
+ */
+export {};
+//# sourceMappingURL=inventory-property-tests.test.d.ts.map

package/dist/__tests__/inventory-property-tests.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"inventory-property-tests.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/inventory-property-tests.test.ts"],"names":[],"mappings":"AACA;;;;;;;;;;;;;;;;;;;;;GAqBG"}