no-mistakes 0.99.0 → 0.101.0

package/check-report-types.d.ts

@@ -28,6 +28,7 @@ export interface CheckReport {
    * Omitted when zero. Not a failure and not part of `warnings`.
    */
   unprovenMemberQuerySql?: number;
+  /** Non-failing advice, including default unused/invalid disable-directive diagnostics. */
   advisories: RuleFinding[];
   /** Present only when `includeSqlVerdicts` is requested, including an empty array. */
   sqlVerdicts?: SqlObligationVerdict[];

package/forbidden-dependency-types.d.ts

@@ -0,0 +1,25 @@
+import type { Relationship } from "./traversal-types";
+
+/** File-target allowances applied only to matching selected origin files. */
+export interface ForbiddenDependencyException {
+  /** Exact files, directories, or repository-relative globs selecting origins. */
+  roots: string[];
+  /** Repository-relative file globs; these do not stop dependency traversal. */
+  allowedFiles: string[];
+}
+
+/** Options for a `forbidden-dependencies` rule application in the config file. */
+export interface ForbiddenDependenciesOptions {
+  /** Exact files, directories, or repository-relative globs selecting origins. */
+  roots: string[];
+  /** Matching origins are removed without pruning dependency traversal. */
+  excludeRoots?: string[];
+  /** Package or module-specifier globs. */
+  forbiddenModules?: string[];
+  /** Repository-relative file globs. */
+  forbiddenFiles?: string[];
+  /** Relationship filters; omission follows all relationships. */
+  relationships?: Relationship[];
+  /** Matching exceptions union their file allowances for each selected origin. */
+  exceptions?: ForbiddenDependencyException[];
+}

package/lint-suppression-types.d.ts

@@ -0,0 +1,26 @@
+/** Comment directives selectable by the forbidden-lint-suppressions check. */
+export type ForbiddenLintSuppressionDirective =
+  | "eslint-disable"
+  | "eslint-disable-line"
+  | "eslint-disable-next-line"
+  | "oxlint-disable"
+  | "oxlint-disable-line"
+  | "oxlint-disable-next-line"
+  | "@ts-ignore"
+  | "@ts-expect-error";
+
+/** Options for the opt-in forbidden-lint-suppressions repository check. */
+export interface ForbiddenLintSuppressionsOptions {
+  /** Required, nonempty repository-relative file globs; intersect the application scope. */
+  files: string[];
+  /** Exact forbidden lint rule identifiers. Default: []. */
+  ruleIds?: string[];
+  /** Literal forbidden lint rule identifier prefixes. Default: []. */
+  rulePrefixes?: string[];
+  /** Defaults to all six eslint-disable/oxlint-disable forms; TypeScript directives are opt-in. */
+  directives?: ForbiddenLintSuppressionDirective[];
+  /** Also reject selected lint directives with no rule identifiers. Default: false. */
+  banBlanketDisable?: boolean;
+  /** Custom diagnostic explanation for agents. */
+  message?: string;
+}

package/package.json

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

package/postgres-json-relation-ids-types.d.ts

@@ -0,0 +1,29 @@
+/** An intentional exception to `postgres-json-relation-ids`. */
+export interface PostgresJsonRelationIdsAllowEntry {
+  /** `table:<name>` or `column:<table>.<column>`. */
+  object: string;
+  /** Why this stored identifier does not need a same-row foreign key. */
+  reason: string;
+}
+
+/** Options for the advisory `postgres-json-relation-ids` check rule. */
+export interface PostgresJsonRelationIdsOptions {
+  /** Required when `keyColumnMap` or `fingerprintNamePattern` is configured. */
+  schemaCatalogPath?: string;
+  /** Regex for top-level JSON object keys that look like row identifiers; unset disables this check. */
+  idKeyPattern?: string;
+  /** Maps matching JSON keys to candidate same-row foreign-key columns. */
+  keyColumnMap?: Record<string, string>;
+  /** Regex for unique `bytea` or `text` fingerprint column names; unset disables this check. */
+  fingerprintNamePattern?: string;
+  /** Explicit exceptions, each with a nonempty reason. */
+  allow?: PostgresJsonRelationIdsAllowEntry[];
+  include?: string[];
+  exclude?: string[];
+  sqlInclude?: string[];
+  importSpecifier?: string;
+  executorNames?: string[];
+  executorFactoryNames?: string[];
+  executorTypeNames?: string[];
+  trustedSqlTags?: { module: string; name: string }[];
+}

package/postgres-test-state-mutation-types.d.ts

@@ -0,0 +1,17 @@
+import type { Unanalyzable } from "./traversal-types";
+
+/** Configuration for the `postgres-no-test-state-mutation` check rule. */
+export interface PostgresNoTestStateMutationOptions {
+  /** Explicit test entry globs. The rule has no inferred test convention. */
+  testGlobs: string[];
+  /** Explicit helper module globs included alongside test entries. */
+  helperRoots?: string[];
+  importSpecifier?: string;
+  executorNames?: string[];
+  executorFactoryNames?: string[];
+  executorTypeNames?: string[];
+  trustedSqlTags?: { module: string; name: string }[];
+  unanalyzable?: Unanalyzable;
+  /** Legacy spelling; `fail` is accepted as `report`. */
+  unanalyzableSql?: "fail" | "ignore" | "advise";
+}

package/production-exports-test-only-types.d.ts

@@ -0,0 +1,13 @@
+import type { Unanalyzable } from "./traversal-types";
+
+/** Explicit scope for the opt-in production-exports-only-used-by-tests rule. */
+export interface ProductionExportsOnlyUsedByTestsOptions {
+  /** Required production directories or file paths, relative to the root. */
+  productionRoots: string[];
+  /** Explicit test-file globs. At least one test glob or helper root is required. */
+  testGlobs?: string[];
+  /** Explicit test-only helper directories or files; no names are inferred. */
+  testHelperRoots?: string[];
+  /** Uncertain symbol consumers follow the shared policy; default: report. */
+  unanalyzable?: Unanalyzable;
+}

package/test-timeout-policy/config.mjs

@@ -14,7 +14,9 @@ export function assertTimeoutConfig(config, maximum = 30_000) {
 }
 /** Preserve SDK option/property semantics while capturing one validated deadline. */
 export function snapshotTimeoutOptions(options, label, maximum = 30_000, nullInherits = false) {
-  // Vitest copies registration options with object spread, ignoring inherited/hidden keys.
+  // Vitest 5.0.5 assignDefined copies enumerable keys with for-in, including
+  // inherited ones. Non-enumerable keys stay unread. Own enumerable timeouts are
+  // validated here; an inherited timeout is checked when the task timeout resolves.
   if (!Object.prototype.propertyIsEnumerable.call(options, "timeout")) return options;
   const timeout = Reflect.get(options, "timeout");
   if (timeout !== undefined && (timeout !== null || !nullInherits))

package/types.d.ts

@@ -20,6 +20,12 @@ export * from "./postgres-catalog-types";
 export * from "./planning-impact-artifacts-types";
 export * from "./declared-payload-types";
 export type * from "./forbidden-call-types";
+export type * from "./forbidden-dependency-types";
 export type * from "./postgres-mutable-sql-registry-types";
 export type * from "./postgres-uuid-predicate-types";
+export type * from "./postgres-test-state-mutation-types";
+export type * from "./postgres-json-relation-ids-types";
 export type * from "./coverage-assertion-owner-types";
+export type * from "./lint-suppression-types";
+
+export type * from "./production-exports-test-only-types";