Decision #1623 — library/core/src/slice/index.rs:195
Status: partial
Truth table
| row | c0 br 2465 | c1 br 2466 | c2 br 2467 | c3 br 2468 | outcome |
|---|
Independent-effect pairs
All 4 conditions live in <scry_analyze_core::Interp>::seq — 1 br_table_default + 3 br_table_target
c0(branch2465): PROVEDc1(branch2466): PROVEDc2(branch2467): DEAD view gap →c3(branch2468): PROVED