A categorical variational autoencoder now compresses raw Wi-Fi CSI signals into discrete latent representations. This approach replaces opaque neural layers with LTL rule extraction for symbolic controllability. Researchers can now audit exactly why a model identifies a specific human movement. It bridges the gap between raw signal processing and causal interpretability.