Frame is a neuro-symbolic SAST that pairs a sound separation-logic core with a verified, tiered LLM layer. On the Endor Labs real-world corpus it reaches 0.67 recall at 0.51 precision versus Semgrep's 0.52/0.40, finding around 65 vulnerabilities across Java, JS/TS, and C# that both a symbolic engine and Semgrep miss.