refactor: SSA-based pattern registry architecture#14

Closed

mpyw wants to merge 50 commits intomainfrom

refactor/ssa-pattern-registry

Commits on Dec 22, 2025

feat(ssa): add SSA-based analysis foundation

mpyw
and
claude
committed
feat(patterns): add pattern interfaces and implementations

mpyw
and
claude
committed
feat(registry): add API registration system

mpyw
and
claude
committed
feat(checker): add unified SSA-based checker

mpyw
and
claude
committed
refactor(analyzer): add SSA dependency for future pattern integration

mpyw
and
claude
committed
fix(patterns): always fall back to AST when SSA analysis fails

mpyw
and
claude
committed
feat(ssa): enhance SSA value finding and context variable detection

mpyw
and
claude
committed
feat(ssa): implement SSA FreeVars-based context capture detection

mpyw
and
claude
committed
feat(ssa): add SSA-based deriver detection with IIFE/defer distinction

mpyw
and
claude
committed
feat(gotask): migrate gotask checker to unified registry pattern

mpyw
and
claude
committed
refactor(patterns): eliminate namespace pollution with prefixed helpers

mpyw
and
claude
committed
refactor(patterns): consolidate duplicate utilities across packages

mpyw
and
claude
committed
refactor: migrate spawner to unified SSA checker, remove AST-based context package

mpyw
and
claude
committed
refactor(patterns): convert functions to CheckContext methods

mpyw
and
claude
committed
refactor: move CheckContext to internal/context package

mpyw
and
claude
committed
refactor: remove CheckContext type alias, use direct import

mpyw
and
claude
committed
refactor: move checker to internal root, reorganize spawnerlabel

mpyw
and
claude
committed
refactor: consolidate duplicate FuncSpec and ExtractFunc implementations

mpyw
and
claude
committed
refactor: consolidate assignment finding and pointer unwrapping

mpyw
and
claude
committed
refactor: consolidate identifier-to-variable pattern and file search

mpyw
and
claude
committed
refactor: consolidate SSA and AST context capture checks

mpyw
and
claude
committed
refactor: simplify identIsDeriverCall using existing helpers

mpyw
and
claude
committed
refactor(context): add FindIdentFuncLitAssignment helper

mpyw
and
claude
committed
refactor(context): rename Check* methods for consistency

mpyw
and
claude
committed
refactor(ssa): rename CheckDeriverCalls to ClosureCallsDeriver

mpyw
and
claude
committed
refactor(context): consolidate FuncLitUsesContext and ArgUsesContext

mpyw
and
claude
committed
refactor(ssa): remove dead code from tracer.go

mpyw
and
claude
committed
refactor(context): add ArgsUseContext helper

mpyw
and
claude
committed
refactor(patterns): consolidate factory call checking and unify zero false positives

mpyw
and
claude
committed
refactor(patterns): unify method naming and add SSA to ShouldCallDeriver

mpyw
and
claude
committed
refactor(context): add doc examples and cleanup naming

mpyw
and
claude
committed
refactor(patterns): rename deriver patterns for clarity and add flexible DoAsync check

mpyw
and
claude
committed
refactor(registry): abstract task-based API pattern and simplify spawnerlabel

mpyw
and
claude
committed
fix(registry): fix package matching for subpackages and add conc tests

mpyw
and
claude
committed
feat(spawnerlabel): implement SSA-based spawn detection

mpyw
and
claude
committed
feat(conc): add -conc flag and support iter/stream APIs

mpyw
and
claude
committed
refactor(patterns): simplify Pattern.Check with TaskArgument struct

mpyw
and
claude
committed

Commits on Dec 23, 2025