Enum RungId 

pub enum RungId {
    ScopeReach,
    KeyParse,
    RegistryDeclared,
    OriginAlive,
    PublisherDeclared,
    StorageCoverage,
    StoredValue,
    SampleFreshness,
    AdminAnswered,
    WireHeard,
}

Every rung the why ladder can put, in ladder order.

The same promise as CheckId, for the same reason: scripts key on these ids and the GUI renders them, so new rungs append and nothing renames one. It carries its own question, because the question is serialized beside the id — they are one fact, and keeping them apart is what let a match on the id go stale silently (#347).

Variants

ScopeReach

KeyParse

RegistryDeclared

OriginAlive

PublisherDeclared

StorageCoverage

StoredValue

SampleFreshness

AdminAnswered

WireHeard

Implementations

impl RungId

pub const ALL: [RungId; 10]

The ladder, in order. The why report emits exactly this, once each — a property that used to rest on a debug_assert_eq!, which only ran in debug builds.

pub fn as_str(self) -> &'static str

The wire token, exactly as it serializes.

pub fn question(self) -> &'static str

The question this rung puts, as prose — carried on the wire beside the id, which is why it lives on the type rather than in a match the compiler could not check.

pub fn is_cause_when_unestablished(self) -> bool

Whether a not-established answer on this rung explains the silence.

Policy, not rendering: both explorers and any script keying on the ndjson must agree on what exit 0 meant. The five that do are the ones whose failure is the reason nothing arrives. The five that do not, and why: publisher-declared because publishers declare lazily (RFC 08 §6.1), storage-coverage because uncovered volatile state is a legitimate deployment (RFC 04 §3.5), stored-value and wire-heard because an unanswered bounded ask is the very silence under investigation, and admin-answered because an absent admin space impairs the observation rather than explaining the key.

pub fn parse(token: &str) -> Option<RungId>

Read a rung id a caller supplied.

Trait Implementations

impl Clone for RungId

fn clone(&self) -> RungId

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for RungId

impl Debug for RungId

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for RungId

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for RungId

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

Formats the value using the given formatter.

impl Eq for RungId

impl Hash for RungId

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for RungId

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for RungId

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for RungId