import type { ResultCommitBinding } from "./result-binding.js";
/** Exact grade-evidence nested key set (first-write + replay; 7A.3C §C). */
export declare const GRADE_EVIDENCE_KEYS: readonly ["result_commit", "result_identity", "verification_operation_id", "verification_outcome", "check_digest", "evidence_digest", "step_evidence", "executor_engine", "executor_model", "diff_digest"];
export interface ExactGradeEvidence {
    readonly result_commit: string;
    readonly result_identity: string;
    readonly verification_operation_id: string;
    readonly verification_outcome: string;
    readonly check_digest: string;
    readonly evidence_digest: string;
    readonly step_evidence: unknown;
    readonly executor_engine: "claude" | "codex";
    readonly executor_model: string;
    readonly diff_digest: string;
}
/**
 * Pure exact grade-evidence builder from binding + protected verification (7A.3C §C).
 * Never uses grade-intent stored evidence as its source.
 */
export declare function buildExactGradeEvidence(input: {
    readonly result_commit: string;
    readonly result_identity: string;
    readonly base_commit: string;
    readonly verification_operation_id: string;
    readonly verification_outcome: string;
    readonly check_digest: string;
    readonly evidence_digest: string;
    readonly step_evidence: unknown;
    readonly executor_engine: "claude" | "codex";
    readonly executor_model: string;
}): ExactGradeEvidence;
/**
 * Exact-parse grade evidence against independently rebuilt expectation.
 * Never treats the stored object as its own expectation source.
 */
