/**
 * Amendment traceability — the deterministic half of the Step-8 amendment gate (ADR-001).
 *
 * The gate used to be a paragraph of prompt text asking the QE agent to confirm that every `AM-N`
 * row names a real test. That is layer 4 on the cost-of-detection ladder, and the recalled lesson at
 * reward 1.00 says what happens next: a safety property that lives only in a prompt disappears with
 * the next prompt. `features/qe-scoped-review/08_qe_report.md` recorded the outcome — five ids named,
 * none existing, and the plan writing `## Amendments: None`.
 *
 * Everything here is PURE: text in, verdicts out, file access through an injected reader (NFR-1).
 * The CLI owns I/O and the exit code; this module owns the grammar and the rules.
 *
 * NOT PROVEN HERE: that a resolved test is non-vacuous. `dz discrimination-check` owns "would this
 * test still pass with the protection deleted" (non-goal NG-1, acid case A8). A checker that implied
 * it proved vacuity would be the same lie in a new place.
 */
/** One `AM-N` row as it appears in a `## Amendments` section. */
export interface AmendmentRow {
    readonly id: string;
    readonly testIds: readonly string[];
    readonly file: string | null;
    readonly raw: string;
}
export type AmendmentVerdict = 'resolved' | 'placeholder' | 'unnamed' | 'no-file-named' | 'file-missing' | 'name-absent-in-file';
export interface AmendmentResolution {
    readonly id: string;
    readonly testId: string | null;
    readonly file: string | null;
    readonly verdict: AmendmentVerdict;
    readonly detail: string;
}
export type AmendmentOutcome = 'pass' | 'fail' | 'skip' | 'not-established';
export interface AmendmentDecision {
    readonly outcome: AmendmentOutcome;
    /** Derived FROM the outcome — one mapping, never two (AM-3, acid case A3/A7). */
    readonly exit: 0 | 1 | 3;
    readonly reasons: readonly string[];
    readonly counts: Readonly<Record<AmendmentVerdict, number>>;
}
/**
 * Below this many normalised characters an id is too short to match anything meaningfully: the
 * substring rule ADR-002 accepts would fire on unrelated prose. Guards the degenerate case the ADR
 * names as its known false-positive risk.
 */
export declare const MIN_MATCHABLE_ID_LENGTH = 8;
/** Case- and separator-folded form. Authors write ids in prose (`a_b_c`); test titles are sentences. */
/**
 * Every `it()` / `test()` / `describe()` title in a test file. Empty when none parse.
 *
 * Comments are stripped FIRST. A commented-out `it('deny admin writes')` is not a test, and counting
 * it would leave open the very forgery the title basis exists to close — the cross-family reviewer's
 * two-comment-line attack in a slightly better costume. Table forms (`test.each([…])('…')`) carry an
 * argument list between the modifier and the title, so the pattern allows one.
 */
export declare function extractTestTitles(body: string): string[];
export declare function normalizeTestId(s: string): string;
/** The `## Amendments` section body, or null when the document has none (acid case A5). */
export declare function amendmentSection(md: string): string | null;
/** `## Amendments` present but recording nothing to check — distinct from the section being absent. */
export declare function planSaysNoAmendments(planMd: string): boolean;
export declare function parseAmendments(md: string): AmendmentRow[];
export declare function resolveAmendments(rows: readonly AmendmentRow[], opts: {
    readFile: (p: string) => string | null;
}): AmendmentResolution[];
export declare function decideAmendmentOutcome(input: {
    sectionPresent: boolean;
    rows: readonly AmendmentRow[];
    resolutions: readonly AmendmentResolution[];
    planSaysNone: boolean;
    readError?: string | null;
    /** Ideation amendments the plan fails to carry — absent, or reworded under the same id. */
    missingFromPlan?: readonly {
        id: string;
        kind: 'dropped' | 'subject-changed';
    }[];
}): AmendmentDecision;
/** The one line every caller reads last, in the K2 gate's own shape so the two read alike. */
export declare function amendmentVerdictLine(d: AmendmentDecision): string;
/** Printed on every run: this checker does NOT prove a resolved test discriminates (NG-1, A8). */
export declare const AMENDMENT_VACUITY_NOTE = "note: this checks that each amendment RESOLVES to a real test, not that the test is non-vacuous \u2014 `dz discrimination-check` owns vacuity.";
/**
 * The amendment's own text with the `→ test …` pointer clause and markdown furniture removed — what
 * "carry AM-N into the plan verbatim" is actually about. The POINTER may legitimately change (tests
 * are named later than ideation guesses); the SUBJECT may not.
 */
export declare function amendmentSubject(raw: string): string;
export interface PlanCoverageGap {
    readonly id: string;
    readonly kind: 'dropped' | 'subject-changed';
}
/**
 * Ideation amendments the plan fails to carry: either absent outright, or present under the same id
 * with a DIFFERENT subject. Cross-family review (Codex gpt-5.6-sol, 2026-08-21) found the second
 * case: comparing ids alone let a plan swap "deny unauthenticated deletes" for "render footer" under
 * the same `AM-1` and still pass.
 */
export declare function amendmentsMissingFromPlan(ideationRows: readonly AmendmentRow[], planRows: readonly AmendmentRow[]): PlanCoverageGap[];
//# sourceMappingURL=amendment-trace.d.ts.map