import type { DiffFile } from "./diff-parser.js";
import type { Finding } from "./types.js";
/**
 * Flag assertions added by the diff, in changed TEST files, that cannot fail or that show no
 * traceable connection to the code under test.
 *
 * Sharp (always correct) checks: `expect(<literal>).toBeDefined()`, `expect(true).toBe(true)` /
 * `expect(false).toBe(false)`, `expect(x).toBe(x)` on the identical identifier, and the
 * `toBeTruthy`/`toBeFalsy` equivalents on a constant.
 *
 * Best-effort (may under-report on purpose, per the "prefer false negatives" rule): an assertion
 * whose value is produced by calling a function DECLARED LOCALLY in the same test file rather
 * than one it imported — the "hand-copied replica of production control flow, asserted against
 * the replica" shape from `docs/delegate-gate.md`'s cited real defect. Narrower than "no reference
 * to any import at all" on purpose: that broader form flags ordinary local-variable assertions
 * (`const a = 1; expect(a + 1).toBe(2)`), which is legitimate and common.
 */
export declare function analyzeTestAssertions(files: readonly DiffFile[], readOriginal: (path: string) => string | null): Finding[];