/**
 * Investigation analysis.
 *
 * This module draws the line the rest of the system depends on:
 *
 *   Evidence  — facts the runtime observed. Never generated by FeltDB.
 *   Finding   — FeltDB's engineering interpretation of that evidence.
 *
 * The two are separate types with separate provenance markers
 * (`source: "runtime_observation"` vs `origin: "feltdb_analysis"`) so that a
 * generated diagnosis can never be presented, stored, or handed to an agent as
 * though it were raw runtime evidence.
 *
 * This module is pure: it performs no I/O and imports no Node built-ins.
 */
import type { InvestigationEvidence, InvestigationFinding, RuntimeRequestObservation, SourceLocation, VerificationCriterion } from './workspace-types.js';
/**
 * Turn a runtime observation into evidence records.
 *
 * Every statement here restates something the runtime actually saw. Nothing in
 * this function may infer a cause.
 */
export declare function collectEvidence(investigationId: string, observation: RuntimeRequestObservation): InvestigationEvidence[];
/**
 * Interpret the evidence.
 *
 * This is FeltDB's analysis, explicitly marked as such. It states what the
 * evidence means for the engineer without claiming to be an observation.
 */
export declare function deriveFinding(investigationId: string, observation: RuntimeRequestObservation, evidence: InvestigationEvidence[]): InvestigationFinding;
/** Candidate source paths that could implement the observed endpoint. */
export declare function candidateSourcePaths(url: string): string[];
/** The recommended change FeltDB proposes, stated as a request, not a patch. */
export declare function recommendChanges(observation: RuntimeRequestObservation): string[];
/**
 * The verification contract.
 *
 * This is what FeltDB will hold the runtime to after the agent has worked. It
 * must be expressed as an observable runtime outcome, never as a build,
 * test, or commit result.
 */
export declare function verificationContractFor(observation: RuntimeRequestObservation): VerificationCriterion[];
/** A one-line summary of why the investigation was opened. */
export declare function summarizeDefect(observation: RuntimeRequestObservation): string;
/** Source locations restricted to files the caller confirmed exist. */
export declare function resolveRelevantSource(url: string, existingFiles: string[]): SourceLocation[];
//# sourceMappingURL=investigation-analysis.d.ts.map