Demonstrating Deterministic Trust and Formal Proof for AI-Generated Code