v0 state

ProfileJSON

ProfileJSON is the profile of an address, or null when it has none yet: {"addr","name","rank","gamesPlayed","victoryPoints","createdAt"} name is the address's name in gno.land/r/sys/users, "" if none.

PlayersJSON

PlayersJSON is one page of the ranking, best first, count at most MaxPage: {"total","offset","players":[profile...]}

writeProfile

quote

quote encodes s as a JSON string.

MaxPage

MaxPage bounds PlayersJSON and json/players/{offset}/{count}.

Profile

Profile is a player's record, created the first time the address creates or joins a game.

admin

profiles

// address -> \*Profile

ranking

games

init.10

Ensure

Ensure creates addr's profile if it has none yet.

AddGamePlayed

AddGamePlayed counts a game that started for addr.

AddVictoryPoints

AddVictoryPoints adds an award's points (\< 0 for a loss) to addr's total.

assertGame

Allow

Allow lets the game realm pkgPath write the profiles (a new version of the game).

Disallow

Disallow stops pkgPath from writing (a game version no longer scored); its calls panic from then on.

SetAdmin

SetAdmin hands the allowlist over to addr.

assertAdmin

Admin

IsGame

IsGame tells whether the realm pkgPath may write the profiles.

Games

Games lists the allowed game realms.

Get

Get is a copy of addr's profile, false when it has none.

Rank

Rank is addr's 1-based position in the ranking, 0 without a profile.

Count

Count is the number of profiles.

Name

Name is addr's name in gno.land/r/sys/users (where namereg registers them), or "".

rankKey

rankKey sorts by victory points, then games played, both descending, then by address.

desc

desc is a fixed-width key that sorts larger numbers first; victory points may be negative, so it is centred on 0 (|n| below 5e8).

ensure

ensure returns addr's profile, creating it on first use.

update

update applies change to addr's profile and keeps its rank.

rankOf

rankOf is the 1-based position of p in the ranking.

rankingLimit

rankingLimit is how many players the gnoweb page lists.

router

init.33

Render

Render serves the ranking page ("") and the raw JSON views the web client reads ("json/profile/{addr}", "json/players/{offset}/{count}").

renderHome

label

label shows an address by its registered name when it has one.