Validation

Copy Markdown View Source

Reach 2.x is validated at multiple levels.

Project gates

mix compile --force --warnings-as-errors
mix ci
mix docs
mix hex.build

mix ci includes formatting, JavaScript checks, Credo/ExSlop, ExDNA duplication checks, architecture policy, Dialyzer, and tests.

Canonical CLI validation

The canonical command validation script exercises Reach, Phoenix, Ecto, and Oban command paths and checks JSON purity.

/tmp/reach_validate_canonical_full.sh

Expected result:

failures=0

ProgramFacts oracle validation

Reach uses ProgramFacts-generated Elixir projects and oracle facts to validate call graphs, layouts, data flow, effects, architecture policies, branch/control-flow policies, and syntax policies.

Block quality

Visualization changes must preserve source coverage, disjoint block ranges, branch boundaries, clause blocks, non-empty labels, connected exits, and no duplicated lines.

mix test test/reach/visualize/block_quality_test.exs