02 Second Order / Closure

Closure

Closure names a read becoming sufficiently bounded for evaluation. Where boundary locates distinction and resolution determines bearing, closure names the condition through which a read becomes bounded enough to be evaluated as holding at a scope. Closure does not name finality or completion — it names the condition that makes local evaluation possible without requiring a read to be exhaustive.

Trace

Read

Closure becomes recognisable where a read is bounded enough to be evaluated — where something can be assessed as holding or not holding within a delimited extent.

Structural Role

Closure is a second-order support root. It does not make participation emerge by itself; it bounds a read enough for evaluation, traversal, scope, and local holding to become possible.

Opens