Issues

• Elixir source frontend leaves def … rescue/catch and defmacro as plain calls to def instead of :function_def nodes

  elixir-vibe/reach#62 · Filter by author elimydlarz opened on Oct 30, 2026

• extract_pure_region actionability for already-separated event reducers and recursive validation families

  elixir-vibe/reach#61 · Filter by author mhodgson opened on Oct 29, 2026

• break_cycle selects a public data-contract pair whose only reverse edge is a typespec reference

  elixir-vibe/reach#60 · Filter by author mhodgson opened on Oct 29, 2026

• break_cycle actionability for source-resolved Oban constructor and successor-scheduling composition

  elixir-vibe/reach#59 · Filter by author mhodgson opened on Oct 29, 2026

• introduce_typed_map_contract persists despite a named map type used by the canonical producer and consumers

  elixir-vibe/reach#58 · Filter by author mhodgson opened on Oct 29, 2026

• extract_pure_region selects a guard-only shape predicate with no executable body region

  elixir-vibe/reach#57 · Filter by author mhodgson opened on Oct 29, 2026

• Keyword.get_lazy callback reads can be classified pure, producing redundant_computation findings

  elixir-vibe/reach#56 · Filter by author mhodgson opened on Oct 29, 2026

• IO.iodata_to_binary/1 is classified as :io by the blanket IO module rule

  elixir-vibe/reach#55 · Filter by author mhodgson opened on Oct 29, 2026

• extract_pure_region branch count treats Ecto where predicates as Elixir control-flow branches

  elixir-vibe/reach#54 · Filter by author mhodgson opened on Oct 29, 2026

• Enum.each/2 adds an unconditional :io effect even for a known database-write callback

  elixir-vibe/reach#53 · Filter by author mhodgson opened on Oct 29, 2026

• isolate_effects remains on already-separated read/write coordinators with no actionable pure region

  elixir-vibe/reach#52 · Filter by author mhodgson opened on Oct 29, 2026

• --dead-code reports :ok = call() assertions as unused results, and has no baseline

  elixir-vibe/reach#50 · Filter by author dannote opened on Oct 6, 2026

• Dead-code check treats calls to functions inferred as dynamic() as pure

  bug
  elixir-vibe/reach#48 · Filter by author dannote opened on Oct 3, 2026
  1

• Plugin inference from doc substrings makes local add/remove/delete calls :write in projects without Ecto/Phoenix

  elixir-vibe/reach#46 · Filter by author jsmestad opened on Sep 30, 2026
  2