pub enum AttentionKind {
ResultAvailable,
ReviewRejected,
StepFailed,
Blocked,
HumanDecisionRequested,
DeadlineExceeded,
InactivityDetected,
InterventionRequested,
CeremonyEnded,
}Expand description
Why a ceremony is worth the integrator’s attention.
A closed list, because the loop’s stopping rules are written over it: a kind the engine cannot name is a kind an integrator cannot be told to stop for.
Variants§
ResultAvailable
A step produced a result the integrator can take up.
ReviewRejected
A completed step’s own output says it was not accepted.
StepFailed
A step failed or ran out of time.
Blocked
The ceremony cannot move without something outside it.
HumanDecisionRequested
A human guard needs a person, or a person has just answered one.
DeadlineExceeded
A ceremony or state deadline passed.
InactivityDetected
Nothing has happened for longer than the policy tolerates.
InterventionRequested
A supervisor asked a question of whoever is working.
CeremonyEnded
The ceremony reached a terminal phase.
Implementations§
Source§impl AttentionKind
impl AttentionKind
Sourcepub fn from_label(label: &str) -> Option<Self>
pub fn from_label(label: &str) -> Option<Self>
The kind a derived identity ends with, when it ends with one.
AttentionEventId::derive
spells the kind into the identity, and the ledger holds that
identity rather than the event. Reading it back is what lets a
queue be weighed — which of the things waiting may be dropped —
without keeping a second copy of what each delivery is about.
pub const fn as_str(self) -> &'static str
Sourcepub const fn is_blocking(self) -> bool
pub const fn is_blocking(self) -> bool
Whether dropping this kind under overflow would lose a decision.
Overflow discards the oldest item that nobody is waiting on. A human decision, a block or the end of a ceremony are things the loop stops for, so they are never the ones discarded.