melin_server_runtime/

durability_gate.rs

//! The response stages' durability gate: the ack policy in force, the
//! cached durable position, and the wait that holds a reply until its
//! event is durable under that policy.
//!
//! Shared by the io_uring stage ([`crate::response`]) and the DPDK stage
//! (`crate::dpdk_response`). Both used to carry their own copy of this
//! state machine — startup resolve, policy changes, the gate wait,
//! degraded-time accrual — and a fix to one copy had to be
//! remembered in the other. What differs between the two stages is
//! egress (socket buffers vs. the poll thread's TX rings); what a reply
//! waits *for* does not, so it lives here once.
//!
//! # Policy changes
//!
//! The policy is part of the lineage: an `AckPolicyChange` entry is
//! journaled in order with the events it governs, and reaches the gate as
//! an output slot at the entry's position. One rule covers every change,
//! with no ranking of policies: a change at wire sequence `w` takes effect
//! for every slot after it once `w` itself is durable under the policy in
//! force before it. Changes are applied one by one, never merged — two
//! pending changes each wait for the policy before them.
//!
//! The one exception is a forced (unwitnessed) change: a gate halted
//! under a policy no connected node can satisfy is stuck on a slot ahead
//! of the change, so the in-order switch is never reached. The matching
//! stage publishes such a change as it dispatches it, and the wait
//! applies it as soon as its own entry is durable on this node's disk,
//! then ignores every in-order change at or below it.
//!
//! # A new tenure
//!
//! Whether the lineage's newest change took effect before a crash, or
//! before the primary a replica followed died, is not on disk: the node
//! may have stopped between journaling it and the nodes the policy before
//! it relied on holding it. So a primary's gate does not start under the
//! newest change. It starts under the policy before it, with the change
//! pending ([`GateStart`]), and applies it by the same rule as above: once
//! the change's entry is durable under that policy, or, for an
//! unwitnessed change, once it is on this node's disk. A change that had
//! taken effect is re-confirmed as soon as the replica holding it is back.
//!
//! # Degraded release
//!
//! A primary halted for want of a replica cannot meet a policy that needs
//! one, so the replies it holds — writes it had sequenced before the
//! halt, and queries, whose answers may reflect them — would wait for a
//! replica to come back. Once the halt has lasted a grace period, the
//! gate releases a held slot on a second, weaker condition: the slot's
//! event is fsynced on the primary's own journal. Such a reply goes out
//! with `BatchEndDegraded` ([`Backing::PrimaryOnly`]) instead of
//! `BatchEnd`, so the client knows only the primary's disk backs it.
//!
//! The policy is always evaluated first, on every slot, and a slot it
//! confirms is a full reply. A degraded release never writes the cached
//! durable position: were it to, every later slot would pass the cached
//! check without waiting and go out with a full `BatchEnd`, an ack the
//! policy never gave. Nor does it apply a policy change: a change applies
//! once durable under the policy before it, and the primary's disk alone
//! is not that. A change slot released degraded joins the pending changes
//! instead, applied in order by the rule above once the policy confirms
//! it, and until then nothing after it can be confirmed in full. The
//! release is driven by the halt (no replica streaming), never by gate
//! lag: a connected replica that is merely slow is backpressure, and its
//! replies wait. It is an operator switch, on by default
//! ([`DegradedRelease`]).

use std::collections::VecDeque;
use std::sync::Arc;
use std::sync::atomic::{AtomicBool, Ordering};
use std::time::{Duration, Instant};

use melin_app::amortized_timer::AmortizedTimer;
use melin_journal::{AckPolicyByte, AckPolicyChange};
use melin_pipeline::wait::WaitStrategy;
use melin_transport_core::lineage::{ForcedPolicyReader, LineagePolicy};
use melin_transport_core::pipeline::{OutputPayload, OutputSlot, StageUtilization};
use melin_transport_core::replica_presence::LastLoss;
#[cfg(feature = "tick-to-trade")]
use melin_transport_core::trace;
use melin_transport_core::{DurableWireSeqCursor, WireSeq};
use melin_wire_protocol::control::TransportResponse;
use melin_wire_protocol::control_codec;

use crate::ack_policy::{AckPolicy, Blocker, Policy};
use crate::halt::{DegradedRelease, Replication};
use crate::replication::ReplicationMetrics;
use crate::response::{DegradationLogger, evaluate_durability, evaluate_gate, slot_needs_gate};
#[cfg(feature = "tick-to-trade")]
use crate::response::{GateCrossTracker, policy_replica_cursor};

/// Re-emit interval for the "still degraded" reminder.
const DEGRADED_LOG_INTERVAL: Duration = Duration::from_secs(5);

/// Cadence at which the idle path re-evaluates the policy. Bounds the lag
/// between a connection-state change and the `/healthz` gauge / warn-log
/// reflecting it. Cheap (a handful of atomic loads + the policy
/// evaluator) at this rate.
const POLICY_CHECK_INTERVAL: Duration = Duration::from_secs(1);

/// Cadence at which the gate-wait spin folds elapsed time into the
/// degraded-duration counter while the durability gate is stalled.
/// Tighter than the idle cadence — it bounds the boundary error when a
/// degradation begins or flips mid-wedge, which matters most for short
/// stalls. The accrual tick is gated by this period, but the clock read
/// behind it is gated by the `AmortizedTimer` mask, so the effective
/// resolution is `max(this, the mask's clock-read cadence)`: one clock
/// read per `2^16` spin iterations (`AmortizedTimer::CHECK_MASK`), and
/// one per iteration once the waiter has fallen back to yielding.
const GATE_ACCRUAL_INTERVAL: Duration = Duration::from_millis(10);

/// How long a node must have been halted for want of a replica before
/// the gate releases held replies on the primary's own fsync, unless the
/// operator sets `--degraded-ack-grace-ms`.
///
/// Long enough that a replica dropped by a short blip, which reconnects
/// and catches up within it, confirms the held replies in full rather
/// than turning them into degraded ones: a replica's first reconnect
/// attempt comes a second after it loses its primary. Short enough that
/// clients of a primary that has really lost its replicas are answered
/// well inside a typical client timeout. A constant of its own, not the
/// DPDK replication liveness deadline: kernel TCP has no such deadline,
/// and the halt itself, which starts the grace, already comes after it.
pub(crate) const DEFAULT_DEGRADED_ACK_GRACE_MS: u64 = 2_000;

/// What backs a reply the gate released, and so which terminator its
/// request gets.
#[derive(Clone, Copy, Debug, PartialEq, Eq)]
pub(crate) enum Backing {
    /// The ack policy in force confirmed the slot's event: `BatchEnd`.
    Policy,
    /// Released while halted past the grace period, on the primary's own
    /// fsync alone: `BatchEndDegraded`.
    PrimaryOnly,
}

impl Backing {
    /// The weaker of two backings, `PrimaryOnly` being the weaker: a
    /// reply is only as backed as the weakest wait that let it through.
    fn min(self, other: Self) -> Self {
        match (self, other) {
            (Self::Policy, Self::Policy) => Self::Policy,
            (Self::PrimaryOnly, _) | (_, Self::PrimaryOnly) => Self::PrimaryOnly,
        }
    }
}

/// The two pre-encoded request terminators, full wire frames (length
/// prefix and tag), shared by both stages. Encoded once at startup:
/// every request ends with one, and picking one of two buffers in hand
/// costs nothing on the normal path.
pub(crate) struct BatchEnds {
    /// `BatchEnd`: backed as the policy requires.
    pub policy: Vec<u8>,
    /// `BatchEndDegraded`: backed by the primary's disk alone.
    pub primary_only: Vec<u8>,
}

impl BatchEnds {
    pub(crate) fn new() -> Self {
        let encode = |response| {
            let mut buf = [0u8; 8];
            let written = control_codec::encode_transport_response(&response, &mut buf)
                .expect("a tag-only control frame encodes into eight bytes");
            buf[..written].to_vec()
        };
        Self {
            policy: encode(TransportResponse::BatchEnd),
            primary_only: encode(TransportResponse::BatchEndDegraded),
        }
    }
}

/// How a durability wait ended.
#[must_use]
enum GateOutcome {
    /// The slot's reply may be sent, backed as given.
    Open(Backing),
    /// Shutdown was requested while the gate was closed. The reply the
    /// policy never confirmed must not be sent; the caller goes straight
    /// back to its shutdown branch.
    Shutdown,
}

/// How [`DurabilityGate::admit`] left a slot: where its frames go, if
/// anywhere.
#[must_use]
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub(crate) enum Admission {
    /// Released: the slot's frames go to this connection (0, the node's
    /// own, for a server-originated event, which no client holds), its
    /// request ending as `backing` says.
    Reply {
        connection_id: u64,
        backing: Backing,
    },
    /// An ack-policy change, now applied (or stale): the gate's own slot,
    /// whose frames go to no connection. A response stage looks a
    /// connection up only for [`Self::Reply`], so a change slot cannot
    /// reach a client whatever it is addressed to.
    GateOnly,
    /// Shutdown was requested while the gate was closed: see
    /// [`GateOutcome::Shutdown`].
    Shutdown,
}

/// Where the gate's policy comes from: the one it starts under, with the
/// lineage's change it must still apply, and the forced changes that may
/// overtake the in-order ones. Every other change reaches the gate as an
/// output slot.
pub struct GatePolicy {
    /// How the gate starts (a primary resolves it with the crate's
    /// `initial_gate_policy`).
    pub start: GateStart,
    /// Forced changes the matching stage has dispatched — see
    /// [`ForcedPolicyReader`] and the module docs.
    pub forced: ForcedPolicyReader,
}

/// The policy a gate starts under, and the change it must apply before
/// it admits any slot, if there is one (see the module docs, "A new
/// tenure").
///
/// The pending change is part of the start rather than something a
/// caller may add: `initial_gate_policy` returns the two together and
/// the gate takes the start whole and consumes the change, so the
/// runtime cannot hand the gate the lineage's policy and drop the
/// transition to it on the way. The fields are crate-private for the
/// same reason: outside the crate a start can only be
/// [`settled`](Self::settled), the start of a gate with no lineage
/// change to apply (a harness driving the response stage by hand), so
/// no caller can build one that names the lineage's newest policy as in
/// force.
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub struct GateStart {
    /// The policy in force from the start.
    pub(crate) in_force: AckPolicy,
    /// The lineage's newest change, not yet applied.
    pub(crate) pending: Option<PendingChange>,
}

impl GateStart {
    /// Start under `policy`, nothing pending: a gate whose lineage holds
    /// no change, or one serving without replication (the standalone
    /// rule, see `initial_gate_policy`).
    pub fn settled(policy: AckPolicy) -> Self {
        Self {
            in_force: policy,
            pending: None,
        }
    }
}

/// A journaled ack-policy change the gate applies before any slot it
/// admits: the lineage's newest, from a previous tenure.
#[derive(Debug, Clone, Copy, PartialEq, Eq)]
pub(crate) struct PendingChange {
    /// The change entry's wire sequence.
    pub(crate) wire_seq: WireSeq,
    /// The policy it puts in force.
    pub(crate) policy: AckPolicy,
    /// Journaled unwitnessed: applied once its entry is on this node's
    /// disk, as a forced change is, rather than once it is durable under
    /// the policy before it.
    pub(crate) unwitnessed: bool,
}

/// How a primary's gate starts (see the module docs, "A new tenure").
///
/// With replication enabled: under the policy in force before the
/// lineage's newest change, with that change pending; under the newest
/// policy if it is the lineage's first change (journaled as the policy
/// the gate then started under, so there is no transition to apply
/// again); under `requested` (the configured or staged one) while the
/// lineage holds no change. A requested policy different from the
/// lineage's takes effect through the change the primary journals as it
/// starts, in order, after the pending one.
///
/// With replication disabled, `requested` regardless, nothing pending: no
/// replica can ever witness the start's change, so a lineage last run
/// under a policy that needs one (restarted standalone under `disk`)
/// would hold every reply forever. The change is journaled unwitnessed
/// all the same, as the record of the switch, and so is `requested` when
/// the lineage already names it through a change that may still be
/// waiting for its witness (`policy_control::boot_entry`). A requested
/// policy that needs a replica can only be the configured one there (the
/// mailbox refuses to stage one, `AckPolicyControl::request`): a replica
/// promoted without `--replication-bind` under its `--ack-policy
/// disk+ram`, say. Its gate holds every reply until the operator's
/// `ACK-POLICY disk`, which, unwitnessed, takes effect once on disk: the
/// documented failover workflow, so it is served rather than refused.
///
/// A lineage byte this build does not know is refused rather than
/// replaced: the events it governs were acknowledged under a policy this
/// node cannot evaluate, so it must neither start nor promote on it. The
/// newest byte is checked in every case; the previous one only with
/// replication enabled, since a standalone start never reads it.
///
/// `replication` is the halt gate's (`HaltGate::replication`), so the
/// gate starts on the same answer to "standalone?" that the producer
/// decides its entries on.
pub(crate) fn initial_gate_policy(
    lineage: Option<LineagePolicy>,
    requested: AckPolicy,
    replication: Replication,
) -> Result<GateStart, String> {
    let Some(lineage) = lineage else {
        return Ok(GateStart::settled(requested));
    };
    let newest = known_lineage_policy(lineage.policy())?;
    match replication {
        Replication::Disabled => return Ok(GateStart::settled(requested)),
        Replication::Enabled => {}
    }
    let Some(previous) = lineage.previous else {
        return Ok(GateStart::settled(newest));
    };
    Ok(GateStart {
        in_force: known_lineage_policy(previous)?,
        pending: Some(PendingChange {
            wire_seq: lineage.wire_seq,
            policy: newest,
            unwitnessed: lineage.change.unwitnessed,
        }),
    })
}

