QNLLM v3.1: A Formally Verifiable Continual Learning System with 21 Behavioral Invariants | Synapse