Repository navigation

fix(core, analyzer): Add hard field limits - #419

Merged

Saloed merged 6 commits into

saloed/5-default-getfrom

saloed/field-limit

Oct 26, 2026

Merged

fix(core, analyzer): Add hard field limits#419
Saloed merged 6 commits into
saloed/5-default-getfrom
saloed/field-limit

Commits on Oct 25, 2026
- feat(dataflow): Cap the iterative-deepening fact ladder with a field limit
  
  authored and
  misonijnik
  committed
  193a0c0
- feat(dataflow): Gate every analyzer edge on the field-depth ladder
  
  authored and
  misonijnik
  committed
  08aad4c
- feat(dataflow): Split final facts at the field limit instead of delaying the whole edge
  
  authored and
  misonijnik
  committed
  bc4d5ff
- feat(dataflow): Bound backward trace search by the reached ladder depth without a field limit
  
  authored and
  misonijnik
  committed
  bae5633
- feat(dataflow): Deepen the backward trace search instead of cutting it at a fixed depth
  
  authored and
  misonijnik
  committed
  15415a1
- refactor(dataflow): Rename the field limit to the iteration limit and simplify field depth
  
  authored and
  misonijnik
  committed
  bf6fba9