/// A lineage policy byte this build knows, or the refusal to serve on it.
fn known_lineage_policy(byte: AckPolicyByte) -> Result<AckPolicy, String> {
    AckPolicy::from_byte(byte).ok_or_else(|| {
        format!(
            "the journal's ack policy (byte {}) is unknown to this build; \
             refusing to serve under it",
            byte.0
        )
    })
}

/// The cursors and shared state the gate reads. Grouped so the two
/// stages hand them over in one place instead of threading five
/// arguments through every call.
pub(crate) struct GateInputs {
    /// Highest wire seq durably persisted on this node's journal — see
    /// `response::Response::journal_persisted_wire_seq`.
    pub journal_persisted_wire_seq: DurableWireSeqCursor,
    /// The replicas' acked (persisted) and in-memory cursors, written by
    /// the replication handlers. `None` on a standalone node, where only
    /// the local journal can satisfy a policy.
    pub replication_metrics: Option<Arc<ReplicationMetrics>>,
    /// Per-replica-slot "connected and streaming" flags; an inactive
    /// slot's cursors are left out of the evaluation. A fixed `[_; 2]`
    /// rather than a `Vec` because a cluster has at most two replicas
    /// beside the primary and the array is indexed in step with
    /// `ReplicationMetrics`' per-slot cursors, with no allocation on the
    /// gate path. `None` on a standalone node, like the metrics.
    pub replica_active: Option<[Arc<AtomicBool>; 2]>,
    /// The stage's health gauges: the gate writes `policy_degraded`, the
    /// degraded-time counter and the journal/replication attribution
    /// counters read by `/healthz` and the metrics endpoint.
    pub utilization: Arc<StageUtilization>,
    /// How the gate waits on the journal-disk and replication threads.
    pub wait: WaitStrategy,
    /// Degraded release while halted; `None` when off (or without
    /// replication).
    pub degraded_release: Option<DegradedRelease>,
}

/// The durability gate and the ack-policy state it evaluates against.
///
/// Single-threaded: owned by the response stage's thread. Every change of
/// policy goes through [`Self::switch_to`].
pub(crate) struct DurabilityGate {
    inputs: GateInputs,
    /// Which stage owns this gate, for the switch / unknown-policy logs.
    stage: &'static str,
    /// See [`GatePolicy::forced`].
    forced: ForcedPolicyReader,
    /// Wire seq of the newest journaled change the gate has applied, in
    /// order or forced; `None` before any. A change at or below it is
    /// stale: a forced change already superseded it. A change naming an
    /// unknown policy is not recorded here (see [`Self::refuse_unknown`]).
    applied_through: Option<WireSeq>,
    /// Wire seq of the change last refused for naming an unknown policy,
    /// so one seen again (a forced change is re-read on every spin of a
    /// wait, then reaches the gate as its own slot) is logged once. An
    /// `Option<WireSeq>` rather than a set: the repeats come one after the
    /// other, and a bug that slips one more log line past it is still
    /// logged rather than hidden.
    last_refused: Option<WireSeq>,
    /// Changes still to apply, oldest first, each once durable under the
    /// policy before it: the lineage's newest (see [`GateStart`]), and
    /// any change slot a degraded release let through (see the module
    /// docs). Popped once applied, before any slot after it is admitted
    /// in full. A `VecDeque` because they are applied in order from the
    /// front and joined at the back; it allocates only when a change is
    /// released degraded, a halted node's operator swap.
    pending: VecDeque<PendingChange>,
    active_policy: AckPolicy,
    /// `active_policy.needs_replica()`, kept with it: asked on every spin
    /// of a halted gate, where building the policy to answer would
    /// allocate.
    needs_replica: bool,
    policy: Policy,
    /// Highest wire seq known durable under `policy`, cached so a slot
    /// whose event is already durable passes without touching an atomic.
    /// `u64` because it is compared against `OutputSlot::wire_seq`.
    cached_durable_pos: u64,
    degraded_logger: DegradationLogger,
    /// Last idle-path policy evaluation; bumped by [`Self::after_batch`]
    /// so the logger is not double-ticked when traffic stops.
    last_policy_check: Instant,
    /// Paces accrual ticks inside the gate-wait spin so the degraded-
    /// duration counter keeps advancing during a hard stall. Held across
    /// gate entries (not per entry) so the normal gated path — entered
    /// briefly whenever durability lags by a few µs — pays no extra
    /// `Instant::now()`; the amortized mask only reads the clock once per
    /// ~65 k cumulative spin iterations.
    accrual_timer: AmortizedTimer,
    /// When the current halt began: the latest loss's stamp, or the
    /// earliest sighting when the stamp is missing (see [`halt_start`]);
    /// `None` once a replica is seen streaming.
    halt_started: Option<Instant>,
    /// The degraded release is under way: the halt has outlasted the
    /// grace period. Kept for the `warn!` on entering and leaving it.
    releasing_degraded: bool,
}

impl DurabilityGate {
    /// Start under `policy.start` and evaluate it once, so the cached
    /// durable position and the `/healthz` gauge reflect the cluster's
    /// startup shape before the first batch — an unsatisfiable policy
    /// (e.g. a primary that just lost both replicas while running
    /// `disk+ram`) is visible immediately. A pending change that the
    /// evaluation already finds durable is applied here.
    pub(crate) fn new(inputs: GateInputs, policy: GatePolicy, stage: &'static str) -> Self {
        let GatePolicy {
            start:
                GateStart {
                    in_force: active_policy,
                    pending,
                },
            forced,
        } = policy;
        inputs
            .utilization
            .ack_policy_in_force
            .store(Some(active_policy.to_byte()));
        let policy = active_policy.to_policy();
        let now = Instant::now();
        let journal_pos = inputs.journal_persisted_wire_seq.load();
        let status = evaluate_durability(
            &policy,
            journal_pos,
            inputs.replication_metrics.as_deref(),
            inputs.replica_active.as_ref(),
        );
        inputs
            .utilization
            .policy_degraded
            .store(status.degraded, Ordering::Relaxed);
        let degraded_logger = if status.degraded {
            DegradationLogger::new_starting_degraded(now, &policy)
        } else {
            DegradationLogger::new(now)
        };
        if let Some(pending) = pending {
            tracing::info!(
                stage,
                in_force = active_policy.as_str(),
                pending = pending.policy.as_str(),
                wire_seq = pending.wire_seq.get(),
                unwitnessed = pending.unwitnessed,
                "the lineage's newest ack-policy change is applied again before any reply"
            );
        }
        let mut gate = Self {
            inputs,
            stage,
            forced,
            applied_through: None,
            last_refused: None,
            pending: pending.into_iter().collect(),
            active_policy,
            needs_replica: active_policy.needs_replica(),
            policy,
            cached_durable_pos: status.durable_pos,
            degraded_logger,
            last_policy_check: now,
            accrual_timer: AmortizedTimer::new(),
            halt_started: None,
            releasing_degraded: false,
        };
        gate.settle_pending_if_durable(journal_pos);
        gate
    }

    /// Apply the pending changes, oldest first, each once it is durable:
    /// under the policy in force (the cached durable position, which every
    /// caller has just refreshed or knows to cover it), or, for an
    /// unwitnessed one, on this node's disk (`journal_pos`). Never waits.
    /// Stops at the first change not yet durable: applying one switches
    /// the policy and resets the cached position, so the next is judged
    /// under its own predecessor once re-evaluated. The one place pending
    /// changes are settled: at the start, in the idle recheck, inside a
    /// wait (with the forced changes) and before a slot is admitted in
    /// full. Each is applied in order before every slot after it, or
    /// skipped by [`Self::apply_change`] if a forced change of this tenure
    /// has overtaken it.
    fn settle_pending_if_durable(&mut self, journal_pos: WireSeq) {
        while let Some(&pending) = self.pending.front() {
            if self.cached_durable_pos < pending.wire_seq.get()
                && !(pending.unwitnessed && journal_pos >= pending.wire_seq)
            {
                return;
            }
            self.apply_front_pending();
        }
    }

    /// Pop the front pending change and apply it: its caller has found it
    /// durable under the policy before it (or, unwitnessed, on disk), or
    /// overtaken by a forced change, which [`Self::apply_change`] skips.
    fn apply_front_pending(&mut self) {
        let Some(pending) = self.pending.pop_front() else {
            return;
        };
        let cause = if pending.unwitnessed {
            "pending unwitnessed change, on disk"
        } else {
            "pending change, durable under the policy before it"
        };
        self.apply_change(pending.wire_seq, pending.policy.to_byte(), cause);
    }

