02 Second Order/Closure Conditions/Condition
Condition
Condition names a read held as available within the current closure scope. Where readability names the sustained condition that makes reading possible, condition names the produced read — the state under which participation, carrying, or change holds at the current scope. Condition does not name a permanent state; it names what is readable as holding now.
Trace
Read
Condition becomes recognisable where a read can be identified as the state currently holding — where something can be said to be the case within the current scope.