import type { RuntimeChainEvidenceLevel } from './runtime-chain-evidence.js';
import { type RuntimeClaim } from './runtime-claim.js';
import type { RuntimeClaimRule } from './runtime-claim-rule-registry.js';
export type RuntimeChainVerifyMode = 'off' | 'on-demand';
export type RuntimeChainStatus = 'pending' | 'verified_partial' | 'verified_full' | 'failed';
export type RuntimeChainHopType = 'resource' | 'guid_map' | 'code_loader' | 'code_runtime';
export interface RuntimeChainHop {
    hop_type: RuntimeChainHopType;
    anchor: string;
    confidence: 'low' | 'medium' | 'high';
    note: string;
    snippet?: string;
}
export interface RuntimeChainGap {
    segment: 'resource' | 'guid_map' | 'loader' | 'runtime';
    reason: string;
    next_command: string;
    why_not_next?: string;
}
export interface RuntimeChainResult {
    status: RuntimeChainStatus;
    evidence_level: RuntimeChainEvidenceLevel;
    evidence_source?: 'analyze_time' | 'query_time';
    hops: RuntimeChainHop[];
    gaps: RuntimeChainGap[];
    why_not_next?: string[];
}
interface QueryExecutor {
    (query: string, params?: Record<string, unknown>): Promise<any[]>;
}
interface VerifyRuntimeChainInput {
    repoPath: string;
    executeParameterized: QueryExecutor;
    queryText?: string;
    resourceSeedPath?: string;
    mappedSeedTargets?: string[];
    symbolName?: string;
    symbolFilePath?: string;
    resourceBindings?: Array<{
        resourcePath?: string;
    }>;
    requiredHops?: string[];
    rule?: RuntimeClaimRule;
}
interface VerifyRuntimeClaimInput extends VerifyRuntimeChainInput {
    rulesRoot?: string;
    minimumEvidenceSatisfied?: boolean;
}
export declare function verifyRuntimeChainOnDemand(input: VerifyRuntimeChainInput): Promise<RuntimeChainResult | undefined>;
export declare function verifyRuntimeClaimOnDemand(input: VerifyRuntimeClaimInput): Promise<RuntimeClaim>;
export {};