    /// The terminator for the request `backing` closes, from `ends`.
    /// Counts each degraded one for `melin_degraded_acks_total`: called
    /// once per request (on its last slot), by both stages.
    #[inline]
    pub(crate) fn batch_end<'e>(&self, backing: Backing, ends: &'e BatchEnds) -> &'e [u8] {
        match backing {
            Backing::Policy => &ends.policy,
            Backing::PrimaryOnly => {
                self.inputs
                    .utilization
                    .degraded_acks
                    .fetch_add(1, Ordering::Relaxed);
                &ends.primary_only
            }
        }
    }

    /// Whether the degraded release is open now: degraded release on, no
    /// replica streaming, a policy that needs one, and the halt older than
    /// the grace period. Also tracks the halt's start and logs entering
    /// and leaving the release.
    ///
    /// One acquire load while a replica is connected: `wait_durable` calls
    /// this on every spin in which the local journal holds the slot but
    /// the policy has not confirmed it, the normal `disk+ram`/`two-disks`
    /// path while a replica acks. The clock is read only while none is
    /// streaming.
    fn degraded_release_open(&mut self) -> bool {
        let Some(release) = self.inputs.degraded_release.as_ref() else {
            return false;
        };
        let grace = release.grace;
        let Some(loss) = release.presence.last_loss() else {
            self.halt_started = None;
            if self.releasing_degraded {
                self.log_degraded_release(false, true, grace);
            }
            return false;
        };
        let now = Instant::now();
        let started = halt_start(loss, self.halt_started, now);
        self.halt_started = Some(started);
        // Under a policy the primary's own disk satisfies (`disk`), the
        // policy itself confirms on the same cursor: nothing is weaker
        // than it, and there is nothing to release.
        let open = self.needs_replica && now.saturating_duration_since(started) >= grace;
        if open != self.releasing_degraded {
            self.log_degraded_release(open, false, grace);
        }
        open
    }

    /// Record and log entering (`open`) or leaving the degraded release.
    #[cold]
    fn log_degraded_release(&mut self, open: bool, replica_connected: bool, grace: Duration) {
        self.releasing_degraded = open;
        if open {
            tracing::warn!(
                stage = self.stage,
                policy = self.active_policy.as_str(),
                grace_ms = grace.as_millis() as u64,
                "no replica for the grace period: replies held for the ack policy are now \
                 released once this node's own journal holds them, marked as backed by the \
                 primary alone (BatchEndDegraded)"
            );
        } else {
            tracing::warn!(
                stage = self.stage,
                policy = self.active_policy.as_str(),
                replica_connected,
                "degraded release stopped: held replies wait for the ack policy again"
            );
        }
    }

    /// The one place the policy in force changes.
    ///
    /// Rebuilds the local policy and resets the cached durable position so
    /// the next gate evaluation starts from a clean slate — the fresh
    /// policy may evaluate degraded/undegraded differently against the
    /// same cluster shape. The logger is re-seeded so a transition under
    /// the new policy surfaces immediately rather than waiting out the
    /// sustained-state hold; accrual is flushed first so degraded time
    /// before the switch is not dropped.
    ///
    /// A change naming the policy already in force (a boot or standalone
    /// entry repeating it, an operator re-sending it) changes nothing, so
    /// it neither logs nor resets anything; the caller still records it
    /// as applied.
    fn switch_to(&mut self, next: AckPolicy, cause: &'static str) {
        if next == self.active_policy {
            return;
        }
        tracing::info!(
            stage = self.stage,
            prev = self.active_policy.as_str(),
            next = next.as_str(),
            cause,
            "ack policy switched"
        );
        self.active_policy = next;
        self.needs_replica = next.needs_replica();
        self.policy = next.to_policy();
        self.cached_durable_pos = 0;
        self.degraded_logger
            .reseed(&self.inputs.utilization, Instant::now());
        self.inputs
            .utilization
            .ack_policy_in_force
            .store(Some(next.to_byte()));
    }

    /// Apply the journaled change at `wire_seq`, unless a change at or
    /// after it has been applied already (a forced one overtook it).
    ///
    /// A byte this build does not know is refused ([`Self::refuse_unknown`]).
    fn apply_change(&mut self, wire_seq: WireSeq, policy: AckPolicyByte, cause: &'static str) {
        if self.is_stale(wire_seq) {
            return;
        }
        let Some(next) = AckPolicy::from_byte(policy) else {
            self.refuse_unknown(wire_seq, policy);
            return;
        };
        self.applied_through = Some(wire_seq);
        self.switch_to(next, cause);
    }

    /// A change at `wire_seq` is stale: one at or after it has been
    /// applied already (a forced one overtook it).
    fn is_stale(&self, wire_seq: WireSeq) -> bool {
        self.applied_through
            .is_some_and(|through| wire_seq <= through)
    }

    /// Refuse the change at `wire_seq`, which names a policy this build
    /// does not know: the prior policy stays, loudly. This node journaled
    /// the entry itself, from a policy it named, so it is a bug, and
    /// refusing every later reply would turn it into an outage.
    ///
    /// Not recorded as applied, whether it came in order, forced or
    /// released degraded: that would make a valid change before it, still
    /// pending, stale, and skip it.
    #[cold]
    fn refuse_unknown(&mut self, wire_seq: WireSeq, policy: AckPolicyByte) {
        if self.last_refused == Some(wire_seq) {
            return;
        }
        self.last_refused = Some(wire_seq);
        tracing::error!(
            stage = self.stage,
            byte = policy.0,
            wire_seq = wire_seq.get(),
            "journaled ack-policy change names an unknown policy; retaining prior policy"
        );
    }

    /// Apply the newest forced change once its own entry is durable on
    /// this node's disk (`journal_pos`), so the record of the swap exists
    /// before any reply relies on it. One already applied is skipped by
    /// [`Self::apply_change`]; one naming an unknown policy is refused on
    /// every spin, and logged once.
    ///
    /// The lineage's pending change is settled first, if durable (an
    /// unwitnessed one once on this node's disk, as a forced change is):
    /// it comes before any forced change of this tenure.
    #[inline]
    fn observe_forced(&mut self, journal_pos: WireSeq) {
        self.settle_pending_if_durable(journal_pos);
        if let Some(forced) = self.forced.load()
            && journal_pos >= forced.wire_seq
        {
            self.apply_change(forced.wire_seq, forced.policy, "forced change");
        }
    }

    /// Admit one output slot: hold it until its event is durable under
    /// the policy in force, then, for an ack-policy change, switch to the
    /// policy it names for every slot after it. Both response stages call
    /// this for every slot, in ring order.
    ///
    /// `before_wait` runs once, only when the slot has to wait — the
    /// kernel stage flushes its buffered replies there.
    ///
    /// A change a forced one has overtaken is stale, and not applied
    /// ([`Self::apply_change`]). Waiting on it holds nothing back: the
    /// forced change was applied only once its own entry, which comes after
    /// the stale one, was on this node's disk, so a forced `disk` finds the
    /// stale slot durable at once, and any other forced policy (a node
    /// without replication) holds the next reply as long.
    ///
    /// The first slot of a tenure whose lineage left a change pending
    /// waits for that change first, as it would have waited for the
    /// change's own slot (see [`GateStart`]).
    ///
    /// Returns where the slot's frames go ([`Admission`]): a change slot
    /// is the gate's alone.
    ///
    /// While the degraded release is open, a wait can let a slot through
    /// on the primary's own disk ([`Backing::PrimaryOnly`]). A pending
    /// change let through that way stays pending, so the slot behind it
    /// goes out marked too; a change slot let through that way is not
    /// applied but joins the pending changes (see the module docs).
    #[inline]
    pub(crate) fn admit<R: Copy, Q: Copy>(
        &mut self,
        slot: &OutputSlot<R, Q>,
        shutdown: &AtomicBool,
        #[cfg(feature = "tick-to-trade")] tracker: &mut GateCrossTracker,
        before_wait: impl FnOnce(),
    ) -> Admission {
        let mut before_wait = Some(before_wait);
        match self.admit_pending(
            shutdown,
            #[cfg(feature = "tick-to-trade")]
            tracker,
            &mut before_wait,
        ) {
            GateOutcome::Shutdown => Admission::Shutdown,
            GateOutcome::Open(backing) => self.admit_slot(
                slot,
                backing,
                shutdown,
                #[cfg(feature = "tick-to-trade")]
                tracker,
                &mut before_wait,
            ),
        }
    }

    /// The first half of [`Self::admit`]: wait for the pending changes,
    /// applying each, oldest first, once durable under the policy before
    /// it. Returns how the slot behind them is backed so far: by the
    /// policy once every one is applied, by the primary alone if a wait
    /// let one through degraded, which leaves it pending, and every change
    /// behind it.
    #[inline]
    fn admit_pending(
        &mut self,
        shutdown: &AtomicBool,
        #[cfg(feature = "tick-to-trade")] tracker: &mut GateCrossTracker,
        before_wait: &mut Option<impl FnOnce()>,
    ) -> GateOutcome {
        while let Some(&pending) = self.pending.front() {
            if pending.wire_seq.get() > self.cached_durable_pos {
                if let Some(before_wait) = before_wait.take() {
                    before_wait();
                }
                match self.wait_durable(
                    pending.wire_seq.get(),
                    shutdown,
                    #[cfg(feature = "tick-to-trade")]
                    tracker,
                ) {
                    GateOutcome::Shutdown => return GateOutcome::Shutdown,
                    GateOutcome::Open(Backing::PrimaryOnly) => {
                        return GateOutcome::Open(Backing::PrimaryOnly);
                    }
                    GateOutcome::Open(Backing::Policy) => {}
                }
                // The wait settled it already (an unwitnessed change once
                // on disk), and maybe more: judge the new front afresh.
                if self.pending.front() != Some(&pending) {
                    continue;
                }
            }
            // The policy in force covers the front change: the cached
            // position already did, or a full wait on it returned, which
            // it does only once that position reaches it. That policy is
            // the one before the change, every change ahead of it applied,
            // unless a forced change overtook it, which makes it stale.
            self.apply_front_pending();
        }
        GateOutcome::Open(Backing::Policy)
    }

    /// The second half of [`Self::admit`]: hold `slot` until durable
    /// under the policy in force, its backing no stronger than `backing`
    /// (how the pending changes ahead of it were let through), then apply
    /// or defer it if it is a change.
    #[inline]
    fn admit_slot<R: Copy, Q: Copy>(
        &mut self,
        slot: &OutputSlot<R, Q>,
        mut backing: Backing,
        shutdown: &AtomicBool,
        #[cfg(feature = "tick-to-trade")] tracker: &mut GateCrossTracker,
        before_wait: &mut Option<impl FnOnce()>,
    ) -> Admission {
        let change = match slot.payload {
            OutputPayload::AckPolicyChange(change) => Some(change),
            OutputPayload::Report(_)
            | OutputPayload::QueryResponse(_)
            | OutputPayload::BatchEnd
            | OutputPayload::EngineError => None,
        };
        if slot_needs_gate(slot, self.cached_durable_pos) {
            if let Some(before_wait) = before_wait.take() {
                before_wait();
            }
            match self.wait_durable(
                slot.wire_seq,
                shutdown,
                #[cfg(feature = "tick-to-trade")]
                tracker,
            ) {
                GateOutcome::Shutdown => return Admission::Shutdown,
                GateOutcome::Open(released) => backing = backing.min(released),
            }
        }
        let Some(change) = change else {
            return Admission::Reply {
                connection_id: slot.connection_id,
                backing,
            };
        };
        let wire_seq = WireSeq::new(slot.wire_seq);
        match backing {
            Backing::Policy => {
                let cause = if change.unwitnessed {
                    "unwitnessed change, in order"
                } else {
                    "journaled change"
                };
                self.apply_change(wire_seq, change.policy, cause);
            }
            Backing::PrimaryOnly => self.defer_change(wire_seq, change),
        }
        Admission::GateOnly
    }

    /// A change slot a degraded release let through: only the primary's
    /// disk holds it, which applies no change, so it joins the pending
    /// changes, applied in order once durable under the policy before it
    /// (an unwitnessed one once on disk, which it already is). One a
    /// forced change has overtaken is stale, as in [`Self::apply_change`].
    fn defer_change(&mut self, wire_seq: WireSeq, change: AckPolicyChange) {
        if self.is_stale(wire_seq) {
            return;
        }
        let Some(policy) = AckPolicy::from_byte(change.policy) else {
            self.refuse_unknown(wire_seq, change.policy);
            return;
        };
        tracing::info!(
            stage = self.stage,
            policy = policy.as_str(),
            wire_seq = wire_seq.get(),
            "ack-policy change released on this node's disk alone: applied once durable under \
             the policy before it"
        );
        self.pending.push_back(PendingChange {
            wire_seq,
            policy,
            unwitnessed: change.unwitnessed,
        });
    }

    /// Wait until wire seq `needed` is durable under the policy in force,
    /// or shutdown is requested.
    ///
    /// The gate waits on the journal-disk thread and the replication
    /// handlers — the exact threads a small box co-schedules with the
    /// response stage, so it waits the way every other wait does. A fresh
    /// waiter per gate entry: the spin budget is meant to cover one
    /// durability lag, not to carry over from the idle loop.
    ///
    /// A forced change is observed inside the wait. Without it, a slot
    /// whose gate became structurally unsatisfiable (every replica gone
    /// under `disk+ram`) would wedge the stage forever, even after an
    /// operator sent the remediating `ACK-POLICY disk` — its slot sits
    /// behind the stuck one.
    ///
    /// Shutdown is observed for the same reason: a gate that cannot open
    /// would otherwise hold this thread until a replica returned, and the
    /// shutdown sequence joins it without a timeout — an operator
    /// restarting the degraded node, or a fence (which co-sets
    /// `shutdown`), would hang the process.
    #[inline]
    fn wait_durable(
        &mut self,
        needed: u64,
        shutdown: &AtomicBool,
        #[cfg(feature = "tick-to-trade")] tracker: &mut GateCrossTracker,
    ) -> GateOutcome {
        let mut gate_waiter = self.inputs.wait.waiter();
        loop {
            if shutdown.load(Ordering::Relaxed) {
                return GateOutcome::Shutdown;
            }

            let journal_pos = self.inputs.journal_persisted_wire_seq.load();
            self.observe_forced(journal_pos);
            let metrics_ref = self.inputs.replication_metrics.as_deref();
            let active_ref = self.inputs.replica_active.as_ref();

            // The cross-tracker (traced builds only) samples the replica
            // cursor itself rather than sharing the evaluation's read
            // below: computing a standalone replica cursor
            // unconditionally spent four Acquire loads per spin iteration
            // on `ReplicationMetrics`, the same cache line the
            // replication sender writes on every ack and every completed
            // SEND. Gate attribution does not re-read at all — it comes
            // out of `evaluate_gate`, from the same snapshot that opens
            // the gate.
            #[cfg(feature = "tick-to-trade")]
            tracker.observe(
                journal_pos.get(),
                // The level the *active policy* gates replicas on —
                // in-memory under `disk+ram`, persisted under
                // `two-disks`. `None` when no clause is replica-supplied
                // (`disk`) and, transiently, when the binding replica
                // drops out of the cursor view mid-wait. Passed through
                // as-is so the tracker can tell "no replica wait to
                // measure" from "the replica caught up".
                policy_replica_cursor(&self.policy, journal_pos, metrics_ref, active_ref),
                trace::mono_trace_ns(),
            );

            let (status, blocker) =
                evaluate_gate(&self.policy, needed, journal_pos, metrics_ref, active_ref);
            self.cached_durable_pos = status.durable_pos;
            self.inputs
                .utilization
                .policy_degraded
                .store(status.degraded, Ordering::Relaxed);

            // Accrue degraded time while wedged. The post-batch tick
            // attributes the whole wait to a single state, so without
            // this a healthy→degraded flip during the wedge would be
            // mis-charged. While the gate waiter spins the clock read
            // behind the tick is mask-gated, landing only every ~65 k
            // iterations (`CHECK_MASK = 2^16`) regardless of the period;
            // once it yields, each iteration already pays a syscall and
            // the read is unmasked.
            if self
                .accrual_timer
                .tick(GATE_ACCRUAL_INTERVAL, gate_waiter.spinning())
                .is_some()
            {
                self.degraded_logger.tick(
                    &self.policy,
                    &self.inputs.utilization,
                    status.degraded,
                    Instant::now(),
                    DEGRADED_LOG_INTERVAL,
                );
            }

            if self.cached_durable_pos >= needed {
                // Attribution: which subsystem supplied the binding
                // cursor, from the same snapshot that opened the gate and
                // against the policy actually in force. Relaxed is fine —
                // health reads are infrequent.
                //
                // `None` is unreachable here: `needed >= 1` inside this
                // loop, and a degraded evaluation pins `durable_pos` to
                // 0, so an open gate implies the policy was satisfiable
                // and attribution has a verdict. The no-op arm keeps a
                // metrics-only path from ever panicking regardless.
                match blocker {
                    Some(Blocker::Journal) => {
                        self.inputs
                            .utilization
                            .gate_journal
                            .fetch_add(1, Ordering::Relaxed);
                    }
                    Some(Blocker::Replication) => {
                        self.inputs
                            .utilization
                            .gate_replication
                            .fetch_add(1, Ordering::Relaxed);
                    }
                    None => {}
                }
                return GateOutcome::Open(Backing::Policy);
            }

            // The policy has not confirmed the slot. While halted past
            // the grace period, the primary's own fsync releases it,
            // marked. `cached_durable_pos` keeps what the policy
            // confirmed, so the next slot is evaluated against the policy
            // again rather than waved through on this weaker condition.
            if journal_pos.get() >= needed && self.degraded_release_open() {
                return GateOutcome::Open(Backing::PrimaryOnly);
            }
            gate_waiter.idle();
        }
    }

    /// Re-evaluate the policy on a slow timer while no batches flow, so
    /// the `policy_degraded` flag and the periodic warn track the
    /// cluster's real state even on a quiet node, and the next batch's
    /// gate starts from a fresh cached position rather than spinning from
    /// a stale one. A no-op until [`POLICY_CHECK_INTERVAL`] has passed
    /// since the last check (or the last batch).
    ///
    /// A pending change the evaluation finds durable is applied here too,
    /// so a quiet node reports the policy in force once the change is
    /// re-confirmed rather than at its next write.
    #[inline]
    pub(crate) fn idle_recheck(&mut self, now: Instant) {
        if now.duration_since(self.last_policy_check) < POLICY_CHECK_INTERVAL {
            return;
        }
        self.last_policy_check = now;
        let journal_pos = self.inputs.journal_persisted_wire_seq.load();
        let status = evaluate_durability(
            &self.policy,
            journal_pos,
            self.inputs.replication_metrics.as_deref(),
            self.inputs.replica_active.as_ref(),
        );
        self.degraded_logger.tick(
            &self.policy,
            &self.inputs.utilization,
            status.degraded,
            now,
            DEGRADED_LOG_INTERVAL,
        );
        self.cached_durable_pos = status.durable_pos;
        self.settle_pending_if_durable(journal_pos);
        // Track the halt on a quiet node too, so entering and leaving the
        // degraded release is logged when it happens rather than at the
        // next held reply. Whether it is open matters only to a slot
        // being held, and none is.
        self.degraded_release_open();
    }

    /// Log degradation transitions / re-emit the reminder after a batch.
    /// Transitions are gated on a sustained-state hold so sub-second flap
    /// doesn't spam.
    ///
    /// Off a fresh clock read: with the gate evaluated per slot a batch
    /// can span several waits, and a timestamp taken at the start of the
    /// batch predates all of them. The accrual inside each wait already
    /// charges degraded time as it elapses; this tick decides
    /// transitions, so it wants the state and the timestamp as of the end
    /// of the batch. Bumps the idle path's check timestamp so the logger
    /// is not double-ticked when traffic stops.
    #[inline]
    pub(crate) fn after_batch(&mut self) {
        let ticked_at = Instant::now();
        let degraded_now = self
            .inputs
            .utilization
            .policy_degraded
            .load(Ordering::Relaxed);
        self.degraded_logger.tick(
            &self.policy,
            &self.inputs.utilization,
            degraded_now,
            ticked_at,
            DEGRADED_LOG_INTERVAL,
        );
        self.last_policy_check = ticked_at;
    }
}

