Order-Terminal
Order-terminal names terminality relative to an order: the condition of a term when that term completes the readable length of its order.
A term carries a readable length of relation. Terminal names where a current read stops because continuation crosses a closure scope the read cannot follow. Order-terminal marks the term-position where a thread through an order completes enough that continuation cannot remain the same read.
Order-terminal does not end relation. What continues must be re-entered, restarted, or lifted into another order.
Places
Order-terminal places terminality relative to an order — the point where a readable length completes within its order and cannot continue as the same read.
Holds
Order-terminal is held by Term, Thread, and Terminal. A term carries a readable length; thread carries the continuity of the read through that length; terminal names the limit of readability at the current closure scope.
Pairs
Terminal carries downward into Order-Terminal. Order-terminal is a role-condition of completion.
Traces
Nests
Order-terminal nests where a term completes the readable length of an order without ending relation itself.
Its instances are recognised across orders rather than carried as descendants:
- Resolution — order-terminal of first order
- Coupling — order-terminal of second order
- Nesting — order-terminal of third order
- Recursion — order-terminal of higher order
Reads
Order-terminal becomes recognisable where continuation would cross the closure scope of the current order, requiring re-entry, restart, or lifting into another order.
Carries
Order-terminal carries no further public branch at this scope. Its instances are recorded under Nests.