-
Notifications
You must be signed in to change notification settings - Fork 0
WF-0155 - Causal Undo Family: design cycle #270
Copy link
Copy link
Open
Labels
causal-ropeCausal rope text authority roadmapCausal rope text authority roadmapenhancementNew feature or requestNew feature or requestgoalpostRoadmap milestone trackerRoadmap milestone trackerwork-in-progressCycle or PR is intentionally in progress and not ready to mergeCycle or PR is intentionally in progress and not ready to merge
Description
Activity
Metadata
Metadata
Assignees
Labels
causal-ropeCausal rope text authority roadmapCausal rope text authority roadmapenhancementNew feature or requestNew feature or requestgoalpostRoadmap milestone trackerRoadmap milestone trackerwork-in-progressCycle or PR is intentionally in progress and not ready to mergeCycle or PR is intentionally in progress and not ready to merge
Design cycle promoting docs/method/backlog/cool-ideas/causal-undo-family.md to a full design doc.
Three operations, laddered: (1) regional time-rewind (materialize + diff -> proposal strand, ship first), (2) surgical revert (attribution -> inverse -> anchor-transform commutation, typed obstructions on overlap), (3) basis-closure cascade (dependency = non-commutation, never temporal order; minimal honest bases; ring-based blast-radius preview with budget + surgical escape valve). Every variant is a forward counter-edit proposal strand behind preview -> admit. Blocked by Historical Basis Preview (goalpost 3) and proposal strands / :admit (goalpost 4); g? attribution is the front end.
Design doc lands as docs/design/0155-causal-undo-family.md (draft).