/// When the current halt began, given the presence's `loss` and the
/// start the gate last recorded for it (`seen`, `None` if it has not seen
/// this halt before). A stamped loss is authoritative: it is the *latest*
/// one, so a replica that joined and left again between two of the gate's
/// looks (unseen while idle, checked once a second) restarts the grace
/// period. A missing stamp falls back to the earliest sighting of the
/// halt, `now` on the first, so the halt still ages from it.
fn halt_start(loss: LastLoss, seen: Option<Instant>, now: Instant) -> Instant {
    match loss {
        LastLoss::At(at) => at,
        LastLoss::Unknown => seen.unwrap_or(now),
    }
}

#[cfg(test)]
mod tests {
    use std::sync::mpsc;

    use melin_transport_core::WireSeq;
    use melin_transport_core::lineage::{ForcedPolicy, ForcedPolicyWriter, forced_policy_cell};
    use melin_transport_core::replica_presence::ReplicaPresence;

    use super::*;
    use crate::policy_control::test_support::lineage;

    /// A byte no `AckPolicy` maps to: a policy from a newer build, or a
    /// bug.
    const CORRUPT: u8 = 0xEE;

    /// A gate starting under `initial`, nothing pending, and the writer of
    /// its forced cell.
    fn build(
        initial: AckPolicy,
        journal_pos: u64,
        replication_metrics: Option<Arc<ReplicationMetrics>>,
        replica_active: Option<[Arc<AtomicBool>; 2]>,
    ) -> (DurabilityGate, ForcedPolicyWriter) {
        build_from(
            GateStart::settled(initial),
            journal_pos,
            replication_metrics,
            replica_active,
        )
    }

    /// A gate starting as `start`, and the writer of its forced cell.
    fn build_from(
        start: GateStart,
        journal_pos: u64,
        replication_metrics: Option<Arc<ReplicationMetrics>>,
        replica_active: Option<[Arc<AtomicBool>; 2]>,
    ) -> (DurabilityGate, ForcedPolicyWriter) {
        let (forced_writer, forced) = forced_policy_cell();
        let inputs = GateInputs {
            journal_persisted_wire_seq: DurableWireSeqCursor::detached(WireSeq::new(journal_pos)),
            replication_metrics,
            replica_active,
            utilization: Arc::new(StageUtilization::new()),
            wait: WaitStrategy::SpinThenYield,
            degraded_release: None,
        };
        let policy = GatePolicy { start, forced };
        (DurabilityGate::new(inputs, policy, "test"), forced_writer)
    }

    /// A start under `in_force`, with the lineage's change to `policy` at
    /// `wire_seq` pending.
    fn pending_start(
        in_force: AckPolicy,
        wire_seq: u64,
        policy: AckPolicy,
        unwitnessed: bool,
    ) -> GateStart {
        GateStart {
            in_force,
            pending: Some(PendingChange {
                wire_seq: WireSeq::new(wire_seq),
                policy,
                unwitnessed,
            }),
        }
    }

    /// The forced change at `wire_seq` to `policy`.
    fn forced_change(wire_seq: u64, policy: AckPolicyByte) -> ForcedPolicy {
        ForcedPolicy {
            wire_seq: WireSeq::new(wire_seq),
            policy,
        }
    }

    /// The gate has applied every change up to the one at `wire_seq`.
    #[track_caller]
    fn assert_applied_through(gate: &DurabilityGate, wire_seq: u64) {
        assert_eq!(gate.applied_through, Some(WireSeq::new(wire_seq)));
    }

    /// A standalone node's gate (no replicas), so `disk` is satisfied by
    /// the local journal alone and `disk+ram` is structurally
    /// unsatisfiable — degraded from the start.
    fn gate(policy: AckPolicy, journal_pos: u64) -> DurabilityGate {
        build(policy, journal_pos, None, None).0
    }

    /// A primary's gate with both replicas connected and caught up to the
    /// journal, so every policy opens at `pos`.
    fn gate_with_replicas(policy: AckPolicy, pos: u64) -> DurabilityGate {
        let metrics = ReplicationMetrics::default();
        for slot in 0..2 {
            metrics.acked_sequence[slot].store(pos, Ordering::Relaxed);
            metrics.in_memory_sequence[slot].store(pos, Ordering::Relaxed);
        }
        build(
            policy,
            pos,
            Some(Arc::new(metrics)),
            Some([
                Arc::new(AtomicBool::new(true)),
                Arc::new(AtomicBool::new(true)),
            ]),
        )
        .0
    }

    /// A primary's gate with one replica connected, holding nothing yet
    /// (both its cursors at 0): `disk` opens on the journal alone, and
    /// `disk+ram` waits for the replica's in-memory cursor, which the
    /// test moves through the returned metrics.
    fn gate_with_one_replica(
        initial: AckPolicy,
        journal_pos: u64,
    ) -> (DurabilityGate, Arc<ReplicationMetrics>, ForcedPolicyWriter) {
        gate_with_one_replica_from(GateStart::settled(initial), journal_pos)
    }

    /// [`gate_with_one_replica`], starting as `start`.
    fn gate_with_one_replica_from(
        start: GateStart,
        journal_pos: u64,
    ) -> (DurabilityGate, Arc<ReplicationMetrics>, ForcedPolicyWriter) {
        let metrics = Arc::new(ReplicationMetrics::default());
        let (gate, forced) = build_from(
            start,
            journal_pos,
            Some(Arc::clone(&metrics)),
            Some([
                Arc::new(AtomicBool::new(true)),
                Arc::new(AtomicBool::new(false)),
            ]),
        );
        (gate, metrics, forced)
    }

    /// The replica of [`gate_with_one_replica`] now holds every event up
    /// to `pos` in memory.
    fn replica_holds(metrics: &ReplicationMetrics, pos: u64) {
        metrics.in_memory_sequence[0].store(pos, Ordering::Release);
    }

    /// The replica of [`gate_with_one_replica`] has journaled every event
    /// up to `pos` (and so holds it in memory too).
    fn replica_persists(metrics: &ReplicationMetrics, pos: u64) {
        replica_holds(metrics, pos);
        metrics.acked_sequence[0].store(pos, Ordering::Release);
    }

    /// An application slot (no policy change) for the event at `wire_seq`.
    fn reply(wire_seq: u64) -> OutputSlot<u8, u8> {
        OutputSlot {
            wire_seq,
            payload: OutputPayload::Report(0),
            is_last_in_request: true,
            ..OutputSlot::default()
        }
    }

    /// The output slot of a policy change journaled at `wire_seq`.
    fn change(wire_seq: u64, policy: AckPolicy, unwitnessed: bool) -> OutputSlot<u8, u8> {
        change_byte(wire_seq, policy.to_byte(), unwitnessed)
    }

    fn change_byte(wire_seq: u64, policy: AckPolicyByte, unwitnessed: bool) -> OutputSlot<u8, u8> {
        OutputSlot {
            wire_seq,
            payload: OutputPayload::AckPolicyChange(melin_journal::AckPolicyChange {
                policy,
                unwitnessed,
            }),
            ..OutputSlot::default()
        }
    }

    fn admit(
        gate: &mut DurabilityGate,
        slot: &OutputSlot<u8, u8>,
        shutdown: &AtomicBool,
    ) -> Admission {
        #[cfg(feature = "tick-to-trade")]
        let mut tracker = GateCrossTracker::new(slot.wire_seq);
        gate.admit(
            slot,
            shutdown,
            #[cfg(feature = "tick-to-trade")]
            &mut tracker,
            || {},
        )
    }

    /// How long a held slot is watched before it is released: long enough
    /// that a gate wrongly open would have returned.
    const HOLD: Duration = Duration::from_millis(50);

    /// How long a slot may take to open once nothing holds it.
    const OPEN_WITHIN: Duration = Duration::from_secs(10);

    /// Admit `slot` on a helper thread; after `hold` (if any) record
    /// whether it is still waiting, run `release`, and give it
    /// [`OPEN_WITHIN`] to open. Shutdown stops a gate that never opens, so
    /// a regression fails the test instead of hanging it. Returns whether
    /// it was held, and whether it then opened.
    fn admit_watched(
        gate: &mut DurabilityGate,
        slot: &OutputSlot<u8, u8>,
        hold: Option<Duration>,
        release: impl FnOnce(),
    ) -> (bool, bool) {
        let shutdown = AtomicBool::new(false);
        std::thread::scope(|s| {
            let admitting = s.spawn(|| admit(gate, slot, &shutdown));
            let held = hold.is_some_and(|hold| {
                std::thread::sleep(hold);
                !admitting.is_finished()
            });
            release();
            let deadline = Instant::now() + OPEN_WITHIN;
            while !admitting.is_finished() && Instant::now() < deadline {
                std::thread::sleep(Duration::from_millis(1));
            }
            shutdown.store(true, Ordering::Relaxed);
            let outcome = admitting.join().expect("the admitting thread panicked");
            (held, outcome != Admission::Shutdown)
        })
    }

    /// Admit `slot`: it must open on the state as it is.
    #[track_caller]
    fn admit_now(gate: &mut DurabilityGate, slot: &OutputSlot<u8, u8>) {
        let (_, opened) = admit_watched(gate, slot, None, || {});
        assert!(opened, "slot {} did not open", slot.wire_seq);
    }

