Decision #512 — lib.rs:1280
Status: partial
Truth table
| row | c0 br 3441 | c1 br 3442 | c2 br 3444 | outcome |
|---|---|---|---|---|
| 102590 | T | * | T | T |
| 102591 | T | * | F | F |
| 105747 | T | * | T | T |
| 105748 | T | * | F | F |
| 108955 | T | * | T | T |
| 108956 | T | * | F | F |
| 111536 | T | * | T | T |
| 111537 | T | * | F | F |
| 111538 | T | * | T | T |
| 111539 | T | * | F | F |
| 114492 | T | * | T | T |
| 114493 | T | * | F | F |
Independent-effect pairs
All 3 conditions live in scry_analyze_core::const_expr_ref_func_targets — 3 br_if
c0(branch3441): GAP view gap →c1(branch3442): DEAD view gap →c2(branch3444): PROVED — pair rows102590,102591(masking)