A new pipeline uses a categorical variational autoencoder to compress high-dimensional Wi-Fi Channel State Information into discrete representations. This allows researchers to extract Linear Temporal Logic rules for human activity recognition. The method replaces opaque neural latents with symbolic controllability. Practitioners can now audit the causal logic behind Wi-Fi-based motion detection.