Filter inter-library dependencies per module#14492

Draft

robinbb wants to merge 12 commits into

mainfrom

robinbb-issue-4572-rebased

Commits on May 15, 2026

test: guards for wrapped-lib soundness under non-trivial wrapping
robinbb
committed
scaffold: thread Lib_index, has_virtual_impl, pps_runtime_libs through cctx
robinbb
committed
refactor: route lib file deps through [lib_deps_for_module]
robinbb
committed
feat: per-module library dependency filter via ocamldep BFS
robinbb
committed
fix: soundness recovery for wrapped libs, ppx-runtime, virtual-impl deps
robinbb
committed
feat: per-module [-I]/[-H] include flags via [kept_libs]
robinbb
committed
perf: cache filtered include flags per [(lib_mode, kept_libs)]
robinbb
committed
perf: cache per-cctx raw ocamldep references by (obj_name, kind)
robinbb
committed
perf: memoise [Lib.closure] keyed on (linking, for_, libs)
robinbb
committed

Commits on May 16, 2026

doc: per-module narrowing algorithm reference
robinbb
committed

Commits on May 17, 2026