    /// Admit `slot`: it must still be held after [`HOLD`], and open once
    /// `release` has run.
    #[track_caller]
    fn assert_held_until(
        gate: &mut DurabilityGate,
        slot: &OutputSlot<u8, u8>,
        release: impl FnOnce(),
    ) {
        let (held, opened) = admit_watched(gate, slot, Some(HOLD), release);
        assert!(
            held,
            "slot {} was admitted before its release",
            slot.wire_seq
        );
        assert!(
            opened,
            "slot {} stayed held after its release",
            slot.wire_seq
        );
    }

    /// The policy the health gauge reports in force.
    fn in_force(gate: &DurabilityGate) -> Option<AckPolicy> {
        gate.inputs
            .utilization
            .ack_policy_in_force
            .load()
            .map(|byte| AckPolicy::from_byte(byte).expect("a known policy"))
    }

    fn wait(gate: &mut DurabilityGate, needed: u64, shutdown: &AtomicBool) -> GateOutcome {
        #[cfg(feature = "tick-to-trade")]
        let mut tracker = GateCrossTracker::new(needed);
        gate.wait_durable(
            needed,
            shutdown,
            #[cfg(feature = "tick-to-trade")]
            &mut tracker,
        )
    }

    fn degraded_nanos(gate: &DurabilityGate) -> u64 {
        gate.inputs
            .utilization
            .policy_degraded_nanos
            .load(Ordering::Relaxed)
    }

    fn attributions(gate: &DurabilityGate) -> (u64, u64) {
        let u = &gate.inputs.utilization;
        (
            u.gate_journal.load(Ordering::Relaxed),
            u.gate_replication.load(Ordering::Relaxed),
        )
    }

    /// Let measurable time pass so a degraded-time flush is non-zero.
    fn let_time_pass() {
        std::thread::sleep(Duration::from_millis(2));
    }

    #[test]
    fn startup_resolves_the_policy_and_its_durable_position() {
        let g = gate(AckPolicy::Disk, 5);
        assert_eq!(g.active_policy, AckPolicy::Disk);
        assert_eq!(g.cached_durable_pos, 5);
        assert!(!g.inputs.utilization.policy_degraded.load(Ordering::Relaxed));

        let g = gate(AckPolicy::DiskAndRam, 5);
        assert_eq!(g.cached_durable_pos, 0, "an unsatisfiable policy pins 0");
        assert!(g.inputs.utilization.policy_degraded.load(Ordering::Relaxed));
    }

    /// A swap rebuilds the policy, drops the cached position, and
    /// re-seeds the logger — flushing the degraded time accrued under
    /// the old policy, which is how the re-seed shows from outside.
    #[test]
    fn a_switch_resets_the_cached_position_and_reseeds_the_logger() {
        let mut g = gate(AckPolicy::Disk, 5);
        g.apply_change(WireSeq::new(1), AckPolicy::TwoDisks.to_byte(), "test");
        assert_eq!(g.active_policy, AckPolicy::TwoDisks);
        assert_eq!(g.policy, AckPolicy::TwoDisks.to_policy());
        assert_eq!(g.cached_durable_pos, 0);
        assert_eq!(in_force(&g), Some(AckPolicy::TwoDisks));

        let mut g = gate(AckPolicy::DiskAndRam, 5);
        let_time_pass();
        g.apply_change(WireSeq::new(1), AckPolicy::Disk.to_byte(), "test");
        assert_eq!(g.active_policy, AckPolicy::Disk);
        assert!(
            degraded_nanos(&g) > 0,
            "the re-seed flushes the degraded interval before the switch"
        );
    }

    /// A change repeating the policy in force is applied (a later change at
    /// or below it is stale) but switches nothing: the cached position is
    /// kept and the logger is not re-seeded.
    #[test]
    fn a_change_to_the_policy_in_force_is_applied_without_a_switch() {
        let mut g = gate(AckPolicy::Disk, 5);
        g.apply_change(WireSeq::new(3), AckPolicy::Disk.to_byte(), "test");
        assert_eq!(g.active_policy, AckPolicy::Disk);
        assert_eq!(g.cached_durable_pos, 5, "no switch: cached position kept");
        assert_applied_through(&g, 3);
        g.apply_change(WireSeq::new(2), AckPolicy::TwoDisks.to_byte(), "test");
        assert_eq!(g.active_policy, AckPolicy::Disk, "stale behind it");

        let mut g = gate(AckPolicy::DiskAndRam, 5);
        let_time_pass();
        g.apply_change(WireSeq::new(1), AckPolicy::DiskAndRam.to_byte(), "test");
        assert_eq!(degraded_nanos(&g), 0, "no re-seed, so nothing flushed");
    }

    /// While replication is on, the gate starts under the policy before
    /// the lineage's newest change, with the change pending (unwitnessed
    /// as journaled); under the newest one when it is the lineage's first
    /// change. A lineage with none takes the requested policy; with
    /// replication disabled the requested one wins, nothing pending (the
    /// standalone rule); an unknown lineage byte, newest or previous, is
    /// refused.
    #[test]
    fn the_initial_policy_is_the_lineages_with_its_newest_change_pending() {
        let disk = AckPolicy::Disk.to_byte();
        let two_disks = AckPolicy::TwoDisks.to_byte();
        let corrupt = AckPolicyByte(CORRUPT);
        use Replication::{Disabled, Enabled};
        for replication in [Enabled, Disabled] {
            assert_eq!(
                initial_gate_policy(None, AckPolicy::Disk, replication),
                Ok(GateStart::settled(AckPolicy::Disk))
            );
            let refused = initial_gate_policy(
                lineage(corrupt, false, 3, None),
                AckPolicy::Disk,
                replication,
            )
            .expect_err("an unknown byte is refused");
            assert!(refused.contains("238"), "names the byte: {refused}");
            assert_eq!(
                initial_gate_policy(
                    lineage(disk, true, 9, Some(two_disks)),
                    AckPolicy::Ram,
                    replication,
                ),
                Ok(match replication {
                    Enabled => pending_start(AckPolicy::TwoDisks, 9, AckPolicy::Disk, true),
                    Disabled => GateStart::settled(AckPolicy::Ram),
                }),
                "replication {replication:?}"
            );
        }
        assert_eq!(
            initial_gate_policy(lineage(two_disks, false, 1, None), AckPolicy::Disk, Enabled),
            Ok(GateStart::settled(AckPolicy::TwoDisks)),
            "the lineage's first change: nothing to apply again"
        );
        assert_eq!(
            initial_gate_policy(
                lineage(disk, false, 4, Some(two_disks)),
                AckPolicy::Disk,
                Enabled
            ),
            Ok(pending_start(
                AckPolicy::TwoDisks,
                4,
                AckPolicy::Disk,
                false
            )),
            "requested equal to the newest: still pending"
        );
        let refused = initial_gate_policy(
            lineage(disk, false, 4, Some(corrupt)),
            AckPolicy::Disk,
            Enabled,
        )
        .expect_err("an unknown previous byte is refused");
        assert!(refused.contains("238"), "names the byte: {refused}");
    }

    /// The restart the lineage's pending change exists for: under
    /// `disk+ram`, the change to `disk` at 5 was journaled but the
    /// replica may never have held it. The gate starts under `disk+ram`
    /// (and says so), holds the first slot after the change, though it is
    /// on disk, until the replica holds the change, then applies it in
    /// order: that slot and the next open on the disk alone.
    #[test]
    fn a_pending_change_is_held_until_durable_under_the_policy_before_it() {
        let (mut g, metrics, _forced) = gate_with_one_replica_from(
            pending_start(AckPolicy::DiskAndRam, 5, AckPolicy::Disk, false),
            10,
        );
        assert_eq!(in_force(&g), Some(AckPolicy::DiskAndRam));
        replica_holds(&metrics, 4);
        assert_held_until(&mut g, &reply(8), || replica_holds(&metrics, 5));
        assert_eq!(g.active_policy, AckPolicy::Disk);
        assert_eq!(in_force(&g), Some(AckPolicy::Disk));
        assert!(g.pending.is_empty(), "consumed");
        assert_applied_through(&g, 5);
        admit_now(&mut g, &reply(9));
    }

    /// An unwitnessed pending change (a forced swap, or a standalone run)
    /// is applied once its entry is on this node's disk, as it was when
    /// journaled: at once on a restart, where it already is, and after
    /// the local fsync on a promoted replica still writing it.
    #[test]
    fn an_unwitnessed_pending_change_is_applied_once_on_disk() {
        // On disk already: applied as the gate starts.
        let (g, _) = build_from(
            pending_start(AckPolicy::DiskAndRam, 3, AckPolicy::Disk, true),
            4,
            None,
            None,
        );
        assert_eq!(g.active_policy, AckPolicy::Disk);
        assert_eq!(in_force(&g), Some(AckPolicy::Disk));
        assert!(g.pending.is_empty());

        // Not yet on disk, and no replica: `disk+ram` cannot open, so the
        // slot is held until the change's entry is durable locally.
        let (mut g, _) = build_from(
            pending_start(AckPolicy::DiskAndRam, 6, AckPolicy::Disk, true),
            4,
            None,
            None,
        );
        assert_eq!(in_force(&g), Some(AckPolicy::DiskAndRam));
        let journal = g.inputs.journal_persisted_wire_seq.clone();
        assert_held_until(&mut g, &reply(7), || journal.store(WireSeq::new(7)));
        assert_eq!(g.active_policy, AckPolicy::Disk);
        assert_applied_through(&g, 6);
    }

    /// A pending change the cluster already confirms is applied as the
    /// gate starts, before any slot: both replicas hold it.
    #[test]
    fn a_pending_change_already_durable_is_applied_at_the_start() {
        let metrics = ReplicationMetrics::default();
        for slot in 0..2 {
            metrics.in_memory_sequence[slot].store(6, Ordering::Relaxed);
        }
        let (g, _) = build_from(
            pending_start(AckPolicy::Ram, 3, AckPolicy::Disk, false),
            6,
            Some(Arc::new(metrics)),
            Some([
                Arc::new(AtomicBool::new(true)),
                Arc::new(AtomicBool::new(true)),
            ]),
        );
        assert_eq!(g.active_policy, AckPolicy::Disk);
        assert!(g.pending.is_empty());
    }

    /// A restart under a different requested policy journals a boot entry
    /// after the pending change: the pending change is applied first,
    /// under the policy before it, then the boot entry in order under the
    /// pending change's policy. Neither is merged into the other.
    #[test]
    fn a_boot_change_after_a_pending_one_is_applied_after_it() {
        let (mut g, metrics, _forced) = gate_with_one_replica_from(
            pending_start(AckPolicy::DiskAndRam, 3, AckPolicy::Disk, false),
            10,
        );
        assert_held_until(&mut g, &change(4, AckPolicy::TwoDisks, false), || {
            replica_holds(&metrics, 3)
        });
        assert_eq!(g.active_policy, AckPolicy::TwoDisks);
        // `two-disks` wants the replica's journal, not its memory.
        replica_holds(&metrics, 5);
        assert_held_until(&mut g, &reply(5), || replica_persists(&metrics, 5));
    }

    /// The idle path applies a pending change the cluster has confirmed,
    /// so a quiet node reports it in force; before that it keeps it
    /// pending.
    #[test]
    fn the_idle_recheck_applies_a_confirmed_pending_change() {
        let (mut g, metrics, _forced) = gate_with_one_replica_from(
            pending_start(AckPolicy::DiskAndRam, 5, AckPolicy::Disk, false),
            10,
        );
        let checked = g.last_policy_check;
        replica_holds(&metrics, 4);
        g.idle_recheck(checked + POLICY_CHECK_INTERVAL);
        assert_eq!(in_force(&g), Some(AckPolicy::DiskAndRam), "not yet held");
        assert!(!g.pending.is_empty());

        replica_holds(&metrics, 5);
        g.idle_recheck(checked + 2 * POLICY_CHECK_INTERVAL);
        assert_eq!(in_force(&g), Some(AckPolicy::Disk));
        assert!(g.pending.is_empty());
    }

    /// A forced change of this tenure overtakes a pending one the old
    /// policy cannot confirm (no replica): the slot opens once the forced
    /// entry is on disk, and the pending change, below it, is stale.
    #[test]
    fn a_forced_change_overtakes_a_pending_one() {
        let (mut g, mut forced) = build_from(
            pending_start(AckPolicy::DiskAndRam, 3, AckPolicy::Ram, false),
            4,
            None,
            None,
        );
        let journal = g.inputs.journal_persisted_wire_seq.clone();
        forced.store(forced_change(5, AckPolicy::Disk.to_byte()));
        assert_held_until(&mut g, &reply(6), || journal.store(WireSeq::new(6)));
        assert_eq!(
            g.active_policy,
            AckPolicy::Disk,
            "not the stale pending `ram`"
        );
        assert_applied_through(&g, 5);
        assert!(g.pending.is_empty());
    }

