Enum LoopEvent 

pub enum LoopEvent {
    ConversationSeeded {
        seed: ConversationSeeded,
    },
    ConversationDelta {
        record: ConversationDeltaRecord,
    },
    TurnObserved {
        turn: u32,
        actor: String,
        output: TurnOutput,
    },
    ToolCallObserved {
        call: ProviderToolCall,
    },
    ProposalObserved {
        call_id: String,
        proposal: EffectProposal,
    },
    ProposalChecked {
        call_id: String,
        proposal: EffectProposal,
        witness: Box<FullAdmissibilityWitness>,
    },
    EffectApplied {
        call_id: String,
        mutated: bool,
        output: String,
    },
    ToolBatchConflict {
        call_id: String,
        conflicts_with: String,
        resources: Vec<String>,
    },
    EffectDenied {
        call_id: String,
        reason: String,
        class: ResidualClass,
    },
    CandidateMeasured {
        node_id: String,
        generation: u32,
        candidate_id: String,
        energy: f64,
        hard_pass: bool,
        residuals: Vec<ResidualEvent>,
    },
    GateDecisionRecorded {
        node_id: String,
        generation: u32,
        candidate_id: String,
        decision: GateDecision,
        observed_energy: Option<f64>,
        best_accepted_before: Option<f64>,
    },
    DecisionBoundRefused {
        node_id: String,
        generation: u32,
        bound: u64,
        decisions_used: u64,
    },
    CandidateRestored {
        checkpoint_id: String,
    },
    EffectBoundaryMeasured {
        call_id: String,
        node_id: String,
        generation: u32,
        energy: f64,
        hard_pass: bool,
        residuals: Vec<ResidualEvent>,
    },
    ContextCheckpointCreated {
        checkpoint: ContextCheckpoint,
    },
    DurableCandidateCheckpoint {
        candidate_id: String,
        state_root: String,
        control: ControlFrame,
        conversation: Conversation,
        birth_deps: Vec<StateDependency>,
        canonical_scope: Vec<String>,
        files: Vec<DurableSeedFile>,
    },
    RecoveryControlGranted {
        failure: FailureKind,
        level: CascadeLevel,
        forced_escalation: bool,
        model: ModelId,
    },
    RouteFailover {
        from_model: ModelId,
        to_model: ModelId,
        cause: String,
    },
    RecoveryContained {
        reason: String,
        restored_checkpoint_id: String,
    },
    SearchOpened {
        forest_id: String,
        node_id: String,
        generation: u32,
        accepted_root: String,
        limits: SearchLimits,
        resumed_from: Option<String>,
    },
    SearchUsageSnapshot {
        forest_id: String,
        epoch: u64,
        usage: SearchUsage,
    },
    BranchForked {
        forest_id: String,
        branch_id: String,
        parent_branch: Option<String>,
        seed_checkpoint: String,
        seed_witness: WitnessRef,
    },
    BranchStrategySelected {
        forest_id: String,
        branch_id: String,
        strategy_id: String,
    },
    BranchObservation {
        forest_id: String,
        branch_id: String,
        observation: String,
    },
    BranchCandidateMeasured {
        forest_id: String,
        branch_id: String,
        candidate_id: String,
        measurement: BranchMeasurement,
    },
    PartialCheckpointed {
        forest_id: String,
        branch_id: String,
        checkpoint: PartialCheckpointRef,
    },
    FrontierEpochStarted {
        forest_id: String,
        epoch: u64,
        forest_digest: String,
    },
    FrontierEntryServed {
        forest_id: String,
        branch_id: String,
        epoch: u64,
    },
    BranchIneligible {
        forest_id: String,
        branch_id: String,
        reason: String,
    },
    BranchNotSelected {
        forest_id: String,
        branch_id: String,
    },
    BranchAbandoned {
        forest_id: String,
        branch_id: String,
        reason: String,
    },
    BranchSelected {
        forest_id: String,
        branch_id: String,
        candidate_id: String,
    },
    BranchCommitted {
        forest_id: String,
        branch_id: String,
        candidate_id: String,
        decision: GateDecision,
    },
    NoGoodRecorded {
        forest_id: String,
        branch_id: String,
        key: String,
        evidence_hash: String,
        support_kind: String,
    },
    SearchClosed {
        forest_id: String,
        usage: SearchUsage,
    },
    ContextWorkingSet {
        forest_id: String,
        branch_id: String,
        turn: u32,
        page_ids: Vec<String>,
    },
    ContextPagesSelected {
        forest_id: String,
        branch_id: String,
        turn: u32,
        resident_digest: String,
        page_ids: Vec<String>,
    },
    ContextMiss {
        forest_id: String,
        branch_id: String,
        turn: u32,
        key: String,
    },
    ContextPageRecalled {
        forest_id: String,
        branch_id: String,
        turn: u32,
        page_id: String,
    },
    ContextInfeasible {
        forest_id: String,
        branch_id: String,
        turn: u32,
        required: u64,
        allowance: u64,
    },
    ContextCompacted {
        forest_id: String,
        branch_id: String,
        summary_page: String,
        source_pages: Vec<String>,
    },
    PromptProgramCompiled {
        turn: u32,
        program: CompiledPromptProgram,
    },
    PromptProgramInvoked {
        turn: u32,
        invocation_digest: String,
        platform_digest: String,
        domain_digest: String,
        tool_spec_hash: String,
        resident_context_digest: String,
    },
}

