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

package/dist/src/contract/report.generated.js

@@ -0,0 +1,796 @@
+// Code generated by scripts/gen-report.ts from the Contract copy under fixtures/ (npm run gen). DO NOT EDIT.
+/** 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",
+        ],
+        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",
+                        minItems: 1,
+                        uniqueItems: true,
+                        items: { type: "string", enum: ["go", "ts"] },
+                    },
+                    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" },
+                        totals: { $ref: "#/properties/totals" },
+                    },
+                },
+            },
+            target: {
+                type: "object",
+                additionalProperties: false,
+                required: ["kind", "root", "identity"],
+                if: { 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",
+                minItems: 1,
+                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: { type: "string", pattern: "^[A-Za-z0-9_.-]+(/[A-Za-z0-9_.-]+)*$" },
+                        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"] } },
+                        },
+                    ],
+                    properties: {
+                        kind: {
+                            type: "string",
+                            enum: ["computed-load", "module-not-loaded", "published-package", "unmapped-entry"],
+                        },
+                        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: ["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"] },
+            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",
+                            "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: { type: "string", pattern: "^[A-Za-z0-9_.-]+(/[A-Za-z0-9_.-]+)*$" },
+                    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: {
+            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" },
+                },
+            },
+        },
+    },
+};