feat(d5.4): extractor emits alias_join for verified ctor-adopt (step 2, first slice)#137

Merged

PhysShell merged 3 commits into

mainfrom

claude/agenda-2rufsj

Jun 27, 2026

Commits on Jun 27, 2026

feat(d5.4): extractor emits alias_join for verified ctor-adopt (step 2, first slice)
claude
committed
fix(d5.4): recognise target-typed `new(...)` adopters too (Codex)
claude
committed
fix(d5.4): harden adopt proof — no static fields, pure-ctor only, ancestor escape walk (CodeRabbit)
claude
committed