- Incorporate updated analysis-engine sources (topology obfuscation, loop SCEV, llm client, models, pebbledb storage).
- Fix the Semantic Analysis CI: install Go from go.mod, make BLOCKER opt-in, keep sfw stderr out of the JSON, skip _test.go files.
- README: ground claims in the bench; add a Detection scope section (incl. the deletion-attack blind spot).