no-mistakes 0.98.0 → 0.99.0

package/coverage-assertion-owner-types.d.ts

@@ -0,0 +1,29 @@
+import type { Unanalyzable } from "./traversal-types";
+
+/** An exact callable in the prepared TS/JS catalog. No whole-file roots. */
+export interface CoverageProducerFunction {
+  file: string;
+  symbol: string;
+}
+/** Binding-aware assertion or modeled dispatch identity. */
+export interface CoverageAssertionImport {
+  module: string;
+  export: string;
+}
+/** Explicit trusted callback/process contract; the owner must still reach an assertion. */
+export interface CoverageAssertionOwnership {
+  producer: CoverageProducerFunction;
+  owner: CoverageProducerFunction;
+  via: CoverageAssertionImport;
+}
+/** Options for the opt-in coverage-producer-assertion-owner check rule. */
+export interface CoverageProducerAssertionOwnerOptions {
+  producers: CoverageProducerFunction[];
+  assertions: CoverageAssertionImport[];
+  ownership?: CoverageAssertionOwnership[];
+  /** Positive canonical edge depth. Default: 64. Truncation is unanalyzable. */
+  maxDepth?: number;
+  /** Positive visited callable cap, including the producer. Default: 10000. */
+  maxNodes?: number;
+  unanalyzable?: Unanalyzable;
+}

package/index.d.ts

@@ -37,6 +37,7 @@ import type {
   ResolvedConfig,
   GraphEdge,
   PlaywrightOptions,
+  PlaywrightCoverageReport,
   PlaywrightRelatedOptions,
   ProjectOptions,
   QueueCheckFinding,
@@ -160,7 +161,7 @@ export function testsGraphMermaid(
 ): Promise<string>;
 export function playwrightCheck(
   options?: WithInvocationOptions<PlaywrightOptions>,
-): Promise<unknown>;
+): Promise<PlaywrightCoverageReport>;
 export function playwrightEdges(
   options?: WithInvocationOptions<PlaywrightOptions>,
 ): Promise<unknown>;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "no-mistakes",
-  "version": "0.98.0",
+  "version": "0.99.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.98.0",
-    "no-mistakes-linux-arm64-gnu": "0.98.0",
-    "no-mistakes-linux-x64-gnu": "0.98.0",
-    "no-mistakes-win32-x64-msvc": "0.98.0"
+    "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"
   }
 }

package/report-types.d.ts

@@ -27,6 +27,14 @@ export interface PlaywrightRelatedOptions extends PlaywrightOptions {
   files: string[];
 }
 
+/** Playwright coverage output; matcher uncertainty is never complete coverage. */
+export interface PlaywrightCoverageReport {
+  /** Config-file and property-line diagnostics, omitted for fully known matchers. */
+  warnings?: string[];
+  /** Other coverage fields retain their existing opaque JSON contract. */
+  [field: string]: unknown;
+}
+
 export interface GraphEdge {
   from: string;
   to: string;

package/traversal-types.d.ts

@@ -1,5 +1,6 @@
 export type Relationship =
   | "call"
+  | "assertion-owner"
   | "import"
   | "import-static"
   | "import-dynamic"

package/types.d.ts

@@ -22,3 +22,4 @@ export * from "./declared-payload-types";
 export type * from "./forbidden-call-types";
 export type * from "./postgres-mutable-sql-registry-types";
 export type * from "./postgres-uuid-predicate-types";
+export type * from "./coverage-assertion-owner-types";