@cplieger/deadset-ts 8.0.0-dev.4 → 8.0.0-dev.6

package/dist/src/verbs/print-projects.js

@@ -1,8 +1,9 @@
+import { EXIT_CLEAN } from "../contract/contract.generated.js";
 import { runProjects } from "../analysis.js";
 import { partialNotes } from "../partial.js";
 import { resolvePath } from "../paths.js";
 import { resolveUnkinded } from "../resolve.js";
-import { EXIT_CLEAN } from "./verb.js";
+import {} from "./verb.js";
 /**
  * Writes the name of every project one run analyzes, one per line: the identifier the
  * build matrix declares for it, or, where discovery derived the project, its

package/dist/src/verbs/print-retained.js

@@ -1,9 +1,10 @@
+import { EXIT_CLEAN } from "../contract/contract.generated.js";
 import { runSweep } from "../analysis.js";
 import { retainedLines } from "../exempt.js";
 import { partialNotes } from "../partial.js";
 import { resolvePath } from "../paths.js";
 import { resolve } from "../resolve.js";
-import { EXIT_CLEAN } from "./verb.js";
+import {} from "./verb.js";
 /**
  * Writes every declaration an exemption held back in the production sweep a report is
  * built from, one per line, and nothing where no exemption held one back. One fact

package/dist/src/verbs/print-roots.js

@@ -1,8 +1,9 @@
+import { EXIT_CLEAN, EXIT_FINDINGS } from "../contract/contract.generated.js";
 import { runRoots } from "../analysis.js";
 import { partialNotes } from "../partial.js";
 import { resolvePath } from "../paths.js";
 import { resolve } from "../resolve.js";
-import { EXIT_CLEAN, EXIT_FINDINGS } from "./verb.js";
+import {} from "./verb.js";
 /**
  * One root as a line: the declaration's reference, why it is a root, and the string
  * that named it, separated by tabs. A run of several configurations adds the ones

package/dist/src/verbs/verb.js

@@ -1,5 +1 @@
-/** The exit codes the Contract's exit-code table names. */
-export const EXIT_CLEAN = 0;
-export const EXIT_FINDINGS = 1;
-export const EXIT_USAGE = 2;
-export const EXIT_FAILURE = 3;
+export {};

package/dist/src/verbs/version.js

@@ -1,5 +1,5 @@
-import { CONTRACT_VERSION } from "../version.js";
-import { EXIT_CLEAN } from "./verb.js";
+import { CONTRACT_VERSION, EXIT_CLEAN } from "../contract/contract.generated.js";
+import {} from "./verb.js";
 /** Writes the version the host reports and the Contract version this analyzer implements. */
 export const versionVerb = ({ out, host }) => {
     out.write(`deadset-ts ${host.analyzerVersion()}\ncontract ${CONTRACT_VERSION}\n`);

package/jsr.json

@@ -1,6 +1,6 @@
 {
   "name": "@cplieger/deadset-ts",
-  "version": "8.0.0-dev.4",
+  "version": "8.0.0-dev.6",
   "license": "GPL-3.0-or-later",
   "exports": {
     ".": "./src/index.ts"

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cplieger/deadset-ts",
-  "version": "8.0.0-dev.4",
+  "version": "8.0.0-dev.6",
   "type": "module",
   "sideEffects": false,
   "description": "Deterministic dead-code analysis for TypeScript, class and type members included",
@@ -19,6 +19,7 @@
   },
   "scripts": {
     "build": "tsc -p tsconfig.build.json",
+    "gen": "node scripts/gen-contract.ts",
     "prepack": "npm run build",
     "typecheck": "tsc -p tsconfig.json",
     "typecheck:tests": "tsc -p tsconfig.test.json",
@@ -45,7 +46,7 @@
     "fast-check": "4.10.2",
     "prettier": "3.9.10",
     "typescript": "npm:@typescript/typescript6@6.0.2",
-    "typescript-eslint": "8.71.1",
+    "typescript-eslint": "8.71.2",
     "vitest": "5.0.4"
   },
   "publishConfig": {

package/src/analysis.ts

@@ -1437,7 +1437,7 @@ function nearestManifestDir(host: Host, root: string, file: string): string {
 
 /**
  * The input every emitter reads over one sweep of a read run: the facts beside the sweep
- * each kind family reads, every per-project one read in the same session as the sweep.
+ * each emitter reads, every per-project one read in the same session as the sweep.
  */
 export function emitterInputOver(
   host: Host,
@@ -1523,7 +1523,7 @@ interface AnalysisReader {
  * directives, the ignore file's entries and the baseline's rows are bound before any
  * sweep, and the run is swept once under every bound record's mark and once under none,
  * so a record is decided against the finding its code would have produced. The
- * self-check family reports the refused suppressions and the roots that named nothing.
+ * configuration family reports the refused suppressions and the roots that named nothing.
  * Beside the inputs it answers the projects and test-file rules a report names.
  */
 function readAnalysis(
@@ -1698,7 +1698,7 @@ export interface RunAnalysis {
 
 /**
  * The analysis of the run the scope and the configuration describe: the run read with its
- * suppressions bound, every family's findings with the suppressions applied and the
+ * suppressions bound, every emitter's findings with the suppressions applied and the
  * declared edges evaluated, the projects and test-file rules the report names, and the sweep
  * an explanation reads.
  */

package/src/config.ts

@@ -1,4 +1,10 @@
-import { CONTRACT_VERSION } from "./version.ts";
+import {
+  CONTRACT_VERSION,
+  type Confidence,
+  type Format,
+  type Language,
+  type Severity,
+} from "./contract/contract.generated.ts";
 
 /**
  * The name of the repository configuration at the target root, which is also the
@@ -21,21 +27,12 @@ export function kindOf(setting: TargetKindSetting, language: Language): TargetKi
   return typeof setting === "string" ? setting : setting[language];
 }
 
-/** The lowest reachability class a finding must reach to be reported. */
-export type Confidence = "certain" | "probable" | "possible";
-
 /** Whether declarations in generated files are analyzed. */
 export type GeneratedFiles = "exclude" | "include";
 
 /** How a reference from a consumer's test file counts. */
 export type ConsumerTests = "test" | "production";
 
-/** One language an analysis covers. */
-export type Language = "go" | "ts";
-
-/** What a finding of one issue kind does to a run. */
-export type Severity = "allow" | "warn" | "deny";
-
 /** The severities ranked, the strongest highest. */
 const SEVERITY_RANK: Readonly<Record<Severity, number>> = { allow: 0, warn: 1, deny: 2 };
 
@@ -44,9 +41,6 @@ export function fails(severity: Severity, failOn: Severity): boolean {
   return SEVERITY_RANK[severity] >= SEVERITY_RANK[failOn];
 }
 
-/** One rendering of the finding list. */
-export type Format = "text" | "json" | "github" | "sarif" | "template";
-
 /** The order findings are rendered in. */
 export type Sort = "position" | "size";
 

package/src/conformance-record.ts

@@ -4,7 +4,7 @@ export const RECORD = {
   conformance: {
     corpusVersion: "6.0.0",
     result: "pass",
-    digest: "sha256:e2a3ba92a5a6fe81174439a944333daf8d17e52fdacb8599fc50e3adb1569773",
+    digest: "sha256:34a8ab2311bbd063b1f341d0e01e35c7fdd059ca3bcd288a60df4491dc177734",
   },
   gaps: [],
 } as const;