Enum Recording 

pub enum Recording {
    Legacy(PreemptionRecord),
    Boundaries(BoundaryRecording),
}

A recording whose format remains explicit through file transformations.

Variants

Legacy(PreemptionRecord)

The unchanged legacy preemption/event representation.

Boundaries(BoundaryRecording)

A versioned boundary stream and its associated preemption history.

Implementations

impl Recording

pub fn require_faithful_replay(&self) -> Result<()>

Refuse a known omitted change point in either stored format.

pub fn replay_departed_at(&self) -> Option<u64>

A retained source observation of an omitted replay change point.

pub fn require_strict_mode(&self, strict: bool) -> Result<()>

Require an explicit matching execution policy. The strict verifier must not silently fall back to an incomplete legacy stream, and ordinary recovery must not silently acquire strict EOF/desync semantics.

pub fn decode(bytes: &[u8]) -> Result<Self>

Validate and parse either format without a malformed-new-to-legacy fallback. A record whose format this Hermit refuses fails with a RecordFormatRefusal in its chain, whichever format it is in.

pub fn read(path: &Path) -> Result<Self>

Read a complete recording, preserving errors as failures.

pub fn encode(&self) -> Result<Vec<u8>>

Serialize the same format with the conventional terminal newline.

pub fn write(&self, path: &Path) -> Result<()>

Write the complete serialized recording, without changing its format.

pub fn into_legacy(self, operation: &'static str) -> Result<PreemptionRecord>

Give a legacy-only operation its input, or refuse a boundary format before that operation can discard its protocol or write an output.

pub fn strip_times(&mut self)

Remove only optional event timestamps, retaining boundary identities, RIP observations, preemption history and run settings.

pub fn validate_replay_inputs( &self, source: &str, guest_ids: GuestIds, ) -> Result<(), RecordAdmissionRefusal>

Check the full decoded input that this loader will install. The standalone metadata remains outside every returned ThreadHistory.

pub fn reserved_input(&self) -> &ReservedInputMetadata

The opaque private-input metadata, without flattening this envelope.

pub fn guest_ids(&self) -> GuestIds

Numbering stored alongside either complete event representation.

pub fn epoch(&self) -> Option<DateTime<Utc>>

The recorded virtual-time epoch, if the recording states one.

pub fn pipe_wake_latency(&self) -> Option<u64>

The recorded pipe-wake latency, preserving Some(0) versus off.

pub fn signal_state_copy(&self) -> Option<bool>

The recorded signal-copy setting, including the legacy unknown case.

pub fn host_inputs(&self) -> Option<&HostInputSet>

The host files the recorded run’s guest opened, if the recording says.

pub fn time_skips(&self) -> Option<&[TimeSkip]>

The recorded jumps of global time (PreemptionRecord::time_skips).

pub fn lists_its_time_skips(&self) -> bool

Whether the recording lists every jump of global time its run made (PreemptionRecord::lists_its_time_skips).

pub fn charges_replayed_switch_ins(&self) -> bool

Whether a replay of this recording charges a replayed switch-in under which guest code runs (PreemptionRecord::charges_replayed_switch_ins).

pub fn format_version(&self) -> Option<u32>

The recording’s format (PreemptionRecord::format_version).

Trait Implementations

impl Clone for Recording

fn clone(&self) -> Recording

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Recording

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

Formats the value using the given formatter.

impl Eq for Recording

impl PartialEq for Recording

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Recording