@esportsplus/typescript 0.31.1 → 0.32.0

package/README.md

@@ -104,9 +104,14 @@ Add an `analyze` entry to `compilerOptions.plugins`. Analysis covers every file
                 "channels": {
                     "exceptions": {
                         "enabled": true,
-                        // "consumers" (default): uncaught calls only.
-                        // "cross-module": only when the throwing callee is in another package.
-                        // "all": throws AND uncaught calls.
+                        // "consumers" (default): uncaught calls only, and only when
+                        //   the throwing callee is in another PACKAGE — a throw within
+                        //   this package is its own contract, seen only where an
+                        //   external consumer calls in.
+                        // "cross-module": like "consumers" but the boundary is the
+                        //   FILE — a callee thrown from the caller's own file stays
+                        //   silent; a call from another file reports.
+                        // "all": throws AND every uncaught call.
                         "report": "consumers",
                         // Flag `throw`s inside `catch` that drop the caught error's cause.
                         "errorCause": true

package/build/probe/async/channel.js

@@ -1,4 +1,4 @@
-import * as ts from '../../probe/adapter.js';
+import * as ts from '../adapter.js';
 import { bodyOf, calleeSelectors, unwrap } from '../kernel/ast.js';
 import { isFunctionLike, locationOf } from '../kernel/ids.js';
 import { bottom, equals, promise, widen } from './value.js';

package/build/probe/exceptions/channel.js

@@ -1,5 +1,5 @@
 import * as NodeFS from 'node:fs';
-import * as ts from '../../probe/adapter.js';
+import * as ts from '../adapter.js';
 import { bodyOf, calleeSelectors, paramSymbols } from '../kernel/ast.js';
 import { isFunctionLike, locationOf } from '../kernel/ids.js';
 import { declaredExceptions } from './jsdoc.js';
@@ -50,13 +50,13 @@ function createExceptionsChannel() {
         diagnose(ctx) {
             const out = [];
             const base = makeEnv(ctx.checker, ctx.dispatch, ctx.sinks, ctx.fn, ctx.summaryOf, ctx.resolveCall, typeAt);
-            const env = reportMode(ctx) === 'cross-module'
-                ? {
+            const env = reportMode(ctx) === 'all'
+                ? { ...base, escapeCache: new Map() }
+                : {
                     ...base,
                     escapeCache: new Map(),
                     unhandled: computeUnhandled(ctx),
-                }
-                : { ...base, escapeCache: new Map() };
+                };
             const body = bodyOf(ctx.fn.node);
             const decl = declaredExceptions(ctx.fn.node, ctx.checker);
             if (decl.declared && body) {
@@ -482,13 +482,20 @@ function packageRootOf(fileName) {
     }
     return root;
 }
-function crossesModuleBoundary(env, ctx, call) {
+function crossesPackageBoundary(env, ctx, call) {
     const res = env.resolveCall(call);
     if (res.targets.length === 0)
         return true;
     const home = packageRootOf(ctx.fn.fileName);
     return res.targets.some((t) => packageRootOf(t.fileName) !== home);
 }
+function crossesFileBoundary(env, ctx, call) {
+    const res = env.resolveCall(call);
+    if (res.targets.length === 0)
+        return true;
+    const home = ctx.fn.fileName.replace(/\\/g, '/');
+    return res.targets.some((t) => t.fileName.replace(/\\/g, '/') !== home);
+}
 function reachesTop(env, rem) {
     const u = env.unhandled;
     if (!u || !u.active)
@@ -525,8 +532,13 @@ function walkDiagnostics(env, ctx, node, binding, remainder, out) {
         }
         if (ts.isCallExpression(n) || ts.isNewExpression(n)) {
             const rem = callEscape(env, n);
-            const report = reportMode(ctx) !== 'cross-module' ||
-                (crossesModuleBoundary(env, ctx, n) && reachesTop(env, rem));
+            const mode = reportMode(ctx);
+            const report = mode === 'all'
+                ? true
+                : mode === 'cross-module'
+                    ? crossesFileBoundary(env, ctx, n) && reachesTop(env, rem)
+                    : crossesPackageBoundary(env, ctx, n) &&
+                        reachesTop(env, rem);
             if (!isEmpty(rem) && report)
                 out.push(callDiagnostic(env, ctx, n, rem));
             ts.forEachChild(n, visit);

package/build/probe/exceptions/jsdoc.d.ts

@@ -1,4 +1,4 @@
-import * as ts from '../../probe/adapter.js';
+import * as ts from '../adapter.js';
 import type { FunctionLike } from '../kernel/types.js';
 import { type ExceptionsValue } from './value.js';
 declare function declaredExceptions(node: FunctionLike, checker: ts.TypeChecker): {

package/build/probe/exceptions/jsdoc.js

@@ -1,4 +1,4 @@
-import * as ts from '../../probe/adapter.js';
+import * as ts from '../adapter.js';
 import { bottom, join, single, top, TOP_KEY, typeRef, } from './value.js';
 function declaredExceptions(node, checker) {
     let value = bottom();

package/build/probe/exceptions/value.d.ts

@@ -1,4 +1,4 @@
-import * as ts from '../../probe/adapter.js';
+import * as ts from '../adapter.js';
 type ExceptionOrigin = {
     readonly fileName: string;
     readonly pos: number;

package/build/probe/exceptions/value.js

@@ -1,4 +1,4 @@
-import * as ts from '../../probe/adapter.js';
+import * as ts from '../adapter.js';
 const TOP_KEY = '\u0000top';
 const TOP_DISPLAY = 'an unknown error';
 const WIDEN_CAP = 8;

package/build/probe/kernel/analyze.d.ts

@@ -1,4 +1,4 @@
-import * as ts from '../../probe/adapter.js';
+import * as ts from '../adapter.js';
 import type { Diagnostic, AnalyzeConfig } from './types.js';
 type AnalyzeResult = {
     readonly diagnostics: ReadonlyArray<Diagnostic>;

package/build/probe/kernel/ast.d.ts

@@ -1,4 +1,4 @@
-import * as ts from '../../probe/adapter.js';
+import * as ts from '../adapter.js';
 import type { FunctionLike } from './types.js';
 type UnwrapOptions = {
     assertions?: boolean;

package/build/probe/kernel/ast.js

@@ -1,4 +1,4 @@
-import * as ts from '../../probe/adapter.js';
+import * as ts from '../adapter.js';
 function shouldUnwrap(expr, options) {
     return (ts.isParenthesizedExpression(expr) ||
         (options.assertions === true &&

package/build/probe/kernel/graph.d.ts

@@ -1,4 +1,4 @@
-import * as ts from '../../probe/adapter.js';
+import * as ts from '../adapter.js';
 import type { CallGraph, OverlaySet, AnalyzeConfig } from './types.js';
 declare function buildCallGraph(program: ts.Program, checker: ts.TypeChecker, config: AnalyzeConfig, overlays: OverlaySet): CallGraph;
 export { buildCallGraph };

package/build/probe/kernel/graph.js

@@ -1,4 +1,4 @@
-import * as ts from '../../probe/adapter.js';
+import * as ts from '../adapter.js';
 import { isFunctionLike, makeFunctionInfo } from './ids.js';
 function buildCallGraph(program, checker, config, overlays) {
     const sourceFiles = ts.getSourceFiles(program);

package/build/probe/kernel/ids.d.ts

@@ -1,4 +1,4 @@
-import * as ts from '../../probe/adapter.js';
+import * as ts from '../adapter.js';
 import type { FunctionInfo, FunctionLike, SourceLocation } from './types.js';
 declare function isFunctionLike(node: ts.Node): node is FunctionLike;
 declare function functionName(node: FunctionLike): string;

package/build/probe/kernel/ids.js

@@ -1,4 +1,4 @@
-import * as ts from '../../probe/adapter.js';
+import * as ts from '../adapter.js';
 const FUNCTION_LIKE_KINDS = new Set([
     ts.SyntaxKind.FunctionDeclaration,
     ts.SyntaxKind.FunctionExpression,

package/build/probe/kernel/program.d.ts

@@ -1,4 +1,4 @@
-import * as ts from '../../probe/adapter.js';
+import * as ts from '../adapter.js';
 export type BuiltProgram = {
     program: ts.Program;
     checker: ts.Checker;

package/build/probe/kernel/types.d.ts

@@ -1,4 +1,4 @@
-import type * as ts from '../../probe/adapter.js';
+import type * as ts from '../adapter.js';
 export type FunctionLike = ts.FunctionDeclaration | ts.FunctionExpression | ts.ArrowFunction | ts.MethodDeclaration | ts.GetAccessorDeclaration | ts.SetAccessorDeclaration | ts.ConstructorDeclaration;
 type FunctionInfo = {
     readonly id: string;

package/build/probe/overlay/load.js

@@ -1,7 +1,7 @@
 import * as NodeFS from 'node:fs';
 import * as NodePath from 'node:path';
 import * as NodeURL from 'node:url';
-import * as ts from '../../probe/adapter.js';
+import * as ts from '../adapter.js';
 import { stripJsonc } from '../../jsonc.js';
 const KNOWN_NAMESPACES = new Set([
     'JSON',

package/build/probe/resources/channel.js

@@ -1,4 +1,4 @@
-import * as ts from '../../probe/adapter.js';
+import * as ts from '../adapter.js';
 import { overlayThrows } from '../exceptions/channel.js';
 import { bodyOf, calleeSelectors, paramSymbols, unwrap } from '../kernel/ast.js';
 import { isEmpty } from '../exceptions/value.js';

package/package.json

@@ -10,15 +10,15 @@
   "dependencies": {
     "@esportsplus/cli-passthrough": "^0.0.15",
     "@esportsplus/utilities": "^0.28.0",
-    "@types/node": "^26.1.1",
-    "tsc-alias": "^1.9.1",
+    "@types/node": "^26.4.1",
+    "tsc-alias": "^1.9.4",
     "typescript": "7.0.2",
-    "vscode-languageserver": "^10.1.0",
-    "vscode-languageserver-textdocument": "^1.0.12"
+    "vscode-languageserver": "^10.1.1",
+    "vscode-languageserver-textdocument": "^1.0.14"
   },
   "devDependencies": {
-    "vite": "^8.1.5",
-    "vitest": "^4.1.10"
+    "vite": "^8.2.2",
+    "vitest": "^4.1.11"
   },
   "exports": {
     "./package.json": "./package.json",
@@ -60,7 +60,7 @@
   },
   "type": "module",
   "types": "build/index.d.ts",
-  "version": "0.31.1",
+  "version": "0.32.0",
   "scripts": {
     "agent:bench": "pnpm bench:run",
     "agent:build": "pnpm build",

package/tsconfig.base.json

@@ -33,7 +33,7 @@
                 "channels": {
                     "exceptions": {
                         "enabled": true,
-                        "report": "consumers",
+                        "report": "cross-module",
                         // Flag `throw`s inside `catch` that drop the caught error's cause.
                         "errorCause": true
                     }