v0 state

Game

Game is a match between First and Second. First plays turn 1. It is pending until Second accepts, and only then are players named in events that notify them.

games

// id → \*Game

lastGame

declared

load

NewGame

NewGame invites opponent to a game and returns its id. The caller plays first once opponent accepts.

Accept

Accept starts a pending game. Only the invited player may call it.

Play

Play takes the caller's turn in game and passes it to the other player.

Leave

Leave cancels a pending game or ends a started one, and deletes it.

DeclareTriggers

DeclareTriggers declares the "your turn" trigger in the gnotif registry. The registry sees this realm as the caller, so the trigger is verified.

pageSize

Render

Render serves "" (the first page), "page/N" and "game/\<id>".

renderPage

renderPage lists the games newest first, pageSize to a page.

renderGame

status

selfPath

selfPath is this realm's path on gnoweb. It is read at package init, where the realm itself is current; Render is not crossing, so reading it there would give the caller's path. It only builds links.