Type-Checked Compliance: Deterministic Guardrails for Agentic Financial Systems Using Lean 4 Theorem Proving. - Devakh Rashie; Veda Rashi (CoRR, 2026)