Skip to main content

stranded_by_undo

whipplescript_core::selection

Function stranded_by_undo 

Source 
pub fn stranded_by_undo(
    selected: &BTreeSet<usize>,
    universe: &[ChangeUnit],
) -> BTreeSet<usize>
Expand description

The stranding check (selective-undo.maude, the slicer’s 7th client at its path-level floor): undoing selected strands every RETAINED later unit whose path input came from an undone write. Returns the stranded indices — empty means the exclusion’s dependency closure is clean and the proposal is safe.