Snapshot of the execution state, filled by strategy_execution_observation_v1(). More...

#include <execution_observer.h>

Data Fields
uint32_t	struct_size

uint32_t	version

uint64_t	run_generation

uint64_t	attempt_serial

uint64_t	attempt_generation

uint32_t	phase

uint32_t	fault_stage

uint32_t	attempt_outcome

uint32_t	boundary_delivered

Detailed Description

Snapshot of the execution state, filled by strategy_execution_observation_v1().

phase: 0 Idle, 1 Executing, 2 Capturing, 3 Sealed, 4 Results. fault_stage: 0 None, 1 Execution, 2 AfterExecution. attempt_outcome: 0 NotCompleted, 1 Refused, 2 Failed, 3 Aborted, 4 ResultsOpen, 5 Live. run_generation: latest admitted epoch (see pf_execution_boundary_v1). attempt_serial: latest minting public run or stream-begin entry. attempt_generation: 0 if that attempt admitted no generation.

The caller correlates its own serial and generation. A rejected later attempt never turns an older Results snapshot into permission for itself. Registration or removal does not reopen a closed generation. A refused attempt before admission mints no generation, so the previous closure stays.

Definition at line 101 of file execution_observer.h.

Field Documentation

◆ struct_size

uint32_t pf_execution_observation_v1::struct_size

Definition at line 102 of file execution_observer.h.

◆ version

uint32_t pf_execution_observation_v1::version

Definition at line 103 of file execution_observer.h.

◆ run_generation

uint64_t pf_execution_observation_v1::run_generation

Definition at line 104 of file execution_observer.h.

◆ attempt_serial

uint64_t pf_execution_observation_v1::attempt_serial

Definition at line 105 of file execution_observer.h.

◆ attempt_generation

uint64_t pf_execution_observation_v1::attempt_generation

Definition at line 106 of file execution_observer.h.

◆ phase

uint32_t pf_execution_observation_v1::phase

Definition at line 107 of file execution_observer.h.

◆ fault_stage

uint32_t pf_execution_observation_v1::fault_stage

Definition at line 108 of file execution_observer.h.

◆ attempt_outcome

uint32_t pf_execution_observation_v1::attempt_outcome

Definition at line 109 of file execution_observer.h.

◆ boundary_delivered

uint32_t pf_execution_observation_v1::boundary_delivered

Definition at line 110 of file execution_observer.h.

The documentation for this struct was generated from the following file:

execution_observer.h

Data Fields