pub struct RetiredReport {
pub registries: Vec<String>,
pub entries: Vec<RetiredEntry>,
pub window_s: Asked<f64>,
pub plane_samples: Asked<u64>,
pub dropped: Asked<u64>,
pub introspect_answered: usize,
pub admin_entities: Option<usize>,
pub verdict: CutoverVerdict,
}Expand description
The zenctl check retired report (issue #226): the deprecation
burn-down. The append-only ledger records dozens of individual
retirements; this says which ones are actually finished — a migration
without a burn-down list is a belief.
Fields§
§registries: Vec<String>The registry directories the ledger was read from. Stated because the
coverage claim is exactly these files: a --registry dir may be one
team’s slice of the fleet’s ledger, and the report must not read as
fleet totality.
entries: Vec<RetiredEntry>§window_s: Asked<f64>The listen window, when one ran. NotAsked = wire facts were not
asked.
plane_samples: Asked<u64>Samples heard under <base>/v1/ over the window — the fleet’s proof
of life, which is what lets a silent no-replacement entry pass rather
than a dead fleet passing every silence check for free (RFC 05 §3.1).
Gated with window_s.
dropped: Asked<u64>Samples the bounded observer missed during the window (O6): non-zero
weakens every silence claim and the report says so. NotAsked = no
listen window ran, so there was no observer to miss anything —
matching its sibling wire facts (window_s/plane_samples); an
unconditional 0 used to claim a clean observation nobody made
(RFC 09 §5.1 O4, review finding R6).
introspect_answered: usizeServed introspect slices that answered (RFC 08 §6).
admin_entities: Option<usize>Declared entities the admin sweep returned; None = no admin space
answered (adminspace.enabled defaults to false) — “not available”,
never “nothing declared” (RFC 09 §5.1 O4).
verdict: CutoverVerdictWorst entry verdict: any failure fails, else any unproven, else pass.
Trait Implementations§
Source§impl Clone for RetiredReport
impl Clone for RetiredReport
Source§fn clone(&self) -> RetiredReport
fn clone(&self) -> RetiredReport
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreSource§impl Debug for RetiredReport
impl Debug for RetiredReport
Auto Trait Implementations§
impl Freeze for RetiredReport
impl RefUnwindSafe for RetiredReport
impl Send for RetiredReport
impl Sync for RetiredReport
impl Unpin for RetiredReport
impl UnsafeUnpin for RetiredReport
impl UnwindSafe for RetiredReport
Blanket Implementations§
Source§impl<Source> AccessAs for Source
impl<Source> AccessAs for Source
Source§impl<'a, T, E> AsTaggedExplicit<'a, E> for Twhere
T: 'a,
impl<'a, T, E> AsTaggedExplicit<'a, E> for Twhere
T: 'a,
Source§impl<'a, T, E> AsTaggedImplicit<'a, E> for Twhere
T: 'a,
impl<'a, T, E> AsTaggedImplicit<'a, E> for Twhere
T: 'a,
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
fn instrument(self, span: Span) -> Instrumented<Self> ⓘ
Source§fn in_current_span(self) -> Instrumented<Self> ⓘ
fn in_current_span(self) -> Instrumented<Self> ⓘ
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
fn into_either(self, into_left: bool) -> Either<Self, Self> ⓘ
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self> ⓘ
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more