@opensip-cli/lang-typescript 0.1.7 → 0.1.8

package/README.md

@@ -23,8 +23,8 @@ This package is published for the CLI and advanced plugin authors; most users sh
 ## Documentation
 
 - 📚 Project docs: https://opensip.ai/docs/opensip-cli/
-- 🧭 Package catalog (what every package does): https://github.com/opensip-ai/opensip-cli/blob/v0.1.7/docs/public/70-reference/02-package-catalog.md
-- 📦 Source: https://github.com/opensip-ai/opensip-cli/tree/v0.1.7/packages/languages/lang-typescript
+- 🧭 Package catalog (what every package does): https://github.com/opensip-ai/opensip-cli/blob/v0.1.8/docs/public/70-reference/02-package-catalog.md
+- 📦 Source: https://github.com/opensip-ai/opensip-cli/tree/v0.1.8/packages/languages/lang-typescript
 
 ## License
 

package/dist/__tests__/program-service.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=program-service.test.d.ts.map

package/dist/__tests__/program-service.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"program-service.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/program-service.test.ts"],"names":[],"mappings":""}

package/dist/__tests__/program-service.test.js

@@ -0,0 +1,97 @@
+import { mkdirSync, mkdtempSync, rmSync, writeFileSync } from 'node:fs';
+import { tmpdir } from 'node:os';
+import { dirname, join } from 'node:path';
+import * as ts from 'typescript';
+import { afterEach, beforeEach, describe, expect, it } from 'vitest';
+import { createTypeCheckedProgram, isTypeNullable } from '../program-service.js';
+let dir;
+beforeEach(() => {
+    dir = mkdtempSync(join(tmpdir(), 'opensip-progsvc-'));
+});
+afterEach(() => {
+    rmSync(dir, { recursive: true, force: true });
+});
+function write(rel, content) {
+    const abs = join(dir, rel);
+    mkdirSync(dirname(abs), { recursive: true });
+    writeFileSync(abs, content);
+    return abs;
+}
+/** Map of bare-identifier call expressions → their resolved result type. */
+function callTypes(sf, checker) {
+    const out = new Map();
+    const visit = (n) => {
+        if (ts.isCallExpression(n) && ts.isIdentifier(n.expression)) {
+            out.set(n.expression.text, checker.getTypeAtLocation(n));
+        }
+        ts.forEachChild(n, visit);
+    };
+    visit(sf);
+    return out;
+}
+/** Resolve the type of a top-level `const <name>` initializer site by name. */
+function varType(sf, checker, name) {
+    for (const stmt of sf.statements) {
+        if (!ts.isVariableStatement(stmt))
+            continue;
+        for (const decl of stmt.declarationList.declarations) {
+            if (ts.isIdentifier(decl.name) && decl.name.text === name) {
+                return checker.getTypeAtLocation(decl.name);
+            }
+        }
+    }
+    throw new Error(`variable ${name} not found`);
+}
+describe('createTypeCheckedProgram', () => {
+    it('builds a bound Program that resolves real (non-null vs nullable) return types', () => {
+        const file = write('src/sample.ts', [
+            'export function getNullable(): string | null { return null; }',
+            'export function getMaybe(): number | undefined { return undefined; }',
+            "export function getSafe(): string { return ''; }",
+            'export function use() {',
+            '  return [getNullable(), getMaybe(), getSafe()];',
+            '}',
+        ].join('\n'));
+        const { checker, getSourceFile } = createTypeCheckedProgram([file], { projectRoot: dir });
+        const sf = getSourceFile(file);
+        expect(sf).toBeDefined();
+        const types = callTypes(sf, checker);
+        expect(isTypeNullable(types.get('getNullable'))).toBe(true);
+        expect(isTypeNullable(types.get('getMaybe'))).toBe(true);
+        expect(isTypeNullable(types.get('getSafe'))).toBe(false);
+    });
+    it('isTypeNullable fails open: `any`/`unknown` are not treated as nullable', () => {
+        const file = write('src/loose.ts', ['export const a: any = 1;', 'export const b: unknown = 1;'].join('\n'));
+        const { program, checker, getSourceFile } = createTypeCheckedProgram([file], {
+            projectRoot: dir,
+        });
+        expect(program.getSourceFiles().some((s) => s.fileName === file)).toBe(true);
+        const sf = getSourceFile(file);
+        expect(isTypeNullable(varType(sf, checker, 'a'))).toBe(false);
+        expect(isTypeNullable(varType(sf, checker, 'b'))).toBe(false);
+    });
+    it('honors an explicit tsconfig (strictNullChecks off → string|null reads non-nullable)', () => {
+        // A real project tsconfig with strict OFF: under it, `string | null` is the
+        // pre-strict `string` (null absorbed), so the service reflects the project's
+        // own type config rather than imposing strictness.
+        write('tsconfig.json', JSON.stringify({ compilerOptions: { strict: false } }));
+        const file = write('src/proj.ts', 'export const n: string | null = null;');
+        const built = createTypeCheckedProgram([file], {
+            projectRoot: dir,
+            tsconfigPath: 'tsconfig.json',
+        });
+        expect(built.tsconfigPath).toBeDefined();
+        const sf = built.getSourceFile(file);
+        expect(isTypeNullable(varType(sf, built.checker, 'n'))).toBe(false);
+    });
+    it('degrades gracefully when no tsconfig is found (fallback options, tsconfigPath undefined)', () => {
+        const file = write('src/orphan.ts', 'export const m: string | null = null;');
+        const built = createTypeCheckedProgram([file], { projectRoot: dir });
+        // The temp dir has no tsconfig and is outside any project tree.
+        expect(built.tsconfigPath).toBeUndefined();
+        const sf = built.getSourceFile(file);
+        // Fallback options enable strict, so `string | null` still reads as nullable.
+        expect(isTypeNullable(varType(sf, built.checker, 'm'))).toBe(true);
+    });
+});
+//# sourceMappingURL=program-service.test.js.map