    /// Shutdown stops a wait on the pending change, which stays pending.
    #[test]
    fn shutdown_releases_a_wait_on_the_pending_change() {
        let (mut g, _) = build_from(
            pending_start(AckPolicy::DiskAndRam, 3, AckPolicy::Disk, false),
            4,
            None,
            None,
        );
        let shutdown = AtomicBool::new(true);
        assert_eq!(admit(&mut g, &reply(4), &shutdown), Admission::Shutdown);
        assert!(!g.pending.is_empty());
        assert_eq!(g.active_policy, AckPolicy::DiskAndRam);
    }

    #[test]
    fn an_open_gate_attributes_exactly_once() {
        let mut g = gate(AckPolicy::Disk, 5);
        let shutdown = AtomicBool::new(false);
        assert!(matches!(
            wait(&mut g, 3, &shutdown),
            GateOutcome::Open(Backing::Policy)
        ));
        assert_eq!(attributions(&g), (1, 0), "disk opens on the journal");
        assert_eq!(g.cached_durable_pos, 5);
    }

    /// A wedged gate (every replica gone under `disk+ram`) still honours
    /// shutdown, and the reply it never confirmed is not attributed.
    /// Run on a helper thread so a regression fails the test instead of
    /// hanging it.
    #[test]
    fn shutdown_releases_a_wedged_gate_without_attribution() {
        let (tx, rx) = mpsc::channel();
        std::thread::spawn(move || {
            let mut g = gate(AckPolicy::DiskAndRam, 5);
            let shutdown = AtomicBool::new(true);
            let outcome = wait(&mut g, 3, &shutdown);
            // The receiver only disappears once the test has failed on
            // its timeout; nothing is left to report to.
            let _ = tx.send((matches!(outcome, GateOutcome::Shutdown), attributions(&g)));
        });
        let (was_shutdown, attributed) = rx
            .recv_timeout(Duration::from_secs(10))
            .expect("the wedged gate ignored shutdown");
        assert!(was_shutdown);
        assert_eq!(attributed, (0, 0));
    }

    /// Shutdown is checked before the gate is evaluated: a gate that
    /// would open on this pass still reports `Shutdown`, and attributes
    /// nothing, so a reply is never released during teardown.
    #[test]
    fn shutdown_wins_over_a_gate_ready_to_open() {
        let mut g = gate_with_replicas(AckPolicy::Disk, 5);
        let shutdown = AtomicBool::new(true);
        assert!(matches!(wait(&mut g, 3, &shutdown), GateOutcome::Shutdown));
        assert_eq!(attributions(&g), (0, 0));
    }

    /// A change takes effect at its slot: the slot before it is gated
    /// under the old policy, the slot after it under the new one, and the
    /// health gauge follows.
    #[test]
    fn a_change_applies_from_its_own_slot_on() {
        let (mut g, metrics, _forced) = gate_with_one_replica(AckPolicy::Disk, 10);
        assert_eq!(in_force(&g), Some(AckPolicy::Disk));
        admit_now(&mut g, &reply(4));
        admit_now(&mut g, &change(5, AckPolicy::DiskAndRam, false));
        assert_eq!(g.active_policy, AckPolicy::DiskAndRam);
        assert_eq!(in_force(&g), Some(AckPolicy::DiskAndRam));
        // On disk already, but `disk+ram` also wants the replica.
        assert_held_until(&mut g, &reply(6), || replica_holds(&metrics, 6));
    }

    /// A reply goes to its own connection; a change slot to none, even one
    /// addressed to a client, applied or stale alike.
    #[test]
    fn a_change_slot_goes_to_no_connection() {
        let mut g = gate(AckPolicy::Disk, 10);
        let shutdown = AtomicBool::new(false);
        let to = |connection_id, slot: OutputSlot<u8, u8>| OutputSlot {
            connection_id,
            ..slot
        };
        assert_eq!(
            admit(&mut g, &to(9, reply(3)), &shutdown),
            Admission::Reply {
                connection_id: 9,
                backing: Backing::Policy
            }
        );
        assert_eq!(
            admit(&mut g, &to(9, change(4, AckPolicy::Disk, true)), &shutdown),
            Admission::GateOnly
        );
        assert_applied_through(&g, 4);
        assert_eq!(
            admit(&mut g, &to(9, change(4, AckPolicy::Ram, false)), &shutdown),
            Admission::GateOnly,
            "stale, and still the gate's"
        );
        assert_eq!(g.active_policy, AckPolicy::Disk, "the stale one ignored");
    }

    /// A change waits until the policy before it has cleared its entry:
    /// under `disk+ram`, a switch to `disk` holds until the replica has
    /// the entry, and only the slots after it then open on the journal
    /// alone.
    #[test]
    fn a_change_is_held_until_the_old_policy_clears_its_entry() {
        let (mut g, metrics, _forced) = gate_with_one_replica(AckPolicy::DiskAndRam, 10);
        assert_held_until(&mut g, &change(5, AckPolicy::Disk, false), || {
            replica_holds(&metrics, 5)
        });
        assert_eq!(g.active_policy, AckPolicy::Disk);
        admit_now(&mut g, &reply(8));
    }

    /// Two pending changes are applied one by one, never merged: between
    /// `disk` → `disk+ram` at 3 and back to `disk` at 6, the slots are
    /// gated under `disk+ram`, and the second change itself waits for it.
    #[test]
    fn two_pending_changes_are_never_merged() {
        let (mut g, metrics, _forced) = gate_with_one_replica(AckPolicy::Disk, 10);
        admit_now(&mut g, &change(3, AckPolicy::DiskAndRam, false));
        assert_held_until(&mut g, &reply(4), || replica_holds(&metrics, 4));
        assert_held_until(&mut g, &change(6, AckPolicy::Disk, false), || {
            replica_holds(&metrics, 6)
        });
        assert_eq!(g.active_policy, AckPolicy::Disk);
        admit_now(&mut g, &reply(7));
    }

    /// A replicated primary's gate with degraded release, and the levers a
    /// test pulls on it: the journal cursor, one replica slot's cursors and
    /// active flag, the replica presence the halt is judged on, and the
    /// forced cell's writer.
    struct Primary {
        gate: DurabilityGate,
        journal: DurableWireSeqCursor,
        metrics: Arc<ReplicationMetrics>,
        active: Arc<AtomicBool>,
        presence: Arc<ReplicaPresence>,
        forced: ForcedPolicyWriter,
    }

    impl Primary {
        /// One replica slot, streaming and caught up to `pos` when
        /// `connected`, else gone (the node halted since it started).
        /// `grace` is the degraded release's, `None` for the switch off.
        fn new(policy: AckPolicy, pos: u64, connected: bool, grace: Option<Duration>) -> Self {
            Self::starting(GateStart::settled(policy), pos, connected, grace)
        }

        /// [`Primary::new`], starting as `start`.
        fn starting(start: GateStart, pos: u64, connected: bool, grace: Option<Duration>) -> Self {
            let metrics = Arc::new(ReplicationMetrics::default());
            let active = Arc::new(AtomicBool::new(false));
            let presence = Arc::new(ReplicaPresence::new());
            let journal = DurableWireSeqCursor::detached(WireSeq::new(pos));
            let (forced_writer, forced) = forced_policy_cell();
            let inputs = GateInputs {
                journal_persisted_wire_seq: journal.clone(),
                replication_metrics: Some(Arc::clone(&metrics)),
                replica_active: Some([Arc::clone(&active), Arc::new(AtomicBool::new(false))]),
                utilization: Arc::new(StageUtilization::new()),
                wait: WaitStrategy::SpinThenYield,
                degraded_release: grace.map(|grace| DegradedRelease {
                    presence: Arc::clone(&presence),
                    grace,
                }),
            };
            let p = Self {
                gate: DurabilityGate::new(inputs, GatePolicy { start, forced }, "test"),
                journal,
                metrics,
                active,
                presence,
                forced: forced_writer,
            };
            if connected {
                p.replica_streams(pos);
            }
            p
        }

        /// The replica leaves, as a sender records it.
        fn replica_leaves(&self) {
            self.active.store(false, Ordering::Release);
            self.presence.lower();
        }

        /// A replica is counted and streams, holding everything up to
        /// `pos` on disk.
        fn replica_streams(&self, pos: u64) {
            drop(self.presence.lift());
            replica_persists(&self.metrics, pos);
            self.active.store(true, Ordering::Release);
        }

        fn journal_at(&self, pos: u64) {
            self.journal.store(WireSeq::new(pos));
        }

        fn degraded_acks(&self) -> u64 {
            self.gate
                .inputs
                .utilization
                .degraded_acks
                .load(Ordering::Relaxed)
        }

        /// Admit `slot`, giving up after `patience`: a timer raises the
        /// shutdown flag, since a gate that holds the slot never returns
        /// on its own. `None` is "still held when patience ran out".
        fn admit_within(
            &mut self,
            slot: &OutputSlot<u8, u8>,
            patience: Duration,
        ) -> Option<Admission> {
            let shutdown = AtomicBool::new(false);
            std::thread::scope(|s| {
                let gate = &mut self.gate;
                let admitting = s.spawn(|| admit(gate, slot, &shutdown));
                let deadline = Instant::now() + patience;
                while !admitting.is_finished() && Instant::now() < deadline {
                    std::thread::sleep(Duration::from_millis(1));
                }
                shutdown.store(true, Ordering::Relaxed);
                match admitting.join().expect("the admitting thread panicked") {
                    Admission::Shutdown => None,
                    admitted => Some(admitted),
                }
            })
        }

        /// How a reply slot at `wire_seq` is released within `patience`,
        /// or `None` if it is still held.
        fn release(&mut self, wire_seq: u64, patience: Duration) -> Option<Backing> {
            self.release_slot(&reply(wire_seq), patience)
        }

        /// How `slot`, which answers a client, is released within
        /// `patience`, or `None` if it is still held.
        fn release_slot(
            &mut self,
            slot: &OutputSlot<u8, u8>,
            patience: Duration,
        ) -> Option<Backing> {
            match self.admit_within(slot, patience)? {
                Admission::Reply { backing, .. } => Some(backing),
                other => panic!("a reply slot admitted as {other:?}"),
            }
        }
    }

    /// Long enough for a gate that releases to have done so; short
    /// enough that a held slot costs the suite little.
    const PATIENCE: Duration = Duration::from_millis(300);

    /// A grace period that has long passed by the first check: the node
    /// halted as it started.
    const NO_GRACE: Option<Duration> = Some(Duration::ZERO);

    #[test]
    fn no_degraded_release_before_the_grace_period() {
        let mut p = Primary::new(
            AckPolicy::DiskAndRam,
            5,
            false,
            Some(Duration::from_secs(60)),
        );
        assert_eq!(p.release(5, PATIENCE), None, "held for the grace period");
        assert_eq!(p.degraded_acks(), 0);
    }

    #[test]
    fn a_halted_node_past_the_grace_releases_on_its_own_fsync_marked() {
        for policy in [AckPolicy::Ram, AckPolicy::DiskAndRam, AckPolicy::TwoDisks] {
            let mut p = Primary::new(policy, 5, false, NO_GRACE);
            assert_eq!(
                p.release(5, PATIENCE),
                Some(Backing::PrimaryOnly),
                "{policy}"
            );
            assert_eq!(p.gate.cached_durable_pos, 0, "the policy confirmed nothing");
        }
    }

    #[test]
    fn the_grace_period_runs_from_the_loss() {
        let mut p = Primary::new(
            AckPolicy::DiskAndRam,
            5,
            true,
            Some(Duration::from_millis(150)),
        );
        p.journal_at(6);
        p.replica_leaves();
        let started = Instant::now();
        assert_eq!(
            p.release(6, Duration::from_secs(5)),
            Some(Backing::PrimaryOnly)
        );
        assert!(
            started.elapsed() >= Duration::from_millis(150),
            "released before the grace ran out: {:?}",
            started.elapsed()
        );
    }

    /// A replica that joins and leaves again between two of the gate's
    /// looks, so the gate never sees the halt end, still restarts the
    /// grace period: it runs from the latest loss, not the first.
    #[test]
    fn an_unseen_rejoin_restarts_the_grace_period() {
        // Wide enough that a stalled runner between the second loss and
        // the first check still lands well inside the grace from it.
        let grace = Duration::from_millis(1_000);
        let mut p = Primary::new(AckPolicy::DiskAndRam, 5, true, Some(grace));
        p.replica_leaves();
        assert!(!p.gate.degraded_release_open(), "the halt has just begun");
        std::thread::sleep(Duration::from_millis(700));
        // The blip, between two looks.
        p.replica_streams(5);
        p.replica_leaves();
        let second_loss = Instant::now();
        std::thread::sleep(Duration::from_millis(400));
        // Past the grace from the first loss, not from the second.
        assert!(
            !p.gate.degraded_release_open(),
            "aged from the first loss: {:?} since the second",
            second_loss.elapsed()
        );
        std::thread::sleep(grace.saturating_sub(second_loss.elapsed()));
        assert!(
            p.gate.degraded_release_open(),
            "past the grace from the second loss"
        );
    }

