Skip to content

fix(tooling): drop the derivation gate's export filter — rule 2 as a one-liner, rule 1 scoped - #7274

Merged
yinlianghui merged 2 commits into
mainfrom
claude/issue-6291-derivation-export-filter-split
Sep 2, 2026
Merged

fix(tooling): drop the derivation gate's export filter — rule 2 as a one-liner, rule 1 scoped#7274
yinlianghui merged 2 commits into
mainfrom
claude/issue-6291-derivation-export-filter-split

fix(tooling): rule 1 of the derivation gate sees module-local declara…

3612110
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar