TraceSynth: Generating Production-Quality Kernel Traces with Constraint-Guided Diffusion Models | ResearchPod