    /// A stamped loss is the halt's start, even over an earlier sighting
    /// (the unseen-rejoin case above); a missing stamp ages from the
    /// earliest sighting of the halt, or from now on the first.
    #[test]
    fn a_missing_loss_stamp_ages_from_the_first_sighting() {
        let seen = Instant::now();
        let now = seen + Duration::from_secs(10);
        let lost = seen + Duration::from_secs(3);
        assert_eq!(
            halt_start(LastLoss::Unknown, None, now),
            now,
            "first sighting"
        );
        assert_eq!(halt_start(LastLoss::Unknown, Some(seen), now), seen);
        assert_eq!(halt_start(LastLoss::At(lost), Some(seen), now), lost);
        assert_eq!(halt_start(LastLoss::At(lost), None, now), lost);
    }

    /// The gate forgets a halt once it sees a replica streaming, and keeps
    /// the stamped start while halted.
    #[test]
    fn the_halt_start_is_tracked_while_halted_and_dropped_on_a_replica() {
        let mut p = Primary::new(AckPolicy::DiskAndRam, 5, true, NO_GRACE);
        assert!(!p.gate.degraded_release_open());
        assert_eq!(p.gate.halt_started, None);

        let before = Instant::now();
        p.replica_leaves();
        assert!(p.gate.degraded_release_open());
        let started = p.gate.halt_started.expect("halted");
        assert!(started >= before, "the loss's own stamp");
        assert!(p.gate.degraded_release_open());
        assert_eq!(p.gate.halt_started, Some(started), "the same halt");

        p.replica_streams(5);
        assert!(!p.gate.degraded_release_open());
        assert_eq!(p.gate.halt_started, None);
        assert!(!p.gate.releasing_degraded);
    }

    /// Whether the policy needs a replica follows every switch, both ways.
    #[test]
    fn the_release_follows_a_switch_to_and_from_a_policy_needing_a_replica() {
        let mut p = Primary::new(AckPolicy::Disk, 5, false, NO_GRACE);
        assert!(!p.gate.degraded_release_open(), "disk needs no replica");
        p.gate.switch_to(AckPolicy::TwoDisks, "test");
        assert!(p.gate.degraded_release_open());
        assert!(p.gate.releasing_degraded);
        p.gate.switch_to(AckPolicy::Disk, "test");
        assert!(!p.gate.degraded_release_open());
        assert!(!p.gate.releasing_degraded);
    }

    /// `disk` is met by the same cursor: every reply is a full one, halted
    /// or not, and nothing is counted as degraded.
    #[test]
    fn no_degraded_release_under_disk() {
        let mut p = Primary::new(AckPolicy::Disk, 5, false, NO_GRACE);
        assert_eq!(p.release(5, PATIENCE), Some(Backing::Policy));
        assert_eq!(p.release(6, PATIENCE), None, "not yet on the journal");
        assert!(!p.gate.releasing_degraded);
    }

    #[test]
    fn no_degraded_release_with_the_switch_off() {
        let mut p = Primary::new(AckPolicy::DiskAndRam, 5, false, None);
        assert_eq!(p.release(5, PATIENCE), None, "the stall, unchanged");
        assert_eq!(p.degraded_acks(), 0);
    }

    /// A replica that is connected but behind is backpressure, not a halt:
    /// its replies wait however long it lags.
    #[test]
    fn no_degraded_release_while_a_replica_is_connected_but_behind() {
        let mut p = Primary::new(AckPolicy::TwoDisks, 5, true, NO_GRACE);
        p.journal_at(9);
        assert_eq!(p.release(9, PATIENCE), None, "held for the replica");
    }

    /// Under `ram` an event may be only in the primary's memory: the
    /// degraded release waits for the primary's fsync like any other.
    #[test]
    fn an_unfsynced_slot_under_ram_is_held_until_the_primary_fsyncs_it() {
        let mut p = Primary::new(AckPolicy::Ram, 5, false, NO_GRACE);
        assert_eq!(
            p.release(6, PATIENCE),
            None,
            "the primary's disk does not hold it yet"
        );
        p.journal_at(6);
        assert_eq!(p.release(6, PATIENCE), Some(Backing::PrimaryOnly));
    }

    #[test]
    fn a_full_ack_resumes_once_a_replica_streams_again() {
        let mut p = Primary::new(AckPolicy::DiskAndRam, 5, false, NO_GRACE);
        assert_eq!(p.release(5, PATIENCE), Some(Backing::PrimaryOnly));
        assert!(p.gate.releasing_degraded);

        p.journal_at(7);
        p.replica_streams(7);
        assert_eq!(
            p.release(6, PATIENCE),
            Some(Backing::Policy),
            "the policy is met again"
        );
        assert_eq!(p.release(7, PATIENCE), Some(Backing::Policy));
        assert_eq!(p.gate.cached_durable_pos, 7);

        // A connected replica that falls behind holds replies again: the
        // degraded release stopped with the halt.
        p.journal_at(9);
        assert_eq!(p.release(9, PATIENCE), None);
        assert!(!p.gate.releasing_degraded);
    }

    /// Chosen behaviour, pinned: a query answered during a halt over state
    /// every replica had confirmed before it left is marked `PrimaryOnly`
    /// (it ends in `BatchEndDegraded`) and counted in
    /// `melin_degraded_acks_total`, like any other reply the halted node
    /// releases on its own disk.
    ///
    /// The gate keeps no record of what the policy confirmed before the
    /// loss. Once it evaluates the policy with no replica streaming — on
    /// the idle timer here, as on a quiet halted node whose writes are
    /// refused at ingress, or in any held slot's wait — the durable
    /// position is pinned to 0, so a slot at a position the policy
    /// confirmed long ago is judged unconfirmed, and past the grace goes
    /// out on the primary's own fsync, marked. A change here changes what
    /// clients and the metric are told; it is a decision, not a fix.
    #[test]
    fn a_query_over_state_confirmed_before_the_loss_is_answered_primary_only() {
        let grace = Duration::from_millis(100);
        let mut p = Primary::new(AckPolicy::DiskAndRam, 5, true, Some(grace));
        assert_eq!(
            p.release(5, PATIENCE),
            Some(Backing::Policy),
            "before the loss the policy confirms everything through 5"
        );
        assert_eq!(p.gate.cached_durable_pos, 5);

        p.replica_leaves();
        std::thread::sleep(grace);
        let due = p.gate.last_policy_check + POLICY_CHECK_INTERVAL;
        p.gate.idle_recheck(due);
        assert_eq!(
            p.gate.cached_durable_pos, 0,
            "with no replica streaming the evaluation pins the durable position to 0"
        );

        let query = OutputSlot {
            wire_seq: 5,
            payload: OutputPayload::QueryResponse(0),
            is_last_in_request: true,
            ..OutputSlot::default()
        };
        let backing = p.release_slot(&query, PATIENCE);
        assert_eq!(
            backing,
            Some(Backing::PrimaryOnly),
            "marked, though every replica confirmed position 5 before it left"
        );
        let ends = BatchEnds::new();
        assert_eq!(
            p.gate.batch_end(Backing::PrimaryOnly, &ends),
            ends.primary_only
        );
        assert_eq!(p.degraded_acks(), 1, "counted in melin_degraded_acks_total");
    }

    /// The cache trap: a degraded release must not advance the position
    /// the policy confirmed, or the next slot would pass the cached check
    /// and go out with a full `BatchEnd`.
    #[test]
    fn after_a_degraded_release_the_next_slot_is_still_evaluated_and_still_degraded() {
        let mut p = Primary::new(AckPolicy::DiskAndRam, 9, false, NO_GRACE);
        assert_eq!(p.release(5, PATIENCE), Some(Backing::PrimaryOnly));
        assert!(
            slot_needs_gate(&reply(6), p.gate.cached_durable_pos),
            "the next slot is not waved through on the degraded release"
        );
        assert_eq!(
            p.release(6, PATIENCE),
            Some(Backing::PrimaryOnly),
            "never a full BatchEnd"
        );
        assert_eq!(p.gate.cached_durable_pos, 0);
    }

    /// A change slot let through on the primary's disk alone is not
    /// applied: the slots after it are still judged under the policy
    /// before it, and go out marked. Once a replica confirms the change
    /// under that policy, it applies, and the next slot is judged under
    /// the new one.
    #[test]
    fn a_change_released_degraded_is_applied_only_once_the_policy_before_it_confirms_it() {
        let mut p = Primary::new(AckPolicy::DiskAndRam, 6, false, NO_GRACE);
        assert_eq!(
            p.admit_within(&change(4, AckPolicy::TwoDisks, false), PATIENCE),
            Some(Admission::GateOnly)
        );
        assert_eq!(p.gate.active_policy, AckPolicy::DiskAndRam, "not applied");
        assert_eq!(p.gate.applied_through, None);
        assert_eq!(p.gate.pending.len(), 1, "deferred");
        assert_eq!(p.release(5, PATIENCE), Some(Backing::PrimaryOnly));

        // A replica back, holding the change in memory only: `disk+ram`
        // confirms the change, which applies; `two-disks` then needs the
        // replica's disk for the slot after it.
        drop(p.presence.lift());
        replica_holds(&p.metrics, 6);
        p.active.store(true, Ordering::Release);
        assert_eq!(
            p.release(6, PATIENCE),
            None,
            "judged under two-disks, which the replica's disk does not meet yet"
        );
        assert_eq!(p.gate.active_policy, AckPolicy::TwoDisks);
        assert!(p.gate.pending.is_empty());
        replica_persists(&p.metrics, 6);
        assert_eq!(p.release(6, PATIENCE), Some(Backing::Policy));
    }

    /// The lineage's pending change of a restarted primary that has no
    /// replica: the degraded release lets the slots after it out marked,
    /// leaving the change pending, rather than holding every reply.
    #[test]
    fn a_pending_change_released_degraded_stays_pending_and_marks_what_follows() {
        let mut p = Primary::starting(
            pending_start(AckPolicy::DiskAndRam, 3, AckPolicy::Ram, false),
            5,
            false,
            NO_GRACE,
        );
        assert_eq!(p.release(4, PATIENCE), Some(Backing::PrimaryOnly));
        assert_eq!(p.gate.active_policy, AckPolicy::DiskAndRam);
        assert_eq!(p.gate.pending.len(), 1);

        p.replica_streams(5);
        assert_eq!(p.release(5, PATIENCE), Some(Backing::Policy));
        assert_eq!(p.gate.active_policy, AckPolicy::Ram, "applied in order");
        assert!(p.gate.pending.is_empty());
    }

    /// Two changes let through degraded are each applied in order, under
    /// the policy before it, never merged.
    #[test]
    fn changes_released_degraded_are_applied_one_by_one() {
        let mut p = Primary::new(AckPolicy::TwoDisks, 8, false, NO_GRACE);
        for (wire_seq, policy) in [(3, AckPolicy::DiskAndRam), (5, AckPolicy::Disk)] {
            assert_eq!(
                p.admit_within(&change(wire_seq, policy, false), PATIENCE),
                Some(Admission::GateOnly)
            );
        }
        assert_eq!(p.gate.pending.len(), 2);

        // A replica holding 3 on disk and 5 in memory: `two-disks`
        // confirms the first change, `disk+ram` then the second.
        drop(p.presence.lift());
        p.metrics.acked_sequence[0].store(3, Ordering::Release);
        replica_holds(&p.metrics, 5);
        p.active.store(true, Ordering::Release);
        assert_eq!(p.release(8, PATIENCE), Some(Backing::Policy));
        assert_eq!(p.gate.active_policy, AckPolicy::Disk);
        assert_applied_through(&p.gate, 5);
    }

    /// An unwitnessed change let through degraded needs no witness: it is
    /// on this node's disk, and applies at once, in order.
    #[test]
    fn an_unwitnessed_change_released_degraded_applies_once_on_disk() {
        let mut p = Primary::new(AckPolicy::DiskAndRam, 6, false, NO_GRACE);
        assert_eq!(
            p.admit_within(&change(4, AckPolicy::Disk, true), PATIENCE),
            Some(Admission::GateOnly)
        );
        assert_eq!(p.release(5, PATIENCE), Some(Backing::Policy));
        assert_eq!(p.gate.active_policy, AckPolicy::Disk);
    }

