02 Second Order/Closure Conditions/Evaluation
Evaluation
Evaluation names a read being assessed within a closure scope. Where readability names the condition that makes reading possible and closure scope names the bounded extent within which a read holds, evaluation names the act of taking a read up into assessment — checking whether it holds, comparing it against other reads, or determining its status within the current scope.
Trace
Read
Evaluation becomes recognisable where a read is being actively assessed rather than merely available — where something is being checked, compared, or judged within the current scope.