package/dist/__tests__/program-service.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"program-service.test.js","sourceRoot":"","sources":["../../src/__tests__/program-service.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACxE,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAE1C,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAErE,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAEjF,IAAI,GAAW,CAAC;AAEhB,UAAU,CAAC,GAAG,EAAE;IACd,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,kBAAkB,CAAC,CAAC,CAAC;AACxD,CAAC,CAAC,CAAC;AACH,SAAS,CAAC,GAAG,EAAE;IACb,MAAM,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AAChD,CAAC,CAAC,CAAC;AAEH,SAAS,KAAK,CAAC,GAAW,EAAE,OAAe;IACzC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IAC3B,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC7C,aAAa,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;IAC5B,OAAO,GAAG,CAAC;AACb,CAAC;AAED,4EAA4E;AAC5E,SAAS,SAAS,CAAC,EAAiB,EAAE,OAAuB;IAC3D,MAAM,GAAG,GAAG,IAAI,GAAG,EAAmB,CAAC;IACvC,MAAM,KAAK,GAAG,CAAC,CAAU,EAAQ,EAAE;QACjC,IAAI,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC;YAC5D,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3D,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC5B,CAAC,CAAC;IACF,KAAK,CAAC,EAAE,CAAC,CAAC;IACV,OAAO,GAAG,CAAC;AACb,CAAC;AAED,+EAA+E;AAC/E,SAAS,OAAO,CAAC,EAAiB,EAAE,OAAuB,EAAE,IAAY;IACvE,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;QACjC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAAE,SAAS;QAC5C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;YACrD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;gBAC1D,OAAO,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9C,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,YAAY,IAAI,YAAY,CAAC,CAAC;AAChD,CAAC;AAED,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,EAAE,CAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,MAAM,IAAI,GAAG,KAAK,CAChB,eAAe,EACf;YACE,+DAA+D;YAC/D,sEAAsE;YACtE,kDAAkD;YAClD,yBAAyB;YACzB,kDAAkD;YAClD,GAAG;SACJ,CAAC,IAAI,CAAC,IAAI,CAAC,CACb,CAAC;QAEF,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,GAAG,wBAAwB,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC;QAC1F,MAAM,EAAE,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,CAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QAEzB,MAAM,KAAK,GAAG,SAAS,CAAC,EAAG,EAAE,OAAO,CAAC,CAAC;QACtC,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7D,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1D,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,IAAI,GAAG,KAAK,CAChB,cAAc,EACd,CAAC,0BAA0B,EAAE,8BAA8B,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CACxE,CAAC;QACF,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,GAAG,wBAAwB,CAAC,CAAC,IAAI,CAAC,EAAE;YAC3E,WAAW,EAAE,GAAG;SACjB,CAAC,CAAC;QACH,MAAM,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7E,MAAM,EAAE,GAAG,aAAa,CAAC,IAAI,CAAE,CAAC;QAChC,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9D,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qFAAqF,EAAE,GAAG,EAAE;QAC7F,4EAA4E;QAC5E,6EAA6E;QAC7E,mDAAmD;QACnD,KAAK,CAAC,eAAe,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,eAAe,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC;QAC/E,MAAM,IAAI,GAAG,KAAK,CAAC,aAAa,EAAE,uCAAuC,CAAC,CAAC;QAC3E,MAAM,KAAK,GAAG,wBAAwB,CAAC,CAAC,IAAI,CAAC,EAAE;YAC7C,WAAW,EAAE,GAAG;YAChB,YAAY,EAAE,eAAe;SAC9B,CAAC,CAAC;QACH,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,WAAW,EAAE,CAAC;QACzC,MAAM,EAAE,GAAG,KAAK,CAAC,aAAa,CAAC,IAAI,CAAE,CAAC;QACtC,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,EAAE,EAAE,KAAK,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,0FAA0F,EAAE,GAAG,EAAE;QAClG,MAAM,IAAI,GAAG,KAAK,CAAC,eAAe,EAAE,uCAAuC,CAAC,CAAC;QAC7E,MAAM,KAAK,GAAG,wBAAwB,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,CAAC;QACrE,gEAAgE;QAChE,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,aAAa,EAAE,CAAC;QAC3C,MAAM,EAAE,GAAG,KAAK,CAAC,aAAa,CAAC,IAAI,CAAE,CAAC;QACtC,8EAA8E;QAC9E,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,EAAE,EAAE,KAAK,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/index.d.ts

@@ -7,6 +7,8 @@ export { stripStrings, stripComments } from './strip.js';
 export { filterContent } from './filter.js';
 export type { FilteredContent } from './filter.js';
 export { discoverTypescriptWorkspaceUnits } from './workspace-units.js';
+export { createTypeCheckedProgram, isTypeNullable } from './program-service.js';
+export type { TypeCheckedProgram, CreateTypeCheckedProgramOptions } from './program-service.js';
 export { findEnclosingFunction, findEnclosingFunctionBody, getEnclosingFunctionName, findEnclosingScope, isAsync, isInAsyncContext, isInsideConditionalBlock, } from './function-scope.js';
 export type { FunctionLikeNode } from './function-scope.js';
 export { getSharedSourceFile, walkNodes, getIdentifierName, getPropertyChain, getLineNumber, getColumn, isPropertyAccess, isLiteral, isInStringLiteral, findCallExpressions, findBinaryExpressions, findTemplateLiterals, isInComment, countUnescapedBackticks, } from './ast-utilities.js';

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,EAAE,EAAE,CAAC;AAEd,OAAO,EAAE,iBAAiB,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAC3D,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACzC,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,YAAY,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,EAAE,gCAAgC,EAAE,MAAM,sBAAsB,CAAC;AAKxE,OAAO,EACL,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EACxB,kBAAkB,EAClB,OAAO,EACP,gBAAgB,EAChB,wBAAwB,GACzB,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAM5D,OAAO,EACL,mBAAmB,EACnB,SAAS,EACT,iBAAiB,EACjB,gBAAgB,EAChB,aAAa,EACb,SAAS,EACT,gBAAgB,EAChB,SAAS,EACT,iBAAiB,EACjB,mBAAmB,EACnB,qBAAqB,EACrB,oBAAoB,EACpB,WAAW,EACX,uBAAuB,GACxB,MAAM,oBAAoB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAE,EAAE,EAAE,CAAC;AAEd,OAAO,EAAE,iBAAiB,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAC3D,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACzC,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,YAAY,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,EAAE,gCAAgC,EAAE,MAAM,sBAAsB,CAAC;AAIxE,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAChF,YAAY,EAAE,kBAAkB,EAAE,+BAA+B,EAAE,MAAM,sBAAsB,CAAC;AAKhG,OAAO,EACL,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EACxB,kBAAkB,EAClB,OAAO,EACP,gBAAgB,EAChB,wBAAwB,GACzB,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AAM5D,OAAO,EACL,mBAAmB,EACnB,SAAS,EACT,iBAAiB,EACjB,gBAAgB,EAChB,aAAa,EACb,SAAS,EACT,gBAAgB,EAChB,SAAS,EACT,iBAAiB,EACjB,mBAAmB,EACnB,qBAAqB,EACrB,oBAAoB,EACpB,WAAW,EACX,uBAAuB,GACxB,MAAM,oBAAoB,CAAC"}

package/dist/index.js

@@ -12,6 +12,9 @@ export { typescriptQuery } from './query.js';
 export { stripStrings, stripComments } from './strip.js';
 export { filterContent } from './filter.js';
 export { discoverTypescriptWorkspaceUnits } from './workspace-units.js';
+// Type-checked Program service (D2): the shared builder of a real ts.Program +
+// bound TypeChecker for type-aware checks. See program-service.ts.
+export { createTypeCheckedProgram, isTypeNullable } from './program-service.js';
 // Function-scope helpers — extracted from `ast-utilities.ts` into a
 // concern-named module. New scope helpers go in `./function-scope.ts`,
 // NOT in `ast-utilities.ts`.

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,6CAA6C;AAE7C,8EAA8E;AAC9E,0EAA0E;AAC1E,6EAA6E;AAC7E,oDAAoD;AACpD,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,qMAAqM;AACrM,OAAO,EAAE,EAAE,EAAE,CAAC;AAEd,OAAO,EAAE,iBAAiB,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAC3D,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACzC,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAE5C,OAAO,EAAE,gCAAgC,EAAE,MAAM,sBAAsB,CAAC;AAExE,oEAAoE;AACpE,uEAAuE;AACvE,6BAA6B;AAC7B,OAAO,EACL,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EACxB,kBAAkB,EAClB,OAAO,EACP,gBAAgB,EAChB,wBAAwB,GACzB,MAAM,qBAAqB,CAAC;AAG7B,yEAAyE;AACzE,0EAA0E;AAC1E,4EAA4E;AAC5E,iDAAiD;AACjD,OAAO,EACL,mBAAmB,EACnB,SAAS,EACT,iBAAiB,EACjB,gBAAgB,EAChB,aAAa,EACb,SAAS,EACT,gBAAgB,EAChB,SAAS,EACT,iBAAiB,EACjB,mBAAmB,EACnB,qBAAqB,EACrB,oBAAoB,EACpB,WAAW,EACX,uBAAuB,GACxB,MAAM,oBAAoB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,6CAA6C;AAE7C,8EAA8E;AAC9E,0EAA0E;AAC1E,6EAA6E;AAC7E,oDAAoD;AACpD,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,qMAAqM;AACrM,OAAO,EAAE,EAAE,EAAE,CAAC;AAEd,OAAO,EAAE,iBAAiB,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAC;AAC3D,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACzC,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAE5C,OAAO,EAAE,gCAAgC,EAAE,MAAM,sBAAsB,CAAC;AAExE,+EAA+E;AAC/E,mEAAmE;AACnE,OAAO,EAAE,wBAAwB,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAGhF,oEAAoE;AACpE,uEAAuE;AACvE,6BAA6B;AAC7B,OAAO,EACL,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EACxB,kBAAkB,EAClB,OAAO,EACP,gBAAgB,EAChB,wBAAwB,GACzB,MAAM,qBAAqB,CAAC;AAG7B,yEAAyE;AACzE,0EAA0E;AAC1E,4EAA4E;AAC5E,iDAAiD;AACjD,OAAO,EACL,mBAAmB,EACnB,SAAS,EACT,iBAAiB,EACjB,gBAAgB,EAChB,aAAa,EACb,SAAS,EACT,gBAAgB,EAChB,SAAS,EACT,iBAAiB,EACjB,mBAAmB,EACnB,qBAAqB,EACrB,oBAAoB,EACpB,WAAW,EACX,uBAAuB,GACxB,MAAM,oBAAoB,CAAC"}

package/dist/program-service.d.ts

@@ -0,0 +1,55 @@
+/**
+ * @fileoverview Shared TypeScript type-checked Program service.
+ *
+ * The one canonical place that builds a real `ts.Program` + bound
+ * `TypeChecker` over an explicit file set, so type-aware fitness checks can ask
+ * the compiler for a value's ACTUAL type instead of guessing from its name.
+ * Lives here (per ADR-0010, `@opensip-cli/lang-typescript` is the single TS
+ * parse/AST substrate consumed by both fitness checks and the graph adapter) so
+ * the dependency on the `typescript` compiler stays isolated to this package —
+ * `checks-typescript` already depends on this barrel.
+ *
+ * This module is STATELESS: it constructs a fresh Program per call. Per-run
+ * sharing/caching (build one Program per `fit` run, reused by every type-aware
+ * TS check) is the consumer's responsibility (the fitness engine hoists it onto
+ * a per-run scope slot) — keeping this layer a pure, testable builder.
+ *
+ * Cost (measured on a ~900-file first-party corpus, default V8 heap): ~1s
+ * cold-start, <0.6 GB RSS (the D2 type-aware-null-safety spec's P0 benchmark).
+ */
+import * as ts from 'typescript';
+/** A built Program with its bound checker and a path-keyed SourceFile lookup. */
+export interface TypeCheckedProgram {
+    readonly program: ts.Program;
+    readonly checker: ts.TypeChecker;
+    /** The tsconfig the Program was anchored to, or `undefined` if none was found. */
+    readonly tsconfigPath: string | undefined;
+    /**
+     * Resolve a SourceFile by absolute path (as passed in `rootFiles`). Declared
+     * as a bound property (arrow), not a method, so callers may safely destructure
+     * it off the returned object.
+     */
+    readonly getSourceFile: (absPath: string) => ts.SourceFile | undefined;
+}
+/** Options for {@link createTypeCheckedProgram}: where to resolve the tsconfig. */
+export interface CreateTypeCheckedProgramOptions {
+    /** Directory to resolve a tsconfig from when `tsconfigPath` is not given. */
+    readonly projectRoot: string;
+    /** Explicit tsconfig path (absolute, or relative to `projectRoot`). */
+    readonly tsconfigPath?: string;
+}
+/**
+ * Build a type-checked Program over `rootFiles` (absolute on-disk paths). The
+ * binder is forced eagerly via `getTypeChecker()` — the dominant cost — so both
+ * `node.parent` chains and symbol tables are populated before the caller walks.
+ * The Program reads source bytes from disk itself; do NOT pre-transform input.
+ */
+export declare function createTypeCheckedProgram(rootFiles: readonly string[], opts: CreateTypeCheckedProgramOptions): TypeCheckedProgram;
+/**
+ * True when `type` CONCRETELY includes `null` or `undefined`. Fail-open by
+ * construction: `any`/`unknown`/error/unresolved types have no Null/Undefined
+ * union member, so they return `false` — a type-aware nullability check should
+ * never flag what the compiler couldn't resolve.
+ */
+export declare function isTypeNullable(type: ts.Type): boolean;
+//# sourceMappingURL=program-service.d.ts.map

package/dist/program-service.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"program-service.d.ts","sourceRoot":"","sources":["../src/program-service.ts"],"names":[],"mappings":"AAEA;;;;;;;;;;;;;;;;;;GAkBG;AAKH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,iFAAiF;AACjF,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC;IACjC,kFAAkF;IAClF,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,SAAS,CAAC;IAC1C;;;;OAIG;IACH,QAAQ,CAAC,aAAa,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,EAAE,CAAC,UAAU,GAAG,SAAS,CAAC;CACxE;AAED,mFAAmF;AACnF,MAAM,WAAW,+BAA+B;IAC9C,6EAA6E;IAC7E,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,uEAAuE;IACvE,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;CAChC;AAqDD;;;;;GAKG;AACH,wBAAgB,wBAAwB,CACtC,SAAS,EAAE,SAAS,MAAM,EAAE,EAC5B,IAAI,EAAE,+BAA+B,GACpC,kBAAkB,CAsBpB;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,GAAG,OAAO,CAGrD"}

