Skip to content

Slice: Route normal editor edits through replaceRangeAsTick #224

Description

@flyingrobots

Goal

Make the product edit path admit causal rope replacements.

Acceptance criteria

  • Insert, delete, and replace operations call graph runtime replaceRangeAsTick.
  • Logical no-ops do not mint new RopeHead or RopeRewrite evidence.
  • Edit results expose admitted tick and next RopeHead to workspace state.
  • Rapid typing and queued save barriers continue to pass.

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

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions