Glossary · Evaluator mechanisms
Execution / effect checker
An evaluator that runs code, compiles, simulates, queries state, or observes consequences. Grounded but incomplete: passing tests means no tested counterexample was found.
Defined in
Handbook · InstrumentMechanism familiesProof checkers, executors, rule engines, learned judges, intrinsic signals and people: what each can guarantee, and what each can only estimate.Where it comes up
- Vocabulary without category errorsHandbook · Foundations
- The verification hierarchy, demotedHandbook · Foundations
- CrosswalkHandbook · Reference