Function validate_allocations 

pub fn validate_allocations<P: AllocationPolicy>(
    recovered: &RecoveredLedger,
    snapshot: DeclarationSnapshot,
    policy: &P,
) -> Result<ValidatedAllocations, AllocationValidationError<P::Error>>

Validate a committed ledger and current declarations before opening.

This produces a pre-commit ValidatedAllocations value: the historical ledger must pass current-format and committed-integrity checks before current declarations are checked against framework policy and ledger history. The result can be staged, but it cannot open storage. Open authority is granted only by crate::CommittedAllocations after persistence confirmation.