Skip to content

Add bounded deleted-text explorer to causal gutter and :why #278

Description

@flyingrobots

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 :why evidence panel.

Acceptance criteria

  • A deletion boundary can request deleted UTF-8 text through an explicit basis head and byte range.
  • The response carries coverage, byte/fact bounds, continuation posture, and supporting rewrite/diff/tick identities.
  • Deleted lines render as read-only virtual rows that do not alter buffer coordinates.
  • Start-of-file, middle, end-of-file, and empty-file deletions remain discoverable.
  • Large or unavailable history returns a typed obstruction rather than materializing an unbounded file or inventing text.
  • Human and machine-readable surfaces consume the same bounded observation.

Constraints

  • The projection is not text authority.
  • Restoring deleted text creates a new explicit operation; it never mutates history in place.
  • No Git diff reconstruction.

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 requestsliceImplementable roadmap slicetext-authorityText authority and storage invariantswork-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