@cplieger/deadset-ts 8.0.0-dev.5 → 8.0.0-dev.7

package/dist/src/reporters/template.js

@@ -9,6 +9,7 @@
 import { CHUNK_LENGTH } from "../json-chunks.js";
 import { RenderError } from "./reporter.js";
 import { utf8Bytes } from "./sha256.js";
+import { bytewise } from "../text/compare.js";
 /** A template that does not parse, which refuses the invocation before any analysis. */
 export class TemplateError extends Error {
     constructor(message) {
@@ -513,7 +514,7 @@ function formatted(value, nested) {
     }
     const object = value;
     const entries = Object.keys(object)
-        .sort()
+        .sort(bytewise)
         .map((key) => `${key}:${formatted(object[key] ?? null, true)}`);
     return `map[${entries.join(" ")}]`;
 }
@@ -538,26 +539,10 @@ function compareBasic(name, a, b) {
         return Number.NaN;
     }
     if (kind === "string") {
-        return byCodePoints(a, b);
+        return bytewise(a, b);
     }
     return a < b ? -1 : 1;
 }
-/**
- * Two strings ordered by the bytes of their UTF-8 encodings, which is the order of their
- * code points: the order of their UTF-16 code units differs above U+FFFF.
- */
-function byCodePoints(a, b) {
-    let at = 0;
-    while (at < a.length && at < b.length) {
-        const x = a.codePointAt(at) ?? 0;
-        const y = b.codePointAt(at) ?? 0;
-        if (x !== y) {
-            return x < y ? -1 : 1;
-        }
-        at += x > 0xffff ? 2 : 1;
-    }
-    return a.length - b.length;
-}
 /** The escapes `%q` writes for the control characters that have one of their own. */
 const QUOTED_ESCAPES = {
     '"': '\\"',
@@ -903,7 +888,7 @@ class Execution {
             }
             else if (isObject(value)) {
                 entries = Object.keys(value)
-                    .sort()
+                    .sort(bytewise)
                     .map((key) => [key, value[key] ?? null]);
             }
             else {

package/dist/src/resolve.js

@@ -1,13 +1,15 @@
+import { SEVERITIES, LANGUAGES, CONFIDENCES, FORMATS, FAMILY_KEY_LENGTH, } from "./contract/contract.generated.js";
 import { ConfigError, defaultConfig, } from "./config.js";
 import { CONVENTION_ROWS } from "./convention-rows.js";
+import { EXEMPTION_CLASS_NAMES } from "./exempt-classes.js";
 import { FIXED_SEVERITY_CODES, LIVE_CODES } from "./kinds.js";
 import { checkDocument, malformed, nestFlags, SCHEMA_ROOT, SEVERITY_SECTION, } from "./schema.js";
+import { bytewise } from "./text/compare.js";
+import { isRecord } from "./json-document.js";
+import { message } from "./product.js";
 /** Names the command-line flags in a refusal, where a document is named by its path. */
 const FLAGS_LABEL = "the command-line flags";
-/** The length of a severity key naming a whole family: the prefix and two digits. */
-export const FAMILY_KEY_LENGTH = 4;
 const SEVERITY_KEY = /^DS[0-9]{2}([0-9]{2})?$/u;
-const EXEMPTION_CLASS = /^[a-z][a-z0-9-]*$/u;
 const CONTRACT_VERSION_PATTERN = /^[0-9]+\.[0-9]+\.[0-9]+$/u;
 const ANALYZER_NAME = /^[a-z][a-z0-9]*(-[a-z0-9]+)*$/u;
 const PROVIDER_SOURCE = /^(go|npm):[^ \t\r\n]+$/u;
@@ -30,12 +32,8 @@ const PROJECT_SEGMENT = String.raw `(?:[^/.\x00-\x1f\x7f][^/\x00-\x1f\x7f]*|\.[^
  */
 const PROJECT_PATH = new RegExp(`^${PROJECT_SEGMENT}(?:/${PROJECT_SEGMENT})*$`, "u");
 const TARGET_KINDS = ["application", "library"];
-const CONFIDENCES = ["certain", "probable", "possible"];
 const GENERATED_FILES = ["exclude", "include"];
 const CONSUMER_TESTS = ["test", "production"];
-const LANGUAGES = ["go", "ts"];
-const SEVERITIES = ["allow", "warn", "deny"];
-const FORMATS = ["text", "json", "github", "sarif", "template"];
 const SORTS = ["position", "size"];
 const CASCADES = ["roots", "full"];
 /**
@@ -48,9 +46,6 @@ function originOf(source, path) {
     }
     return { source: source.kind, label: source.label };
 }
-function isRecord(value) {
-    return typeof value === "object" && value !== null && !Array.isArray(value);
-}
 function member(parent, name) {
     if (parent === undefined || !Object.hasOwn(parent, name)) {
         return undefined;
@@ -297,7 +292,7 @@ function unimplementedSeverityKey(label, path, reason) {
  * them all rather than the first one found.
  */
 function fixedByContract(code) {
-    return FIXED_SEVERITY_CODES.filter((candidate) => code === candidate || (code.length === FAMILY_KEY_LENGTH && candidate.startsWith(code))).sort();
+    return FIXED_SEVERITY_CODES.filter((candidate) => code === candidate || (code.length === FAMILY_KEY_LENGTH && candidate.startsWith(code))).sort(bytewise);
 }
 /** The codes a refusal names: one on its own, and several with the last joined by and. */
 function spellCodes(codes) {
@@ -326,7 +321,7 @@ function readSeverity(document, label) {
         return undefined;
     }
     const severity = new Map();
-    for (const code of Object.keys(object).sort()) {
+    for (const code of Object.keys(object).sort(bytewise)) {
         const path = `${SEVERITY_SECTION}.${code}`;
         if (!SEVERITY_KEY.test(code)) {
             throw unimplementedSeverityKey(label, path, "a severity key is one issue-kind code or one two-digit family prefix");
@@ -347,19 +342,10 @@ function readSeverity(document, label) {
     }
     return severity;
 }
-/** The exemption classes named for switching off. */
+/** The exemption classes named for switching off, each one the vocabulary holds. */
 function readExemptions(document, label) {
     const exemptions = section(document, "exemptions", "exemptions", label);
-    const disabled = readStrings(exemptions, "disabled", "exemptions.disabled", label, 0);
-    if (disabled === undefined) {
-        return undefined;
-    }
-    for (const entry of disabled) {
-        if (!EXEMPTION_CLASS.test(entry)) {
-            throw malformed(label, "exemptions.disabled", `${JSON.stringify(entry)} is not an exemption class name`);
-        }
-    }
-    return disabled;
+    return readStrings(exemptions, "disabled", "exemptions.disabled", label, 0, EXEMPTION_CLASS_NAMES);
 }
 /** The members that name a declaration, each belonging to exactly one shape. */
 const SHAPE_MEMBERS = ["symbol", "module", "name", "global"];
@@ -577,7 +563,7 @@ function parseDocument(text, node, label) {
         value = JSON.parse(text);
     }
     catch (error) {
-        throw malformed(label, "", error instanceof Error ? error.message : String(error));
+        throw malformed(label, "", message(error));
     }
     checkDocument(text, node, label);
     return value;
@@ -661,7 +647,7 @@ function settleSeverity(provenance, sources) {
         }
     }
     const severity = new Map();
-    for (const code of [...codes].sort()) {
+    for (const code of [...codes].sort(bytewise)) {
         const path = `${SEVERITY_SECTION}.${code}`;
         for (const source of sources) {
             const value = source.doc.severity?.get(code);
@@ -697,7 +683,7 @@ function describeSource(named, text, label) {
  * print a provenance value the closed key list refuses to read back.
  */
 function checkLabels(provenance) {
-    for (const path of [...provenance.keys()].sort()) {
+    for (const path of [...provenance.keys()].sort(bytewise)) {
         const origin = provenance.get(path);
         if (origin !== undefined && origin.source !== "default" && origin.label === "") {
             throw malformed(origin.source === "flag" ? FLAGS_LABEL : origin.source, path, `came from ${origin.source}, which names no file or flag`);

package/dist/src/roots.js

@@ -13,13 +13,15 @@ import { isGlobalBlock } from "./augmentations.js";
 import { filesNamedBy, outsideChain, relativeSpecifiers, } from "./configuration-files.js";
 import { conventionEntries } from "./conventions.js";
 import { entryPoints } from "./entry-points.js";
-import { globExpression } from "./glob.js";
 import { nodeKey } from "./inventory.js";
-import { dirnamePath, joinPath, relativePath, resolvePath } from "./paths.js";
+import { ancestors, dirnamePath, relativePath, resolvePath } from "./paths.js";
 import { byPosition } from "./position.js";
 import { UNANSWERED } from "./query.js";
 import { sourceFilesOf } from "./source-files.js";
 import { typeQueryAliases } from "./type-query-alias.js";
+import { bytewise } from "./text/compare.js";
+import { holdsManifest } from "./fs/manifest.js";
+import { globExpression } from "./text/glob.js";
 /** Whether one declaration is written below the directory of a published workspace member. */
 function inPublishedMember(held, id, root, members) {
     const path = held.symbols.find((symbol) => symbol.id === id)?.position.path;
@@ -47,13 +49,8 @@ const OUTPUT_EXTENSION = /\.(?:d\.ts|d\.mts|d\.cts|js|mjs|cjs|jsx)$/u;
 const SOURCE_EXTENSION = /\.(?:d\.)?[cm]?[jt]sx?$/u;
 /** Whether no `package.json` sits between one file and the manifest's directory, which holds it. */
 function ofPackage(host, dir, file) {
-    for (let at = dirnamePath(file); at !== dir; at = dirnamePath(at)) {
-        if (relativePath(dir, at) === undefined ||
-            host.kindOf(joinPath(at, "package.json")) === "file") {
-            return false;
-        }
-    }
-    return true;
+    const between = ancestors(dirnamePath(file), dir);
+    return between.length > 0 && !between.slice(0, -1).some((at) => holdsManifest(host, at));
 }
 /**
  * The rooted files one manifest target reads back to by name: its path below the
@@ -163,13 +160,6 @@ export function matchRef(pattern, ref) {
     }
     return matchGlob(Array.from(pattern), Array.from(ref));
 }
-/** Two strings ordered bytewise, which is the order every set of a run is read in. */
-function compare(a, b) {
-    if (a === b) {
-        return 0;
-    }
-    return a < b ? -1 : 1;
-}
 /** The members of one declaration, indexed by the container that holds them. */
 function childrenOf(held) {
     const byParent = new Map();
@@ -344,7 +334,7 @@ export function roots(project, held, targetRoot, options) {
         const left = sites.get(a.id);
         const right = sites.get(b.id);
         const site = left === undefined || right === undefined ? 0 : byPosition(left, right);
-        return site || compare(a.kind, b.kind) || compare(a.source, b.source);
+        return site || bytewise(a.kind, b.kind) || bytewise(a.source, b.source);
     });
     return {
         liveUnderReachability: ordered,

package/dist/src/run.js

@@ -1,3 +1,4 @@
+import { EXIT_FAILURE, EXIT_USAGE } from "./contract/contract.generated.js";
 import { ConfigError, REPOSITORY_DOCUMENT } from "./config.js";
 import { DiscoveryError, renderDiagnostic } from "./discover.js";
 import { joinPath, resolvePath } from "./paths.js";
@@ -11,8 +12,9 @@ import { printRootsVerb } from "./verbs/print-roots.js";
 import { ANALYZE_OPTIONS, analyzeVerb } from "./verbs/analyze.js";
 import { describeVerb } from "./verbs/describe.js";
 import { EXPLAIN_OPTIONS, explainVerb } from "./verbs/explain.js";
-import { EXIT_FAILURE, EXIT_USAGE } from "./verbs/verb.js";
+import {} from "./verbs/verb.js";
 import { versionVerb } from "./verbs/version.js";
+import { diagnose, message, PRODUCT } from "./product.js";
 /** Every verb this command answers, in the order the usage text lists them. */
 const VERBS = [
     { name: "analyze", run: analyzeVerb, options: ANALYZE_OPTIONS },
@@ -24,7 +26,7 @@ const VERBS = [
     { name: "describe", run: describeVerb },
     { name: "version", run: versionVerb },
 ];
-const USAGE = `usage: deadset-ts <verb> [options]\nverbs: ${VERBS.map((verb) => verb.name).join(", ")}\n`;
+const USAGE = `usage: ${PRODUCT} <verb> [options]\nverbs: ${VERBS.map((verb) => verb.name).join(", ")}\n`;
 /**
  * The tokens whose presence in an option's name makes that option a request to
  * edit a source file. The set is closed, and a token is matched in any position of
@@ -108,7 +110,7 @@ function readFileOr(host, path, orUndefined) {
         if (orUndefined) {
             return undefined;
         }
-        throw new ConfigError("malformed", "", `${path}: ${error instanceof Error ? error.message : String(error)}`);
+        throw new ConfigError("malformed", "", `${path}: ${message(error)}`);
     }
 }
 /**
@@ -161,7 +163,7 @@ function scopeOf(host, options) {
 export function run(args, out, err, host, openClient = openEngine) {
     const editing = sourceEditOption(args);
     if (editing !== undefined) {
-        err.write(`deadset-ts: ${editing} is not supported: deadset-ts reports and never edits a source file\n`);
+        diagnose(err, `${editing} is not supported: ${PRODUCT} reports and never edits a source file`);
         err.write(USAGE);
         return EXIT_USAGE;
     }
@@ -171,7 +173,7 @@ export function run(args, out, err, host, openClient = openEngine) {
         return invoke(verb.run, verb.options ?? NO_OPTIONS, args.slice(1), { out, err, host }, openClient);
     }
     if (name !== undefined) {
-        err.write(`deadset-ts: unknown verb ${JSON.stringify(name)}\n`);
+        diagnose(err, `unknown verb ${JSON.stringify(name)}`);
     }
     err.write(USAGE);
     return EXIT_USAGE;
@@ -210,7 +212,7 @@ function invoke(verb, own, args, streams, openClient) {
 /** Turns one refusal into the exit code the Contract's table gives it. */
 function refuse(error, err) {
     if (error instanceof ConfigError) {
-        err.write(`deadset-ts: ${error.message}\n`);
+        diagnose(err, error.message);
         err.write(USAGE);
         return EXIT_USAGE;
     }
@@ -218,7 +220,7 @@ function refuse(error, err) {
         for (const diagnostic of error.diagnostics) {
             err.write(`${renderDiagnostic(diagnostic)}\n`);
         }
-        err.write(`deadset-ts: ${error.message}\n`);
+        diagnose(err, error.message);
         return EXIT_FAILURE;
     }
     if (error instanceof SetupError) {
@@ -228,7 +230,7 @@ function refuse(error, err) {
         return EXIT_FAILURE;
     }
     if (error instanceof ScopeError) {
-        err.write(`deadset-ts: ${error.message}\n`);
+        diagnose(err, error.message);
         return EXIT_FAILURE;
     }
     throw error;

package/dist/src/schema.js

@@ -1,4 +1,5 @@
 import { ConfigError } from "./config.js";
+import { bytewise } from "./text/compare.js";
 const leaf = { kind: "leaf" };
 const integer = { kind: "leaf", integer: true };
 /** A list of declarations, each entry in one of the three shapes the `ts` section states. */
@@ -128,7 +129,7 @@ function collect(node, at, keys, settingsOnly) {
 export function declaredKeys() {
     const keys = [];
     collect(SCHEMA_ROOT, "", keys, false);
-    return keys.sort();
+    return keys.sort(bytewise);
 }
 /**
  * The dotted path of every setting that holds one value, in ascending order. A
@@ -139,7 +140,7 @@ export function declaredKeys() {
 export function settingPaths() {
     const paths = [];
     collect(SCHEMA_ROOT, "", paths, true);
-    return paths.sort();
+    return paths.sort(bytewise);
 }
 /**
  * Whether one dotted path names a setting a source may supply: a setting of the
@@ -373,7 +374,7 @@ export function checkDocument(text, node, label) {
  */
 export function nestFlags(flat, label) {
     const nested = {};
-    for (const path of Object.keys(flat).sort()) {
+    for (const path of Object.keys(flat).sort(bytewise)) {
         if (!declaresSetting(path)) {
             throw unimplementedKey(label, path);
         }

package/dist/src/scope.js

@@ -1,6 +1,8 @@
 import { ConfigError } from "./config.js";
 import { dirnamePath, isAbsolutePath, joinPath, resolvePath } from "./paths.js";
 import { checkDocument } from "./schema.js";
+import { isRecord } from "./json-document.js";
+import { message } from "./product.js";
 /** The roles a scope document declares for a module. */
 const ROLE_TARGET = "target";
 const ROLE_CONSUMER = "consumer";
@@ -32,9 +34,6 @@ const SCOPE_ROOT = {
         consumers: { kind: "list", members: MODULE.members ?? {} },
     },
 };
-function isRecord(value) {
-    return typeof value === "object" && value !== null && !Array.isArray(value);
-}
 /**
  * One string member, or undefined where the document omits it. A member the
  * document writes is a string holding at least one character, so `null` and `""`
@@ -107,7 +106,7 @@ export function readScope(host, file) {
         text = host.readFile(absolute);
     }
     catch (error) {
-        throw new ScopeError(`scope: ${file}: ${error instanceof Error ? error.message : String(error)}`);
+        throw new ScopeError(`scope: ${file}: ${message(error)}`);
     }
     if (text.length > MAX_DOCUMENT_LENGTH) {
         throw new ScopeError(`scope: ${file} is longer than ${String(MAX_DOCUMENT_LENGTH)} characters`);
@@ -117,7 +116,7 @@ export function readScope(host, file) {
         value = JSON.parse(text);
     }
     catch (error) {
-        throw new ScopeError(`scope: ${file}: ${error instanceof Error ? error.message : String(error)}`);
+        throw new ScopeError(`scope: ${file}: ${message(error)}`);
     }
     if (!isRecord(value)) {
         throw new ScopeError(`scope: ${file} is not one JSON object`);

package/dist/src/serialization-contract.js

@@ -7,6 +7,7 @@
  * function invoked through `call`, `apply` or `bind` is the callee.
  */
 import { isArrayLiteralExpression, isArrowFunction, isAsExpression, isAwaitExpression, isCallExpression, isClassDeclaration, isClassExpression, isClassStaticBlockDeclaration, isElementAccessExpression, isExpressionStatement, isFunctionDeclaration, isFunctionExpression, isFunctionLikeDeclaration, isGetAccessorDeclaration, isIdentifier, isInterfaceDeclaration, isMethodDeclaration, isNonNullExpression, isNoSubstitutionTemplateLiteral, isNumericLiteral, isObjectLiteralExpression, isParenthesizedExpression, isForInStatement, isPropertyAccessExpression, isPropertyDeclaration, isReturnStatement, isSatisfiesExpression, isSetAccessorDeclaration, isSourceFile, isSpreadAssignment, isSpreadElement, isStringLiteral, isTypeAssertion, isTypeLiteralNode, isVariableDeclaration, ModifierFlags, NodeFlags, SyntaxKind, } from "@typescript/native/ast";
+import { parenthesesRemoved } from "./unwrap.js";
 import { SignatureKind, SymbolFlags, TypeFlags, } from "@typescript/native/sync";
 import { aliasChains } from "./alias-chain.js";
 import { calleeName, resolvedTargets, valuesPassed } from "./calls.js";
@@ -88,11 +89,6 @@ const FUNCTION_INTERFACES = new Set([
     "CallableFunction",
     "NewableFunction",
 ]);
-function unparenthesized(expression) {
-    return isParenthesizedExpression(expression)
-        ? unparenthesized(expression.expression)
-        : expression;
-}
 /**
  * The invocation a call writes through a method of `Function.prototype`, read from
  * the syntax alone: `f.call(self, a)`, `f.apply(self, [a])`, `f.bind(self, a)`, which
@@ -101,12 +97,12 @@ function unparenthesized(expression) {
  * carries. Whether the method is the prototype's is resolution's to say.
  */
 function throughMethod(call) {
-    const expression = unparenthesized(call.expression);
+    const expression = parenthesesRemoved(call.expression);
     if (isPropertyAccessExpression(expression) && FUNCTION_METHODS.has(expression.name.text)) {
         const [, ...rest] = call.arguments;
         let passed = rest;
         if (expression.name.text === "apply") {
-            const list = rest[0] === undefined ? undefined : unparenthesized(rest[0]);
+            const list = rest[0] === undefined ? undefined : parenthesesRemoved(rest[0]);
             passed = list === undefined ? [] : isArrayLiteralExpression(list) ? list.elements : [list];
         }
         return {
@@ -115,7 +111,7 @@ function throughMethod(call) {
         };
     }
     if (isCallExpression(expression)) {
-        const bound = unparenthesized(expression.expression);
+        const bound = parenthesesRemoved(expression.expression);
         if (isPropertyAccessExpression(bound) && bound.name.text === "bind") {
             return {
                 method: bound.name,

package/dist/src/session.js

@@ -3,6 +3,7 @@ import { componentLayer, mapperManifest } from "./component-layer.js";
 import { DiscoveryError } from "./discover.js";
 import { joinPath } from "./paths.js";
 import { queriesOf, UnansweredLog, } from "./query.js";
+import { MANIFEST } from "./fs/manifest.js";
 /**
  * Opens the compiler client the analysis reads through.
  *
@@ -16,7 +17,7 @@ export function openEngine(options) {
     if (components !== undefined && components.extensions.length > 0) {
         const made = components.host.temporaryDirectory();
         try {
-            components.host.writeDocument(joinPath(made.path, "package.json"), [
+            components.host.writeDocument(joinPath(made.path, MANIFEST), [
                 mapperManifest(components.host.componentMapperCommand()),
             ]);
         }

package/dist/src/setup-failure.js

@@ -1,11 +1,7 @@
-/**
- * A setup failure: a file or a component the analysis needs and the project does not
- * provide. Each one names what is missing and the fix, on one line of the error stream
- * that starts with its class.
- */
+import { SETUP_FAILURE_PREFIX } from "./contract/contract.generated.js";
 /** The failure as the one line of the error stream that names it. */
 export function setupLine(failure) {
-    return `setup failure: ${failure.setupClass}: ${failure.detail}`;
+    return `${SETUP_FAILURE_PREFIX}${failure.setupClass}: ${failure.detail}`;
 }
 /**
  * A run that met a setup failure where none may be dropped: in a configuration the

package/dist/src/suppress-file.js

@@ -4,11 +4,13 @@
  * one record shape, so one decoder and one matcher serve both, and a row moves into the
  * ignore file by gaining a maintainer's reason.
  */
+import { CODE } from "./contract/contract.generated.js";
 import { jsonChunks } from "./json-chunks.js";
 import { joinPath } from "./paths.js";
-import { positionAt, walkDocument } from "./json-document.js";
+import { isRecord, positionAt, walkDocument } from "./json-document.js";
 import { declarationKey } from "./ref.js";
-import { CODE_FORM, SUPPRESSION_WITHOUT_REASON, SuppressionError, UNSCOPED_ENTRY, blankReason, isEntryPath, isPartKind, isSymbolRef, siteText, } from "./suppress.js";
+import { CODE_FORM, SuppressionError, blankReason, isEntryPath, isPartKind, isSymbolRef, siteText, } from "./suppress.js";
+import { message } from "./product.js";
 /** The name and the location the grammar fixes for the ignore file. */
 export const IGNORE_FILE = "deadset-ignore.json";
 /** The name and the location the grammar fixes for the baseline. */
@@ -42,9 +44,6 @@ const PATH_WANT = "a path relative to the target root, with the solidus as separ
 function documentSite(shape) {
     return { path: shape.file, line: 0, column: 0 };
 }
-function isObject(value) {
-    return typeof value === "object" && value !== null && !Array.isArray(value);
-}
 /**
  * Reads one entry or row: the records it binds, the refusals it carries, or the
  * malformed value that ends the run.
@@ -53,7 +52,7 @@ function readRecord(value, site, byReference, shape) {
     const refuse = (text, want) => {
         throw new SuppressionError(shape.mechanism, siteText(site), text, want);
     };
-    if (!isObject(value)) {
+    if (!isRecord(value)) {
         return refuse(JSON.stringify(value), shape.recordWant);
     }
     for (const [key, held] of Object.entries(value)) {
@@ -99,10 +98,10 @@ function readRecord(value, site, byReference, shape) {
     };
     const refusals = [];
     if (blankReason(reason)) {
-        refusals.push({ ...written, reported: SUPPRESSION_WITHOUT_REASON });
+        refusals.push({ ...written, reported: CODE.suppressionWithoutReason });
     }
     if (written.path === "") {
-        refusals.push({ ...written, reported: UNSCOPED_ENTRY });
+        refusals.push({ ...written, reported: CODE.unscopedIgnoreEntry });
     }
     if (refusals.length > 0) {
         return { records: [], refusals };
@@ -144,9 +143,9 @@ function readDocument(host, targetRoot, symbols, shape) {
         parsed = JSON.parse(text);
     }
     catch (error) {
-        return malformed(`${shape.file}: ${error instanceof Error ? error.message : String(error)}`);
+        return malformed(`${shape.file}: ${message(error)}`);
     }
-    if (!isObject(parsed)) {
+    if (!isRecord(parsed)) {
         return malformed(shape.file);
     }
     const walk = walkDocument(text, shape.array);
@@ -227,9 +226,9 @@ export function otherSchemeRows(text, own = OWN_SCHEME) {
         parsed = JSON.parse(text);
     }
     catch (error) {
-        return refuse(error instanceof Error ? error.message : String(error));
+        return refuse(message(error));
     }
-    const held = isObject(parsed) ? parsed[BASELINE_SHAPE.array] : undefined;
+    const held = isRecord(parsed) ? parsed[BASELINE_SHAPE.array] : undefined;
     if (!Array.isArray(held)) {
         return refuse(BASELINE_SHAPE.documentWant);
     }
@@ -238,7 +237,7 @@ export function otherSchemeRows(text, own = OWN_SCHEME) {
             readRecord(value, documentSite(BASELINE_SHAPE), new Map(), BASELINE_SHAPE);
         }
         catch (error) {
-            return refuse(error instanceof Error ? error.message : String(error));
+            return refuse(message(error));
         }
         // readRecord has checked every member is a string and the code and symbol are present.
         const { code, symbol, path, reason } = value;

package/dist/src/suppress-inline.js

@@ -3,13 +3,14 @@
  * one or more codes and a reason, and binding to every declaration that begins on the line
  * below it, or on its own line where it trails a token there.
  */
+import { CODE } from "./contract/contract.generated.js";
 import { isConstructorDeclaration, SyntaxKind, } from "@typescript/native/ast";
 import { importBindings } from "./import-bindings.js";
 import { isParameterProperty, nodeKey } from "./inventory.js";
 import { byPosition, positionKey, renderPosition } from "./position.js";
 import { importRef } from "./ref.js";
 import { signatureOf } from "./signatures.js";
-import { isPartKind, SUPPRESSION_WITHOUT_REASON, SuppressionError, siteText, } from "./suppress.js";
+import { isPartKind, SuppressionError, siteText, } from "./suppress.js";
 /**
  * The three expressions the grammar applies to the text of each line comment, in this
  * order: a comment in the namespace, a well-formed directive, and a directive that lacks
@@ -274,7 +275,7 @@ export function inlineSuppressions(perProject) {
             case "no-reason":
                 for (const code of directive.codes) {
                     refusals.push({
-                        reported: SUPPRESSION_WITHOUT_REASON,
+                        reported: CODE.suppressionWithoutReason,
                         code,
                         symbol: "",
                         path: site.path,