Skip to content

feature: nade lineups, practice servers and coaching - #396

Merged
lukepolo merged 47 commits into
mainfrom
nades
Aug 23, 2026
Merged

feature: nade lineups, practice servers and coaching#396
lukepolo merged 47 commits into
mainfrom
nades

Conversation

@lukepolo

Copy link
Copy Markdown
Contributor

No description provided.

@lukepolo
lukepolo force-pushed the nades branch 2 times, most recently from 237a537 to bb4a07f Compare August 20, 2026 18:29
lukepolo and others added 14 commits August 22, 2026 16:09
The suites here hand-check the pools people actually play, up to 15. A
map pool is user-built and can hold every seeded Competitive map (28),
and best_of is a free integer the leagues hand out unchecked, so the
generalisation in get_map_veto_pattern was untested past that point.

Adds best-of 1-7 x every pool size through 28:

- pattern invariants across the whole sweep: the pool is accounted for
  exactly once, picks + decider match the best-of, Sides pair one to one
  with Picks, the Decider closes, and a Side only ever answers the Pick
  immediately before it -- anywhere else is a team being asked to choose
  a side on the map nobody picked.
- a full 28-map playthrough per best-of, asserting turn order against
  the rule restated independently of the SQL (alternate, every completed
  pair of picks reverses the lead), that no Side lands on the decider
  map, and that the series is the picked maps in pick order with the
  decider last.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01SnjC7agrFg2GPESbcEA2VQ
reportOccupancy now returns the players whose presence actually flipped
and pushes utility:where to each. Pins the two properties that matter:
only flipped players are told, and a reconciling report that finds no
change says nothing -- otherwise every idle server would wake every tab
on it once a minute.
@lukepolo
lukepolo merged commit bd01409 into main Aug 23, 2026
2 checks passed
@lukepolo
lukepolo deleted the nades branch August 23, 2026 12:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant