02 Second Order/Closure Conditions/Local Evaluation
Local Evaluation
Local evaluation names evaluation held within a specific closure scope. Where evaluation names a read being assessed, local evaluation names that assessment as bounded — occurring within a delimited scope rather than claiming to extend beyond it. Local evaluation does not name a lesser or incomplete evaluation; it names evaluation properly situated at the scope at which the read holds.
Trace
Read
Local evaluation becomes recognisable where an assessment can be read as bounded — where what is evaluated is evaluated here, at this scope, without the evaluation claiming to extend beyond it.