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 continuous latents with symbolic logic. Practitioners can now audit and modify the decision-making process of CSI-based models.