Repository navigation

Adapt to timely #817: least()/retain_least(), inspect_core, Collection::delay - #874

Merged

frankmcsherry merged 3 commits into

dd-dynamic-stampsfrom

stamp-totalorder

Sep 14, 2026

Merged

Adapt to timely #817: least()/retain_least(), inspect_core, Collection::delay#874
frankmcsherry merged 3 commits into
dd-dynamic-stampsfrom
stamp-totalorder

Commits on Sep 11, 2026
- Spike: adapt to TotalOrder-bounded InputCapability::time()/retain()
  
  frankmcsherry
  and
  claude
  committed
  6df3e23
- Adapt to Option-returning time()/retain(); Collection::delay without delay_batch
  
  frankmcsherry
  and
  claude
  committed
  9757f99
- Comments: the operators hold capabilities and consult frontiers; unary_notify is gone
  
  frankmcsherry
  and
  claude
  committed
  51d3419