Frame: Grounding LLM Vulnerability Detection with a Sound Separation-Logic Core (lambdasec.github.io)