Skip to main content

TimelineDetail

Enum TimelineDetail 

Source
pub enum TimelineDetail {
Show 18 variants RunStarted { supervise_policy: Option<String>, }, StepEntered { step_id: String, }, PreflightProbed { pass: u32, fail: u32, unknown: u32, unprobed: bool, }, ActionIntent { call_id: String, args: BoundedValue, }, ActionSettled { call_id: String, outcome: String, execution_mode: Option<String>, fallback_reason: Option<String>, error: Option<TimelineErrorView>, }, ObservationRecorded { observation_id: String, captured_at_ms: u64, screenshot_omission: Option<String>, ui_snapshot_omission: Option<String>, }, AssertionEvaluated { assert_id: String, result: String, channel: Option<String>, reason: String, }, VerdictRecorded { status: String, degraded: bool, supersedes: Option<String>, summary: String, remote_archival_error: Option<String>, }, StepExited { state: StepState, }, CallFramePushed { callee: String, rebase: bool, }, CallFramePopped { has_outputs: bool, }, HandlerTriggered { hook: String, trigger: u64, disposition: Option<String>, }, HumanRequested { request_id: String, purpose: String, mode: Option<String>, prompt: String, }, HumanResponded { request_id: String, purpose: String, actor: String, response: BoundedValue, }, RunSuspended { reason: Option<String>, }, RunResumed { alignment: BoundedValue, supervise_policy: Option<String>, }, RunFinished { status: Option<String>, degraded: Option<bool>, remote_archival_error: Option<String>, }, OverLimit { event_type: String, },
}
Expand description

The typed per-event detail of one entry. A closed enum mirroring the 17-variant RunLog union, carrying only bounded summaries — full payloads stay in the dossier (08 §4.4).

Variants§

§

RunStarted

Run opened.

Fields

§supervise_policy: Option<String>

Supervision policy, explicit null when unsupervised (R13).

§

StepEntered

Step span opened.

Fields

§step_id: String

The entered step.

§

PreflightProbed

Resume-drift probes evaluated.

Fields

§pass: u32

Probe outcome counts as pass/fail/unknown.

§fail: u32

Failed probes.

§unknown: u32

Unknown probes.

§unprobed: bool

The step declared NO probes and this resume re-touched the world without checking it (07 §4.2 rule 1 / I3: 「没有探针的 resume 在 报告中标 unprobed,而不是假装校验过」). Stated as a flag, not left to be inferred from three zeroes — the whole point of the rule is that a reader sees it said.

§

ActionIntent

WAL intent (dispatch about to happen).

Fields

§call_id: String

The dispatch correlation id.

§args: BoundedValue

Bounded argument snapshot digest.

§

ActionSettled

Action reached a terminal (four-way, never folded — 08 §2.5).

Fields

§call_id: String

The dispatch correlation id.

§outcome: String

Terminal discriminant (succeeded/failed/cancelled/timedOut).

§execution_mode: Option<String>

Execution mode when reported (coordinateFallback highlighted by renderers).

§fallback_reason: Option<String>

Daemon-side degradation reason, when any.

§error: Option<TimelineErrorView>

Error surface on non-success terminals.

§

ObservationRecorded

Observation captured (legal omissions shown as-is).

Fields

§observation_id: String

Observation id.

§captured_at_ms: u64

Capture wall-clock.

§screenshot_omission: Option<String>

Screenshot omission reason, when omitted.

§ui_snapshot_omission: Option<String>

uiSnapshot omission reason, when omitted.

§

AssertionEvaluated

One assertion evaluated.

Fields

§assert_id: String

The assertion.

§result: String

Three-valued result.

§channel: Option<String>

Channel that completed evaluation, when one did.

§reason: String

Bounded reason text.

§

VerdictRecorded

Step verdict recorded (re-judgements append, never replace).

Fields

§status: String

Three-valued status.

§degraded: bool

Degraded-verification marker.

§supersedes: Option<String>

Superseded verdict id, on re-judgement.

