An Auditable External Relational State Machine for Frozen LLMs | Synapse