Function derive_status 

pub fn derive_status(envelope: &VerdictEnvelopeV1) -> DerivedStatus

Apply the substance-precedence + freshness-override rule to a parsed VerdictEnvelopeV1. Returns (status, reason_code) pair.

Cross-SDK contract: identical output across all 4 SDK implementations for every fixture in cleanlib-contract-fixtures v1.0.0.