Expand description
Result aggregation and diagnostic formatting helpers. Diagnostic and result-recording helpers for Senryx contract checks.
The verifier records passed and failed safety properties per unsafe callsite so the top-level driver can summarize whether a target function discharged its unsafe API obligations.