Glossary · Evaluator mechanisms
MechanismM
2InstrumentWhat computes a judgment: a formal verifier, execution checker, deterministic checker, structural control, learned judge, human rater or panel, intrinsic signal, or a hybrid portfolio. A mechanism is not an evaluator system.
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.Related terms
- Evaluator system
- The complete arrangement by which a claim is operationalized, measured, consumed, and maintained: E_sys = (C, I, R, V, L). A mechanism is only one part of it.
- Verification hierarchy
- Formal verification > execution feedback > learned judges > intrinsic signals: a prior over expected grounding strength, not a verdict on validity. Human judgment sits outside the ladder as the external frontier and trust root.
Where it comes up
- Vocabulary without category errorsHandbook · Foundations
- Specification: what counts as successHandbook · Instrument
- Notation and formula cardHandbook · Reference
- CrosswalkHandbook · Reference
- The frameworkPage