import { type Arkui85PlusDatasetPoolId, type Arkui85PlusDimensionId } from './arkui-85plus-proof-contract';
import { type Arkui85PlusDimensionEvidence, type Arkui85PlusScoreInputs, type Arkui85PlusScoreResult } from './arkui-85plus-proof';
type ReleaseSummaryArtifact = {
    synthetic?: {
        scaleGate?: {
            pass?: boolean;
        };
    };
    packInstall?: {
        success?: boolean;
    };
    mcp?: {
        contextHasBridge?: boolean;
        taskContextHasWhyIncluded?: boolean;
    };
};
export interface Arkui85PlusProofArtifactInputs {
    repoRoot: string;
    phase1RunDir: string;
    phase05RunDir: string;
    syntheticJson: string;
    mixedGenerationJson: string;
    releaseSummaryJson: string;
    privateSummaryJson: string;
    noisyRepoAggregatePaths: string[];
    reproducibilityBindingPresent: boolean;
}
export interface Arkui85PlusProofArtifactPaths {
    phase1RunDir: string;
    phase05RunDir: string;
    syntheticJson: string;
    mixedGenerationJson: string;
    releaseSummaryJson: string;
    privateSummaryJson: string;
    noisyRepoAggregatePaths: string[];
}
export interface Arkui85PlusPoolCoverageItem {
    id: Arkui85PlusDatasetPoolId | 'noisy-real-harmony-repos';
    present: boolean;
    details: string;
}
export interface Arkui85PlusBaselineMetric {
    label: string;
    current: number;
    baseline: number;
    delta: number;
}
export interface Arkui85PlusBaselineComparisonReport {
    id: string;
    label: string;
    metrics: Arkui85PlusBaselineMetric[];
}
export interface Arkui85PlusProofReplay {
    score: Arkui85PlusScoreResult;
    dimensions: Record<Arkui85PlusDimensionId, Arkui85PlusDimensionEvidence>;
    vetoInputs: Arkui85PlusScoreInputs['vetoInputs'];
    poolCoverage: Arkui85PlusPoolCoverageItem[];
    holdoutCompleteness: {
        requiredPoolsPresent: boolean;
        noisyRepoRule: boolean;
        publicPrivateRule: boolean;
        pass: boolean;
    };
    baselineCompleteness: {
        missing: string[];
        pass: boolean;
    };
    requiredEvidenceCompleteness: {
        missing: Array<{
            dimensionId: Arkui85PlusDimensionId;
            missingEvidence: string[];
        }>;
        pass: boolean;
    };
    baselines: Arkui85PlusBaselineComparisonReport[];
    synthetic: ReleaseSummaryArtifact['synthetic'] | Record<string, unknown>;
    mixedGeneration: {
        pass: boolean;
        nonArkTsNoiseFree: boolean;
        totalChecks: number;
        passedChecks: number;
        platformFactLabels: string[];
    };
    noisyRepos: Array<{
        aggregatePath: string;
        projectPath: string;
        projectKey: string;
        taskModeRunCount: number;
        taskModeErrorRate: number;
        taskModeAvgLatencyMs: number;
        taskModeAvgTextLength: number;
        adaptiveRunCount: number;
        adaptiveErrorRate: number;
        adaptiveActionableRate: number;
    }>;
}
export declare function buildArkui85PlusProofReplay(inputs: Arkui85PlusProofArtifactInputs): Arkui85PlusProofReplay;
export {};
//# sourceMappingURL=arkui-85plus-proof-report.d.ts.map