pub fn with_runtime_checks(
base: Verdict,
integrity_failed: bool,
concurrency_clean: bool,
) -> VerdictExpand description
2026-09-26: Fold the integrity and concurrency legs into the verdict: a Pass becomes Fail when an integrity leg failed or the concurrency sweep is not clean. Fail and Vacuous stay as they are.