Explainable Educational AI: Integrating Symbolic Reasoning and Diffusion Models for Transparent Knowledge Tracing | Synapse