pub fn certify_update(
inputs: &CertificateInputs,
) -> Result<KappaDynamicFloorReport, KappaDynamicFloorError>Expand description
Compute kappa_hat_t and E_t from the update matrices, then classify
against the dynamic floor and fail closed on an excursion. This is the
REQ-01 (compute) + REQ-02 (floor) + REQ-03 (classify) path end to end:
no certificate value is supplied by the caller.