Skip to content

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

Open
lukepolo wants to merge 46 commits into
mainfrom
nades
Open

feature: nade lineups, practice servers and coaching#396
lukepolo wants to merge 46 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.
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