02 Second Order/Closure Conditions/Traversal
Traversal
Traversal names a read being followed through a closure scope. Where closure scope names the bounded extent within which a read holds, traversal names the movement through that extent — following reads, conditions, and traces within the current scope. Traversal does not name progress or direction by itself; it names the act of following through what is available within scope.
Trace
Read
Traversal becomes recognisable where reads can be followed through available conditions within a bounded extent — where movement through a scope is possible rather than merely presence within it.