package/dist/program-service.js

@@ -0,0 +1,106 @@
+// @fitness-ignore-file error-handling-quality -- the ParseConfigHost.readFile shim returns undefined when TS asks about a vanished referenced file (TS treats undefined as "skip"); intentional per the ts.ParseConfigHost contract, not a silent error swallow.
+// @fitness-ignore-file unbounded-memory -- readFileSync reads tsconfig.json files only, bounded by the standard TS configuration shape (mirrors graph-typescript/src/discover.ts).
+/**
+ * @fileoverview Shared TypeScript type-checked Program service.
+ *
+ * The one canonical place that builds a real `ts.Program` + bound
+ * `TypeChecker` over an explicit file set, so type-aware fitness checks can ask
+ * the compiler for a value's ACTUAL type instead of guessing from its name.
+ * Lives here (per ADR-0010, `@opensip-cli/lang-typescript` is the single TS
+ * parse/AST substrate consumed by both fitness checks and the graph adapter) so
+ * the dependency on the `typescript` compiler stays isolated to this package —
+ * `checks-typescript` already depends on this barrel.
+ *
+ * This module is STATELESS: it constructs a fresh Program per call. Per-run
+ * sharing/caching (build one Program per `fit` run, reused by every type-aware
+ * TS check) is the consumer's responsibility (the fitness engine hoists it onto
+ * a per-run scope slot) — keeping this layer a pure, testable builder.
+ *
+ * Cost (measured on a ~900-file first-party corpus, default V8 heap): ~1s
+ * cold-start, <0.6 GB RSS (the D2 type-aware-null-safety spec's P0 benchmark).
+ */
+import { existsSync, readFileSync } from 'node:fs';
+import { dirname, isAbsolute, resolve } from 'node:path';
+import * as ts from 'typescript';
+/**
+ * Compiler options used when no tsconfig can be found (loose JS/TS checkouts).
+ * Conservative and strict-ish so types still resolve; the consumer's fail-open
+ * policy (treat unresolved/`any` as non-nullable) covers the weaker signal.
+ */
+const FALLBACK_COMPILER_OPTIONS = {
+    target: ts.ScriptTarget.ES2022,
+    module: ts.ModuleKind.NodeNext,
+    moduleResolution: ts.ModuleResolutionKind.NodeNext,
+    strict: true,
+    allowJs: true,
+    noEmit: true,
+    skipLibCheck: true,
+};
+/** Resolve the tsconfig to anchor the Program to, or `undefined` if none. */
+function resolveTsconfigPath(projectRoot, explicit) {
+    if (explicit !== undefined) {
+        const candidate = isAbsolute(explicit) ? explicit : resolve(projectRoot, explicit);
+        return existsSync(candidate) ? candidate : undefined;
+    }
+    return ts.findConfigFile(projectRoot, (p) => existsSync(p), 'tsconfig.json');
+}
+/** Load + extends-resolve a tsconfig into effective compiler options. */
+function loadCompilerOptions(tsconfigPath) {
+    const raw = readFileSync(tsconfigPath, 'utf8');
+    const parsed = ts.parseConfigFileTextToJson(tsconfigPath, raw);
+    if (parsed.error)
+        return { ...FALLBACK_COMPILER_OPTIONS };
+    const host = {
+        fileExists: (p) => existsSync(p),
+        readDirectory: ts.sys.readDirectory.bind(ts.sys),
+        readFile: (p) => {
+            try {
+                return readFileSync(p, 'utf8');
+            }
+            catch {
+                return;
+            }
+        },
+        useCaseSensitiveFileNames: ts.sys.useCaseSensitiveFileNames,
+    };
+    const result = ts.parseJsonConfigFileContent(parsed.config, host, dirname(tsconfigPath), {}, tsconfigPath);
+    return result.options;
+}
+/**
+ * Build a type-checked Program over `rootFiles` (absolute on-disk paths). The
+ * binder is forced eagerly via `getTypeChecker()` — the dominant cost — so both
+ * `node.parent` chains and symbol tables are populated before the caller walks.
+ * The Program reads source bytes from disk itself; do NOT pre-transform input.
+ */
+export function createTypeCheckedProgram(rootFiles, opts) {
+    const tsconfigPath = resolveTsconfigPath(opts.projectRoot, opts.tsconfigPath);
+    const baseOptions = tsconfigPath
+        ? loadCompilerOptions(tsconfigPath)
+        : { ...FALLBACK_COMPILER_OPTIONS };
+    const options = {
+        ...baseOptions,
+        // Anchor to the origin tsconfig for project-reference/rootDir resolution.
+        ...(tsconfigPath ? { configFilePath: tsconfigPath } : {}),
+        noEmit: true,
+    };
+    const program = ts.createProgram({ rootNames: [...rootFiles], options });
+    // Forces the binder (parent pointers + symbol tables). See module header.
+    const checker = program.getTypeChecker();
+    return {
+        program,
+        checker,
+        tsconfigPath,
+        getSourceFile: (absPath) => program.getSourceFile(absPath),
+    };
+}
+/**
+ * True when `type` CONCRETELY includes `null` or `undefined`. Fail-open by
+ * construction: `any`/`unknown`/error/unresolved types have no Null/Undefined
+ * union member, so they return `false` — a type-aware nullability check should
+ * never flag what the compiler couldn't resolve.
+ */
+export function isTypeNullable(type) {
+    const members = type.isUnion() ? type.types : [type];
+    return members.some((m) => (m.flags & (ts.TypeFlags.Null | ts.TypeFlags.Undefined)) !== 0);
+}
+//# sourceMappingURL=program-service.js.map

