Add seeded Raft simulation from marked scenarios - #8095

Closed

cjen1-msft wants to merge 14 commits into

microsoft:mainfrom

cjen1-msft:cjen1/seeded-simulation

Commits on Jul 23, 2026

Test raft seed marker scenario

Chris Jensen (Cjen1)
and
Copilot
committed
bdf5080
Support raft seed markers

Chris Jensen (Cjen1)
and
Copilot
committed
e8840ac
Test raft seed export

Chris Jensen (Cjen1)
and
Copilot
committed
3b60d35
Export raft seed modules from trace validation

Chris Jensen (Cjen1)
and
Copilot
committed
a9fbd3f
Test seeded raft simulation

Chris Jensen (Cjen1)
and
Copilot
committed
159dd51
Add seeded raft simulation wrapper

Chris Jensen (Cjen1)
and
Copilot
committed
fbe1fbf
Wire raft seeded simulation verification

Chris Jensen (Cjen1)
and
Copilot
committed
e93219b
Remove temporary raft seed test helpers

Chris Jensen (Cjen1)
and
Copilot
committed
9990dec
Record final seeded verification artifacts

Chris Jensen (Cjen1)
and
Copilot
committed
46d8a1f
Narrow raft seeded simulation corpus

Chris Jensen (Cjen1)
and
Copilot
committed
6ea7af9
Fix raft seed export environment handling

Chris Jensen (Cjen1)
and
Copilot
committed
462e535
Refactor raft seed corpus generation

Chris Jensen (Cjen1)
and
Copilot
committed
b03bd53
Partition raft seed corpus by profile

Chris Jensen (Cjen1)
and
Copilot
committed
94a630a
Use globbed seed directory freshness check

Chris Jensen (Cjen1)
and
Copilot
committed
ad1004d