pub fn certificate_summary(cert: &ChoreographyCertificate) -> ValueExpand description
The certificate summary a reader checks before opening the program: the digest that binds it, the marked graph’s size, the liveness witness, every buffer balance, every semaphore count, every compute certificate kind, and the numerics claim.