export declare function parseExactGradeEvidence(raw: unknown, expected: ExactGradeEvidence, label?: string): ExactGradeEvidence;
/** Recompute grade identity from intent fields + run id (same formula as runFreshGrade). */
export declare function recomputeGradeIdentityDigest(fields: {
    readonly run_id: string;
    readonly task_id: string;
    readonly attempt: number;
    readonly evidence: unknown;
    readonly grader_role_id: string;
    readonly grader_engine: string;
    readonly grader_model: string;
    readonly policy_digest: string;
    readonly schema_version: string;
}): string;
/** Recompute reflection identity (same formula as finalizeFailure). */
export declare function recomputeReflectionIdentityDigest(fields: {
    readonly task_id: string;
    readonly attempt: number;
    readonly verification_operation_id: string;
    readonly grade_operation_id: string;
    readonly failure_evidence_digest: string;
    readonly dreamer_model: string;
    readonly policy_digest: string;
    readonly schema_version: string;
}): string;
export declare function parseGradeIntent(payload: Readonly<Record<string, unknown>>, expectedIdentity: string): Readonly<Record<string, unknown>>;
export declare function parseGradeEffect(payload: Readonly<Record<string, unknown>>, expectedIdentity: string, effectId: string): Readonly<Record<string, unknown>>;
export declare function parseGradeCompletion(payload: Readonly<Record<string, unknown>>, expectedIdentity: string, ids: {
    readonly intentId: string;
    readonly effectId: string;
}, effect: Readonly<Record<string, unknown>>): Readonly<Record<string, unknown>>;
export declare function parseReflectionIntent(payload: Readonly<Record<string, unknown>>, expectedIdentity: string): Readonly<Record<string, unknown>>;
export declare function parseReflectionEffect(payload: Readonly<Record<string, unknown>>, expectedIdentity: string, effectId: string): Readonly<Record<string, unknown>>;
export declare function parseReflectionCompletion(payload: Readonly<Record<string, unknown>>, expectedIdentity: string, effect: Readonly<Record<string, unknown>>): Readonly<Record<string, unknown>>;
export declare const PROTECTED_VERIFIER_AUTHORITY: "oms.protected_verifier.v2";
export declare const HARNESS_VERIFIER_AUTHORITY: "oms.harness_verifier.v2";
export type VerificationOutcome = "passed" | "failed" | "mutation_detected" | "blocked";
export interface VerificationSubject {
    readonly task_id: string;
    readonly attempt: number;
    readonly expected_commit: string;
    readonly worktree_path: string;
    readonly worktree_branch: string;
    readonly base_commit: string;
}
export interface VerificationStepEvidence {
    readonly id: string;
    readonly passed: boolean;
    readonly status: number | null;
    readonly stdout_digest: string;
    readonly stderr_digest: string;
}
export interface WorktreeProbe {
    readonly head_commit: string;
    readonly branch: string;
    readonly clean: boolean;
    readonly worktree_root: string;
}
export interface ExactVerificationIntentPayload {
    readonly task_id: string;
    readonly attempt: number;
    readonly expected_commit: string;
    readonly worktree_path: string;
    readonly worktree_branch: string;
    readonly base_commit: string;
    readonly result_commit_operation_id: string;
    readonly provider_session_id: string;
    readonly result_identity_digest: string;
}
export interface ExactVerificationResultPayload {
    readonly intent_operation_id: string;
    readonly outcome: VerificationOutcome;
    readonly subject: VerificationSubject;
    readonly evidence_digest: string;
    readonly head_commit: string;
    readonly clean: boolean;
    readonly mutation_detected: boolean;
    readonly check_digest: string;
    readonly final: true;
    readonly sandbox_active: boolean;
    readonly authority: typeof PROTECTED_VERIFIER_AUTHORITY | typeof HARNESS_VERIFIER_AUTHORITY;
    readonly step_evidence: readonly VerificationStepEvidence[];
    readonly plan_digest: string;
    readonly checks_passed: boolean;
    readonly failed_step: string | null;
    readonly result_commit_operation_id: string;
    readonly result_identity_digest: string;
    readonly preflight: WorktreeProbe;
    readonly postflight: WorktreeProbe;
}
export declare function buildVerificationCheckDigest(input: {
    readonly plan_digest: string;
    readonly passed: boolean;
    readonly failed_step: string | null;
    readonly steps: readonly VerificationStepEvidence[];
}): string;
export declare function buildVerificationEvidenceDigest(input: {
    readonly outcome: VerificationOutcome;
    readonly preflight: WorktreeProbe;
    readonly postflight: WorktreeProbe;
    readonly check_digest: string;
    readonly expected: string;
    readonly mutation_detected: boolean;
    readonly sandbox_active: boolean;
    readonly intent_operation_id: string;
    readonly result_commit_operation_id: string;
    readonly authority: typeof PROTECTED_VERIFIER_AUTHORITY | typeof HARNESS_VERIFIER_AUTHORITY;
}): string;
export declare function parseWorktreeProbeExact(value: unknown, label: string): WorktreeProbe;
export declare function parseStepEvidenceExact(value: unknown): readonly VerificationStepEvidence[];
export declare function parseVerificationSubjectExact(value: unknown): VerificationSubject;
/** Exact verification-intent parser shared by verifier replay and lineage. */
export declare function parseVerificationIntentPayloadExact(payload: Readonly<Record<string, unknown>>): ExactVerificationIntentPayload;
/** Exact verification-result payload parser shared by replay and lineage authority. */
export declare function parseVerificationResultPayloadExact(payload: Readonly<Record<string, unknown>>, expectedIntentOperationId?: string): ExactVerificationResultPayload;
/**
 * Bind the journal result and its intent to one immutable result_commit binding.
 * Callers supply record operation IDs so both journal envelopes are included.
 */
export declare function assertVerificationChainBoundExact(input: {
    readonly result: ExactVerificationResultPayload;
    readonly intent: ExactVerificationIntentPayload;
    readonly binding: ResultCommitBinding;
    readonly intentOperationId: string;
    readonly resultOperationId: string;
    readonly expectedAuthority: typeof PROTECTED_VERIFIER_AUTHORITY | typeof HARNESS_VERIFIER_AUTHORITY;
}): void;
/** Recompute every verification digest and bind redundant top-level probe fields. */
export declare function assertVerificationResultDigestsExact(result: ExactVerificationResultPayload): void;
/** Reject semantically impossible result combinations after digest validation. */
export declare function assertVerificationResultSemanticsExact(result: ExactVerificationResultPayload): void;