02 Second Order/Closure Conditions/Scope
Scope
Scope names the bounded extent within which a read can hold. Where closure names a read becoming sufficiently bounded for evaluation, scope names that extent as a readable condition — the range within which a read participates without extending beyond what holds at the current boundary. Scope does not name the read itself; it names the extent within which the read is valid.
Trace
Read
Scope becomes recognisable where a condition is bounded enough to say where a read holds, fails, or changes — where something can be evaluated as within or beyond the current extent.
Passage Role
Scope is a passage condition: it names the extent within which carrying, reading, or evaluation can hold without being extended beyond support.