feat(compiler): SYN020/SYN021 — warn on Date/performance ambient time access that bypasses the capability model (?bs 0.7+)#176

Open

marcelofarias wants to merge 7 commits into

mainfrom

botkowski/syn020-021-rebase

Commits on Jun 18, 2026

feat(compiler): add SYN020 (Date.now/new Date/Date() time bypass) and SYN021 (performance.now/timeOrigin time bypass) rebased onto main

authored and
Marcelo Farias
committed
docs: add SYN020/SYN021 to AGENTS.md diagnostic table and README explain list

authored and
Marcelo Farias
committed
fix(SYN020/SYN021): address Copilot review — optional-call format text, end position

authored and
Marcelo Farias
committed
fix(syn020/agents): add Date?.(x) message test; remove clock.sequence() forward reference from AGENTS.md

authored and
Marcelo Farias
committed
docs(agents): clarify SYN020 detection — document three distinct forms including no-parens new Date

authored and
Marcelo Farias
committed

Commits on Jun 19, 2026

docs(agents): fix SYN020/SYN021 description inconsistencies per Copilot review

authored and
Marcelo Farias
committed
docs(mcp): fix Date?.() → Date?.(...) in SYN020 explanation and AGENTS.md

authored and
Marcelo Farias
committed