Repository navigation

fix(analyzer): Traverse all functions during prescan - #386

Draft

Saloed wants to merge 13 commits into

mainfrom

saloed/prescan-init

Draft

fix(analyzer): Traverse all functions during prescan#386
Saloed wants to merge 13 commits into
mainfrom
saloed/prescan-init

Commits on Aug 27, 2026
- docs(dataflow): design prescan initialization propagation
  Saloed
  committed
  95eeff8
- feat(dataflow): propagate initialization facts during prescan
  Saloed
  committed
  37893f9
Commits on Aug 28, 2026
- refactor(dataflow): reuse initial fact delivery for prescan
  Saloed
  committed
  6f3fd37
- refactor(dataflow): observe prescan seeds via summary subscription
  Saloed
  committed
  8c0a9fb
- refactor(dataflow): generalize summary subscriber wiring
  Saloed
  committed
  d2dd412
- refactor(dataflow): move prescan propagation into analysis manager
  Saloed
  committed
  3965532
- refactor(dataflow): simplify prescan summary propagation
  Saloed
  committed
  3503408
- refactor(dataflow): narrow prescan manager contract
  Saloed
  committed
  e56da44
- refactor(dataflow): manage prescan lifecycle in phase transitions
  Saloed
  committed
  c8dc6b1
- refactor(dataflow): scope prescan propagation to phase
  Saloed
  committed
  960a5fd
- refactor(dataflow): minimize staged analyzer changes
  Saloed
  committed
  e694426
- refactor(dataflow): simplify prescan propagation
  Saloed
  committed
  26f543c
- refactor(dataflow): separate prescan target resolution
  Saloed
  committed
  76b90ef