stack-based-backtrack

For search with undo: explicit decision stack, backtracking when paths fail, depth-first exploration with state restoration.