Recorded loop events (the ledger consumes these in system 14).

Variants

ConversationSeeded

The fold base for the model context (Gate O). Additive: old ledgers without seeds still replay.

Fields

seed: ConversationSeeded

ConversationDelta

One digest-chained model-context change, recorded before it is applied to the live projection.

Fields

record: ConversationDeltaRecord

TurnObserved

Fields

turn: u32

actor: String

Which actor observed this output (PSP-10 system 27). Empty on pre-PSP-10 rows; the observation is always recorded before any parse.

output: TurnOutput

ToolCallObserved

Fields

call: ProviderToolCall

ProposalObserved

Fields

call_id: String

proposal: EffectProposal

ProposalChecked

Fields

call_id: String

proposal: EffectProposal

witness: Box<FullAdmissibilityWitness>

EffectApplied

Fields

call_id: String

mutated: bool

output: String

ToolBatchConflict

A same-turn footprint collision (Gate P): the call was returned to the model as an observation, never given an invented order.

Fields

call_id: String

conflicts_with: String

resources: Vec<String>

EffectDenied

Fields

call_id: String

reason: String

class: ResidualClass

Typed admissibility residual (PSP-9 system 9): CapabilityDenied for kernel denials, BudgetExhausted for budget boundaries.

CandidateMeasured

Fields

node_id: String

generation: u32

candidate_id: String

Candidate identity "{node}/{gen}/c{seq}" (PSP-10 Phase 2). The accepted fold keys by it; empty on pre-PSP-10 rows.

energy: f64

hard_pass: bool

residuals: Vec<ResidualEvent>

GateDecisionRecorded

Fields

node_id: String

generation: u32

candidate_id: String

Shares the measurement’s candidate identity so the two events key together (Proposition 2). Empty on pre-PSP-10 rows.

decision: GateDecision

observed_energy: Option<f64>

Recorded from the trajectory’s GateDecisionRef, never recovered by correlation. None marks a pre-PSP-10 row.

best_accepted_before: Option<f64>

DecisionBoundRefused

The loop refused to submit a candidate past the finite-decision bound N_gate = floor(V0/rho) + B + 1 (PSP-10 Gate X). The refusal itself appends no gate decision.

Fields

node_id: String

generation: u32

bound: u64

decisions_used: u64

CandidateRestored

Fields

checkpoint_id: String

EffectBoundaryMeasured

Fields

call_id: String

node_id: String

generation: u32

energy: f64

hard_pass: bool

residuals: Vec<ResidualEvent>

ContextCheckpointCreated

Fields

checkpoint: ContextCheckpoint

DurableCandidateCheckpoint

A gate acceptance made durable: the control frame plus every mutated path’s content-addressed artifact handle, sufficient to rebuild the accepted candidate and continue the loop after a crash.

Fields

candidate_id: String

The accepted candidate this checkpoint makes durable (PSP-10 Phase 2). Empty on pre-PSP-10 rows.

state_root: String

control: ControlFrame

conversation: Conversation

