Enum StaleReconciliation 

pub enum StaleReconciliation {
    NonePresent,
    Collision(PidRecord),
    DeadIncarnation(PidRecord),
    ReusedPid(PidRecord),
    LiveIncarnationElsewhere(PidRecord),
    SucceededDrainer(PidRecord),
    Unreadable {
        reason: String,
    },
}

What the birth claim found already sitting at the pid-file path, reconciled before the new record was written. Reported to the operator through the boot log; returned so tests can assert the reconciliation happened rather than trusting the log.

One face is not a reconciliation at all: Collision is what the birth claim converts into a refusal (HomeAlreadyClaimed). It lives in this enum because it is one of the answers “what is already here?” has, and keeping it out would have meant a second classification pass.

Variants

NonePresent

No file was present: the ordinary boot.

Collision(PidRecord)

A file was present, its pid is alive, the incarnation MATCHES, it is BOOTING or SERVING, and its doors collide with the ones this boot intends to open. Nothing is written and the boot is REFUSED: at birth no bind has happened, so there is no bind-success argument to overrule a live record with, and starting anyway is exactly the invisible stacking the birth claim exists to prevent.

DeadIncarnation(PidRecord)

A file was present but its process is gone — the previous server died without removing its record (crash, SIGKILL). The record is replaced.

ReusedPid(PidRecord)

A file was present and its pid is alive, but the live process’s start instant does not match the record — the pid was reused by something else after the recorded server died. The record is replaced; the stranger keeps running untouched.

LiveIncarnationElsewhere(PidRecord)

A file was present, its pid is alive, the incarnation MATCHES — but it is recorded on DIFFERENT addresses from the ones this boot INTENDS to bind, so the two servers do not collide: that server may be serving its addresses right now, and this one is about to serve others. The claimant boots UNCLAIMED: the first claimant keeps the record and the control verbs, the new incarnation serves without them, and the warning names the consequence. Neither server’s record is ever destroyed by the other’s boot or exit.

SucceededDrainer(PidRecord)

A file was present, its pid is alive, the incarnation MATCHES, and it is DRAINING: the recorded server has seen its termination signal and is on its way out. This boot SUCCEEDS it — the record is replaced with the successor’s, and the handover is logged naming both incarnations. The drainer’s own guard leaves the successor’s record alone at exit (its compare is by incarnation identity, which no longer matches).

Unreadable

A file was present but could not be parsed as a PidRecord (a hand-written pid from the pre-verb ritual, or corruption). Replaced.

Fields

reason: String

Why the existing content did not parse.

Trait Implementations

impl Clone for StaleReconciliation

fn clone(&self) -> StaleReconciliation

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for StaleReconciliation

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for StaleReconciliation

impl PartialEq for StaleReconciliation

fn eq(&self, other: &StaleReconciliation) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for StaleReconciliation