A new framework uses a categorical variational autoencoder to compress raw Wi-Fi Channel State Information into discrete latent variables. This process allows researchers to extract Linear Temporal Logic rules for human activity recognition. It replaces opaque neural representations with symbolic logic. Practitioners can now audit and modify the specific triggers driving activity detection.