alloy check

Compiles every source of the project and writes nothing. The report carries the compiler's diagnostics and the lints at their [lint] levels, and the exit code is one on any diagnostic or denied lint. alloy check <file> does the same for one file. alloy flux is the same run with the type check on top.