with_runtime_checks

Function with_runtime_checks 

Source
pub fn with_runtime_checks(
    base: Verdict,
    integrity_failed: bool,
    concurrency_clean: bool,
) -> Verdict
Expand 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.