export type Arkui85PlusDimensionId = 'render-owner-flow' | 'state-lifecycle-closure' | 'topology-platform-semantics' | 'route-interaction-bridge' | 'validation-narrowing' | 'shared-surface-usability' | 'trust-provenance' | 'large-repo-scale';
export type Arkui85PlusVetoId = 'weighted-score-below-threshold' | 'false-main-path-rate-too-high' | 'shared-surface-usability-too-low' | 'provenance-visibility-too-low' | 'large-repo-suite-failed' | 'non-arkts-regression-detected' | 'reproducibility-binding-missing' | 'pool-coverage-incomplete' | 'holdout-strategy-incomplete' | 'baseline-comparison-incomplete' | 'required-evidence-incomplete';
export type Arkui85PlusDatasetPoolId = 'synthetic-scale-suite' | 'public-primary-holdout' | 'private-primary-holdout' | 'external-regression-holdout' | 'cross-language-control';
export type Arkui85PlusBaselineId = 'upstream-baseline' | 'previous-release-baseline';
export interface Arkui85PlusScoringDimension {
    id: Arkui85PlusDimensionId;
    label: string;
    weight: number;
    requiredEvidence: string[];
}
export interface Arkui85PlusVetoCondition {
    id: Arkui85PlusVetoId;
    label: string;
    threshold: string;
    why: string;
}
export interface Arkui85PlusHoldoutStrategy {
    requiredPools: Arkui85PlusDatasetPoolId[];
    minimumNoisyRealHarmonyRepos: number;
    requirePublicAndPrivateHarmonyHoldout: boolean;
    forbidRetuningOnHoldout: boolean;
    forbidQueryOrSymbolSpecificPatches: boolean;
}
export interface Arkui85PlusBaselineComparison {
    id: Arkui85PlusBaselineId;
    label: string;
    whyRequired: string;
}
export interface Arkui85PlusReproducibilityContract {
    requiresPinnedCommit: boolean;
    allowsReleaseArtifactSnapshot: boolean;
    requiredArtifacts: string[];
    reportSections: string[];
}
export interface Arkui85PlusProofContract {
    scoringScale: 100;
    targetScore: 85;
    dimensions: Arkui85PlusScoringDimension[];
    vetoConditions: Arkui85PlusVetoCondition[];
    holdoutStrategy: Arkui85PlusHoldoutStrategy;
    baselineComparisons: Arkui85PlusBaselineComparison[];
    reproducibility: Arkui85PlusReproducibilityContract;
}
export declare const ARKUI_85PLUS_DIMENSIONS: Arkui85PlusScoringDimension[];
export declare const ARKUI_85PLUS_VETO_CONDITIONS: Arkui85PlusVetoCondition[];
export declare const DEFAULT_ARKUI_85PLUS_PROOF_CONTRACT: Arkui85PlusProofContract;
//# sourceMappingURL=arkui-85plus-proof-contract.d.ts.map