feat(compiler): SYN017 — warn on Notification() construction that bypasses the capability model (?bs 0.7+)#164

Merged

marcelofarias merged 18 commits into

mainfrom

botkowski/syn017-notification-bypass

Jun 18, 2026

Commits on Jun 17, 2026

feat(compiler): SYN017 — warn on Notification() construction that bypasses the capability model (?bs 0.7+)

authored and
Marcelo Farias
committed
fix(compiler): address Copilot review on SYN017 — add optional-call and generic forms to header comment and rule text

authored and
Marcelo Farias
committed
fix(syn017): address Copilot review — generator declaration exclusion and await-ternary guard

authored and
Marcelo Farias
committed
fix(syn017): use operator token kind for generator * exclusion

authored and
Marcelo Farias
committed
fix(syn017): exclude type-literal method signatures with no type annotations

authored and
Marcelo Farias
committed
fix(syn017): narrow type-literal exclusion to guard against object-literal false negative

authored and
Marcelo Farias
committed
docs(mcp): fix grammar nit in SYN017 explanation text

authored and
Marcelo Farias
committed
fix(syn017): extend type-literal exclusion to handle semicolon/comma separators

Marcelo Farias
authored and
Marcelo Farias
committed
fix(syn017): bound Notification<T> generic scan to decl.tokenEnd

authored and
Marcelo Farias
committed
fix(syn017): address APPROVED review nits — title wording and header ordering

authored and
Marcelo Farias
committed
refactor(compiler): use isFunctionStarDecl helper in SYN017 generator exclusion

authored and
Marcelo Farias
committed
fix(SYN017): use (...) placeholder in unsafe-wrap message, not (title, options)

authored and
Marcelo Farias
committed
fix(compiler): SYN017 add empty-parens type-literal test; fix MCP example

authored and
Marcelo Farias
committed
fix(compiler): align SYN017 warning message unsafe reason with registry idiom

authored and
Marcelo Farias
committed
fix(compiler): SYN017 empty-parens type-literal exclusion now covers non-first members

authored and
Marcelo Farias
committed

Commits on Jun 18, 2026

fix(syn017): broaden TS type-literal exclusion; align title strings

authored and
Marcelo Farias
committed
fix(SYN017): address Copilot review — mark await-in-ternary test fixtures as async fn

authored and
Marcelo Farias
committed
fix(syn017): extend type-literal exclusion to non-first generic type args

authored and
Marcelo Farias
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

feat(compiler): SYN017 — warn on Notification() construction that bypasses the capability model (?bs 0.7+)#164

feat(compiler): SYN017 — warn on Notification() construction that bypasses the capability model (?bs 0.7+)#164
marcelofarias merged 18 commits into
mainfrom
botkowski/syn017-notification-bypass

Commits on Jun 17, 2026

feat(compiler): SYN017 — warn on Notification() construction that bypasses the capability model (?bs 0.7+)

fix(compiler): address Copilot review on SYN017 — add optional-call and generic forms to header comment and rule text

fix(syn017): address Copilot review — generator declaration exclusion and await-ternary guard

fix(syn017): use operator token kind for generator * exclusion

fix(syn017): exclude type-literal method signatures with no type annotations

fix(syn017): narrow type-literal exclusion to guard against object-literal false negative

docs(mcp): fix grammar nit in SYN017 explanation text

fix(syn017): extend type-literal exclusion to handle semicolon/comma separators

fix(syn017): bound Notification<T> generic scan to decl.tokenEnd

fix(syn017): address APPROVED review nits — title wording and header ordering

refactor(compiler): use isFunctionStarDecl helper in SYN017 generator exclusion

fix(SYN017): use (...) placeholder in unsafe-wrap message, not (title, options)

fix(compiler): SYN017 add empty-parens type-literal test; fix MCP example

fix(compiler): align SYN017 warning message unsafe reason with registry idiom

fix(compiler): SYN017 empty-parens type-literal exclusion now covers non-first members

Commits on Jun 18, 2026

fix(syn017): broaden TS type-literal exclusion; align title strings

fix(SYN017): address Copilot review — mark await-in-ternary test fixtures as async fn

fix(syn017): extend type-literal exclusion to non-first generic type args