Module runtime_effect 

Runtime effect capture: canonical side-effect types and sink for the kernel.

All side effects produced during execution are represented as RuntimeEffect and logged to the active context via EffectSink. This ensures zero uncaptured side effects leak into the execution state (replay and verification can rely on a complete effect stream).

Structs

NoopEffectSink

Effect sink that discards all effects (e.g. when capture is not needed).

Enums

RuntimeEffect

A single runtime side effect that the kernel (or adapters) must capture.

Traits

EffectSink

Sink for recording runtime effects for the active thread/run.