Repository navigation

feat(server): operator back-anchor of the un-anchored tail (POST /v2/anchors/backfill) - #54

Draft

zachyking wants to merge 4 commits into

mainfrom

feat/back-anchor

Draft

feat(server): operator back-anchor of the un-anchored tail (POST /v2/anchors/backfill)#54
zachyking wants to merge 4 commits into
mainfrom
feat/back-anchor

Commits on Oct 26, 2026
- feat(server): back-anchor un-anchored checkpoints (bounded sweep per cut, operator backfill endpoint)
  
  zachyking
  and
  claude
  committed
  e279e96
- fix(server): back-anchor only the un-anchored tail; drop the per-cut sweep
  
  zachyking
  and
  claude
  committed
  6b4080b
- docs,formal: tail-only back-anchoring; claim, mutants, docs
  
  zachyking
  and
  claude
  committed
  6dccb89
- formal: cover Mem.UnanchoredTailCheckpoints
  
  zachyking
  and
  claude
  committed
  93d8b68