no-mistakes 0.77.0 → 0.78.0

package/index.d.ts

@@ -1,3 +1,9 @@
+import type { TypeScriptModulesOptions, TypeScriptModulesReport } from "./typescript-module-types";
+export type * from "./typescript-module-types";
+/** Analyze selected TS/JS modules asynchronously with source-local binding semantics. */
+export function analyzeTypeScriptModules(
+  options: WithInvocationOptions<TypeScriptModulesOptions>,
+): Promise<TypeScriptModulesReport>;
 import type { PostgresSqlSource, PostgresSqlFacts } from "./postgres-source-types";
 export type * from "./postgres-source-types";
 /** Parse SQL on the native async worker without repository I/O or a database. */

package/index.js

@@ -24,6 +24,7 @@ function createJsonApis(descriptors) {
 }
 
 const jsonApis = createJsonApis({
+  analyzeTypeScriptModules: "analyzeTypeScriptModulesJson",
   parsePostgresSql: "parsePostgresSqlJson",
   generatePostgresCatalog: "generatePostgresCatalogJson",
   analyzeProject: "analyzeProjectJson",
@@ -112,6 +113,7 @@ const version = () => native.version();
 module.exports.createWorkflowTopologyIndex = createWorkflowTopologyIndex;
 module.exports.version = version;
 module.exports.analyzeProject = analyzeProject;
+module.exports.analyzeTypeScriptModules = jsonApis.analyzeTypeScriptModules;
 module.exports.writePlanningImpactArtifacts = writePlanningImpactArtifacts;
 module.exports.callSites = jsonApis.callSites;
 module.exports.check = jsonApis.check;

package/index.mjs

@@ -5,6 +5,7 @@ const cjs = require("./index.js");
 
 export const {
   analyzeProject,
+  analyzeTypeScriptModules,
   callSites,
   check,
   ciEnv,

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "no-mistakes",
-  "version": "0.77.0",
+  "version": "0.78.0",
   "description": "Deterministic impact maps, test plans, Playwright coverage, and repository checks for coding agents",
   "license": "MIT",
   "repository": {
@@ -45,9 +45,9 @@
     "access": "public"
   },
   "optionalDependencies": {
-    "no-mistakes-darwin-arm64": "0.77.0",
-    "no-mistakes-linux-arm64-gnu": "0.77.0",
-    "no-mistakes-linux-x64-gnu": "0.77.0",
-    "no-mistakes-win32-x64-msvc": "0.77.0"
+    "no-mistakes-darwin-arm64": "0.78.0",
+    "no-mistakes-linux-arm64-gnu": "0.78.0",
+    "no-mistakes-linux-x64-gnu": "0.78.0",
+    "no-mistakes-win32-x64-msvc": "0.78.0"
   }
 }

package/postgres-function-types.d.ts

@@ -0,0 +1,27 @@
+import type {
+  PostgresSqlExpression,
+  PostgresSqlIdentifier,
+  PostgresSqlName,
+  PostgresSqlType,
+} from "./postgres-source-types";
+export interface PostgresSqlFunctionArgument {
+  name: PostgresSqlIdentifier | null;
+  mode: string | null;
+  dataType: PostgresSqlType;
+  default: PostgresSqlExpression | null;
+}
+export interface PostgresSqlFunction {
+  name: PostgresSqlName;
+  arguments: PostgresSqlFunctionArgument[];
+  returnType: PostgresSqlType | null;
+  returnsSet: boolean;
+  language: string | null;
+  behavior: string | null;
+  bodySql: string | null;
+  orReplace: boolean;
+  temporary: boolean;
+  calledOnNull: string | null;
+  parallel: string | null;
+  configuration: string[];
+  security: string | null;
+}

package/postgres-insert-types.d.ts

@@ -0,0 +1,55 @@
+import type {
+  PostgresSqlDiagnostic,
+  PostgresSqlExpression,
+  PostgresSqlIdentifier,
+  PostgresSqlName,
+  PostgresSqlSpan,
+} from "./postgres-source-types";
+import type { PostgresSqlQuery } from "./postgres-query-types";
+/** Syntactic facts only: complete does not establish replay safety. */
+export interface PostgresSqlInsert {
+  table: PostgresSqlName | null;
+  alias: PostgresSqlIdentifier | null;
+  columns: PostgresSqlName[];
+  columnsOmitted: boolean;
+  source: PostgresSqlInsertSource;
+  onConflict: PostgresSqlConflict | null;
+  span: PostgresSqlSpan | null;
+  complete: boolean;
+  diagnostics: PostgresSqlDiagnostic[];
+}
+export type PostgresSqlInsertSource =
+  | { kind: "values"; rows: PostgresSqlExpression[][]; span: PostgresSqlSpan | null }
+  | { kind: "select"; query: PostgresSqlQuery; span: PostgresSqlSpan | null }
+  | { kind: "defaultValues" }
+  | { kind: "unsupported"; reason: string };
+export interface PostgresSqlConflict {
+  target: PostgresSqlConflictTarget;
+  predicate: PostgresSqlExpression | null;
+  action: PostgresSqlConflictAction;
+  span: PostgresSqlSpan | null;
+}
+export type PostgresSqlConflictTarget =
+  | { kind: "omitted" }
+  | { kind: "columns"; columns: PostgresSqlIdentifier[] }
+  | { kind: "constraint"; name: PostgresSqlName };
+export type PostgresSqlConflictAction =
+  | { kind: "doNothing" }
+  | {
+      kind: "doUpdate";
+      assignments: PostgresSqlInsertAssignment[];
+      predicate: PostgresSqlExpression | null;
+    };
+export interface PostgresSqlInsertAssignment {
+  columns: PostgresSqlName[];
+  expression: PostgresSqlExpression;
+  provenance: PostgresSqlInsertProvenance;
+  span: PostgresSqlSpan | null;
+  complete: boolean;
+}
+export type PostgresSqlInsertProvenance =
+  | "targetColumn"
+  | "excludedColumn"
+  | "literal"
+  | "placeholder"
+  | "unresolved";

package/postgres-source-types.d.ts

@@ -1,3 +1,7 @@
+import type { PostgresSqlFunction } from "./postgres-function-types";
+export type * from "./postgres-function-types";
+import type { PostgresSqlInsert } from "./postgres-insert-types";
+export type * from "./postgres-insert-types";
 import type { PostgresSqlExpressionRoot } from "./postgres-expression-types";
 export type * from "./postgres-expression-types";
 import type { PostgresSqlQuery } from "./postgres-query-types";
@@ -151,28 +155,8 @@ export interface PostgresSqlTrigger {
   executionKind: string | null;
   characteristics: string | null;
 }
-export interface PostgresSqlFunctionArgument {
-  name: PostgresSqlIdentifier | null;
-  mode: string | null;
-  dataType: PostgresSqlType;
-  default: PostgresSqlExpression | null;
-}
-export interface PostgresSqlFunction {
-  name: PostgresSqlName;
-  arguments: PostgresSqlFunctionArgument[];
-  returnType: PostgresSqlType | null;
-  returnsSet: boolean;
-  language: string | null;
-  behavior: string | null;
-  bodySql: string | null;
-  orReplace: boolean;
-  temporary: boolean;
-  calledOnNull: string | null;
-  parallel: string | null;
-  configuration: string[];
-  security: string | null;
-}
 export type PostgresSqlStatementKind =
+  | { kind: "insert"; insert: PostgresSqlInsert }
   | { kind: "select"; query: PostgresSqlQuery }
   | {
       kind: "createTable";

package/typescript-module-types.d.ts

@@ -0,0 +1,88 @@
+/** Explicit files only; no package resolution or whole-project traversal. */
+export interface TypeScriptModulesOptions {
+  /** Project root. Defaults to the current working directory. */
+  root?: string;
+  files: string[];
+}
+/** Half-open UTF-8 byte offsets into the original source, not JS UTF-16 indexes. */
+export interface TypeScriptModuleSpan {
+  start: number;
+  end: number;
+}
+export interface TypeScriptBindingReference {
+  span: TypeScriptModuleSpan;
+  runtime: boolean;
+  typeOnly: boolean;
+}
+export interface TypeScriptModuleBinding {
+  /** Module-local stable identifier; do not compare IDs across modules or runs. */
+  id: number;
+  name: string;
+  scopeId: number;
+  span: TypeScriptModuleSpan;
+  imported: boolean;
+  /** A syntactically declared runtime value, without resolving imported modules. */
+  runtime: boolean;
+  typeOnly: boolean;
+  shadows: number | null;
+  references: TypeScriptBindingReference[];
+}
+export interface TypeScriptModuleScope {
+  id: number;
+  parentId: number | null;
+}
+export type TypeScriptImportBindingKind = "default" | "named" | "namespace";
+export interface TypeScriptModuleImportBinding {
+  imported: string;
+  local: string;
+  kind: TypeScriptImportBindingKind;
+  typeOnly: boolean;
+  bindingId: number;
+  span: TypeScriptModuleSpan;
+}
+export interface TypeScriptModuleImport {
+  specifier: string;
+  typeOnly: boolean;
+  span: TypeScriptModuleSpan;
+  /** Empty for side-effect imports. */
+  bindings: TypeScriptModuleImportBinding[];
+}
+export interface TypeScriptModuleExport {
+  specifier: string | null;
+  /** "*" for star or namespace re-exports; empty for defaults without a local binding or source-only exports. */
+  local: string;
+  /** Empty for source-only exports such as `export {} from "./dep"`. */
+  exported: string;
+  typeOnly: boolean;
+  span: TypeScriptModuleSpan;
+}
+export type TypeScriptModuleLoadKind = "dynamicImport" | "require";
+export interface TypeScriptModuleLoad {
+  kind: TypeScriptModuleLoadKind;
+  specifier: string;
+  span: TypeScriptModuleSpan;
+}
+export type TypeScriptModuleDiagnosticKind =
+  | "sourceError"
+  | "parseError"
+  | "semanticError"
+  | "unsupported";
+export interface TypeScriptModuleDiagnostic {
+  kind: TypeScriptModuleDiagnosticKind;
+  message: string;
+  span: TypeScriptModuleSpan | null;
+}
+export interface TypeScriptModuleFacts {
+  fileName: string;
+  /** False for source/read/parser errors and explicitly unsupported dynamic forms. */
+  complete: boolean;
+  imports: TypeScriptModuleImport[];
+  exports: TypeScriptModuleExport[];
+  bindings: TypeScriptModuleBinding[];
+  scopes: TypeScriptModuleScope[];
+  loads: TypeScriptModuleLoad[];
+  diagnostics: TypeScriptModuleDiagnostic[];
+}
+export interface TypeScriptModulesReport {
+  modules: TypeScriptModuleFacts[];
+}