Key terms and concepts in the Asupersync runtime.
Time allowance for cancellation cleanup
Capability context
Highest-priority scheduler lane
Protocol compliance guarantee
Permission check on Cx
Dynamic Partial Order Reduction
Graceful cleanup during cancellation
Final cleanup after draining
Scoped resource borrow
Deterministic testing runtime
Result type for async operations
Linear obligation token
Region has no pending work
A structured concurrency scope
Normal work scheduler lane
Hierarchy of nested Regions
Spawn + Fork primitive
Deterministic execution parameter
Fault-tolerant task manager
Deadline-based scheduler lane