Struct LiveReexecution 

pub struct LiveReexecution {

    pub schema: String,
    pub decision_id: String,
    pub plan_id: PlanId,
    pub snapshot_id: SnapshotId,
    pub evaluation_time_ms: Timestamp,
    pub subject: Handle,
    pub scope: Scope,
    pub historical: Historical,
    pub admission: Admission,
    pub run_digest: Option<ContentDigest>,
    pub run: RunLink,
    pub effects: Vec<LiveEffect>,
    pub unreconciled: Vec<String>,
    pub delivery: DeliveryObservation,
    pub retention: RetentionPosture,
    pub comparison: ComparisonSection,
}

rustev.live-reexecution/1: one live re-execution, bounded by REPLAY_V1. Holds no credential and no secret authorization material.

Fields

schema: String

decision_id: String

The new decision; never the historical one.

plan_id: PlanId

snapshot_id: SnapshotId

Computed from the current snapshot by the runtime.

evaluation_time_ms: Timestamp

subject: Handle

scope: Scope

historical: Historical

admission: Admission

run_digest: Option<ContentDigest>

The record digest of the new run record; absent only when the record has no record canonical form, which nothing then matches.

run: RunLink

effects: Vec<LiveEffect>

One per proposed external attempt, in proposal order.

unreconciled: Vec<String>

Attempts whose charge is unknown: outstanding liability for the host to reconcile (spec 003, 3.5.5). The record is never rewritten.

delivery: DeliveryObservation

retention: RetentionPosture

comparison: ComparisonSection

Implementations

impl LiveReexecution

pub fn check(&self) -> Result<(), LiveDocError>

Structural bounds and attribution. Every bound is also a parse bound of REPLAY_V1, which applies before anything is allocated.

pub fn binds(&self, run: &RunRecord) -> bool

The new run record this document was built for: equal digest.

Trait Implementations

impl Clone for LiveReexecution

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LiveReexecution

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for LiveReexecution

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Document for LiveReexecution

const SCHEMA: &'static str = schema::LIVE_REEXECUTION

The schema string this document carries (spec 002, 3.2.1).

const LIMITS: ParseLimits = REPLAY_V1

The limit set its bytes are scanned against (spec 002, 3.2.5).

fn schema(&self) -> &str

The value of the document’s own schema field.

fn parse(bytes: &[u8]) -> Result<Self, DocumentError>

Scan, deserialize and check the schema string.

fn canonical(&self) -> Result<Vec<u8>, CanonicalError>

The canonical bytes (spec 002, 3.3.1).

fn record_canonical(&self) -> Result<Vec<u8>, CanonicalError>

where Self: PartialEq,

The record canonical bytes (spec 004, 5.6): the canonical bytes, with finite fractional numbers written in shortest round-trip form.

fn record_digest(&self) -> Result<ContentDigest, CanonicalError>

where Self: PartialEq,

sha256(SCHEMA || 0x00 || record canonical bytes) (spec 004, 3.1.6). Equal to the identity of an identified document.

impl Eq for LiveReexecution

impl JsonSchema for LiveReexecution

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

The name of the generated JSON Schema.

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

Returns a string that uniquely identifies the schema produced by this type.

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

Generates a JSON Schema for this type.

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.

impl PartialEq for LiveReexecution

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for LiveReexecution

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 LiveReexecution