perf(d5): solve MOS by SCC-condensed summary fixpoint, drop the depth cap#151

Merged

PhysShell merged 3 commits into

mainfrom

claude/mos-ownership-summary-n3q3j4

Jun 27, 2026

Commits on Jun 27, 2026

perf(d5): solve MOS by SCC-condensed summary fixpoint, drop the depth cap
claude
committed
fix(d5): resolve forward-returns iteratively, not recursively
claude
committed
docs(d5): correct the unresolved-log contract; test return extern boundary
claude
committed