Skip to main content

MemoryTimelineEvent

Enum MemoryTimelineEvent 

Source
pub enum MemoryTimelineEvent {
Show 17 variants DreamStarted { realm: String, run_id: String, }, DreamCompleted { realm: String, run_id: String, ops_committed: usize, detail: Value, }, DreamSkipped { realm: String, reason: String, }, RecordPromoted { realm: String, record_id: String, source_record_id: Option<String>, scope_kind: String, scope_key: String, proposal_id: Option<String>, gated: bool, }, QuarantineVerdict { realm: String, record_id: String, verdict: String, rationale: Option<String>, }, QuarantineReleaseBlocked { realm: String, record_id: String, verdict: String, class: String, }, ConflictSignal { realm: String, entity: String, topic: String, reason: String, }, QuarantinedWrite { realm: String, author: String, reason: String, }, TaintTransition { identity: Option<String>, session_key: String, kind: String, source: String, }, BudgetDenied { realm: String, stage: String, reason: String, }, PromotionPendingGate { realm: String, pending_id: String, record_id: String, scope_kind: String, scope_key: String, }, HarvestCompleted { realm: String, identity: String, promoted: usize, tombstoned: usize, }, DistillationTimedOut { identity: String, session_key: String, cause: String, }, HygieneProposed { identity: String, session_key: String, cause: String, ops: usize, flagged_active_records: Vec<String>, }, HygieneApplied { identity: String, session_key: String, cause: String, parent_revision: String, revision: String, ops: usize, flagged_active_records: Vec<String>, }, HygieneBlocked { identity: String, session_key: String, cause: String, reason: String, }, HygieneSkipped { identity: String, session_key: String, cause: String, reason: String, },
}
Expand description

One typed memory-plane timeline event. Payload fields are stable wire contract for the console Memory panel (P3b).

Variants§

§

DreamStarted

A steward dream run started.

Fields

§realm: String
§run_id: String
§

DreamCompleted

A steward dream run completed; detail carries the run summary (phase outcomes, verdict counts).

Fields

§realm: String
§run_id: String
§ops_committed: usize
§detail: Value
§

DreamSkipped

A steward dream run was skipped (gates, budget, lock, errors).

Fields

§realm: String
§reason: String
§

RecordPromoted

A record was promoted into a wider scope (identity→mob), either directly by a dream commit or through an approved gate.

Fields

§realm: String
§record_id: String
§source_record_id: Option<String>
§scope_kind: String
§scope_key: String
§proposal_id: Option<String>
§gated: bool
§

QuarantineVerdict

A dream reviewed a quarantined record.

Fields

§realm: String
§record_id: String
§verdict: String
§rationale: Option<String>
§

QuarantineReleaseBlocked

A quarantine release/promotion verdict was blocked before staging: the record’s content matches a §10.4 secret pattern class, which the staged chokepoint refuses. The record stays quarantined — this event is why the queue never drains it (tombstone is the exit).

Fields

§realm: String
§record_id: String
§verdict: String
§class: String
§

ConflictSignal

A dream contradiction finding with operational consequence was bridged into the operational ledger (§8.5).

Fields

§realm: String
§entity: String
§topic: String
§reason: String
§

QuarantinedWrite

An LLM-authored write landed quarantined at the store seam (§10.1).

Fields

§realm: String
§author: String
§reason: String
§

TaintTransition

A session-taint transition (§10.1): kind is one of tainted, reset_boundary, rotated_clean.

Fields

§identity: Option<String>
§session_key: String
§kind: String
§source: String
§

BudgetDenied

A background-budget guard denied a run (§8.1).

Fields

§realm: String
§stage: String
§reason: String
§

PromotionPendingGate

A quarantine-promotion was staged and now awaits operator approval through the gating flow (§10.2).

Fields

§realm: String
§pending_id: String
§record_id: String
§scope_kind: String
§scope_key: String
§

HarvestCompleted

An exit-interview harvest of a retired identity’s store completed.

Fields

§realm: String
§identity: String
§promoted: usize
§tombstoned: usize
§

DistillationTimedOut

A pre-rotation distillation timed out and rotation proceeded without it (§8.4).

Fields

§identity: String
§session_key: String
§cause: String
§

HygieneProposed

A hygiene pass produced a validated revision proposal (§8.6). The audited apply follows as HygieneApplied unless the seam refuses (e.g. the session is mid-turn).

Fields

§identity: String
§session_key: String
§cause: String
§ops: usize
§flagged_active_records: Vec<String>

Active records whose evidence spans the revision touches — the §8.6 audit flag, allowed but on the record.

§

HygieneApplied

An audited transcript revision committed (§8.6).

Fields

§identity: String
§session_key: String
§cause: String
§parent_revision: String
§revision: String
§ops: usize
§flagged_active_records: Vec<String>
§

HygieneBlocked

The §8.6 validator refused a revision (quarantine-referenced span, ordering invariant unmet, malformed ranges).

Fields

§identity: String
§session_key: String
§cause: String
§reason: String
§

HygieneSkipped

A hygiene pass was skipped (budget, no-op judgment, seam refusal).

Fields

§identity: String
§session_key: String
§cause: String
§reason: String

Implementations§

Source§

impl MemoryTimelineEvent

Source

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

Stable event_type for the console envelope.

Source

pub fn identity(&self) -> Option<&str>

Console identity attribution: the affected identity where one exists, otherwise None (the sink attributes to the system identity).

Source

pub fn data(&self) -> Value

Typed payload for the console envelope’s data.

Trait Implementations§

Source§

impl Clone for MemoryTimelineEvent

Source§

fn clone(&self) -> MemoryTimelineEvent

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 MemoryTimelineEvent

Source§

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

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

impl PartialEq for MemoryTimelineEvent

Source§

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

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

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

Inequality operator !=. Read more
Source§

impl StructuralPartialEq for MemoryTimelineEvent

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> CoreExecutorTurnFinalizationGuard for T
where T: Send,

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> FromRef<T> for T
where T: Clone,

Source§

fn from_ref(input: &T) -> T

Converts to this type from a reference to the input type.
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> IntoEither for T

Source§

fn into_either(self, into_left: bool) -> Either<Self, Self>

Converts 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 more
Source§

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

Converts 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
Source§

impl<T> Pointable for T

Source§

const ALIGN: usize

The alignment of pointer.
Source§

type Init = T

The type for initializers.
Source§

unsafe fn init(init: <T as Pointable>::Init) -> usize

Initializes a with the given initializer. Read more
Source§

unsafe fn deref<'a>(ptr: usize) -> &'a T

Dereferences the given pointer. Read more
Source§

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

Mutably dereferences the given pointer. Read more
Source§

unsafe fn drop(ptr: usize)

Drops the object pointed to by the given pointer. Read more
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<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

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