Build logs · widget

Safety and liveness, on a timeline

violated at a moment versus judged over an unbounded run