Jev Compiler (Jevc)

Install globally with npm install -g jev-compiler; the package is jev-compiler and the command it installs is jevc. From source, clone the repository, run npm install and npm run build, then use npx jevc from the checkout.

No, not for the offline surfaces. The 58 recorded fixtures are replayed by jevc check with no API key and no network, and the examples run the same way. Only jevc check --live reaches the model.

It finds the files agent harnesses actually read: CLAUDE.md, AGENTS.md, GEMINI.md, .cursorrules, .github/copilot-instructions.md, .claude/skills/** and .claude/agents/**.

Decisions such as is this command dangerous or which team owns this, which compile into typed questions. Generation never compiles because Jev emits no text, and procedure such as read the file before editing belongs in code as control flow. A compilation that produces no decisions is a valid answer.

TypeSafe's System One model, jev-1.13.0 in the published fixtures. It is non-generative: it returns probabilities and never text, so the verdict is computed by the reducer rather than written by a model.

Every compilation emits all three parts: the decision set, a residual prompt for whatever genuinely still needs a generative model, and the wiring that evaluates the decisions and calls the LLM only for the residual.

It is a text heuristic and the project says so itself. Because of that, the list of rules it flags is worth reading rather than trusting the counts, and not every rule it reports as decidable is worth compiling.