Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles (ArXiv cs.LO Recent Papers, 2026)