/**
 * Ledger Summary — deterministic mission status snapshot.
 *
 * Computes comprehensive summaries from contract + ledger.
 * Pure, no side effects, no provider dependency.
 *
 * LH-1 Hardened:
 *   - Authoritative summary requires a TrustedValidationContext.
 *   - Trust checks are always enforced (not optional).
 *   - completionCandidate only available through trusted path.
 *   - Structural inspection path cannot produce completionCandidate.
 */
import { inspectRequirementLedgerStructure } from "./requirement-ledger.js";
import type { TrustedValidationContext } from "./trusted-context.js";
import type { LedgerSummary, MissionContractV1, RequirementLedgerV1 } from "./types.js";
/**
 * Inspect ledger structure without trust verification.
 *
 * completionCandidate is always "unavailable". This path is for
 * generic CLI and untrusted callers. Use deriveRequirementLedgerSummary
 * with a TrustedValidationContext for authoritative completion.
 */
export declare const inspectLedgerStructure: typeof inspectRequirementLedgerStructure;
/**
 * Derive a deterministic ledger summary with full trust verification.
 *
 * The validationContext is MANDATORY. Trust and freshness checks are always enforced.
 *
 * completionCandidate is true only when:
 *   - Ledger passes structural and trust validation
 *   - Every applicable requirement == SATISFIED
 *   - All privileged principals verified against the trust registry
 *   - All capabilities verified
 *   - No stale post-regression satisfaction
 */
export declare function deriveRequirementLedgerSummary(contract: MissionContractV1, ledger: RequirementLedgerV1, validationContext: TrustedValidationContext): LedgerSummary;
//# sourceMappingURL=ledger-summary.d.ts.map