Repository navigation

Declare a top-K aggregation on a group and list what declares one (Steps 1 and 2 of #386) - #493

Merged

zipdoki merged 5 commits into

mainfrom

feat/topk-metadata

Aug 27, 2026

Merged

Declare a top-K aggregation on a group and list what declares one (Steps 1 and 2 of #386)#493
zipdoki merged 5 commits into
mainfrom
feat/topk-metadata

Commits on Aug 19, 2026
- Declare a top-K aggregation on a group and list what declares one
  zipdoki
  committed
  792c43a
- Apply Spotless formatting
  zipdoki
  committed
  23ec512
Commits on Aug 27, 2026
- A top-K declares the queue its refreshes are enqueued onto
  zipdoki
  committed
  6152732
- Call the refresh queue a queue
  zipdoki
  committed
  c6cb57d
- Stop claiming a group direction of BOTH is rejected at registration
  zipdoki
  committed
  ec26bc9