mix scry (scry v0.1.22)

The credo-style one-shot entry point. Compiles the project first, then drives the same incremental core as mix compile.scry against the same manifest — a checkout that already ran mix compile costs a validation walk, not a re-analysis.

mix scry                      # the configured analyses
mix scry supervision ets      # specific analyses
mix scry --all                # every builtin analysis
mix scry --list               # what's available
mix scry --format json        # machine-readable findings
mix scry --fail-above 0       # exit 1 when findings exceed the count
mix scry --include-deps       # feed dependency beams to the call graph
mix scry --force              # ignore the manifest, recompute everything

Unlike the compiler (which degrades with a notice), a missing souffle binary here is an error: a one-shot analysis run without a solver has nothing to say.

Project configuration (scry: — severity overrides, ignores) applies to this task too; positional analyses and --all/--include-deps override the corresponding config keys for the run.