The model proposes. Rules decide.
Tests are generated under a formal grammar. The LLM can't cite an element that was never measured, and every claim has to rest on recorded evidence. Predefined rules decide which elements and outcomes the AI may use.


