Repository navigation

fix(db): preserve ordering invalidations during repair retirement - #2302

Merged

KyleAMathews merged 16 commits into

mainfrom

codex/misfits-repair-retirement

Nov 3, 2026

Merged

fix(db): preserve ordering invalidations during repair retirement#2302
KyleAMathews merged 16 commits into
mainfrom
codex/misfits-repair-retirement

Commits on Oct 29, 2026
- Preserve ordered repair debt through acquisition retirement
  Test
  committed
  3e5b54a
- Merge remote-tracking branch 'origin/main' into codex/misfits-repair-retirement
  Test
  committed
  6260f52
- Document ordered retirement repair release
  Test
  committed
  2db3eeb
- Reference executable retirement evidence in coverage map
  Test
  committed
  d10bf57
- test(db): calibrate retirement through minified-safe observations
  Test
  committed
  5e3cb22
Commits on Nov 2, 2026
- Merge origin/main into codex/misfits-repair-retirement
  
  Test
  and
  Isaac
  committed
  cf787c0
- test(db): receive retirement invalidations in Effects and generated histories
  
  Test
  and
  Isaac
  committed
  c15861a
- test(db): measure retirement reach and judge progress after the unload's pass
  
  Test
  and
  Isaac
  committed
  4565c62
- docs(db): state the retirement-time fence and simplify the progress check
  
  Test
  and
  Isaac
  committed
  024d9b0
- Merge origin/main into codex/misfits-repair-retirement
  
  Test
  and
  Isaac
  committed
  8b11336
- docs: name the retirement receiver as its own oracle property
  
  Test
  and
  Isaac
  committed
  70a87ba
- Merge origin/main into codex/misfits-repair-retirement
  
  Test
  and
  Isaac
  committed
  838f71c
- fix(db): treat a retirement-time delete before the repair's boundary as new source information
  
  Test
  and
  Isaac
  committed
  33b9f0d
- fix(db): treat a retirement-time delete of the boundary row as new source information
  
  Test
  and
  Isaac
  committed
  6723e4f
- fix(db): classify retirement deletes of boundary ties by the settled prefix
  
  Test
  and
  Isaac
  committed
  2b204c3
- test(db): widen receiver reach margins for boundary-tie states
  
  Test
  and
  Isaac
  committed
  03369c1

Commits

Commits on Oct 29, 2026

Commits on Nov 2, 2026