prisma-risk / tsoracle / 26319376617

95%

push

github

feat(driver-paxos): host trait, apply task state machine, snapshot policy (#180)

* feat(driver-paxos): PaxosHighWaterHost trait

* feat(driver-paxos): apply-task state machine and decided-suffix drain

* feat(driver-paxos): SnapshotPolicy with every-N-decided trigger

* test(driver-paxos): cluster-driven coverage for drain and snapshot path

The unit tests on ApplyState covered the cloneable handle and the
notifier wake path but left drain_decided_into and maybe_snapshot at
~40% coverage. Coverage regressed against main; this commit closes
the gap.

Adds an inline 3-node OmniPaxos cluster harness built from the
toolkit's MemNetwork + MemStorage (already pulled into dev-deps via
the test-fakes feature) and seven scenario tests against the drain
function:

- Advance with a single value folds into the AtomicU64.
- Multiple Advances pick the max across all decided entries.
- Barrier entries do not lower or zero out the AtomicU64.
- Empty drain (no new decided entries) is a no-op.
- Repeat drain after cursor advance does NOT re-apply already-applied
  entries.
- maybe_snapshot advances policy state on trigger.
- maybe_snapshot is a no-op when the policy is disabled.

11 state_machine tests total (4 existing + 7 new). 25 lib tests
overall. Clippy + fmt clean.

355 of 371 new or added lines in 2 files covered. (95.69%)

9256 of 9711 relevant lines covered (95.31%)

648554.15 hits per line