import type { EvaluationResult, EvidenceTrace } from "../proposal-evaluation/types.js";
/** A reference to an implemented artifact that can be observed. */
export type ImplementedArtifact = {
    kind: "artifact";
    id: string;
    path: string;
    mimeType?: string;
    description: string;
};
/** Observed runtime behavior that can be compared to intent. */
export type ObservedRuntimeEvidence = {
    kind: "runtime";
    id: string;
    source: string;
    observation: string;
    timestamp: number;
};
/** Execution evidence produced during the expedition. */
export type ExecutionEvidence = {
    kind: "execution";
    id: string;
    eventIds: string[];
    summary: string;
};
/** The complete mission outcome that Convergence Certification evaluates. */
export type CertificationSubject = {
    missionId: string;
    expeditionId: string;
    artifacts: ImplementedArtifact[];
    runtimeEvidence: ObservedRuntimeEvidence[];
    executionEvidence: ExecutionEvidence[];
};
export type CertificationDimension = "intent_fidelity" | "contract_fidelity" | "evidence_fidelity" | "drift_absence";
export type DimensionOutcome = "pass" | "fail" | "insufficient_evidence";
export type DimensionResult = {
    dimension: CertificationDimension;
    outcome: DimensionOutcome;
    confidence: number;
    rationale: string;
    evidence: EvidenceTrace;
};
export type FailureClass = "contract_drift" | "implementation_drift" | "outcome_drift" | "insufficient_evidence";
export type ConvergenceDecision = "converged" | "diverged" | "insufficient_evidence";
export type ConvergenceResult = {
    decision: ConvergenceDecision;
    confidence: number;
    dimensions: DimensionResult[];
    failureClasses: FailureClass[];
    evidence: EvidenceTrace;
    reasoning: string[];
    deterministic: true;
};
export type ConvergenceCertification = {
    id: string;
    missionId: string;
    expeditionId: string;
    subject: CertificationSubject;
    alignmentContractId: string;
    result: ConvergenceResult;
    certifiedAt: number;
    certifier: {
        kind: string;
        id: string;
    };
};
export type CertifyConvergence = (subject: CertificationSubject, evaluation: EvaluationResult) => ConvergenceResult;