Repository navigation

Prune reduplication matches whose copies cannot agree - #519

Open

johnml1135 wants to merge 7 commits into

perf/copy-agreement-prune

Open

Prune reduplication matches whose copies cannot agree#519
johnml1135 wants to merge 7 commits into
masterfrom
perf/copy-agreement-prune

Commits on Oct 16, 2026
- Prune reduplication matches whose copies cannot agree
  
  johnml1135
  and
  claude
  committed
  8a91c53
- Pin copy pruning against a cap-limited deletion in one copy
  
  johnml1135
  and
  claude
  committed
  8bc9c01
- Turn copy-agreement pruning on by default
  
  johnml1135
  and
  claude
  committed
  105980c
- Compute HasRepeatedParts once per copy-agreement rule
  
  johnml1135
  and
  claude
  committed
  339c484
- Address review of copy pruning
  
  johnml1135
  and
  claude
  committed
  50466a9
- Prune disagreeing copies through Pattern.Acceptable, also while tracing
  
  johnml1135
  and
  claude
  committed
  298d7f2
- Line up copies across unapplied deletions instead of keeping them
  
  johnml1135
  and
  claude
  committed
  ea80fad