Add Lean disaster recovery specification and trace validation - #8241

Draft

Amaury Chamayou (achamayou) wants to merge 16 commits into

microsoft:mainfrom

achamayou:achamayou-lean-disaster-recovery

Commits on Aug 30, 2026

Add Lean disaster recovery model
Amaury Chamayou (achamayou)
committed
d0bcb38
Record migration attribution

Amaury Chamayou (achamayou)
and
Copilot
committed
177fac8
Validate C++ recovery traces with Lean

Amaury Chamayou (achamayou)
and
Copilot
committed
f400dd6
Emit join traces before restart

Amaury Chamayou (achamayou)
and
Copilot
committed
935650e
Order traced retries after global commits

Amaury Chamayou (achamayou)
and
Copilot
committed
c8dd40a
Document Lean proof coverage

Amaury Chamayou (achamayou)
and
Copilot
committed
aa46b82
Simplify recovery trace replay

Amaury Chamayou (achamayou)
and
Copilot
committed
865d08e
Merge branch 'main' into achamayou-lean-disaster-recovery
Amaury Chamayou (achamayou)
authored
19fb81a
Tighten strict recovery traces

Amaury Chamayou (achamayou)
and
Copilot
committed
5d6828f
Merge updated remote branch

Amaury Chamayou (achamayou)
and
Copilot
committed
bf8b1cf

Commits on Aug 31, 2026

Commits on Sep 1, 2026

Reject Lean sorryAx in CI
Amaury Chamayou (achamayou)
committed
a4824c5
Defer recovery restart until commit
Amaury Chamayou (achamayou)
committed
1877a19