Sleeping Agents Turnstyle β Neurosymbolic SmolLM2 π Vanilla SmolLM2 vs. turnstyle symbolic+probe grounding