Exact provider-neutral projection selected for the next model turn.

birth_deps: Vec<StateDependency>

Per-message birth dependencies, parallel to the conversation (Gate AF): a resumed loop restores each page’s real birth state instead of relabelling everything with the live root. Empty on pre-provenance rows.

canonical_scope: Vec<String>

Exact scope used to compute state_root, including read paths.

files: Vec<DurableSeedFile>

RecoveryControlGranted

Fields

failure: FailureKind

level: CascadeLevel

forced_escalation: bool

model: ModelId

RouteFailover

Fields

from_model: ModelId

to_model: ModelId

cause: String

RecoveryContained

Fields

reason: String

restored_checkpoint_id: String

SearchOpened

Fields

forest_id: String

node_id: String

generation: u32

accepted_root: String

limits: SearchLimits

resumed_from: Option<String>

The interrupted forest this one deterministically re-runs, when resuming (additive; absent on fresh forests and legacy rows).

SearchUsageSnapshot

The forest’s consumption at an epoch boundary, so an interrupted run’s usage is reconstructible from the ledger (Gate AC + resume).

Fields

forest_id: String

epoch: u64

usage: SearchUsage

BranchForked

Fields

forest_id: String

branch_id: String

parent_branch: Option<String>

seed_checkpoint: String

seed_witness: WitnessRef

BranchStrategySelected

Fields

forest_id: String

branch_id: String

strategy_id: String

BranchObservation

Fields

forest_id: String

branch_id: String

observation: String

BranchCandidateMeasured

Fields

forest_id: String

branch_id: String

candidate_id: String

measurement: BranchMeasurement

PartialCheckpointed

Fields

forest_id: String

branch_id: String

checkpoint: PartialCheckpointRef

FrontierEpochStarted

Fields

forest_id: String

epoch: u64

forest_digest: String

Digest of the folded forest state; strict resume recomputes and compares it.

FrontierEntryServed

Fields

forest_id: String

branch_id: String

epoch: u64

BranchIneligible

Fields

forest_id: String

branch_id: String

reason: String

BranchNotSelected

Fields

forest_id: String

branch_id: String

BranchAbandoned

Fields

forest_id: String

branch_id: String

reason: String

BranchSelected

Fields

forest_id: String

branch_id: String

candidate_id: String

BranchCommitted

Fields

forest_id: String

branch_id: String

candidate_id: String

decision: GateDecision

NoGoodRecorded

Fields

forest_id: String

branch_id: String

key: String

The exact key K_ng (Gate AB); support evidence hashed separately.

evidence_hash: String

support_kind: String

The Gate AB support class this record’s evidence belongs to (compiler-code, failed-test, contract-diagnostic, unchanged-state, denied-capability); additive for replay verification, empty on legacy rows.

SearchClosed

Fields

forest_id: String

usage: SearchUsage

ContextWorkingSet

Fields

forest_id: String

branch_id: String

turn: u32

page_ids: Vec<String>

ContextPagesSelected

Fields

forest_id: String

branch_id: String

turn: u32

resident_digest: String

page_ids: Vec<String>

ContextMiss

Fields

forest_id: String

branch_id: String

turn: u32

key: String

ContextPageRecalled

Fields

forest_id: String

branch_id: String

turn: u32

page_id: String

ContextInfeasible

Fields

forest_id: String

branch_id: String

turn: u32

required: u64

allowance: u64

ContextCompacted

Fields

forest_id: String

branch_id: String

summary_page: String

source_pages: Vec<String>

PromptProgramCompiled

A prompt program recompiled mid-loop — the offered tool surface or the failover route changed, so the program identity changed (PSP-10 Gate Z).

Fields

turn: u32

program: CompiledPromptProgram

PromptProgramInvoked

The exact prompt binding of one model call: both program digests and the invocation digest (one record per call, Gate Z).

Fields

turn: u32

invocation_digest: String

platform_digest: String

domain_digest: String

tool_spec_hash: String

resident_context_digest: String

Trait Implementations

impl Clone for LoopEvent

fn clone(&self) -> LoopEvent

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LoopEvent

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for LoopEvent

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for LoopEvent

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

where __S: Serializer,

Serialize this value into the given Serde serializer.