SHARK-3619/3620/3622: stop the key-lifecycle writes describing a world the data plane does not produce - #34

Merged

mikhailak merged 3 commits into

integ/mcp-prod-readinessfrom

feature/SHARK-3619-3622-mgmt-truthfulness

Aug 7, 2026

Commits on Aug 7, 2026

fix(SHARK-3619/3620/3622): stop the key-lifecycle writes describing a world the data plane does not produce

mikhailak
and
claude
committed
831c290
fix(SHARK-3622): state matchesRequest on both observed freeze paths, not only the disagreeing one

mikhailak
and
claude
committed
33901fb
test(SHARK-3622): kill two mutants the first pass left alive, one of them my own vacuous assertion

mikhailak
and
claude
committed
b82437a