perf(driver): scope lowering invalidation per unit#1739

Draft

ghaith wants to merge 14 commits into

incremental_compilation

Commits on May 18, 2026

feat(driver): add per-phase pipeline timing instrumentation

ghaith
and
claude
committed
feat(index): track per-unit symbol ownership

ghaith
and
claude
committed
feat(index): add reverse-dependency graph

ghaith
and
claude
committed
perf(driver): skip redundant lowering re-passes when nothing to do

ghaith
and
claude
committed
perf(driver): per-unit re-index after polymorphism table generation

ghaith
and
claude
committed
perf(driver): partial re-annotation after AggregateTypeLowerer

ghaith
and
claude
committed
perf(driver): per-unit re-index for RetainParticipant and ArrayLowerer

ghaith
and
claude
committed
feat(driver): LoweringBookkeeper helper for participant bookkeeping

ghaith
and
claude
committed
feat(driver): UnitLowerer trait + AutoLowerer adapter

ghaith
and
claude
committed
feat(driver): UnitLowerer::prepare for two-pass context-gather

ghaith
and
claude
committed
refactor(driver): migrate ArrayLowerer to UnitLowerer

ghaith
and
claude
committed
refactor(driver): migrate PolymorphismLowerer table to UnitLowerer (shared instance)

ghaith
and
claude
committed
docs(book): add migration guide for writing lowering passes

ghaith
and
claude
committed
refactor(lowering): MutationTracker (body vs signature) and drop AnnotationMap::into_any_box

ghaith
and
claude
committed