Glossary · Objects and system context
Evaluator systemE_sys
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.
Defined in
Handbook · FoundationsThe evaluator systemMeet the master object E_sys = (C, I, R, V, L), and why a proof checker is a mechanism but a release gate built on it is a system.Where it comes up
- IntroductionHandbook
- Evaluation is measurementHandbook · Foundations
- The One SpineHandbook · Practice
- Anti-patterns and failure vocabularyHandbook · Practice
- Notation and formula cardHandbook · Reference
- The frameworkPage