bedrock-kv / bedrock / 3385ce0d48658a1d8a6d3a6888ba02539acb5b55
73%

DEFAULT BRANCH: develop
Ran
Jobs 2
Files 215
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 72.564% (+0.6%) from 71.926%
3385ce0d48658a1d8a6d3a6888ba02539acb5b55

push

github

web-flow 
Add behavioral tests for Coordinator Durability registration and notification (bedrock-wey) (#83)

## Summary
- Adds `durability_test.exs` with 16 tests for `Coordinator.Durability`
(coverage 74.3% → 98.2%)
- Durable write submission uses a real single-node Raft (driven to
leader via the public `Raft.handle_event(:election, :timer)` seam — the
same call production's coordinator server makes) instead of stubs:
success tracks the txn in the waiting list; a follower raft exercises
the `{:error, :not_leader}` ack path
- Service registration: exact `service_directory`/`node_capabilities`
assertions for fresh registration, node-scoped replacement, change
detection (identical `{kind, worker_ref}` excluded from notification),
and the additive merge variant with unique capability merging
- Director notification: `:unavailable` sends nothing; available
director receives the exact `{:service_registered, ...}` /
`{:capabilities_updated, ...}` casts (zero-timeout `assert_received` —
the whole chain is synchronous)

## Audit
Independent review approved with no changes: message shapes verified
against `Director.notify_*`, determinism of zero-timeout assertions
verified (no intermediate processes), and the raft-driving seam
confirmed as the production code path. One dead-code finding confirmed:
the inner `:unavailable ->` case in
`notify_director_of_resource_changes` is unreachable (function head
already matches) — follow-up ticket filed.

## Test plan
- 16/16 green at multiple seeds; full suite (2362 tests, 158 properties)
green

Ticket: bedrock-wey

5689 of 7840 relevant lines covered (72.56%)

1965.73 hits per line

Jobs
ID Job ID Ran Files Coverage
1 3385ce0d48658a1d8a6d3a6888ba02539acb5b55.1 215
72.56
 GitHub Action Run
2 3385ce0d48658a1d8a6d3a6888ba02539acb5b55.2 215
72.56
 GitHub Action Run
Source Files on build 3385ce0d48658a1d8a6d3a6888ba02539acb5b55