self-improve-checkpoint-resume: resume openevolve MAP-Elites population across ~6h cycles#1006

Merged

Daisuke134 merged 12 commits into

mainfrom

feature/self-improve-checkpoint-resume

Jul 11, 2026

Commits on Jul 11, 2026

spec: self-improve-checkpoint-resume Phase 1a/1b (behavioral-spec + verification-architecture)
Daisuke134
committed
spec: resolve spec-review iteration-1 FIND-001..004 (self-improve-checkpoint-resume)
Daisuke134
committed
spec: resolve spec-review iteration-2 FIND-001/FIND-002 (self-improve-checkpoint-resume)
Daisuke134
committed
spec: self-improve-checkpoint-resume iteration-3 fixes (REQ-CR12 crash handling, REQ-CR11 pathlib/symlink hardening, REQ-CR1 absolute-path normalization, REQ-CR7 found-branch arg stability proof)
Daisuke134
committed
spec: self-improve-checkpoint-resume iteration-4 fixes (file-vs-dir candidate edge case EDGE-CR12/PROP-CR14, REQ-CR6 citation accuracy, INV-CR2/3/5 proof cross-references)
Daisuke134
committed
vcsdd(self-improve-checkpoint-resume): spec-review PASS iteration 5 (0 blocking), phase -> 2a
Daisuke134
committed
vcsdd(self-improve-checkpoint-resume): RED+GREEN phase 2a/2b — checkpoint_resume.py + run_evolve.sh wiring
Daisuke134
committed
vcsdd(self-improve-checkpoint-resume): phase 2a -> 3, RED+GREEN evidence recorded
Daisuke134
committed
vcsdd(self-improve-checkpoint-resume): fix FIND-001/FIND-002 from Phase 3 iteration 1
Daisuke134
committed
vcsdd(self-improve-checkpoint-resume): Phase 5 formal hardening complete, phase -> 6
Daisuke134
committed
vcsdd(self-improve-checkpoint-resume): Phase 6 CONVERGED, phase -> complete
Daisuke134
committed
Merge remote-tracking branch 'origin/main' into feature/self-improve-checkpoint-resume
Daisuke134
committed