Module supervisor 

Pure-Rust supervisory execution and verification pipeline.

Structs

LightweightSnnPool 🔒

PetriNetSnapshot

Snapshot transferred from the RT loop to the Z3 worker.

PySpikingControllerPool

SupervisorState

Shared supervisor state for RT loop + worker lane.

Enums

SupervisorExecutionError

Constants

DEFAULT_SNAPSHOT_CAPACITY 🔒

DEFAULT_SNAPSHOT_PERIOD 🔒

DEFAULT_STEP_INTERVAL_NS 🔒

NUM_PLACES 🔒

NUM_TRANSITIONS 🔒

SAFETY_THRESHOLD_P3 🔒

VERIFICATION_DEPTH 🔒

W_IN 🔒

W_OUT 🔒

Functions

bind_core 🔒

execute_snn_control_loop 🔒

run_supervisor_steps

run_supervisor_steps_with_flag 🔒

spawn_z3_verification_worker

verify_bounds_at_depth