Spec42 v0.57.0: three months of diagrams, views and model fidelity