Type Alias PropagatingProcess 

pub type PropagatingProcess<T, S, C> = CausalEffectPropagationProcess<T, S, C, CausalityError, EffectLog>;

A stateful causal process with context.

PropagatingProcess is the full-featured alias for CausalEffectPropagationProcess.

• T: The type of value being propagated.
• S: The custom state type (e.g., a struct tracking accumulators or history).
• C: The custom context type (e.g., config, read-only references).

Use this when your causal model needs to remember information between steps (Markdown property) or access global configuration (Context).

Aliased Type

pub struct PropagatingProcess<T, S, C> {
    pub value: EffectValue<T>,
    pub state: S,
    pub context: Option<C>,
    pub error: Option<CausalityError>,
    pub logs: EffectLog,
}

Fields

value: EffectValue<T>

The current value of the computation.

state: S

The current state of the process (e.g., accumulated risk, counters).

context: Option<C>

The optional execution context (e.g., global config, reference data).

error: Option<CausalityError>

The current error state. If Some, new bind operations will skip execution.

logs: EffectLog

The audit log containing the history of operations.