Module kernel_mode 

Kernel execution mode: controls determinism and replay/verify behavior.

In Replay and Verify modes, nondeterministic operations (clock, randomness, thread spawn) must be trapped so the same run yields an identical event stream.

Enums

KernelMode

Runtime mode for the kernel: determines whether nondeterministic operations are allowed.