Repository navigation
fleet: check native source reader successor policy - #56
Merged
Merged
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
What changes
Continue the fleet implementation plan after merged PR #37.
SourceSuccessor; exact checked source readers becomeSourceReader.crates/cellule-host/minionremains canonical.Persisted enrollment/evacuation and signed peer formats are unchanged. This point collection grants no retention pin, complete-observation upgrade or SettleRoles/Finalize rights.
Verification
Frozen Rust 1.99 source passes all 13 qualification commands and nine static gates:
The native cases exercise refreshed final roots, actual writer drain/restoration, exact original closure, a new reader request on the same Active receiver, independent SQLite clients, public reconciliation, missing/changed evidence, foreign origins/physical mappings, clock/deadline/cancellation, original source errors and changes behind actual signed native replies. Successful fixtures join all native owners and check released ledgers. Initial compile/setup and negative-control type failures are retained and excluded from qualification claims.
All 1,133 Rust/Cargo paths are pinned in the retained source manifest. Source, commands/results, manifests and original failures are under
/Users/haipingfu/Workspace/crabbuild-target/cellule-source-reader-9110095/evidence.Remaining full plan scope
The full W1–W10 objective remains active. Complete durable provider/process retention and failed-owner reader/follower succession; native/external accepted-work and unknown-outcome coverage; SettleRoles/Finalize through original action joining, native Stopped, withdrawal, retired boots and committed completion; Cron/Blob owners and primitive fault matrices; receiver-session recovery/adoption and sustained convergence; minion maintenance/receiver-loss commands; W9 process/provider/mixed-binary/load campaigns; W10 exercised runbooks and rollout/rollback.
PR #37 was merged as
fa548bbduring qualification. Its tree is byte-identical to baseline9110095; this follow-up is based directly on that main. Current follow-up CI and routing campaigns remain required. Earlier intermittent follower-observation/overload failures are retained; later passes do not independently establish their causes.