VDR-LLM-Prolog: A Complete System Specification for Exact Arithmetic Language Models with Structural Provenance | Synapse