02 Second Order/Readability Conditions/Observation
Observation
Observation names a visible read taken up into local evaluation. Where visibility names the condition through which presented distinction becomes readable, observation names the act of taking that readable distinction into evaluation at the current scope. Observation does not determine what is observed; it names the condition through which visible distinction becomes evaluable.
Trace
Read
Observation becomes recognisable where a visible condition is being actively evaluated — where what is readable is being read rather than merely available to be read.