Enum StepFact 

#[non_exhaustive]
pub enum StepFact {
    CeremonyStarted {
        name: String,
        started_at: DateTime<Utc>,
    },
    ActStarted {
        id: ActId,
        label: String,
    },
    StepStarted {
        id: StepId,
        label: String,
        role: RoleId,
        role_name: String,
        started_at: DateTime<Utc>,
    },
    PromptAnswered {
        step: Option<StepId>,
        prompt: Prompt,
        response: ResponseRecord,
        at: DateTime<Utc>,
    },
    BackendOperation {
        step: StepId,
        kind: String,
        inputs: Value,
        outputs: Value,
        fingerprint: Option<String>,
    },
    AttestationRecorded {
        step: StepId,
        role: RoleId,
        statement: String,
        at: DateTime<Utc>,
    },
    ArtifactWritten {
        step: StepId,
        name: String,
        path: PathBuf,
        sha256: String,
    },
    DeviationRecorded {
        step: Option<StepId>,
        text: String,
        at: DateTime<Utc>,
    },
    StepCompleted {
        id: StepId,
        outcome: StepOutcome,
        completed_at: DateTime<Utc>,
    },
    CeremonyCompleted {
        completed_at: DateTime<Utc>,
    },
    CeremonyFailed {
        error: ErrorRecord,
        failed_at: DateTime<Utc>,
    },
}

Durable, transcript-worthy fact.

Every variant is recorded by the runtime’s transcript sink synchronously before being forwarded to the UI. Action handlers emit BackendOperation and AttestationRecorded; all other variants are emitted by the executor at the corresponding lifecycle boundary.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

CeremonyStarted

Ceremony has started running.

Fields

name: String

Ceremony name from the DSL.

started_at: DateTime<Utc>

Wall-clock timestamp at start.

ActStarted

Beginning of an act (named subdivision of a ceremony).

Fields

id: ActId

Act identifier.

label: String

Act label as authored in the DSL.

StepStarted

Beginning of a step.

Fields

id: StepId

Step identifier.

label: String

Step label as authored in the DSL.

role: RoleId

Role responsible for this step (stable id).

role_name: String

Human-readable role name, from the ceremony’s role definition. Carried alongside the id so transcripts stay self-contained for reports and verifiers without re-reading the ceremony YAML.

started_at: DateTime<Utc>

Wall-clock timestamp at start.

PromptAnswered

A prompt has been answered and validated.

Fields

step: Option<StepId>

Step that issued the prompt, if any. None for ceremony-level prompts emitted before the first step (e.g. the ceremony-start confirmation) or after the last step.

prompt: Prompt

The prompt as issued.

response: ResponseRecord

Redacted response record.

at: DateTime<Utc>

Wall-clock timestamp when the response was accepted.

BackendOperation

A backend operation completed and produced structured evidence.

Fields

step: StepId

Step under which the operation ran.

kind: String

Stable operation kind (e.g. generate_keypair, sign_data).

inputs: Value

Structured inputs to the operation (parameters, references).

outputs: Value

Structured outputs from the operation (artifact ids, hashes).

fingerprint: Option<String>

Optional fingerprint of the produced material.

AttestationRecorded

A human attestation was recorded.

Fields

step: StepId

Step under which the attestation was recorded.

role: RoleId

Role that issued the attestation.

statement: String

Verbatim attestation statement.

at: DateTime<Utc>

Wall-clock timestamp when the attestation was recorded.

ArtifactWritten

An artifact was written to disk.

Fields

step: StepId

Step that produced the artifact.

name: String

Artifact name as declared in the DSL.

path: PathBuf

Path on disk.

sha256: String

Lowercase hex SHA-256 of the artifact bytes.

DeviationRecorded

A deviation was logged by the operator.

Fields

step: Option<StepId>

Step in which the deviation was logged, if any. None for deviations logged outside of a step (before the first step or while a ceremony-level prompt is pending).

text: String

Verbatim deviation text.

at: DateTime<Utc>

Wall-clock timestamp when the deviation was recorded.

StepCompleted

Step finished executing.

Fields

id: StepId

Step identifier.

outcome: StepOutcome

Outcome (completed or skipped).

completed_at: DateTime<Utc>

Wall-clock timestamp at completion.

CeremonyCompleted

Ceremony finished successfully.

The transcript’s cryptographic identity is SHA-256(line_bytes) for this line, recoverable by any reader, so the fact itself carries no fingerprint field. The runtime forwards the value to frontends through an out-of-band channel event.

Fields

completed_at: DateTime<Utc>

Wall-clock timestamp at completion.

CeremonyFailed

Ceremony failed or was aborted.

Fields

error: ErrorRecord

Structured error record.

failed_at: DateTime<Utc>

Wall-clock timestamp at failure.

Trait Implementations

impl Clone for StepFact

fn clone(&self) -> StepFact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StepFact

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for StepFact

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for StepFact

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

where __S: Serializer,

Serialize this value into the given Serde serializer.