pub fn validate_allocations<P: AllocationPolicy>(
ledger: &AllocationLedger,
snapshot: DeclarationSnapshot,
policy: &P,
) -> Result<ValidatedAllocations, AllocationValidationError<P::Error>>Expand description
Validate current declarations against framework policy and ledger history.
This proves allocation ABI safety only. It does not prove store-level schema compatibility.