no-mistakes 0.23.1 → 0.25.0

package/README.md

@@ -56,7 +56,7 @@ const {
   });
   const plan = await testsPlan({
     root: process.cwd(),
-    framework: "vitest",
+    framework: "vitest", // also supports "playwright" and "swift"
     changedFiles: ["src/utils.mts"],
   });
   const projectCheck = await check({

package/ci-types.d.ts

@@ -0,0 +1,107 @@
+// Types for the `ci` and `impacted-checks` commands. Option interfaces use
+// camelCase (deserialized with rename_all = "camelCase"); report interfaces use
+// snake_case to match the serde-serialized output.
+
+export interface CiImpactOptions {
+  root?: string;
+  config?: string;
+  /** Changed file paths (relative to root or absolute). */
+  files: string[];
+}
+
+export interface CiEnvOptions {
+  root?: string;
+  config?: string;
+  /** Environment variable name (case-sensitive). */
+  var: string;
+}
+
+export interface ImpactedChecksOptions {
+  root?: string;
+  config?: string;
+  tsconfig?: string;
+  base?: string;
+  head?: string;
+  changedFiles?: string[];
+  changedFilesFile?: string;
+  diff?: string;
+}
+
+export type TriggerMatch = "matched" | "always" | "not-matched" | "no-path-events";
+export type PermissionLevel = "read" | "write" | "none";
+export type PermissionSource = "job" | "workflow" | "default";
+
+export interface ResolvedPermissions {
+  source: PermissionSource;
+  scopes: Record<string, PermissionLevel>;
+  assumed_default: boolean;
+}
+
+export interface CiWarning {
+  path: string;
+  message: string;
+}
+
+export interface MatchedFilter {
+  event: string;
+  pattern: string;
+}
+
+export interface ImpactedJob {
+  id: string;
+  name?: string;
+  uses?: string;
+  permissions: ResolvedPermissions;
+}
+
+export interface ImpactedWorkflow {
+  path: string;
+  name?: string;
+  trigger: TriggerMatch;
+  reusable: boolean;
+  matched_filters: MatchedFilter[];
+  jobs: ImpactedJob[];
+}
+
+export interface CiImpactReport {
+  changed_files: string[];
+  workflows: ImpactedWorkflow[];
+  warnings: CiWarning[];
+}
+
+export type EnvLocationKind = "definition" | "reference";
+export type EnvScope = "workflow" | "job" | "step";
+
+export interface CiEnvLocation {
+  kind: EnvLocationKind;
+  scope: EnvScope;
+  job?: string;
+  value?: string;
+}
+
+export interface CiEnvFile {
+  path: string;
+  locations: CiEnvLocation[];
+}
+
+export interface CiEnvReport {
+  variable: string;
+  files: CiEnvFile[];
+  warnings: CiWarning[];
+}
+
+export type CheckKind = "test" | "generic";
+
+export interface CheckCommand {
+  name: string;
+  kind: CheckKind;
+  command: string[];
+  files?: string[];
+}
+
+export interface ImpactedChecksReport {
+  changed_files: string[];
+  checks: CheckCommand[];
+  warnings: Array<{ type: string; message: string; file: string }>;
+  fallback_triggered: boolean;
+}

package/index.d.ts

@@ -2,11 +2,37 @@ import type {
   CheckReport,
   AnalyzeProjectOptions,
   AnalyzeProjectResult,
+  CiEnvOptions,
+  CiEnvReport,
+  CiImpactOptions,
+  CiImpactReport,
+  CallSitesOptions,
+  CallSitesResult,
+  DataPwOptions,
+  DataPwReport,
+  DeadExportsOptions,
+  DeadExportsResult,
+  EffectsOptions,
+  EffectsReport,
+  RscCallersOptions,
+  RscCallersReport,
+  RegistryExtensionOptions,
+  RegistryExtensionReport,
   DependencyResult,
+  ExportsOfOptions,
+  ExportsOfResult,
   FetchesOptions,
+  ImpactedChecksOptions,
+  ImpactedChecksReport,
+  ImportersOptions,
+  ImportersResult,
+  ResolveCheckOptions,
+  ResolveCheckResult,
   GraphEdge,
+  InfraOptions,
   LockfileDiffEntry,
   LockfileDiffOptions,
+  ModuleOutputsResult,
   PlaywrightOptions,
   PlaywrightRelatedOptions,
   ProjectOptions,
@@ -14,8 +40,13 @@ import type {
   ReactComponentFacts,
   ReactUsagesReport,
   ReactViolation,
+  ResourceRefRow,
   ServerRoutesReport,
   SignatureImpactResult,
+  SwiftImporterRow,
+  SwiftOptions,
+  SwiftTestTargetRow,
+  TestForRow,
   SymbolsListOptions,
   SymbolsOptions,
   SymbolsResult,
@@ -39,6 +70,11 @@ export function analyzeProject(options: AnalyzeProjectOptions): Promise<AnalyzeP
 export function symbols(options: SymbolsSignatureImpactOptions): Promise<SignatureImpactResult>;
 export function symbols(options: SymbolsListOptions): Promise<SymbolsResult>;
 export function symbols(options: SymbolsOptions): Promise<SymbolsResult | SignatureImpactResult>;
+export function importers(options: ImportersOptions): Promise<ImportersResult>;
+export function exportsOf(options: ExportsOfOptions): Promise<ExportsOfResult>;
+export function deadExports(options: DeadExportsOptions): Promise<DeadExportsResult>;
+export function callSites(options: CallSitesOptions): Promise<CallSitesResult>;
+export function resolveCheck(options: ResolveCheckOptions): Promise<ResolveCheckResult>;
 export function fetches(options?: FetchesOptions): Promise<unknown>;
 export function check(options?: ProjectOptions): Promise<CheckReport>;
 export function testsPlan(options: TestsPlanOptions): Promise<TestPlan>;
@@ -65,4 +101,26 @@ export function reactUsages(
   options: ProjectOptions & { target: string },
 ): Promise<ReactUsagesReport>;
 export function lockfileDiff(options: LockfileDiffOptions): Promise<LockfileDiffEntry[]>;
+export function ciImpact(options: CiImpactOptions): Promise<CiImpactReport>;
+export function ciEnv(options: CiEnvOptions): Promise<CiEnvReport>;
+export function impactedChecks(options: ImpactedChecksOptions): Promise<ImpactedChecksReport>;
+export function dataPw(options: DataPwOptions): Promise<DataPwReport>;
+export function effects(options: EffectsOptions): Promise<EffectsReport>;
+export function rscCallers(options: RscCallersOptions): Promise<RscCallersReport>;
+export function registryExtension(
+  options: RegistryExtensionOptions,
+): Promise<RegistryExtensionReport>;
+export function infraResourceRefs(
+  options: InfraOptions & { address: string },
+): Promise<ResourceRefRow[]>;
+export function infraOutputs(
+  options: InfraOptions & { moduleDir: string },
+): Promise<ModuleOutputsResult>;
+export function infraTestFor(options: InfraOptions & { tfFile: string }): Promise<TestForRow[]>;
+export function swiftImporters(
+  options: SwiftOptions & { file: string },
+): Promise<SwiftImporterRow[]>;
+export function swiftTestTargets(
+  options: SwiftOptions & { file: string },
+): Promise<SwiftTestTargetRow[]>;
 export function version(): Promise<string>;

package/index.js

@@ -26,6 +26,26 @@ async function symbols(options) {
   return callJson(native.symbolsJson, options);
 }
 
+async function importers(options) {
+  return callJson(native.importersJson, options);
+}
+
+async function exportsOf(options) {
+  return callJson(native.exportsOfJson, options);
+}
+
+async function deadExports(options) {
+  return callJson(native.deadExportsJson, options);
+}
+
+async function callSites(options) {
+  return callJson(native.callSitesJson, options);
+}
+
+async function resolveCheck(options) {
+  return callJson(native.resolveCheckJson, options);
+}
+
 async function fetches(options) {
   return callJson(native.fetchesJson, options);
 }
@@ -118,20 +138,80 @@ async function reactUsages(options) {
   return callJson(native.reactUsagesJson, options);
 }
 
+async function dataPw(options) {
+  return callJson(native.dataPwJson, options);
+}
+
+async function effects(options) {
+  return callJson(native.effectsJson, options);
+}
+
+async function rscCallers(options) {
+  return callJson(native.rscCallersJson, options);
+}
+
+async function registryExtension(options) {
+  return callJson(native.registryExtensionJson, options);
+}
+
 async function lockfileDiff(options) {
   return callJson(native.lockfileDiffJson, options);
 }
 
+async function ciImpact(options) {
+  return callJson(native.ciImpactJson, options);
+}
+
+async function ciEnv(options) {
+  return callJson(native.ciEnvJson, options);
+}
+
+async function impactedChecks(options) {
+  return callJson(native.impactedChecksJson, options);
+}
+
+async function infraResourceRefs(options) {
+  return callJson(native.infraResourceRefsJson, options);
+}
+
+async function infraOutputs(options) {
+  return callJson(native.infraOutputsJson, options);
+}
+
+async function infraTestFor(options) {
+  return callJson(native.infraTestForJson, options);
+}
+
+async function swiftImporters(options) {
+  return callJson(native.swiftImportersJson, options);
+}
+
+async function swiftTestTargets(options) {
+  return callJson(native.swiftTestTargetsJson, options);
+}
+
 async function version() {
   return native.version();
 }
 
 module.exports = {
   analyzeProject,
+  callSites,
   check,
+  ciEnv,
+  ciImpact,
+  dataPw,
+  deadExports,
   dependencies,
   dependents,
+  effects,
+  exportsOf,
   fetches,
+  impactedChecks,
+  importers,
+  infraOutputs,
+  infraResourceRefs,
+  infraTestFor,
   lockfileDiff,
   playwrightCheck,
   playwrightEdges,
@@ -144,11 +224,16 @@ module.exports = {
   reactAnalyze,
   reactCheck,
   reactUsages,
+  registryExtension,
   related,
+  resolveCheck,
+  rscCallers,
   serverRouteEdges,
   serverRouteList,
   serverRouteRelated,
   serverRoutes,
+  swiftImporters,
+  swiftTestTargets,
   symbols,
   testsComment,
   testsGraph,

package/named-query-types.d.ts

@@ -0,0 +1,110 @@
+// Named query modes (issue #419): data-pw, effects, rsc-callers, registry-extension.
+
+export interface DataPwOptions {
+  root?: string;
+  config?: string;
+  /** The selector-attribute value to find (e.g. `search-bar`). */
+  value: string;
+  /** Attribute names to scan instead of the configured `testIds`. */
+  attributes?: string[];
+  /** Source path prefixes to scan instead of the configured `selectorRoots`. */
+  scan?: string[];
+  /** Comma-separated subset of `source,test` (default: both). */
+  include?: string;
+}
+
+export interface DataPwHit {
+  file: string;
+  line: number;
+  attribute: string;
+}
+
+export interface DataPwReport {
+  value: string;
+  attributes: string[];
+  /** Source-file matches. Omitted when `--include test`. */
+  source?: DataPwHit[];
+  /** Test-file matches. Omitted when `--include source`. */
+  test?: DataPwHit[];
+}
+
+export interface EffectsOptions {
+  root?: string;
+  tsconfig?: string;
+  config?: string;
+  /** Effect kind to resolve (a key under `effects:` in config). */
+  kind: string;
+  /** Entry file whose transitive imports are scanned. */
+  entry: string;
+  /** Restrict to one or more configured categories. */
+  categories?: string[];
+  /** Maximum traversal depth (default: unlimited). */
+  depth?: number;
+}
+
+export interface EffectCallSite {
+  file: string;
+  line: number;
+  callee: string;
+  category?: string;
+  caller?: string;
+  depth: number;
+}
+
+export interface EffectsReport {
+  kind: string;
+  entry: string;
+  callSites: EffectCallSite[];
+  byCategory: Record<string, number>;
+}
+
+export interface RscCallersOptions {
+  root?: string;
+  tsconfig?: string;
+  config?: string;
+  /** Component file to find RSC callers of. */
+  component: string;
+  /** Maximum traversal depth (default: unlimited). */
+  depth?: number;
+}
+
+export interface RscCaller {
+  file: string;
+  kind: "page" | "component";
+  environment: "server" | "client" | "unknown";
+  depth: number;
+}
+
+export interface RscCallersReport {
+  component: string;
+  callers: RscCaller[];
+}
+
+export interface RegistryExtensionOptions {
+  root?: string;
+  /** Registry file to summarize the entry pattern of. */
+  registryFile: string;
+}
+
+export interface RegistryEntryImport {
+  specifier: string;
+  symbol?: string;
+  local: string;
+  kind: string;
+}
+
+export interface RegistryEntry {
+  line: number;
+  import?: RegistryEntryImport;
+  callShape: string;
+}
+
+export interface RegistryExtensionReport {
+  registryFile: string;
+  patternKind: string;
+  registrant?: string;
+  confidence: string;
+  entries: RegistryEntry[];
+  template?: string;
+  notes: string[];
+}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "no-mistakes",
-  "version": "0.23.1",
+  "version": "0.25.0",
   "description": "Static codebase analysis tools for TS/JS dependencies, dependents, and symbols",
   "license": "MIT",
   "repository": {

package/query-types.d.ts

@@ -0,0 +1,116 @@
+// Lightweight single-file query commands (issue #417).
+
+export interface QueryFileOptions {
+  /** The TS/JS file to query (relative to `root` or absolute). */
+  file: string;
+  /** Project root. Defaults to the current working directory. */
+  root?: string;
+  /** Path to tsconfig.json for alias resolution. Searched upward if omitted. */
+  tsconfig?: string;
+}
+
+export interface ImportersOptions extends QueryFileOptions {
+  /** Also compute the transitive impacted-test set (builds the dependency graph). */
+  tests?: boolean;
+}
+
+export interface ImportersTestImpact {
+  tests: string[];
+  count: number;
+}
+
+export interface ImportersResult {
+  file: string;
+  directImporters: string[];
+  dependentsCount: number;
+  testImpact?: ImportersTestImpact;
+}
+
+export interface ExportsOfOptions extends QueryFileOptions {
+  /** Skip the reverse import scan; only list exports. */
+  noImporters?: boolean;
+}
+
+export interface ExportRowResult {
+  name: string;
+  kind: string;
+  line: number;
+  /** Resolved re-export target, root-relative. Only present for re-exports. */
+  resolved?: string;
+  importers: string[];
+}
+
+export interface ExportsOfResult {
+  file: string;
+  exports: ExportRowResult[];
+}
+
+export interface DeadExportsOptions extends QueryFileOptions {
+  /** Specific export names to check. Defaults to every export of the file. */
+  names?: string[];
+}
+
+export interface DeadExportResult {
+  name: string;
+  referenced: boolean;
+  importerCount: number;
+}
+
+export interface DeadExportsResult {
+  file: string;
+  results: DeadExportResult[];
+  anyDead: boolean;
+}
+
+export interface CallSitesOptions extends QueryFileOptions {
+  /** The exported function name to find call sites for. */
+  exportName: string;
+}
+
+export type ArgShape =
+  | "string"
+  | "number"
+  | "boolean"
+  | "null"
+  | "identifier"
+  | "object"
+  | "array"
+  | "arrow"
+  | "call"
+  | "spread"
+  | "other";
+
+export interface CallSite {
+  file: string;
+  line: number;
+  /** Enclosing named function, when determinable. */
+  caller?: string;
+  argCount: number;
+  hasSpread: boolean;
+  args: ArgShape[];
+}
+
+export interface CallSitesResult {
+  file: string;
+  export: string;
+  callSites: CallSite[];
+}
+
+export type ResolveCheckOptions = QueryFileOptions;
+
+export type ImportResolutionStatus = "resolved" | "unresolved" | "external";
+
+export interface ResolveCheckImport {
+  specifier: string;
+  kind: "static" | "type" | "dynamic" | "require";
+  status: ImportResolutionStatus;
+  /** Root-relative resolved target, when the import resolves locally. */
+  resolved?: string;
+}
+
+export interface ResolveCheckResult {
+  file: string;
+  allResolve: boolean;
+  imports: ResolveCheckImport[];
+  unresolved: string[];
+}

package/report-types.d.ts

@@ -39,6 +39,63 @@ export interface GraphEdge {
   kind: string;
 }
 
+export interface InfraOptions {
+  root?: string;
+  config?: string;
+  /** `infraResourceRefs` address (`<type>.<name>`). */
+  address?: string;
+  /** `infraOutputs` module directory (relative to root). */
+  moduleDir?: string;
+  /** `infraTestFor` `.tf` file (relative to root). */
+  tfFile?: string;
+}
+
+export interface ResourceRefRow {
+  /** The referencing block's address. */
+  address: string;
+  /** The referencing file, relative to the root. */
+  file: string;
+}
+
+export interface ModuleOutput {
+  name: string;
+  references: string[];
+}
+
+export interface OutputConsumer {
+  output: string;
+  from: string;
+  file: string;
+}
+
+export interface ModuleOutputsResult {
+  module: string;
+  exports: ModuleOutput[];
+  consumers: OutputConsumer[];
+}
+
+export interface TestForRow {
+  test_file: string;
+}
+
+export interface SwiftOptions {
+  root?: string;
+  config?: string;
+  /** The Swift source file to query (relative to root). */
+  file?: string;
+}
+
+export interface SwiftImporterRow {
+  file: string;
+  depth: number;
+}
+
+export interface SwiftTestTargetRow {
+  target: string;
+  package: string;
+  command: string;
+}
+
 export interface ServerRoutesReport {
   summary: {
     totalRoutes: number;

package/test-types.d.ts

@@ -1,7 +1,7 @@
 import type { SymbolEntrypoint } from "./traversal-types";
 
 export interface TestsPlanOptions {
-  framework?: "vitest" | "playwright";
+  framework?: "vitest" | "playwright" | "swift";
   root?: string;
   config?: string;
   tsconfig?: string;
@@ -47,7 +47,7 @@ export interface SelectedTest {
 }
 
 export interface TestExecutionTarget {
-  runner: "vitest" | "playwright";
+  runner: "vitest" | "playwright" | "swift";
   config?: string | null;
   project?: string | null;
   base_command: string[];

package/traversal-types.d.ts

@@ -17,6 +17,8 @@ export type Relationship =
   | "process"
   | "asset"
   | "react"
+  | "swift"
+  | "terraform"
   | "all";
 
 export interface TraverseOptions {

package/types.d.ts

@@ -1,3 +1,6 @@
 export * from "./traversal-types";
 export * from "./test-types";
 export * from "./report-types";
+export * from "./ci-types";
+export * from "./query-types";
+export * from "./named-query-types";