pub fn annotations(report: &BranchReport) -> Vec<Annotation>Expand description
One annotation per tick that is not plainly verified: unverifiable and
regressed as failure, regression-only and stale as warning
(stale on the changed requirement’s line), attested as a notice
naming who accepted it.