-
Notifications
You must be signed in to change notification settings - Fork 0
Add bounded deleted-text explorer to causal gutter and :why #278
Copy link
Copy link
Open
Labels
causal-ropeCausal rope text authority roadmapCausal rope text authority roadmapenhancementNew feature or requestNew feature or requestsliceImplementable roadmap sliceImplementable roadmap slicetext-authorityText authority and storage invariantsText authority and storage invariantswork-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 requestsliceImplementable roadmap sliceImplementable roadmap slicetext-authorityText authority and storage invariantsText authority and storage invariantswork-in-progressCycle or PR is intentionally in progress and not ready to mergeCycle or PR is intentionally in progress and not ready to merge
Problem
CR-05 exposes receipt-backed deletion boundaries and CR-06 explains their causal support, but users cannot yet inspect the exact historical text removed at a boundary without reconstructing a whole historical buffer.
Goal
Materialize deleted historical text as a bounded, read-only projection from the retained basis head and expose it from the gutter and
:whyevidence panel.Acceptance criteria
Constraints