LLM-Based FORM Code Generation with Verification-Driven Fine-Tuning | TickerVault