02 Second Order / Closure Scope

Closure Scope

Closure scope names the bounded extent within which a read can be evaluated as holding. Where closure names a read becoming sufficiently bounded for evaluation, closure scope names that bounded extent as an evaluative condition — the scope at which a read holds, fails, or changes. Closure scope does not name finality; it names the local boundary within which evaluation proceeds without extending beyond what the current read can support.

Trace

• Closure

Read

Closure scope becomes recognisable where a read can be evaluated without being treated as final beyond the scope at which it holds — where something is true here, within this scope, without claiming to be true everywhere.

Passage Role

Closure Scope is a passage condition: it regulates where a read can close locally, where it must remain open, and where it cannot be carried further without overreaching.

Opens

• Evaluation
• Traversal
• Know
• Spell
• Scene
• Pair