v0 state

player

player holds the accumulated state for a single address.

players

players maps address string -> \*player. An avl.Tree gives deterministic iteration (unlike a Go map) so Render output is stable across nodes.

get

get returns the stored \*player for addr, creating one if absent.

caller

AddPoints

AddPoints adds n points to the caller's total. n must be positive. Crossing function: MsgCall dispatches only to crossing functions, and the cur.IsCurrent() check authenticates the live call frame before we trust the caller identity derived from it.

SetName

SetName attaches a display name (max 32 bytes) to the caller. Passing an empty string clears the name and falls back to the address in Render.

byRank

byRank implements sort.Interface, ranking players by points descending with ties broken by address so the order is deterministic across nodes. The gno sort package exposes Sort/Stable over an Interface — there is no sort.Slice.

snapshot

snapshot collects all players into a slice ranked by points descending.

medal

medal returns the emoji for a given zero-based rank, or "" past the podium.

Render

Render produces the Markdown leaderboard. It is NOT a crossing function (read-only view, no cur realm parameter).