Does ThruLine use an LLM to decide whether my code is correct?
No. An LLM — a large language model, the kind of AI that writes text — never decides whether a claim is proven. The verdict path is deterministic: the same record always gives the same answer.
The record is what your agent said and what actually ran. Every verdict rests on recorded runs of your own tests, which you can re-run yourself. After the verdict, a model on your machine (through Ollama) can narrate a finding in plain English. That is off by default, and it refuses any model that is not on this machine.