@skyramp/mcp 0.3.5 → 0.3.6-rc.1

package/build/utils/utils-verify/locate.js

@@ -0,0 +1,199 @@
+import { execFile } from "child_process";
+import { promisify } from "util";
+import * as fs from "fs";
+import * as path from "path";
+import { detectGitRoot } from "../gitStaging.js";
+import { logger } from "../logger.js";
+import { SKYRAMP_UTILS_HEADER } from "../utils.js";
+import { utilsSpecFor, utilsSpecForFile, } from "./language-spec.js";
+const execFileAsync = promisify(execFile);
+/** The header `generateSkyrampHeader` writes into a utils file: `Generated by Skyramp on
+ *  <timestamp>`. Deliberately NOT the bare `SKYRAMP_UTILS_HEADER`, which every generated
+ *  TEST also carries as its codegen marker (`Generated by Skyramp v<version>`). */
+export const UTILS_FILE_HEADER_RE = new RegExp(`${SKYRAMP_UTILS_HEADER.replace(/[.*+?^${}()|[\]\\]/g, "\\$&")}\\s+on\\b`);
+const HEADER_SCAN_LINES = 5;
+/** Enough bytes for five header lines; a utils file is never read whole to find them. */
+const HEADER_SCAN_BYTES = 2048;
+/**
+ * Every shared utils file relevant to `testFile`, by CONTENT, never by name.
+ *
+ * The reuse prompt names a conventional file (`SkyrampUtils.py`) but explicitly allows
+ * "a new file with a different name" once that one is large, so any scheme deriving the
+ * path from the test path or a fixed filename fails silently on exactly that branch. A
+ * utils file is instead recognised by the header the prompt makes the agent write.
+ *
+ * Two sources, unioned, both scoped to the spec:
+ *  1. files this run touched (untracked, modified, or staged) IN THE SPEC'S OWN
+ *     DIRECTORY, in the language's extensions — the file the agent just created or
+ *     extended beside the test, which is what staging needs. Not repo-wide: a monorepo
+ *     has one utils file per service directory, and one service's broken helper must
+ *     not fail — or stage — another service's verify (review finding on #792).
+ *  2. modules the delivered spec imports, resolved beside it and required to stay
+ *     inside the repository — a pre-existing utils file the spec merely imports from
+ *     (SKYR-4196 run 8: byte-identical, so absent from source 1).
+ *
+ * Never throws: outside a git repo source 1 is empty and source 2 still runs; any
+ * other failure logs and contributes nothing.
+ */
+export async function locateUtilsFiles(params) {
+    const spec = utilsSpecFor(params.language) ?? utilsSpecForFile(params.testFile);
+    if (!spec)
+        return [];
+    const found = new Set();
+    const root = params.cwd ?? detectGitRoot(params.testFile);
+    // Git reports paths under the REAL root while a tool-supplied testFile may go
+    // through a symlink (macOS: /tmp → /private/tmp), so the two sources would name one
+    // file twice. Everything is compared and returned in canonical form.
+    const testFile = await realpath(params.testFile);
+    const specDir = path.dirname(testFile);
+    const realRoot = root ? await realpath(root) : undefined;
+    if (realRoot) {
+        for (const rel of await changedFiles(realRoot)) {
+            if (!spec.extensions.some((e) => rel.toLowerCase().endsWith(e)))
+                continue;
+            const abs = await realpath(path.resolve(realRoot, rel));
+            if (abs === testFile || path.dirname(abs) !== specDir)
+                continue;
+            if (await hasUtilsHeader(abs))
+                found.add(abs);
+        }
+    }
+    for (const abs of await importedModules(testFile, spec)) {
+        const real = await realpath(abs);
+        // A relative import can climb out of the repository; a file there is not this
+        // repo's artifact and must never be verified or staged from here.
+        if (realRoot && !isInside(real, realRoot))
+            continue;
+        if (await hasUtilsHeader(real))
+            found.add(real);
+    }
+    return [...found].sort();
+}
+/** Canonical path, or the input unchanged when it does not exist (yet). */
+export async function realpath(p) {
+    try {
+        return await fs.promises.realpath(p);
+    }
+    catch {
+        return path.resolve(p);
+    }
+}
+function isInside(file, dir) {
+    const rel = path.relative(dir, file);
+    return rel !== "" && !rel.startsWith("..") && !path.isAbsolute(rel);
+}
+async function changedFiles(root) {
+    const out = new Set();
+    // A caller-supplied root need not be a repository (the eval fixtures are plain
+    // directories); source 1 then contributes nothing, silently.
+    try {
+        await execFileAsync("git", ["rev-parse", "--is-inside-work-tree"], {
+            cwd: root,
+            encoding: "utf8",
+        });
+    }
+    catch {
+        return [];
+    }
+    // `-z`: NUL-separated, unquoted. Without it git C-quotes any non-ASCII path
+    // (`"tests/caf\303\251_helpers.py"`), which no later step could resolve.
+    const cmds = [
+        ["ls-files", "-z", "--others", "--exclude-standard"],
+        ["diff", "-z", "--name-only"],
+        ["diff", "-z", "--cached", "--name-only"],
+    ];
+    for (const args of cmds) {
+        try {
+            const { stdout } = await execFileAsync("git", args, {
+                cwd: root,
+                encoding: "utf8",
+            });
+            for (const entry of stdout.split("\0"))
+                if (entry)
+                    out.add(entry);
+        }
+        catch (err) {
+            logger.warning("Could not list changed files while locating utils files", { root, args, error: String(err) });
+        }
+    }
+    return [...out];
+}
+/** True when the first lines of `file` carry the utils header. Reads only the head of
+ *  the file — a utils file is small, but nothing here should depend on that. */
+export async function hasUtilsHeader(file) {
+    let fh;
+    try {
+        fh = await fs.promises.open(file, "r");
+        const buf = Buffer.alloc(HEADER_SCAN_BYTES);
+        const { bytesRead } = await fh.read(buf, 0, HEADER_SCAN_BYTES, 0);
+        const head = buf
+            .toString("utf8", 0, bytesRead)
+            .split("\n")
+            .slice(0, HEADER_SCAN_LINES)
+            .join("\n");
+        return UTILS_FILE_HEADER_RE.test(head);
+    }
+    catch (err) {
+        // A missing file is the common, silent case. Anything else means a file exists
+        // that cannot be read — it must not pass as "not a utils file" without a trace.
+        if (err?.code !== "ENOENT") {
+            logger.warning("Could not read a candidate utils file — treating it as not a utils file", {
+                file,
+                error: String(err),
+            });
+        }
+        return false;
+    }
+    finally {
+        await fh?.close();
+    }
+}
+/** Absolute paths of sibling modules `testFile` imports, for the module forms the reuse
+ *  prompt produces. Only paths that exist are returned. */
+async function importedModules(testFile, spec) {
+    let content;
+    try {
+        content = await fs.promises.readFile(testFile, "utf8");
+    }
+    catch (err) {
+        if (err?.code !== "ENOENT") {
+            logger.warning("Could not read the test file to resolve its imports", {
+                testFile,
+                error: String(err),
+            });
+        }
+        return [];
+    }
+    const dir = path.dirname(testFile);
+    const candidates = new Set();
+    if (spec.language === "python") {
+        for (const m of content.matchAll(/^\s*(?:from\s+([\w.]+)\s+import\b|import\s+([\w.]+)(?:\s+as\s+\w+)?\s*$)/gm)) {
+            const mod = (m[1] ?? m[2]).replace(/^\.+/, "");
+            if (!mod)
+                continue;
+            candidates.add(path.join(dir, ...mod.split(".")) + ".py");
+        }
+    }
+    else {
+        for (const m of content.matchAll(/(?:from\s*|require\(\s*|import\(\s*)["'](\.{1,2}\/[^"']+)["']/g)) {
+            const base = path.resolve(dir, m[1]);
+            const stripped = base.replace(/\.[cm]?[jt]sx?$/, "");
+            for (const ext of spec.extensions)
+                candidates.add(stripped + ext);
+            // A `.js` specifier in an ESM TypeScript spec resolves to the `.ts` source.
+            candidates.add(stripped + ".ts");
+            candidates.add(stripped + ".js");
+        }
+    }
+    const existing = [];
+    for (const c of candidates) {
+        try {
+            if ((await fs.promises.stat(c)).isFile())
+                existing.push(c);
+        }
+        catch {
+            /* not present */
+        }
+    }
+    return existing;
+}

package/build/utils/utils-verify/parse.d.ts

@@ -0,0 +1,34 @@
+import { type UtilsLanguageSpec } from "./language-spec.js";
+export interface HelperAssertion {
+    line: number;
+    text: string;
+    /** True for the one permitted shape — a status-code comparison. */
+    allowed: boolean;
+}
+export interface UtilsHelper {
+    name: string;
+    /** 1-based line of the definition. */
+    line: number;
+    /** 1-based line of the last body line (inclusive). */
+    endLine: number;
+    method?: string;
+    path?: string;
+    /** `path` with every path parameter collapsed to `{}`; the duplicate key with `method`. */
+    normalizedPath?: string;
+    assertions: HelperAssertion[];
+}
+/**
+ * Structured extraction of the module-level helpers in a utils file.
+ *
+ * Not a general parser. These files are highly regular by construction — one SDK
+ * request call plus assertions per helper, authored by a prompt that forbids
+ * classes and nested structure — so line-oriented extraction is sufficient and
+ * far more robust than a per-language AST dependency. Python bodies end at the
+ * next non-blank column-0 line; TS/JS bodies end when the brace depth opened by
+ * the definition returns to zero.
+ */
+export declare function parseUtilsFile(content: string, spec: UtilsLanguageSpec, allowedAssertion?: RegExp | ((expr: string) => boolean)): UtilsHelper[];
+/** Comments and string CONTENTS blanked (quotes kept, line count preserved). Python
+ *  comments are `#…`; TS/JS go through the shared stripper. */
+/** String CONTENTS blanked (quotes kept, comments kept, line count preserved). */
+export declare function blankStrings(src: string, spec: UtilsLanguageSpec): string;

package/build/utils/utils-verify/parse.js

@@ -0,0 +1,177 @@
+import { normalizePath } from "./language-spec.js";
+import { stripCommentsAndStrings, stripStrings } from "../pom-scope/strip.js";
+/**
+ * Structured extraction of the module-level helpers in a utils file.
+ *
+ * Not a general parser. These files are highly regular by construction — one SDK
+ * request call plus assertions per helper, authored by a prompt that forbids
+ * classes and nested structure — so line-oriented extraction is sufficient and
+ * far more robust than a per-language AST dependency. Python bodies end at the
+ * next non-blank column-0 line; TS/JS bodies end when the brace depth opened by
+ * the definition returns to zero.
+ */
+export function parseUtilsFile(content, spec, allowedAssertion = spec.allowedAssertion) {
+    const isAllowed = typeof allowedAssertion === "function"
+        ? allowedAssertion
+        : (expr) => allowedAssertion.test(expr);
+    const lines = content.split("\n");
+    const helpers = [];
+    let i = 0;
+    while (i < lines.length) {
+        const m = spec.helperStart.exec(lines[i]);
+        if (!m) {
+            i++;
+            continue;
+        }
+        const name = m.slice(1).find((g) => g !== undefined) ?? "";
+        const start = i;
+        const end = spec.language === "python"
+            ? pythonBodyEnd(lines, start)
+            : braceBodyEnd(lines, start);
+        const body = lines.slice(start, end);
+        // Scan a copy with comments and string contents blanked, so a commented-out
+        // `path=` or an `expect(` inside a string never keys or flags anything; the
+        // original line is what the agent is shown.
+        const scan = blankCommentsAndStrings(body.join("\n"), spec).split("\n");
+        const helper = {
+            name,
+            line: start + 1,
+            endLine: Math.max(end, start + 1),
+            assertions: [],
+        };
+        let requests = 0;
+        for (let k = 0; k < body.length; k++) {
+            const text = body[k];
+            const code = scan[k] ?? "";
+            if (/\b(?:send_request|sendRequest)\s*\(/.test(code))
+                requests++;
+            const method = spec.methodRe.exec(text);
+            if (method && /\bmethod\b/.test(code) && !helper.method)
+                helper.method = method[1].toUpperCase();
+            const p = spec.pathRe.exec(text);
+            // Key only a path given as ONE literal (followed by `,` or `)`); a concatenation
+            // (`"/api/orders/" + str(id) + "/items"`) has no route this can name.
+            if (p &&
+                /\bpath\b/.test(code) &&
+                !helper.path &&
+                isSingleLiteral(text, p)) {
+                helper.path = p[1];
+                helper.normalizedPath = normalizePath(p[1]);
+            }
+            // The definition line itself is never an assertion, and comment lines are prose.
+            // A formatted assertion may span lines (`await expect(\n  locator\n).toBeVisible()`):
+            // collect it until its parentheses balance, classify the whole expression.
+            if (k > 0 && spec.assertionRe.test(code)) {
+                let expr = code;
+                let last = k;
+                while (depthOf(expr) > 0 && last + 1 < body.length && last - k < 8) {
+                    last++;
+                    expr += " " + (scan[last] ?? "").trim();
+                }
+                // Classified on the ORIGINAL text: the allowed patterns look inside string
+                // literals (a scenario literal in a locator disqualifies a structural wait).
+                const original = body
+                    .slice(k, last + 1)
+                    .map((l) => l.trim())
+                    .join(" ");
+                helper.assertions.push({
+                    line: start + k + 1,
+                    text: original,
+                    allowed: isAllowed(original),
+                });
+                k = last;
+            }
+        }
+        // A helper wrapping two requests is a sequence, not "one SDK call": it has no single
+        // route to be a duplicate of, and the shared-helper rules do not apply to it.
+        if (requests > 1) {
+            helper.method = undefined;
+            helper.path = undefined;
+            helper.normalizedPath = undefined;
+        }
+        helpers.push(helper);
+        i = Math.max(end, start + 1);
+    }
+    return helpers;
+}
+function depthOf(code) {
+    let d = 0;
+    for (const ch of code)
+        if (ch === "(")
+            d++;
+        else if (ch === ")")
+            d--;
+    return d;
+}
+/** True when the `path` value is a single string literal ending the argument. */
+function isSingleLiteral(line, m) {
+    const after = line.slice(m.index + m[0].length).replace(/^\s+/, "");
+    return (after === "" ||
+        after.startsWith(",") ||
+        after.startsWith(")") ||
+        after.startsWith("}"));
+}
+/** Comments and string CONTENTS blanked (quotes kept, line count preserved). Python
+ *  comments are `#…`; TS/JS go through the shared stripper. */
+/** String CONTENTS blanked (quotes kept, comments kept, line count preserved). */
+export function blankStrings(src, spec) {
+    if (spec.language !== "python")
+        return stripStrings(src);
+    return src
+        .split("\n")
+        .map((line) => line.replace(/(["'])(?:\\.|(?!\1).)*\1/g, (q) => q[0] + " ".repeat(Math.max(0, q.length - 2)) + q[0]))
+        .join("\n");
+}
+function blankCommentsAndStrings(src, spec) {
+    if (spec.language !== "python")
+        return stripCommentsAndStrings(src);
+    return src
+        .split("\n")
+        .map((line) => line
+        .replace(/(["'])(?:\\.|(?!\1).)*\1/g, (q) => q[0] + " ".repeat(Math.max(0, q.length - 2)) + q[0])
+        .replace(/#.*$/, ""))
+        .join("\n");
+}
+/** Exclusive end index of a Python def starting at `start`: the next non-blank line at
+ *  column 0 (a following def, import, or module statement). */
+function pythonBodyEnd(lines, start) {
+    let i = start + 1;
+    while (i < lines.length) {
+        const l = lines[i];
+        if (l.trim() !== "" && !/^\s/.test(l))
+            break;
+        i++;
+    }
+    return i;
+}
+/** Exclusive end index of a brace-delimited definition starting at `start`. Strings and
+ *  comments are not tracked — helper bodies contain request paths, not braces in
+ *  strings — and an unbalanced body runs to end of file rather than throwing. */
+function braceBodyEnd(lines, start) {
+    let depth = 0;
+    let opened = false;
+    for (let i = start; i < lines.length; i++) {
+        for (const ch of lines[i]) {
+            if (ch === "{") {
+                depth++;
+                opened = true;
+            }
+            else if (ch === "}") {
+                depth--;
+            }
+        }
+        if (opened && depth <= 0)
+            return i + 1;
+        // No brace yet: a wrapped signature (Prettier splits any signature over 80 columns
+        // across lines) continues until its `{`. An arrow helper with an expression body
+        // ends at the first line that closes its `=>` expression without a brace.
+        if (!opened &&
+            i > start &&
+            /=>\s*[^{\s]/.test(lines[start]) &&
+            /;\s*$/.test(lines[i - 1]))
+            return i;
+        if (!opened && i - start > 12)
+            return i;
+    }
+    return lines.length;
+}

package/build/utils/utils-verify/stage.d.ts

@@ -0,0 +1,24 @@
+/**
+ * Stage every shared utils file relevant to `testFile`, located by content.
+ *
+ * The reuse tool stages only the test file, and does so BEFORE the utils file exists,
+ * so a utils file the agent then creates reaches the output commit only through a
+ * prompt-level `git add` or the action's testDirectory sweep — neither of which the
+ * eval harness has, and neither of which is deterministic (SKYR-4196 Part B run 2
+ * shipped a test importing a module the PR did not contain).
+ *
+ * Called from the utils verify pass AND from the tools that follow reuse on the same
+ * spec (`skyramp_enhance_assertions`, `skyramp_execute_test`), so staging never
+ * depends on the agent choosing to verify. Best-effort: a staging failure is logged,
+ * never surfaced — it must not fail a tool that otherwise succeeded. Returns the paths
+ * it staged. No-op outside a testbot run (see stageGeneratedPaths).
+ */
+export interface StagingResult {
+    /** Files that reached the index. */
+    staged: string[];
+    /** Utils files that `git add` refused (gitignored, outside the repo, git failure) —
+     *  the tests importing them will fail in the output commit, so the verify pass
+     *  treats a non-empty list as a failed verification. */
+    failed: string[];
+}
+export declare function stageUtilsArtifacts(testFile: string, language?: string): Promise<StagingResult>;

package/build/utils/utils-verify/stage.js

@@ -0,0 +1,107 @@
+import { execFile } from "child_process";
+import { promisify } from "util";
+import * as fs from "fs";
+import * as path from "path";
+import { detectGitRoot, stageGeneratedPaths } from "../gitStaging.js";
+import { logger } from "../logger.js";
+import { isTestbotEnabled } from "../featureFlags.js";
+import { locateUtilsFiles, realpath } from "./locate.js";
+import { CODEGEN_MARKER_RE } from "./call-sites.js";
+import { utilsSpecFor, utilsSpecForFile } from "./language-spec.js";
+const execFileAsync = promisify(execFile);
+export async function stageUtilsArtifacts(testFile, language) {
+    const staged = [];
+    const failed = [];
+    const result = { staged, failed };
+    // Outside a testbot run stageGeneratedPaths is a no-op; report nothing as staged
+    // rather than a list of files nothing touched.
+    if (!isTestbotEnabled())
+        return result;
+    let files = [];
+    try {
+        files = await locateUtilsFiles({ testFile, language });
+    }
+    catch (err) {
+        logger.warning("Could not locate shared utils files to stage", {
+            testFile,
+            error: String(err),
+        });
+        return result;
+    }
+    for (const file of files) {
+        try {
+            await stageGeneratedPaths(file);
+            staged.push(file);
+        }
+        catch (err) {
+            // A gitignored utils file lands here (`git add` refuses it): the test would
+            // import a module the output commit cannot contain.
+            logger.warning("Could not stage shared utils file — if it is gitignored, the tests importing it will fail in the output commit", { file, error: String(err) });
+            failed.push(file);
+        }
+    }
+    // Sibling generated tests this run EDITED to import from the utils file (STEP 5c, or
+    // a maintenance update): tracked, modified, codegen-marked, importing a located utils
+    // stem. Discovery staged only the current test and the loop above only the utils
+    // file, so without this the sibling's edit drops out of the output commit while the
+    // utils change lands — the same class of hole as the unstaged utils file.
+    if (files.length > 0) {
+        for (const sibling of await modifiedSiblingsImporting(testFile, files, language)) {
+            try {
+                await stageGeneratedPaths(sibling);
+                staged.push(sibling);
+            }
+            catch (err) {
+                logger.warning("Could not stage an edited sibling test", {
+                    file: sibling,
+                    error: String(err),
+                });
+            }
+        }
+    }
+    return result;
+}
+async function modifiedSiblingsImporting(testFile, utilsFiles, language) {
+    const spec = utilsSpecFor(language) ?? utilsSpecForFile(testFile);
+    const root = detectGitRoot(testFile);
+    if (!spec || !root)
+        return [];
+    let modified;
+    try {
+        // `-z`: unquoted, NUL-separated — git C-quotes non-ASCII paths otherwise.
+        const { stdout } = await execFileAsync("git", ["diff", "-z", "--name-only"], {
+            cwd: root,
+            encoding: "utf8",
+        });
+        modified = stdout.split("\0").filter(Boolean);
+    }
+    catch (err) {
+        logger.warning("Could not list modified files — edited sibling tests will not be staged", {
+            root,
+            error: String(err),
+        });
+        return [];
+    }
+    const stems = utilsFiles.map((f) => path.basename(f).replace(/\.[^.]+$/, ""));
+    const self = await realpath(testFile);
+    const out = [];
+    for (const rel of modified) {
+        const abs = await realpath(path.resolve(root, rel));
+        if (abs === self || utilsFiles.includes(abs))
+            continue;
+        if (!spec.extensions.some((e) => abs.toLowerCase().endsWith(e)))
+            continue;
+        let content;
+        try {
+            content = await fs.promises.readFile(abs, "utf8");
+        }
+        catch {
+            continue;
+        }
+        if (!CODEGEN_MARKER_RE.test(content.split("\n").slice(0, 5).join("\n")))
+            continue;
+        if (stems.some((stem) => spec.importedNames(content, stem).length > 0))
+            out.push(abs);
+    }
+    return out;
+}

package/build/utils/utils-verify/verify.d.ts

@@ -0,0 +1,63 @@
+import { type InlineCallSite } from "./call-sites.js";
+import { type UtilsViolationKind } from "./allow.js";
+import { type HelperFamilySpec, type UtilsLanguageSpec } from "./language-spec.js";
+export interface UtilsViolation {
+    kind: UtilsViolationKind;
+    /** Absolute path of the utils file. */
+    file: string;
+    helper: string;
+    line: number;
+    detail: string;
+}
+export interface UtilsVerifyResult {
+    /** No unallowed violations and no malformed allow markers. */
+    ok: boolean;
+    /** Utils files located for this spec (absolute). Empty = nothing was written or imported. */
+    utilsFiles: string[];
+    /** Helpers defined across the utils files. */
+    helpers: number;
+    /** Helper names the delivered spec imports from those files. */
+    imported: number;
+    violations: UtilsViolation[];
+    /** Violations covered by a `reuse-verify: allow` marker — a documented decline. */
+    allowed: UtilsViolation[];
+    /** Findings that inform but never fail the pass. `scenario-name` lives here: a naming
+     *  heuristic is a quality signal, not a broken shared helper, and blocking a
+     *  customer's run on a false positive of it is the worse outcome. */
+    advisories: UtilsViolation[];
+    /** Allow-marker lines the grammar cannot read, per file. */
+    malformedAllows: {
+        file: string;
+        line: string;
+    }[];
+    spec?: UtilsLanguageSpec;
+    /** Which invariant set applied — decided by the test type, see helperFamilyFor. */
+    family: HelperFamilySpec;
+    /** Advisory (does not affect `ok`): inline request calls in sibling generated tests
+     *  that a utils helper already wraps — see findSiblingInlineCallSites. API family only. */
+    inlineCallSites: InlineCallSite[];
+}
+export interface VerifyUtilsParams {
+    testFile: string;
+    language?: string;
+    /** Selects the helper family (api vs browser). Absent → api. */
+    testType?: string;
+    cwd?: string;
+}
+/**
+ * Deterministic post-reuse check of the shared utils file(s) a spec depends on.
+ *
+ * Three invariants, each a class of drift measured in the SKYR-4196 Part B evals:
+ *  - `duplicate-helper`: two helpers for one method+path (run 4 — `create_product`
+ *    beside `create_list_reflect_product`); the shared file must hold one canonical
+ *    helper per step, extended with defaulted parameters rather than duplicated.
+ *  - `body-assertion`: any assertion other than a status-code comparison inside a
+ *    helper (runs 5 and 11 — `assert total_amount == 16.0` in `update_order`); a
+ *    body assertion carries one scenario's values into a function every scenario calls.
+ *  - `scenario-name` (ADVISORY only): a helper named for its scenario rather than its step.
+ *
+ * Analyses the utils files' INTERNAL invariants — unlike the POM verifier, which
+ * checks a spec's cross-file references — so it reads the utils files, not the spec,
+ * except to count what the spec imports.
+ */
+export declare function verifyUtils(params: VerifyUtilsParams): Promise<UtilsVerifyResult>;