Skip to content

WF-0155 - Causal Undo Family: design cycle #270

Description

@flyingrobots

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).

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    causal-ropeCausal rope text authority roadmapenhancementNew feature or requestgoalpostRoadmap milestone trackerwork-in-progressCycle or PR is intentionally in progress and not ready to merge

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions