Refactor cycle detection traversal#163

Open

leynos wants to merge 11 commits into

mainfrom

codex/refactor-find_cycle-to-reduce-nesting-complexity-xa3wfu

Commits on May 26, 2026

Refactor cycle detection to own traversal state
leynos
committed

Commits on May 27, 2026

Extract shared helper for canonicalize_cycle tests (#74)

leynos
and
cursoragent
committed
Always pop stack when visit returns from dependency walk (#74)

leynos
and
cursoragent
committed
Assert stack is empty after cycle detection (#74)

leynos
and
cursoragent
committed
Expand cycle detection module documentation (#74)

leynos
and
cursoragent
committed
Document cycle detection types and methods (#74)

leynos
and
cursoragent
committed
Add proptest invariants for canonicalize_cycle (#74)

leynos
and
cursoragent
committed
Sort target keys before cycle detection (#74)

leynos
and
cursoragent
committed
Add cycle determinism and multi-cycle tests (#74)

leynos
and
cursoragent
committed

Commits on May 28, 2026