§summary: String

Bounded verdict summary.

§remote_archival_error: Option<String>

Bounded verdict.record write-back failure — remote archival failed; the local verdict is untouched (04 §5).

§

StepExited

Step span closed.

Fields

§state: StepState

Exit state (closed vocabulary).

§

CallFramePushed

Call frame pushed (subflow entered).

Fields

§callee: String

Callee identity flowId@sha256:….

§rebase: bool

The frame was RE-ENTERED under a repaired callee rather than opened (07 §5.2 case (a) down-drill). Absent on every ordinary push and on every pre-incorporation ledger.

§

CallFramePopped

Call frame popped (subflow returned).

Fields

§has_outputs: bool

Whether the callee returned outputs.

§

HandlerTriggered

Handler consulted (hook fired).

Fields

§hook: String

The hook.

§trigger: u64

Trigger ordinal for the instance.

§disposition: Option<String>

Declared disposition head (03 §1.8), when recorded.

§

HumanRequested

Human request opened.

Fields

§request_id: String

Pairing id.

§purpose: String

step vs supervision (R13).

§mode: Option<String>

Interaction mode on step requests.

§prompt: String

Bounded prompt text.

§

HumanResponded

Human response recorded through the arbitration door.

Fields

§request_id: String

Pairing id.

§purpose: String

step vs supervision.

§actor: String

Responding actor.

§response: BoundedValue

Bounded response digest.

§

RunSuspended

Run suspended (timeline shows the lineage divider — 08 §4.1).

Fields

§reason: Option<String>

Suspension reason, explicit null when unstated.

§

RunResumed

Run resumed with an alignment report.

Fields

§alignment: BoundedValue

Per-class alignment counts, in class order.

§supervise_policy: Option<String>

Supervision policy of the new segment (explicit null when unsupervised — never inherited, R13).

§

RunFinished

Run reached its terminal.

Fields

§status: Option<String>

Flow verdict status; absent = finished unverified/aborted.

§degraded: Option<bool>

Degraded marker of the flow verdict.

§remote_archival_error: Option<String>

Bounded verdict.record write-back failure of the flow verdict (04 §5 — see verdictRecorded).

§

OverLimit

Fail-closed placeholder: the event exceeded the bounded-rendering limits even after truncation; the full record is in the dossier (08 §4.4 — no half entries).

Fields

§event_type: String

The original event discriminant.

Trait Implementations§

Source§

impl Clone for TimelineDetail

Source§

fn clone(&self) -> TimelineDetail

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

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

Performs copy-assignment from source. Read more
Source§

impl Debug for TimelineDetail

Source§

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

Formats the value using the given formatter. Read more
Source§

impl<'de> Deserialize<'de> for TimelineDetail

Source§

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>
where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer. Read more
Source§

impl JsonSchema for TimelineDetail

Source§

fn schema_name() -> Cow<'static, str>

The name of the generated JSON Schema. Read more
Source§

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type. Read more
Source§

fn json_schema(generator: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type. Read more
Source§

fn inline_schema() -> bool

Whether JSON Schemas generated for this type should be included directly in parent schemas, rather than being re-used where possible using the $ref keyword. Read more
Source§

impl PartialEq for TimelineDetail

Source§

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

Equality operator ==. Read more
1.0.0 (const: unstable) · Source§

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

Inequality operator !=. Read more
Source§

impl Serialize for TimelineDetail

Source§

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

Serialize this value into the given Serde serializer. Read more
Source§

impl StructuralPartialEq for TimelineDetail

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> DeserializeOwned for T
where T: for<'de> Deserialize<'de>,

Source§

impl<T> DynClone for T
where T: Clone,

Source§

fn __clone_box(&self, _: Private) -> *mut ()

Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self>

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self>

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> PolicyExt for T
where T: ?Sized,

Source§

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow only if self and other return Action::Follow. Read more
Source§

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow if either self or other returns Action::Follow. Read more
Source§

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self>

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more