Repository navigation

(Claude) Leave a refresh's derived rows unwritten when another refresh moved a file under it - #402

Merged

cboos merged 5 commits into

mainfrom

dev/refresh-lost-update

Nov 8, 2026

Merged

(Claude) Leave a refresh's derived rows unwritten when another refresh moved a file under it#402
cboos merged 5 commits into
mainfrom
dev/refresh-lost-update

Commits on Nov 8, 2026
- Pin the lost update of a refresh overtaken by another
  
  cboos
  and
  claude
  committed
  549b0f0
- Write a refresh's derived rows only over the file records it read
  
  cboos
  and
  claude
  committed
  be9ac5f
- Make the overtaken refresh's per-file arms merge per file
  
  cboos
  and
  claude
  committed
  84d4d5f
- Say how a refresh overtaken by another leaves the project
  
  cboos
  and
  claude
  committed
  1ea8754
- Pin that a file new to the cache since a refresh began has moved
  
  cboos
  and
  claude
  committed
  b4f467b