Reach.Evidence (Reach v2.8.1)

Copy Markdown View Source

Reusable evidence providers consumed by smells, checks, and refactoring candidates.

Evidence modules collect facts and signals. They do not decide whether something is a user-facing finding; smell and check modules own that policy.

Summary

Functions

Returns AST evidence providers available for the configured plugins.

Returns AST evidence providers matching a family or all providers.

Returns generic project-to-dependency reimplementation evidence.

Returns decoded external values crossing storage or process boundaries.

Returns nil-capable parameter uses and guard-dominance evidence.

Returns map-shape variation flowing into function parameters.

Returns near-equivalent struct and bare-map representations across modules.

Returns terminal return-shape evidence grouped by function.

Returns accepted-domain fallback evidence from private parsers.

Functions

ast_providers(plugins \\ [])

Returns AST evidence providers available for the configured plugins.

ast_providers_for(family, plugins)

Returns AST evidence providers matching a family or all providers.

dependency_bypass(project, config \\ [])

Returns generic project-to-dependency reimplementation evidence.

external_data_boundaries(project)

Returns decoded external values crossing storage or process boundaries.

nil_parameters(project)

Returns nil-capable parameter uses and guard-dominance evidence.

parameter_shapes(project)

Returns map-shape variation flowing into function parameters.

representation_overlaps(project, opts \\ [])

Returns near-equivalent struct and bare-map representations across modules.

return_contracts(project)

Returns terminal return-shape evidence grouped by function.

total_function_laundering(project)

Returns accepted-domain fallback evidence from private parsers.