feat(compiler): SYN008 — warn on WebSocket() calls that bypass the net capability model (?bs 0.7+)#149

Closed

marcelofarias wants to merge 9 commits into

mainfrom

botkowski/syn008-websocket-bypass

Commits on Jun 10, 2026

feat(compiler): SYN008 — warn on WebSocket() calls that bypass the net capability model (?bs 0.7+)

authored and
Marcelo Farias
committed

Commits on Jun 11, 2026

fix(compiler): SYN008 — don't recommend `uses { net }` alone; CAP002 fires without http.* calls

authored and
Marcelo Farias
committed
fix(compiler): address Copilot review feedback on SYN008

Marcelo Farias
authored and
Marcelo Farias
committed
fix(compiler): add WebSocket?.<T>() optional-call-with-type-args detection for SYN008

Marcelo Farias
authored and
Marcelo Farias
committed
fix(syn008): update stale unsafe-fn skip comment to say all SYN checks are skipped

authored and
Marcelo Farias
committed
fix(syn008): normalize call-paren token, fix depth underflow, add method-shorthand exclusion

authored and
Marcelo Farias
committed
fix(compiler): address SYN008 Copilot review feedback

authored and
Marcelo Farias
committed

Commits on Jun 12, 2026

fix(compiler): address remaining SYN008 Copilot review feedback

authored and
Marcelo Farias
committed
fix(syn008): generalize message example and fix explanation bypass-class description

authored and
Marcelo Farias
committed