    /// A pending change let through degraded marks the slot behind it
    /// even when a replica returns before the slot's own wait, which then
    /// opens under the policy: the change stays pending until the next
    /// admit applies it. The two halves of `admit` are driven one by one
    /// so the replica can return between them.
    #[test]
    fn a_pending_change_released_degraded_marks_a_slot_the_policy_then_confirms() {
        let mut p = Primary::starting(
            pending_start(AckPolicy::DiskAndRam, 3, AckPolicy::Ram, false),
            5,
            false,
            NO_GRACE,
        );
        let shutdown = AtomicBool::new(false);
        let mut waits = 0;
        let mut before_wait = Some(|| waits += 1);
        #[cfg(feature = "tick-to-trade")]
        let mut tracker = GateCrossTracker::new(5);
        let backing = match p.gate.admit_pending(
            &shutdown,
            #[cfg(feature = "tick-to-trade")]
            &mut tracker,
            &mut before_wait,
        ) {
            GateOutcome::Open(backing) => backing,
            GateOutcome::Shutdown => panic!("no shutdown was requested"),
        };
        assert_eq!(backing, Backing::PrimaryOnly);
        assert_eq!(p.gate.pending.len(), 1, "left pending");

        p.replica_streams(5);
        let admitted = p.gate.admit_slot(
            &reply(5),
            backing,
            &shutdown,
            #[cfg(feature = "tick-to-trade")]
            &mut tracker,
            &mut before_wait,
        );
        assert_eq!(
            admitted,
            Admission::Reply {
                connection_id: 0,
                backing: Backing::PrimaryOnly
            },
            "never a full BatchEnd behind an unapplied change"
        );
        assert_eq!(
            p.gate.cached_durable_pos, 5,
            "the slot's wait opened in full"
        );
        assert_eq!(p.gate.active_policy, AckPolicy::DiskAndRam, "not applied");
        assert_eq!(p.gate.pending.len(), 1);
        assert_eq!(waits, 1, "the flush hook ran once, before the first wait");

        p.journal_at(6);
        p.replica_streams(6);
        assert_eq!(p.release(6, PATIENCE), Some(Backing::Policy));
        assert_eq!(p.gate.active_policy, AckPolicy::Ram, "applied in order");
        assert_applied_through(&p.gate, 3);
        assert!(p.gate.pending.is_empty());
    }

    /// A change slot let through degraded after a forced change of this
    /// tenure overtook it is stale: not deferred, so never applied.
    #[test]
    fn a_change_released_degraded_behind_a_forced_one_is_stale() {
        let mut p = Primary::new(AckPolicy::DiskAndRam, 6, false, NO_GRACE);
        // `ram` needs a replica too, so the halt still releases degraded.
        p.forced.store(forced_change(5, AckPolicy::Ram.to_byte()));
        assert_eq!(p.release(6, PATIENCE), Some(Backing::PrimaryOnly));
        assert_eq!(p.gate.active_policy, AckPolicy::Ram);
        assert_eq!(
            p.admit_within(&change(4, AckPolicy::TwoDisks, false), PATIENCE),
            Some(Admission::GateOnly)
        );
        assert!(p.gate.pending.is_empty(), "stale, not deferred");
        assert_applied_through(&p.gate, 5);
        assert_eq!(p.gate.active_policy, AckPolicy::Ram);
    }

    /// A change naming an unknown policy, released degraded or forced,
    /// keeps the policy in force and is not recorded as applied, so a
    /// valid change deferred before it still applies in order.
    #[test]
    fn an_unknown_policy_leaves_an_earlier_deferred_change_pending() {
        let mut p = Primary::new(AckPolicy::DiskAndRam, 8, false, NO_GRACE);
        assert_eq!(
            p.admit_within(&change(3, AckPolicy::TwoDisks, false), PATIENCE),
            Some(Admission::GateOnly)
        );
        // Released degraded: through `defer_change`.
        assert_eq!(
            p.admit_within(&change_byte(5, AckPolicyByte(CORRUPT), false), PATIENCE),
            Some(Admission::GateOnly)
        );
        assert_eq!(p.gate.pending.len(), 1, "the unknown one is not deferred");
        assert_eq!(p.gate.last_refused, Some(WireSeq::new(5)));
        // Forced: through `apply_change`, inside the pending change's wait.
        p.forced.store(forced_change(6, AckPolicyByte(CORRUPT)));
        assert_eq!(p.release(7, PATIENCE), Some(Backing::PrimaryOnly));
        assert_eq!(p.gate.last_refused, Some(WireSeq::new(6)));
        assert_eq!(p.gate.active_policy, AckPolicy::DiskAndRam);
        assert_eq!(p.gate.applied_through, None, "neither recorded as applied");
        assert_eq!(p.gate.pending.len(), 1);

        p.replica_streams(8);
        assert_eq!(p.release(8, PATIENCE), Some(Backing::Policy));
        assert_eq!(p.gate.active_policy, AckPolicy::TwoDisks, "not made stale");
        assert_applied_through(&p.gate, 3);
        assert!(p.gate.pending.is_empty());
    }

    /// A forced change of this tenure overtakes a change a degraded
    /// release deferred: the slot opens under the forced policy, and the
    /// deferred change, below it, is skipped as stale.
    #[test]
    fn a_forced_change_overtakes_a_deferred_one() {
        let mut p = Primary::new(AckPolicy::DiskAndRam, 6, false, NO_GRACE);
        assert_eq!(
            p.admit_within(&change(4, AckPolicy::Ram, false), PATIENCE),
            Some(Admission::GateOnly)
        );
        assert_eq!(p.gate.pending.len(), 1, "deferred");
        p.forced.store(forced_change(5, AckPolicy::Disk.to_byte()));
        assert_eq!(p.release(6, PATIENCE), Some(Backing::Policy));
        assert_eq!(
            p.gate.active_policy,
            AckPolicy::Disk,
            "not the stale deferred `ram`"
        );
        assert_applied_through(&p.gate, 5);
        assert!(p.gate.pending.is_empty());
    }

    /// The terminator follows the backing, and only degraded ones count.
    #[test]
    fn the_terminator_follows_the_backing_and_counts_degraded_acks() {
        let p = Primary::new(AckPolicy::DiskAndRam, 5, false, NO_GRACE);
        let ends = BatchEnds::new();
        assert_eq!(p.gate.batch_end(Backing::Policy, &ends), ends.policy);
        assert_eq!(p.degraded_acks(), 0);
        assert_eq!(
            p.gate.batch_end(Backing::PrimaryOnly, &ends),
            ends.primary_only
        );
        assert_eq!(p.degraded_acks(), 1);
        assert_eq!(
            ends.policy[4],
            melin_wire_protocol::control_codec::TAG_BATCH_END
        );
        assert_eq!(
            ends.primary_only[4],
            melin_wire_protocol::control_codec::TAG_BATCH_END_DEGRADED
        );
    }

    /// A forced swap frees a slot stuck ahead of it, but only once its own
    /// entry is on this node's disk; the wedged interval counts as
    /// degraded, and the opened slot is attributed once, to the journal. Later
    /// in-order changes at or below it — its own slot included — are stale
    /// and ignored, and a change after it applies again.
    #[test]
    fn a_forced_swap_frees_an_earlier_stuck_slot_once_its_entry_is_on_disk() {
        // No replica connected: `disk+ram` cannot open at all.
        let (mut g, mut forced) = build(AckPolicy::DiskAndRam, 4, None, None);
        let journal = g.inputs.journal_persisted_wire_seq.clone();
        forced.store(forced_change(6, AckPolicy::Disk.to_byte()));
        // The stuck slot is on disk already; the forced entry is not.
        assert_held_until(&mut g, &reply(3), || journal.store(WireSeq::new(6)));
        assert_eq!(g.active_policy, AckPolicy::Disk);
        assert_eq!(in_force(&g), Some(AckPolicy::Disk));
        // Some degraded time is on record across the forced unwedge. The
        // switch's re-seed flushes the interval since construction too, so
        // this does not tell the wait's own ticks from that flush
        // (`a_switch_resets_the_cached_position_and_reseeds_the_logger`).
        assert!(
            degraded_nanos(&g) > 0,
            "degraded time accrued during the wedge"
        );
        assert_eq!(attributions(&g), (1, 0), "opened on the journal, once");

        let cached = g.cached_durable_pos;
        admit_now(&mut g, &change(5, AckPolicy::TwoDisks, false));
        admit_now(&mut g, &change(6, AckPolicy::Disk, true));
        assert_eq!(g.active_policy, AckPolicy::Disk, "stale changes ignored");
        assert_eq!(g.cached_durable_pos, cached, "no switch, no reset");

        journal.store(WireSeq::new(7));
        admit_now(&mut g, &change(7, AckPolicy::Ram, false));
        assert_eq!(g.active_policy, AckPolicy::Ram);
    }

    /// A forced change the gate reached in order is not applied a second
    /// time by a later wait: the change after it stays in force, and the
    /// slot it gates stays held.
    #[test]
    fn a_forced_change_applied_in_order_is_not_reapplied() {
        let (mut g, metrics, mut forced) = gate_with_one_replica(AckPolicy::DiskAndRam, 10);
        replica_holds(&metrics, 3);
        forced.store(forced_change(2, AckPolicy::Disk.to_byte()));
        admit_now(&mut g, &change(2, AckPolicy::Disk, true));
        admit_now(&mut g, &change(3, AckPolicy::DiskAndRam, false));
        assert_held_until(&mut g, &reply(4), || replica_holds(&metrics, 4));
        assert_eq!(g.active_policy, AckPolicy::DiskAndRam);
    }

    /// A change naming a policy this build does not know keeps the prior
    /// policy untouched, in order and forced alike: no switch, so no
    /// re-seed and the cached durable position kept. Neither is recorded
    /// as applied; each is logged once.
    #[test]
    fn an_unknown_policy_in_a_change_keeps_the_prior_policy() {
        let (mut g, mut forced) = build(AckPolicy::Disk, 4, None, None);
        let journal = g.inputs.journal_persisted_wire_seq.clone();
        admit_now(&mut g, &change_byte(4, AckPolicyByte(CORRUPT), false));
        assert_eq!(g.active_policy, AckPolicy::Disk);
        assert_eq!(g.policy, AckPolicy::Disk.to_policy());
        assert_eq!(in_force(&g), Some(AckPolicy::Disk));
        assert_eq!(g.cached_durable_pos, 4, "no switch: cached position kept");
        assert_eq!(g.applied_through, None, "not recorded as applied");
        assert_eq!(g.last_refused, Some(WireSeq::new(4)));

        // The next slot waits; once the forced entry is on disk the wait
        // reads it, keeps the prior policy, and opens.
        forced.store(forced_change(6, AckPolicyByte(CORRUPT)));
        assert_held_until(&mut g, &reply(5), || journal.store(WireSeq::new(6)));
        assert_eq!(g.active_policy, AckPolicy::Disk);
        assert_eq!(g.applied_through, None, "not recorded as applied");
        // Refused on every spin, logged on the first.
        assert_eq!(g.last_refused, Some(WireSeq::new(6)));

        // A re-seed would flush the degraded time accrued under `disk+ram`.
        let mut g = gate(AckPolicy::DiskAndRam, 5);
        let_time_pass();
        g.apply_change(WireSeq::new(1), AckPolicyByte(CORRUPT), "test");
        assert_eq!(g.active_policy, AckPolicy::DiskAndRam);
        assert_eq!(degraded_nanos(&g), 0, "no re-seed on an unknown byte");
    }

    /// The flush hook runs only for a slot that has to wait.
    #[test]
    fn before_wait_runs_only_when_the_slot_waits() {
        let mut g = gate(AckPolicy::Disk, 5);
        let shutdown = AtomicBool::new(false);
        for (wire_seq, waits) in [(5, false), (6, true)] {
            let mut ran = false;
            if waits {
                // Durable while the hook runs, so the wait opens at once.
                let journal = g.inputs.journal_persisted_wire_seq.clone();
                journal.store(WireSeq::new(wire_seq));
            }
            #[cfg(feature = "tick-to-trade")]
            let mut tracker = GateCrossTracker::new(wire_seq);
            let outcome = g.admit(
                &reply(wire_seq),
                &shutdown,
                #[cfg(feature = "tick-to-trade")]
                &mut tracker,
                || ran = true,
            );
            assert_eq!(
                outcome,
                Admission::Reply {
                    connection_id: 0,
                    backing: Backing::Policy
                }
            );
            assert_eq!(ran, waits, "slot {wire_seq}");
        }
    }

    #[test]
    fn idle_recheck_waits_out_the_check_interval() {
        let mut g = gate(AckPolicy::Disk, 5);
        let checked = g.last_policy_check;
        g.inputs.journal_persisted_wire_seq.store(WireSeq::new(9));

        g.idle_recheck(checked + POLICY_CHECK_INTERVAL - Duration::from_millis(1));
        assert_eq!(g.cached_durable_pos, 5, "too early: no re-evaluation");
        assert_eq!(g.last_policy_check, checked);

        let due = checked + POLICY_CHECK_INTERVAL;
        g.idle_recheck(due);
        assert_eq!(g.cached_durable_pos, 9);
        assert_eq!(g.last_policy_check, due);
    }

    #[test]
    fn a_batch_defers_the_next_idle_recheck() {
        let mut g = gate(AckPolicy::Disk, 5);
        // An idle check long overdue, as after a quiet spell.
        g.last_policy_check = Instant::now()
            .checked_sub(2 * POLICY_CHECK_INTERVAL)
            .expect("the monotonic clock is past two check intervals");
        g.inputs.journal_persisted_wire_seq.store(WireSeq::new(9));

        g.after_batch();
        g.idle_recheck(Instant::now());
        assert_eq!(
            g.cached_durable_pos, 5,
            "the batch counted as the check, so the idle path waits"
        );
    }
}