feat(compiler): DEP003/DEP004 — warn when reads/writes labels are over-declared (?bs 0.9+)#100

Closed

marcelofarias wants to merge 21 commits into

mainfrom

botkowski/dep003-dep004-over-declared

Commits on Jun 1, 2026

feat(compiler): DEP003/DEP004 — warn when reads/writes labels are over-declared (?bs 0.9+)

authored and
Marcelo Farias
committed
fix(dep-check): exclude self-recursive fns, seed from paramReads/paramWrites, fix DEP003/DEP004 examples

authored and
Marcelo Farias
committed
fix(dep003-dep004): address Copilot review — fix leaf-fn test gaps and add docs

authored and
Marcelo Farias
committed
fix(dep-check): skip opaque external callees in DEP003/DEP004; fix DEP001/DEP002 over-declaration wording

Marcelo Farias
authored and
Marcelo Farias
committed
fix(dep-check): include all knownExternalNames in allCalleeNames for DEP003/DEP004

authored and
Marcelo Farias
committed
fix(dep-check): suppress DEP003/DEP004 when fn has opaque (unlisted) calls

authored and
Marcelo Farias
committed
fix(dep-check): address Copilot review — keyword suppression and alias gating

authored and
Marcelo Farias
committed
fix(compiler): address DEP003/DEP004 Copilot review comments

authored and
Marcelo Farias
committed
fix(compiler): address DEP003/DEP004 Copilot review — member calls and buildModuleEffects

authored and
Marcelo Farias
committed
fix(dep-check): param method calls no longer suppress DEP003/DEP004; canonical stdlib source

authored and
Marcelo Farias
committed
fix(dep-check): narrow CapCase opaque skip to err() constructors; pass body locals to hasOpaqueCall

authored and
Marcelo Farias
committed
fix(callgraph): track brace depth in collectTopLevelParamNames to exclude object type annotation properties

authored and
Marcelo Farias
committed
fix(compiler): remove unused STDLIB_NAMESPACES import; update hasOpaqueCall doc

authored and
Marcelo Farias
committed
fix(callgraph): detect optional call patterns as opaque in hasOpaqueCall

Marcelo Farias
authored and
Marcelo Farias
committed
fix(callgraph): remove duplicate hasOpaqueCall introduced by rebase

authored and
Marcelo Farias
committed

Commits on Jun 2, 2026

fix(callgraph): reuse STDLIB_VALUE_CALL_NAMES; expand DEP003 explanation

authored and
Marcelo Farias
committed
fix(dep-check): exclude callback param bare calls from opaque detection; fix DEP004 explanation

authored and
Marcelo Farias
committed
fix(compiler): address Copilot review on DEP003/DEP004 PR

authored and
Marcelo Farias
committed
fix(callgraph): lazily compute localNames in hasOpaqueCall when not provided

authored and
Marcelo Farias
committed

Commits on Jun 3, 2026

fix(dep-check): fix misleading test name — test asserts DEP003 does NOT fire

authored and
Marcelo Farias
committed

Commits on Jun 7, 2026

fix(callgraph,dep-check): exclude local optional calls from opaque; fix misleading DFS comment

authored and
Marcelo Farias
committed