Enum SemanticAuditRecord 

pub enum SemanticAuditRecord {
    Authority {
        tick: Option<u64>,
        session: Option<SessionId>,
        artifact: AuthorityArtifact,
        event: AuthorityAuditEvent,
        reason: Option<String>,
    },
    Delegation {
        tick: u64,
        session: SessionId,
        receipt: DelegationReceipt,
        status: DelegationStatus,
        reason: Option<String>,
    },
    FailureBranch {
        tick: u64,
        session: SessionId,
        coro_id: usize,
        fault: Fault,
    },
    TimeoutIssued {
        tick: u64,
        site: String,
        until_tick: u64,
        witness_id: AuthorityWitnessId,
    },
    CancellationRequested {
        tick: u64,
        session: SessionId,
        witness_id: AuthorityWitnessId,
        owner_id: FragmentOwnerId,
        reason: OwnershipTerminalReason,
    },
    Cancelled {
        tick: u64,
        session: SessionId,
        witness_id: AuthorityWitnessId,
        reason: OwnershipTerminalReason,
    },
    SessionTerminal {
        tick: u64,
        session: SessionId,
        reason: SessionTerminalReason,
    },
    EffectObservation {
        effect_id: u64,
        ordering_key: u64,
        session: Option<SessionId>,
        effect_kind: String,
        effect_interface: Option<String>,
        effect_operation: Option<String>,
        handler_identity: String,
        inputs: Value,
        outputs: Value,
    },
}

Replay-stable semantic record derived from authority, delegation, effect, and failure-visible runtime artifacts.

Variants

Authority

Authority witness issuance/consumption/rejection.

Fields

tick: Option<u64>

Scheduler tick associated with the authority artifact, when present.

session: Option<SessionId>

Session referenced by the authority artifact, when session-scoped.

artifact: AuthorityArtifact

Authority witness or receipt artifact carried by the audit record.

event: AuthorityAuditEvent

Audit event kind recorded for the authority artifact.

reason: Option<String>

Optional rejection or failure reason associated with the audit record.

Delegation

Delegation/transfer completion or rollback.

Fields

tick: u64

Scheduler tick at which the delegation audit record was emitted.

session: SessionId

Session being delegated.

receipt: DelegationReceipt

Delegation receipt proving the sanctioned transfer path.

status: DelegationStatus

Final delegation status for the receipt.

reason: Option<String>

Optional rollback or rejection reason for the transfer.

FailureBranch

Explicit typed failure branch entry.

Fields

tick: u64

Scheduler tick at which the failure branch became visible.

session: SessionId

Session containing the failing coroutine.

coro_id: usize

Coroutine entering the failure branch.

fault: Fault

Typed fault surfaced by the branch.

TimeoutIssued

Explicit timeout activation and timeout witness issuance.

Fields

tick: u64

Scheduler tick at which the timeout became active.

site: String

Site for which timeout was issued.

until_tick: u64

Tick horizon until which the timeout remains active.

witness_id: AuthorityWitnessId

Issued timeout witness identifier.

CancellationRequested

Explicit cancellation request.

Fields

tick: u64

Scheduler tick at which cancellation was requested.

session: SessionId

Session being cancelled.

witness_id: AuthorityWitnessId

Cancellation witness authorizing the request.

owner_id: FragmentOwnerId

Owner capability active when cancellation was requested.

reason: OwnershipTerminalReason

Terminal ownership reason causing the cancellation request.

Cancelled

Explicit cancellation completion.

Fields

tick: u64

Scheduler tick at which cancellation completed.

session: SessionId

Session that was cancelled.

witness_id: AuthorityWitnessId

Cancellation witness consumed by completion.

reason: OwnershipTerminalReason

Terminal ownership reason recorded for the cancellation.

SessionTerminal

Explicit session terminal reason.

Fields

tick: u64

Scheduler tick at which terminal state became visible.

session: SessionId

Session that reached terminal state.

reason: SessionTerminalReason

Deterministic terminal reason recorded by the runtime.

EffectObservation

Structured effect/interface observation.

Fields

effect_id: u64

Stable effect identifier assigned by the runtime.

ordering_key: u64

Deterministic ordering key used for canonical replay comparison.

session: Option<SessionId>

Session referenced by the effect observation, when derivable.

effect_kind: String

Raw runtime effect kind tag.

effect_interface: Option<String>

Nominal effect interface classification, when known.

effect_operation: Option<String>

Nominal effect operation classification, when known.

handler_identity: String

Stable handler identity attached to the observation.

inputs: Value

Serialized effect inputs.

outputs: Value

Serialized effect outputs.

Trait Implementations

impl Clone for SemanticAuditRecord

fn clone(&self) -> SemanticAuditRecord

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SemanticAuditRecord

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for SemanticAuditRecord

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for SemanticAuditRecord

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for SemanticAuditRecord

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 SemanticAuditRecord