package/dist/program-service.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"program-service.js","sourceRoot":"","sources":["../src/program-service.ts"],"names":[],"mappings":"AAAA,iQAAiQ;AACjQ,mLAAmL;AACnL;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAEzD,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAwBjC;;;;GAIG;AACH,MAAM,yBAAyB,GAAuB;IACpD,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM;IAC9B,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ;IAC9B,gBAAgB,EAAE,EAAE,CAAC,oBAAoB,CAAC,QAAQ;IAClD,MAAM,EAAE,IAAI;IACZ,OAAO,EAAE,IAAI;IACb,MAAM,EAAE,IAAI;IACZ,YAAY,EAAE,IAAI;CACnB,CAAC;AAEF,6EAA6E;AAC7E,SAAS,mBAAmB,CAAC,WAAmB,EAAE,QAAiB;IACjE,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,SAAS,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;QACnF,OAAO,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;IACvD,CAAC;IACD,OAAO,EAAE,CAAC,cAAc,CAAC,WAAW,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,eAAe,CAAC,CAAC;AAC/E,CAAC;AAED,yEAAyE;AACzE,SAAS,mBAAmB,CAAC,YAAoB;IAC/C,MAAM,GAAG,GAAG,YAAY,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IAC/C,MAAM,MAAM,GAAG,EAAE,CAAC,yBAAyB,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC;IAC/D,IAAI,MAAM,CAAC,KAAK;QAAE,OAAO,EAAE,GAAG,yBAAyB,EAAE,CAAC;IAC1D,MAAM,IAAI,GAAuB;QAC/B,UAAU,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;QAChC,aAAa,EAAE,EAAE,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC;QAChD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE;YACd,IAAI,CAAC;gBACH,OAAO,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;YACjC,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO;YACT,CAAC;QACH,CAAC;QACD,yBAAyB,EAAE,EAAE,CAAC,GAAG,CAAC,yBAAyB;KAC5D,CAAC;IACF,MAAM,MAAM,GAAG,EAAE,CAAC,0BAA0B,CAC1C,MAAM,CAAC,MAAgB,EACvB,IAAI,EACJ,OAAO,CAAC,YAAY,CAAC,EACrB,EAAE,EACF,YAAY,CACb,CAAC;IACF,OAAO,MAAM,CAAC,OAAO,CAAC;AACxB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,wBAAwB,CACtC,SAA4B,EAC5B,IAAqC;IAErC,MAAM,YAAY,GAAG,mBAAmB,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,YAAY,CAAC,CAAC;IAC9E,MAAM,WAAW,GAAG,YAAY;QAC9B,CAAC,CAAC,mBAAmB,CAAC,YAAY,CAAC;QACnC,CAAC,CAAC,EAAE,GAAG,yBAAyB,EAAE,CAAC;IACrC,MAAM,OAAO,GAAuB;QAClC,GAAG,WAAW;QACd,0EAA0E;QAC1E,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzD,MAAM,EAAE,IAAI;KACb,CAAC;IAEF,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAAC,EAAE,SAAS,EAAE,CAAC,GAAG,SAAS,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC;IACzE,0EAA0E;IAC1E,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IAEzC,OAAO;QACL,OAAO;QACP,OAAO;QACP,YAAY;QACZ,aAAa,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,aAAa,CAAC,OAAO,CAAC;KAC3D,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,cAAc,CAAC,IAAa;IAC1C,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACrD,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,GAAG,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;AAC7F,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@opensip-cli/lang-typescript",
-  "version": "0.1.7",
+  "version": "0.1.8",
   "license": "Apache-2.0",
   "description": "TypeScript/JavaScript language adapter for opensip-cli",
   "keywords": [
@@ -35,7 +35,7 @@
   ],
   "dependencies": {
     "typescript": "~6.0.3",
-    "@opensip-cli/core": "0.1.7"
+    "@opensip-cli/core": "0.1.8"
   },
   "devDependencies": {
     "@types/node": "^24.13.2",