Decision #320 — src/readers.rs:213
Status: partial
Truth table
| row | c0 br 2150 | c1 br 2151 | c2 br 2165 | c3 br 2185 | c4 br 2216 | outcome |
|---|---|---|---|---|---|---|
| 964 | * | * | F | * | * | F |
| 965 | F | T | T | * | * | T |
| 966 | F | T | * | * | * | T |
| 967 | F | T | * | * | * | T |
| 968 | T | * | * | * | * | T |
| 4004 | * | * | F | * | * | F |
| 4005 | F | T | T | * | * | T |
| 4006 | F | T | * | * | * | T |
| 4007 | F | T | * | * | * | T |
| 4008 | T | * | * | * | * | T |
| 6953 | * | * | F | * | * | F |
| 6954 | F | T | T | * | * | T |
| 6955 | F | T | * | * | * | T |
| 6956 | F | T | * | * | * | T |
| 6957 | T | * | * | * | * | T |
| 9732 | * | * | F | * | * | F |
| 10880 | * | * | F | * | * | F |
| 11971 | * | * | F | * | * | F |
| 13768 | * | * | F | * | * | F |
| 21486 | * | * | F | * | * | F |
| 29495 | * | * | F | * | * | F |
| 35433 | * | * | F | * | * | F |
| 40978 | * | * | F | * | * | F |
| 40979 | * | * | T | * | * | T |
| 43991 | * | * | F | * | * | F |
| 43992 | * | * | T | * | * | T |
| 47444 | * | * | F | * | * | F |
| 47445 | * | * | T | * | * | T |
| 50518 | * | * | F | * | * | F |
| 50519 | * | * | T | * | * | T |
| 53761 | * | * | F | * | * | F |
| 63533 | * | * | F | * | * | F |
| 73335 | * | * | F | * | * | F |
| 73336 | * | * | T | * | * | T |
| 73337 | * | * | T | * | * | T |
| 73338 | * | * | T | * | * | T |
| 73339 | * | * | F | * | * | F |
| 73340 | * | * | T | * | * | T |
| 76810 | * | * | F | * | * | F |
| 76811 | * | * | T | * | * | T |
| 76812 | * | * | T | * | * | T |
| 76813 | * | * | T | * | * | T |
| 76814 | * | * | F | * | * | F |
| 76815 | * | * | T | * | * | T |
| 79469 | * | * | F | * | * | F |
| 80939 | * | * | F | * | * | F |
| 82126 | * | * | F | * | * | F |
| 83188 | * | * | F | * | * | F |
| 84404 | * | * | F | * | * | F |
| 86119 | * | * | F | * | * | F |
| 87754 | * | * | F | * | * | F |
| 89428 | * | * | F | * | * | F |
| 91088 | * | * | F | * | * | F |
| 93707 | * | * | F | * | * | F |
| 112570 | * | * | F | * | * | F |
| 130147 | * | * | F | * | * | F |
| 131322 | * | * | F | * | * | F |
| 132649 | * | * | F | * | * | F |
Independent-effect pairs
All 5 conditions live in scry_analyze_core::analyze — 5 br_if
c0(branch2150): GAP view gap →c1(branch2151): GAP view gap →c2(branch2165): PROVED — pair rows964,965(masking)c3(branch2185): DEAD view gap →c4(branch2216): DEAD view gap →