Function compose_f4_quotient_sha512 

pub fn compose_f4_quotient_sha512(
    operand: &KappaLabel<135>,
) -> Result<AddressOutcome<135, 64>, CompositionFailure>

CS-F4 under σ-axis Sha512Hasher.

Errors

• CompositionFailure::OperandSigmaAxisMismatch — an operand’s σ-axis prefix is not "sha512".
• CompositionFailure::MalformedOperand — an operand is not a well-formed κ-label.
• CompositionFailure::PipelineFailure — defensive.