Frame: Grounding LLM Vulnerability Detection with a Sound Separation-Logic Core | Dark Hacker News