@cplieger/deadset-ts 8.0.0-dev.2 → 8.0.0-dev.21

package/src/contract/report.generated.ts

@@ -0,0 +1,1241 @@
+// Code generated by scripts/gen-report.ts from the Contract copy under fixtures/ (npm run gen). DO NOT EDIT.
+
+/** The object at finding.schema.json#/$defs/position. */
+export interface Position {
+  readonly path: string;
+  readonly line: number;
+  readonly column: number;
+  readonly end_line: number;
+}
+
+/** The object at finding.schema.json#/properties/symbol. */
+export interface FindingSymbol {
+  readonly ref: string;
+  readonly kind:
+    | "function"
+    | "method"
+    | "type"
+    | "class"
+    | "interface"
+    | "enum"
+    | "namespace"
+    | "variable"
+    | "constant"
+    | "export-alias"
+    | "field"
+    | "class-member"
+    | "type-member"
+    | "interface-method"
+    | "enum-member"
+    | "message"
+    | "service"
+    | "rpc"
+    | "satisfaction-assertion"
+    | "type-parameter"
+    | "parameter"
+    | "receiver"
+    | "result"
+    | "statement"
+    | "case"
+    | "store"
+    | "file"
+    | "import"
+    | "dependency"
+    | "module-directive"
+    | "suppression"
+    | "root"
+    | "configured-declaration"
+    | "edge";
+  readonly name: string;
+  readonly parent?: string;
+  readonly exported?: boolean;
+  readonly size_lines: number;
+  readonly objectpath?: string;
+}
+
+/** The object at finding.schema.json#/properties/component. */
+export interface Component {
+  readonly id: string;
+  readonly root: boolean;
+  readonly symbol_count: number;
+  readonly deletable_lines: number;
+}
+
+/** The object at finding.schema.json#/$defs/positioned_symbol. */
+export interface PositionedSymbol {
+  readonly ref: string;
+  readonly name: string;
+  readonly position: Position;
+}
+
+/** The object at finding.schema.json#/properties/details/properties/entry. */
+export interface Entry {
+  readonly code: string;
+  readonly symbol?: string;
+  readonly path?: string;
+  readonly reason?: string;
+}
+
+/** The object at finding.schema.json#/properties/details/properties/sides/items. */
+export interface SidesEntry {
+  readonly side: "provides" | "used_by";
+  readonly symbol: string;
+  readonly state: "live" | "dead" | "absent";
+}
+
+/** The object at finding.schema.json#/properties/details. */
+export interface Details {
+  readonly narrower_visibility?: "file" | "package" | "module";
+  readonly implementations?: readonly PositionedSymbol[];
+  readonly write_positions?: readonly Position[];
+  readonly excluded_by?: string;
+  readonly dependency_class?: "require" | "dependency" | "dev-dependency" | "peer-dependency";
+  readonly replacement?: string;
+  readonly mechanism?: "inline" | "ignore" | "baseline";
+  readonly entry?: Entry;
+  readonly overlap?: readonly string[];
+  readonly edge?: string;
+  readonly sides?: readonly SidesEntry[];
+  readonly removes_last_use_of?: readonly string[];
+  readonly name_literal?: Position;
+}
+
+/** The object at finding.schema.json#. */
+export interface Finding {
+  readonly code: string;
+  readonly kind: string;
+  readonly language: "go" | "ts" | "proto";
+  readonly position: Position;
+  readonly symbol: FindingSymbol;
+  readonly reachability_class: "certain" | "probable" | "possible";
+  readonly confidence: "certain" | "probable" | "possible";
+  readonly liveness_relation?: "reference-counting" | "reachability";
+  readonly test_only: boolean;
+  readonly generated: boolean;
+  readonly component: Component;
+  readonly retained_by: readonly string[];
+  readonly configurations: readonly string[];
+  readonly consumers_loaded: readonly string[];
+  readonly fixability: "deletable" | "narrowable" | "manual" | "none";
+  readonly severity: "allow" | "warn" | "deny";
+  readonly message: string;
+  readonly analyzer?: string;
+  readonly details: Details;
+}
+
+/** The object at report.schema.json#/properties/analyzer/properties/conformance. */
+export interface Conformance {
+  readonly corpus_version: string;
+  readonly result: "pass" | "fail";
+  readonly digest: string;
+}
+
+/** The object at report.schema.json#/properties/analyzer. */
+export interface Analyzer {
+  readonly name: string;
+  readonly version: string;
+  readonly languages: readonly ("go" | "ts" | "proto")[];
+  readonly schema_versions_accepted: readonly string[];
+  readonly conformance: Conformance;
+}
+
+/** The object at report.schema.json#/properties/totals/properties/by_severity. */
+export interface BySeverity {
+  readonly allow: number;
+  readonly warn: number;
+  readonly deny: number;
+}
+
+/** The object at report.schema.json#/properties/totals/properties/withheld. */
+export interface Withheld {
+  readonly certain: number;
+  readonly probable: number;
+  readonly possible: number;
+}
+
+/** The object at report.schema.json#/properties/totals. */
+export interface Totals {
+  readonly findings: number;
+  readonly by_severity: BySeverity;
+  readonly deletable_lines: number;
+  readonly suppressions_in_effect: number;
+  readonly reasons_recorded: number;
+  readonly stale_suppressions: number;
+  readonly pending: number;
+  readonly omitted: number;
+  readonly withheld: Withheld;
+}
+
+/** The object at report.schema.json#/properties/merged_from/items. */
+export interface MergedFromEntry {
+  readonly name: string;
+  readonly version: string;
+  readonly digest: string;
+  readonly languages: readonly ("go" | "ts" | "proto")[];
+  readonly totals: Totals;
+}
+
+/** The object at report.schema.json#/properties/target/properties/language_kinds. */
+export interface LanguageKinds {
+  readonly go?: "application" | "library";
+  readonly ts?: "application" | "library";
+}
+
+/** The object at report.schema.json#/properties/target. */
+export interface Target {
+  readonly kind?: "application" | "library" | "mixed";
+  readonly language_kinds?: LanguageKinds;
+  readonly root: string;
+  readonly identity: string;
+}
+
+/** The object at report.schema.json#/properties/configurations/items/oneOf/0. */
+export interface ConfigurationsEntry1 {
+  readonly id: string;
+  readonly os: string;
+  readonly arch: string;
+  readonly tags: readonly string[];
+}
+
+/** The object at report.schema.json#/properties/configurations/items/oneOf/1. */
+export interface ConfigurationsEntry2 {
+  readonly id: string;
+  readonly project: string;
+}
+
+/** The object at report.schema.json#/properties/configurations_not_built/items/oneOf/0. */
+export interface ConfigurationsNotBuiltEntry1 {
+  readonly id: string;
+  readonly os: string;
+  readonly arch: string;
+  readonly tags: readonly string[];
+  readonly error: string;
+}
+
+/** The object at report.schema.json#/properties/configurations_not_built/items/oneOf/1. */
+export interface ConfigurationsNotBuiltEntry2 {
+  readonly id: string;
+  readonly project: string;
+  readonly error: string;
+}
+
+/** The object at report.schema.json#/properties/consumers/properties/loaded/items. */
+export interface LoadedEntry {
+  readonly id: string;
+  readonly role: "consumer";
+  readonly path: string;
+}
+
+/** The object at report.schema.json#/properties/consumers/properties/unavailable/items. */
+export interface UnavailableEntry {
+  readonly id: string;
+  readonly role: "consumer";
+  readonly reason: string;
+}
+
+/** The object at report.schema.json#/properties/consumers. */
+export interface Consumers {
+  readonly declared: number;
+  readonly loaded: readonly LoadedEntry[];
+  readonly unavailable: readonly UnavailableEntry[];
+}
+
+/** The object at report.schema.json#/properties/components/items. */
+export interface ComponentsEntry {
+  readonly id: string;
+  readonly members: readonly PositionedSymbol[];
+}
+
+/** The object at report.schema.json#/properties/edge_evaluations/items. */
+export interface EdgeEvaluationsEntry {
+  readonly edge: string;
+  readonly side: "provides" | "used_by";
+  readonly symbol: string;
+  readonly state: "live" | "dead" | "absent";
+  readonly finding?: Finding;
+  readonly analyzer?: string;
+}
+
+/** The object at report.schema.json#/properties/stale_suppressions/items/properties/entry. */
+export interface StaleSuppressionsEntryEntry {
+  readonly code: string;
+  readonly symbol?: string;
+  readonly path: string;
+  readonly reason: string;
+}
+
+/** The object at report.schema.json#/properties/stale_suppressions/items/properties/position. */
+export interface StaleSuppressionsEntryPosition {
+  readonly path: string;
+  readonly line: number;
+  readonly column: number;
+}
+
+/** The object at report.schema.json#/properties/stale_suppressions/items. */
+export interface StaleSuppressionsEntry {
+  readonly code: "DS9003";
+  readonly mechanism: "inline" | "ignore" | "baseline";
+  readonly entry: StaleSuppressionsEntryEntry;
+  readonly position: StaleSuppressionsEntryPosition;
+  readonly symbol: string;
+  readonly message: string;
+  readonly analyzer?: string;
+}
+
+/** The object at report.schema.json#/properties/declared_gaps/items. */
+export interface DeclaredGapsEntry {
+  readonly fixture: string;
+  readonly symbol?: string;
+  readonly capability: string;
+  readonly reason: string;
+  readonly analyzer?: string;
+}
+
+/** The object at report.schema.json#/properties/test_file_rules/items. */
+export interface TestFileRulesEntry {
+  readonly rule: string;
+  readonly matched: number;
+}
+
+/** The object at report.schema.json#/properties/type_error_skips/items. */
+export interface TypeErrorSkipsEntry {
+  readonly path: string;
+  readonly line: number;
+  readonly message: string;
+}
+
+/** The object at report.schema.json#/properties/notes/items. */
+export interface NotesEntry {
+  readonly kind:
+    | "binding-unsupported"
+    | "computed-load"
+    | "generation-config-unread"
+    | "module-not-loaded"
+    | "published-package"
+    | "schema-unparsed"
+    | "unbound-schema"
+    | "unmapped-entry"
+    | "unread-command"
+    | "unresolved-import"
+    | "unresolved-specifier";
+  readonly path: string;
+  readonly key?: "proto.import_paths" | "proto.plugins" | "roots.patterns" | "ts.entry_files";
+  readonly message: string;
+}
+
+/** The object at report.schema.json#/properties/unanswered_questions/items. */
+export interface UnansweredQuestionsEntry {
+  readonly configuration: string;
+  readonly questions: number;
+  readonly declarations: number;
+}
+
+/** The object at report.schema.json#/properties/conventions_applied/items. */
+export interface ConventionsAppliedEntry {
+  readonly name: string;
+  readonly package: string;
+  readonly version: string;
+  readonly manifest: string;
+}
+
+/** The object at report.schema.json#. */
+export interface Report {
+  readonly schema_version: string;
+  readonly contract_version: string;
+  readonly analyzer: Analyzer;
+  readonly merged_from?: readonly MergedFromEntry[];
+  readonly target: Target;
+  readonly configurations: readonly (ConfigurationsEntry1 | ConfigurationsEntry2)[];
+  readonly configurations_not_built: readonly (
+    ConfigurationsNotBuiltEntry1 | ConfigurationsNotBuiltEntry2
+  )[];
+  readonly consumers: Consumers;
+  readonly findings: readonly Finding[];
+  readonly components?: readonly ComponentsEntry[];
+  readonly edge_evaluations: readonly EdgeEvaluationsEntry[];
+  readonly stale_suppressions: readonly StaleSuppressionsEntry[];
+  readonly declared_gaps: readonly DeclaredGapsEntry[];
+  readonly excluded_by_cgo: readonly string[];
+  readonly test_file_rules: readonly TestFileRulesEntry[];
+  readonly type_error_skips: readonly TypeErrorSkipsEntry[];
+  readonly notes: readonly NotesEntry[];
+  readonly unanswered_questions: readonly UnansweredQuestionsEntry[];
+  readonly conventions_applied: readonly ConventionsAppliedEntry[];
+  readonly totals: Totals;
+}
+
+/** The report and finding schemas, as the validator reads them. */
+export const REPORT_SCHEMAS = {
+  "report.schema.json": {
+    type: "object",
+    additionalProperties: false,
+    required: [
+      "schema_version",
+      "contract_version",
+      "analyzer",
+      "target",
+      "configurations",
+      "configurations_not_built",
+      "consumers",
+      "findings",
+      "edge_evaluations",
+      "stale_suppressions",
+      "declared_gaps",
+      "excluded_by_cgo",
+      "test_file_rules",
+      "type_error_skips",
+      "notes",
+      "unanswered_questions",
+      "conventions_applied",
+      "totals",
+    ],
+    allOf: [
+      {
+        if: {
+          required: ["analyzer"],
+          properties: {
+            analyzer: {
+              required: ["languages"],
+              properties: { languages: { items: { enum: ["proto"] } } },
+            },
+          },
+        },
+        then: {
+          properties: {
+            configurations: { maxItems: 0 },
+            target: { not: { anyOf: [{ required: ["kind"] }, { required: ["language_kinds"] }] } },
+          },
+        },
+        else: { properties: { configurations: { minItems: 1 }, target: { required: ["kind"] } } },
+      },
+      {
+        if: { required: ["merged_from"], properties: { merged_from: { maxItems: 0 } } },
+        then: { properties: { analyzer: { properties: { languages: { maxItems: 0 } } } } },
+        else: { properties: { analyzer: { properties: { languages: { minItems: 1 } } } } },
+      },
+    ],
+    properties: {
+      schema_version: { type: "string", pattern: "^[0-9]+\\.[0-9]+\\.[0-9]+$" },
+      contract_version: { type: "string", pattern: "^[0-9]+\\.[0-9]+\\.[0-9]+$" },
+      analyzer: {
+        type: "object",
+        additionalProperties: false,
+        required: ["name", "version", "languages", "schema_versions_accepted", "conformance"],
+        properties: {
+          name: { type: "string", pattern: "^[a-z][a-z0-9]*(-[a-z0-9]+)*$" },
+          version: {
+            type: "string",
+            pattern: "^[0-9]+\\.[0-9]+\\.[0-9]+(-[0-9A-Za-z.-]+)?(\\+[0-9A-Za-z.-]+)?$",
+          },
+          languages: {
+            type: "array",
+            uniqueItems: true,
+            items: { type: "string", enum: ["go", "ts", "proto"] },
+          },
+          schema_versions_accepted: {
+            type: "array",
+            minItems: 1,
+            uniqueItems: true,
+            items: { type: "string", pattern: "^[0-9]+\\.[0-9]+\\.[0-9]+$" },
+          },
+          conformance: {
+            type: "object",
+            additionalProperties: false,
+            required: ["corpus_version", "result", "digest"],
+            properties: {
+              corpus_version: { type: "string", pattern: "^[0-9]+\\.[0-9]+\\.[0-9]+$" },
+              result: { type: "string", enum: ["pass", "fail"] },
+              digest: { type: "string", pattern: "^sha256:[0-9a-f]{64}$" },
+            },
+          },
+        },
+      },
+      merged_from: {
+        type: "array",
+        uniqueItems: true,
+        items: {
+          type: "object",
+          additionalProperties: false,
+          required: ["name", "version", "digest", "languages", "totals"],
+          properties: {
+            name: { type: "string", pattern: "^[a-z][a-z0-9]*(-[a-z0-9]+)*$" },
+            version: {
+              type: "string",
+              pattern: "^[0-9]+\\.[0-9]+\\.[0-9]+(-[0-9A-Za-z.-]+)?(\\+[0-9A-Za-z.-]+)?$",
+            },
+            digest: { type: "string", pattern: "^sha256:[0-9a-f]{64}$" },
+            languages: { $ref: "#/properties/analyzer/properties/languages", minItems: 1 },
+            totals: { $ref: "#/properties/totals" },
+          },
+        },
+      },
+      target: {
+        type: "object",
+        additionalProperties: false,
+        required: ["root", "identity"],
+        if: { required: ["kind"], properties: { kind: { const: "mixed" } } },
+        then: { required: ["language_kinds"] },
+        else: { not: { required: ["language_kinds"] } },
+        properties: {
+          kind: { type: "string", enum: ["application", "library", "mixed"] },
+          language_kinds: {
+            type: "object",
+            additionalProperties: false,
+            minProperties: 2,
+            properties: {
+              go: { type: "string", enum: ["application", "library"] },
+              ts: { type: "string", enum: ["application", "library"] },
+            },
+          },
+          root: {
+            type: "string",
+            pattern:
+              "^(?:\\.|(?:[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.\\.[^/\\x00-\\x1f\\x7f]+)(?:/(?:[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.\\.[^/\\x00-\\x1f\\x7f]+))*)$",
+          },
+          identity: { type: "string", minLength: 1 },
+        },
+      },
+      configurations: {
+        type: "array",
+        uniqueItems: true,
+        items: {
+          oneOf: [
+            {
+              type: "object",
+              additionalProperties: false,
+              required: ["id", "os", "arch", "tags"],
+              properties: {
+                id: { type: "string", minLength: 1 },
+                os: { type: "string", minLength: 1 },
+                arch: { type: "string", minLength: 1 },
+                tags: { type: "array", uniqueItems: true, items: { type: "string", minLength: 1 } },
+              },
+            },
+            {
+              type: "object",
+              additionalProperties: false,
+              required: ["id", "project"],
+              properties: {
+                id: { type: "string", minLength: 1 },
+                project: {
+                  type: "string",
+                  minLength: 1,
+                  pattern:
+                    "^(?:[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.\\.[^/\\x00-\\x1f\\x7f]+)(?:/(?:[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.\\.[^/\\x00-\\x1f\\x7f]+))*$",
+                },
+              },
+            },
+          ],
+        },
+      },
+      configurations_not_built: {
+        type: "array",
+        uniqueItems: true,
+        items: {
+          oneOf: [
+            {
+              type: "object",
+              additionalProperties: false,
+              required: ["id", "os", "arch", "tags", "error"],
+              properties: {
+                id: { type: "string", minLength: 1 },
+                os: { type: "string", minLength: 1 },
+                arch: { type: "string", minLength: 1 },
+                tags: { type: "array", uniqueItems: true, items: { type: "string", minLength: 1 } },
+                error: { type: "string", minLength: 1, pattern: "^[^\\r\\n]+$" },
+              },
+            },
+            {
+              type: "object",
+              additionalProperties: false,
+              required: ["id", "project", "error"],
+              properties: {
+                id: { type: "string", minLength: 1 },
+                project: {
+                  type: "string",
+                  minLength: 1,
+                  pattern:
+                    "^(?:[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.\\.[^/\\x00-\\x1f\\x7f]+)(?:/(?:[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.\\.[^/\\x00-\\x1f\\x7f]+))*$",
+                },
+                error: { type: "string", minLength: 1, pattern: "^[^\\r\\n]+$" },
+              },
+            },
+          ],
+        },
+      },
+      consumers: {
+        type: "object",
+        additionalProperties: false,
+        required: ["declared", "loaded", "unavailable"],
+        properties: {
+          declared: { type: "integer", minimum: 0 },
+          loaded: {
+            type: "array",
+            uniqueItems: true,
+            items: {
+              type: "object",
+              additionalProperties: false,
+              required: ["id", "role", "path"],
+              properties: {
+                id: { type: "string", minLength: 1 },
+                role: { type: "string", enum: ["consumer"] },
+                path: { type: "string", minLength: 1 },
+              },
+            },
+          },
+          unavailable: {
+            type: "array",
+            uniqueItems: true,
+            items: {
+              type: "object",
+              additionalProperties: false,
+              required: ["id", "role", "reason"],
+              properties: {
+                id: { type: "string", minLength: 1 },
+                role: { type: "string", enum: ["consumer"] },
+                reason: { type: "string", minLength: 1, pattern: "[^ \\t\\r\\n]" },
+              },
+            },
+          },
+        },
+      },
+      findings: {
+        type: "array",
+        items: { $ref: "finding.schema.json", properties: { retained_by: { maxItems: 0 } } },
+      },
+      components: {
+        type: "array",
+        items: {
+          type: "object",
+          additionalProperties: false,
+          required: ["id", "members"],
+          properties: {
+            id: { type: "string", pattern: "^[a-z][a-z0-9-]*/c-[0-9]+$" },
+            members: {
+              type: "array",
+              uniqueItems: true,
+              items: { $ref: "finding.schema.json#/$defs/positioned_symbol" },
+            },
+          },
+        },
+      },
+      edge_evaluations: {
+        type: "array",
+        items: {
+          type: "object",
+          additionalProperties: false,
+          required: ["edge", "side", "symbol", "state"],
+          properties: {
+            edge: { $ref: "finding.schema.json#/$defs/edge_identifier" },
+            side: { type: "string", enum: ["provides", "used_by"] },
+            symbol: { type: "string" },
+            state: { type: "string", enum: ["live", "dead", "absent"] },
+            finding: { $ref: "finding.schema.json" },
+            analyzer: { type: "string", pattern: "^[a-z][a-z0-9]*(-[a-z0-9]+)*$" },
+          },
+          if: { properties: { state: { const: "dead" } } },
+          then: { required: ["finding"] },
+          else: { not: { required: ["finding"] } },
+        },
+      },
+      stale_suppressions: {
+        type: "array",
+        items: {
+          type: "object",
+          additionalProperties: false,
+          required: ["code", "mechanism", "entry", "position", "symbol", "message"],
+          properties: {
+            code: { type: "string", const: "DS9003" },
+            mechanism: { type: "string", enum: ["inline", "ignore", "baseline"] },
+            entry: {
+              type: "object",
+              additionalProperties: false,
+              required: ["code", "path", "reason"],
+              properties: {
+                code: { type: "string", pattern: "^DS[0-9]{4}$" },
+                symbol: { type: "string" },
+                path: {
+                  type: "string",
+                  pattern:
+                    "^(?:[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.\\.[^/\\x00-\\x1f\\x7f]+)(?:/(?:[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.\\.[^/\\x00-\\x1f\\x7f]+))*$",
+                },
+                reason: { type: "string", minLength: 1, pattern: "[^ \\t\\r\\n]" },
+              },
+            },
+            position: {
+              type: "object",
+              additionalProperties: false,
+              required: ["path", "line", "column"],
+              properties: {
+                path: {
+                  type: "string",
+                  pattern:
+                    "^(?:[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.\\.[^/\\x00-\\x1f\\x7f]+)(?:/(?:[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.\\.[^/\\x00-\\x1f\\x7f]+))*$",
+                },
+                line: { type: "integer", minimum: 1 },
+                column: { type: "integer", minimum: 1 },
+              },
+            },
+            symbol: { type: "string" },
+            message: { type: "string", minLength: 1, pattern: "[^ \\t\\r\\n]" },
+            analyzer: { type: "string", pattern: "^[a-z][a-z0-9]*(-[a-z0-9]+)*$" },
+          },
+        },
+      },
+      declared_gaps: {
+        type: "array",
+        items: {
+          type: "object",
+          additionalProperties: false,
+          required: ["fixture", "capability", "reason"],
+          properties: {
+            fixture: { type: "string", pattern: "^[a-z][a-z0-9]*(-[a-z0-9]+)*$" },
+            symbol: {
+              type: "string",
+              pattern: "^[A-Za-z_][A-Za-z0-9_]*(\\.[A-Za-z_][A-Za-z0-9_]*)*$",
+            },
+            capability: { type: "string", pattern: "^(DS[0-9]{4}|[a-z][a-z0-9]*(-[a-z0-9]+)*)$" },
+            reason: { type: "string", minLength: 1, pattern: "[^ \\t\\r\\n]" },
+            analyzer: { type: "string", pattern: "^[a-z][a-z0-9]*(-[a-z0-9]+)*$" },
+          },
+        },
+      },
+      excluded_by_cgo: {
+        type: "array",
+        uniqueItems: true,
+        items: {
+          type: "string",
+          pattern:
+            "^(?:[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.\\.[^/\\x00-\\x1f\\x7f]+)(?:/(?:[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.\\.[^/\\x00-\\x1f\\x7f]+))*$",
+        },
+      },
+      test_file_rules: {
+        type: "array",
+        uniqueItems: true,
+        items: {
+          type: "object",
+          additionalProperties: false,
+          required: ["rule", "matched"],
+          properties: {
+            rule: { type: "string", pattern: "^[a-z][a-z0-9]*(-[a-z0-9]+)*$" },
+            matched: { type: "integer", minimum: 0 },
+          },
+        },
+      },
+      type_error_skips: {
+        type: "array",
+        uniqueItems: true,
+        items: {
+          type: "object",
+          additionalProperties: false,
+          required: ["path", "line", "message"],
+          properties: {
+            path: {
+              type: "string",
+              pattern:
+                "^(?:[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.\\.[^/\\x00-\\x1f\\x7f]+)(?:/(?:[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.\\.[^/\\x00-\\x1f\\x7f]+))*$",
+            },
+            line: { type: "integer", minimum: 1 },
+            message: { type: "string", minLength: 1, pattern: "^[^\\r\\n]+$" },
+          },
+        },
+      },
+      notes: {
+        type: "array",
+        uniqueItems: true,
+        items: {
+          type: "object",
+          additionalProperties: false,
+          required: ["kind", "path", "message"],
+          allOf: [
+            {
+              if: { properties: { kind: { const: "published-package" } } },
+              then: { required: ["key"] },
+            },
+            {
+              if: { properties: { kind: { const: "unmapped-entry" } } },
+              then: { required: ["key"] },
+            },
+            {
+              if: { properties: { kind: { const: "module-not-loaded" } } },
+              then: { not: { required: ["key"] } },
+            },
+            {
+              if: { properties: { kind: { const: "computed-load" } } },
+              then: { not: { required: ["key"] } },
+            },
+            {
+              if: { properties: { kind: { const: "unbound-schema" } } },
+              then: { required: ["key"] },
+            },
+            {
+              if: { properties: { kind: { const: "unresolved-import" } } },
+              then: { required: ["key"] },
+            },
+            {
+              if: { properties: { kind: { const: "generation-config-unread" } } },
+              then: { required: ["key"] },
+            },
+            {
+              if: { properties: { kind: { const: "binding-unsupported" } } },
+              then: { not: { required: ["key"] } },
+            },
+            {
+              if: { properties: { kind: { const: "schema-unparsed" } } },
+              then: { not: { required: ["key"] } },
+            },
+            {
+              if: { properties: { kind: { const: "unread-command" } } },
+              then: { not: { required: ["key"] } },
+            },
+            {
+              if: { properties: { kind: { const: "unresolved-specifier" } } },
+              then: { not: { required: ["key"] } },
+            },
+          ],
+          properties: {
+            kind: {
+              type: "string",
+              enum: [
+                "binding-unsupported",
+                "computed-load",
+                "generation-config-unread",
+                "module-not-loaded",
+                "published-package",
+                "schema-unparsed",
+                "unbound-schema",
+                "unmapped-entry",
+                "unread-command",
+                "unresolved-import",
+                "unresolved-specifier",
+              ],
+            },
+            path: {
+              type: "string",
+              pattern:
+                "^(?:\\.|(?:[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.\\.[^/\\x00-\\x1f\\x7f]+)(?:/(?:[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.\\.[^/\\x00-\\x1f\\x7f]+))*)$",
+            },
+            key: {
+              type: "string",
+              enum: ["proto.import_paths", "proto.plugins", "roots.patterns", "ts.entry_files"],
+            },
+            message: { type: "string", minLength: 1, pattern: "^[^\\r\\n]+$" },
+          },
+        },
+      },
+      unanswered_questions: {
+        type: "array",
+        uniqueItems: true,
+        items: {
+          type: "object",
+          additionalProperties: false,
+          required: ["configuration", "questions", "declarations"],
+          properties: {
+            configuration: { type: "string", minLength: 1 },
+            questions: { type: "integer", minimum: 1 },
+            declarations: { type: "integer", minimum: 0 },
+          },
+        },
+      },
+      conventions_applied: {
+        type: "array",
+        uniqueItems: true,
+        items: {
+          type: "object",
+          additionalProperties: false,
+          required: ["name", "package", "version", "manifest"],
+          properties: {
+            name: { type: "string", pattern: "^[a-z][a-z0-9]*(-[a-z0-9]+)*$" },
+            package: { type: "string", minLength: 1 },
+            version: { type: "string", minLength: 1 },
+            manifest: {
+              type: "string",
+              pattern:
+                "^(?:[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.\\.[^/\\x00-\\x1f\\x7f]+)(?:/(?:[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.\\.[^/\\x00-\\x1f\\x7f]+))*$",
+            },
+          },
+        },
+      },
+      totals: {
+        type: "object",
+        additionalProperties: false,
+        required: [
+          "findings",
+          "by_severity",
+          "deletable_lines",
+          "suppressions_in_effect",
+          "reasons_recorded",
+          "stale_suppressions",
+          "pending",
+          "omitted",
+          "withheld",
+        ],
+        properties: {
+          findings: { type: "integer", minimum: 0 },
+          by_severity: {
+            type: "object",
+            additionalProperties: false,
+            required: ["allow", "warn", "deny"],
+            properties: {
+              allow: { type: "integer", minimum: 0 },
+              warn: { type: "integer", minimum: 0 },
+              deny: { type: "integer", minimum: 0 },
+            },
+          },
+          deletable_lines: { type: "integer", minimum: 0 },
+          suppressions_in_effect: { type: "integer", minimum: 0 },
+          reasons_recorded: { type: "integer", minimum: 0 },
+          stale_suppressions: { type: "integer", minimum: 0 },
+          pending: { type: "integer", minimum: 0 },
+          omitted: { type: "integer", minimum: 0 },
+          withheld: {
+            type: "object",
+            additionalProperties: false,
+            required: ["certain", "probable", "possible"],
+            properties: {
+              certain: { type: "integer", minimum: 0, maximum: 0 },
+              probable: { type: "integer", minimum: 0 },
+              possible: { type: "integer", minimum: 0 },
+            },
+          },
+        },
+      },
+    },
+  },
+  "finding.schema.json": {
+    type: "object",
+    additionalProperties: false,
+    required: [
+      "code",
+      "kind",
+      "language",
+      "position",
+      "symbol",
+      "reachability_class",
+      "confidence",
+      "test_only",
+      "generated",
+      "component",
+      "retained_by",
+      "configurations",
+      "consumers_loaded",
+      "fixability",
+      "severity",
+      "message",
+      "details",
+    ],
+    properties: {
+      code: { type: "string", pattern: "^DS[0-9]{4}$" },
+      kind: { type: "string", pattern: "^[a-z][a-z0-9]*(-[a-z0-9]+)*$" },
+      language: { type: "string", enum: ["go", "ts", "proto"] },
+      position: { $ref: "#/$defs/position" },
+      symbol: {
+        type: "object",
+        additionalProperties: false,
+        required: ["ref", "kind", "name", "size_lines"],
+        properties: {
+          ref: { $ref: "#/$defs/symbol_reference" },
+          kind: {
+            type: "string",
+            enum: [
+              "function",
+              "method",
+              "type",
+              "class",
+              "interface",
+              "enum",
+              "namespace",
+              "variable",
+              "constant",
+              "export-alias",
+              "field",
+              "class-member",
+              "type-member",
+              "interface-method",
+              "enum-member",
+              "message",
+              "service",
+              "rpc",
+              "satisfaction-assertion",
+              "type-parameter",
+              "parameter",
+              "receiver",
+              "result",
+              "statement",
+              "case",
+              "store",
+              "file",
+              "import",
+              "dependency",
+              "module-directive",
+              "suppression",
+              "root",
+              "configured-declaration",
+              "edge",
+            ],
+          },
+          name: { type: "string", pattern: "^[^\\r\\n]+$" },
+          parent: { $ref: "#/$defs/symbol_reference" },
+          exported: { type: "boolean" },
+          size_lines: { type: "integer", minimum: 1 },
+          objectpath: { type: "string", minLength: 1 },
+        },
+      },
+      reachability_class: { type: "string", enum: ["certain", "probable", "possible"] },
+      confidence: { type: "string", enum: ["certain", "probable", "possible"] },
+      liveness_relation: { type: "string", enum: ["reference-counting", "reachability"] },
+      test_only: { type: "boolean" },
+      generated: { type: "boolean" },
+      component: {
+        type: "object",
+        additionalProperties: false,
+        required: ["id", "root", "symbol_count", "deletable_lines"],
+        properties: {
+          id: { type: "string", pattern: "^[a-z][a-z0-9-]*/c-[0-9]+$" },
+          root: { type: "boolean" },
+          symbol_count: { type: "integer", minimum: 1 },
+          deletable_lines: { type: "integer", minimum: 0 },
+        },
+      },
+      retained_by: {
+        type: "array",
+        uniqueItems: true,
+        items: { type: "string", pattern: "^[a-z][a-z0-9]*(-[a-z0-9]+)*$" },
+      },
+      configurations: { type: "array", uniqueItems: true, items: { type: "string", minLength: 1 } },
+      consumers_loaded: {
+        type: "array",
+        uniqueItems: true,
+        items: { type: "string", minLength: 1 },
+      },
+      fixability: { type: "string", enum: ["deletable", "narrowable", "manual", "none"] },
+      severity: { type: "string", enum: ["allow", "warn", "deny"] },
+      message: { type: "string", pattern: "^[^\\r\\n]*[^.\\r\\n]$" },
+      analyzer: { type: "string", pattern: "^[a-z][a-z0-9]*(-[a-z0-9]+)*$" },
+      details: {
+        type: "object",
+        additionalProperties: false,
+        properties: {
+          narrower_visibility: { type: "string", enum: ["file", "package", "module"] },
+          implementations: {
+            type: "array",
+            uniqueItems: true,
+            items: { $ref: "#/$defs/positioned_symbol" },
+          },
+          write_positions: {
+            type: "array",
+            minItems: 1,
+            uniqueItems: true,
+            items: { $ref: "#/$defs/position" },
+          },
+          excluded_by: { type: "string", minLength: 1 },
+          dependency_class: {
+            type: "string",
+            enum: ["require", "dependency", "dev-dependency", "peer-dependency"],
+          },
+          replacement: { type: "string", minLength: 1 },
+          mechanism: { type: "string", enum: ["inline", "ignore", "baseline"] },
+          entry: {
+            type: "object",
+            additionalProperties: false,
+            required: ["code"],
+            properties: {
+              code: { type: "string", pattern: "^DS[0-9]{4}$" },
+              symbol: { $ref: "#/$defs/symbol_reference" },
+              path: { $ref: "#/$defs/relative_path" },
+              reason: { type: "string", pattern: "[^ \\t\\r\\n]" },
+            },
+          },
+          overlap: {
+            type: "array",
+            minItems: 1,
+            uniqueItems: true,
+            items: { type: "string", minLength: 1 },
+          },
+          edge: { $ref: "#/$defs/edge_identifier" },
+          sides: {
+            type: "array",
+            minItems: 1,
+            uniqueItems: true,
+            items: {
+              type: "object",
+              additionalProperties: false,
+              required: ["side", "symbol", "state"],
+              properties: {
+                side: { type: "string", enum: ["provides", "used_by"] },
+                symbol: { $ref: "#/$defs/symbol_reference" },
+                state: { type: "string", enum: ["live", "dead", "absent"] },
+              },
+            },
+          },
+          removes_last_use_of: {
+            type: "array",
+            minItems: 1,
+            uniqueItems: true,
+            items: { type: "string", minLength: 1 },
+          },
+          name_literal: { $ref: "#/$defs/position" },
+        },
+      },
+    },
+    allOf: [
+      {
+        if: { required: ["code"], properties: { code: { enum: ["DS1501", "DS1502", "DS1503"] } } },
+        then: { properties: { details: { required: ["narrower_visibility"] } } },
+        else: {
+          properties: { details: { not: { anyOf: [{ required: ["narrower_visibility"] }] } } },
+        },
+      },
+      {
+        if: { required: ["code"], properties: { code: { enum: ["DS1201", "DS1202", "DS1203"] } } },
+        then: { properties: { details: { required: ["implementations"] } } },
+        else: { properties: { details: { not: { anyOf: [{ required: ["implementations"] }] } } } },
+      },
+      {
+        if: { required: ["code"], properties: { code: { enum: ["DS1301", "DS1404"] } } },
+        then: { properties: { details: { required: ["write_positions"] } } },
+        else: { properties: { details: { not: { anyOf: [{ required: ["write_positions"] }] } } } },
+      },
+      {
+        if: { required: ["code"], properties: { code: { const: "DS1601" } } },
+        then: {
+          allOf: [
+            {
+              if: { required: ["language"], properties: { language: { enum: ["go"] } } },
+              then: { properties: { details: { required: ["excluded_by"] } } },
+              else: {
+                properties: { details: { not: { anyOf: [{ required: ["excluded_by"] }] } } },
+              },
+            },
+          ],
+        },
+        else: { properties: { details: { not: { anyOf: [{ required: ["excluded_by"] }] } } } },
+      },
+      {
+        if: { required: ["code"], properties: { code: { const: "DS1701" } } },
+        then: { properties: { details: { required: ["dependency_class"] } } },
+        else: { properties: { details: { not: { anyOf: [{ required: ["dependency_class"] }] } } } },
+      },
+      {
+        if: { required: ["code"], properties: { code: { const: "DS1702" } } },
+        then: { properties: { details: { required: ["replacement"] } } },
+        else: { properties: { details: { not: { anyOf: [{ required: ["replacement"] }] } } } },
+      },
+      {
+        if: { required: ["code"], properties: { code: { enum: ["DS9001", "DS9002", "DS9003"] } } },
+        then: { properties: { details: { required: ["mechanism", "entry"] } } },
+        else: {
+          properties: {
+            details: { not: { anyOf: [{ required: ["mechanism"] }, { required: ["entry"] }] } },
+          },
+        },
+      },
+      {
+        if: {
+          required: ["code"],
+          properties: {
+            code: { enum: ["DS1401", "DS1402", "DS1403", "DS1404", "DS1405", "DS1406"] },
+          },
+        },
+        then: { properties: { details: { required: ["overlap"] } } },
+        else: { properties: { details: { not: { anyOf: [{ required: ["overlap"] }] } } } },
+      },
+      {
+        if: { required: ["code"], properties: { code: { const: "DS9005" } } },
+        then: { properties: { details: { required: ["edge", "sides"] } } },
+        else: {
+          properties: {
+            details: { not: { anyOf: [{ required: ["edge"] }, { required: ["sides"] }] } },
+          },
+        },
+      },
+      {
+        if: {
+          required: ["code"],
+          properties: {
+            code: { enum: ["DS1001", "DS1002", "DS1101", "DS1102", "DS1104", "DS1501", "DS1502"] },
+          },
+        },
+        then: {
+          if: { required: ["details"], properties: { details: { required: ["name_literal"] } } },
+          then: { properties: { reachability_class: { const: "possible" } } },
+        },
+        else: { properties: { details: { not: { anyOf: [{ required: ["name_literal"] }] } } } },
+      },
+      {
+        if: {
+          anyOf: [
+            {
+              required: ["symbol"],
+              properties: {
+                symbol: {
+                  required: ["kind"],
+                  properties: {
+                    kind: {
+                      enum: [
+                        "case",
+                        "configured-declaration",
+                        "dependency",
+                        "edge",
+                        "file",
+                        "import",
+                        "module-directive",
+                        "parameter",
+                        "receiver",
+                        "result",
+                        "root",
+                        "statement",
+                        "store",
+                        "suppression",
+                      ],
+                    },
+                  },
+                },
+              },
+            },
+            {
+              required: ["code"],
+              properties: { code: { enum: ["DS1203", "DS1301", "DS1501", "DS1502", "DS1503"] } },
+            },
+          ],
+        },
+        then: { not: { required: ["liveness_relation"] } },
+        else: { required: ["liveness_relation"] },
+      },
+      {
+        if: { required: ["fixability"], properties: { fixability: { const: "deletable" } } },
+        else: { properties: { details: { not: { required: ["removes_last_use_of"] } } } },
+      },
+    ],
+    $defs: {
+      edge_identifier: { type: "string", pattern: "^[A-Za-z0-9_.-]+(/[A-Za-z0-9_.-]+)*$" },
+      position: {
+        type: "object",
+        additionalProperties: false,
+        required: ["path", "line", "column", "end_line"],
+        properties: {
+          path: { $ref: "#/$defs/relative_path" },
+          line: { type: "integer", minimum: 1 },
+          column: { type: "integer", minimum: 1 },
+          end_line: { type: "integer", minimum: 1 },
+        },
+      },
+      relative_path: {
+        type: "string",
+        pattern:
+          "^(?:[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.\\.[^/\\x00-\\x1f\\x7f]+)(?:/(?:[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.[^/.\\x00-\\x1f\\x7f][^/\\x00-\\x1f\\x7f]*|\\.\\.[^/\\x00-\\x1f\\x7f]+))*$",
+      },
+      symbol_reference: { type: "string", minLength: 1 },
+      positioned_symbol: {
+        type: "object",
+        additionalProperties: false,
+        required: ["ref", "name", "position"],
+        properties: {
+          ref: { $ref: "#/$defs/symbol_reference" },
+          name: { type: "string", pattern: "^[^\\r\\n]+$" },
+          position: { $ref: "#/$defs/position" },
+        },
+      },
+    },
+  },
+} as const;