A categorical variational autoencoder now compresses high-dimensional Wi-Fi CSI signals into discrete latent representations. This pipeline enables the extraction of Linear Temporal Logic rules for human activity recognition. By decoupling signal compression from symbolic reasoning, ArXiv researchers provide a way to audit opaque deep learning predictions. Practitioners gain precise control over HAR classification logic.