connect4_v3 state

cols

rows

board

board is indexed \[column]\[row]; row 0 is the bottom. 0 = empty, 1/2 = player.

moveTimeout

maxOfferTTL

// minutes

minStake

// ugnot

denom

Status

Open

Playing

Won

Draw

Void

Cancelled

Game

Stats

games

// key(id) -> \*Game

active

// key(id) -> \*Game, only Open and Playing

stats

// address -> \*Stats

nextID

fee

// ugnot per decisive game

feesCollected

owner

// the deployer; nil (no owner) if deployed some other way

testSession

init.24

Offer

Offer posts a game open for validFor minutes. The stake is the ugnot sent with the call. A non-empty opponent makes the offer private. commitment is the lowercase hex sha256 of a secret passphrase, revealed after Accept.

validateOffer

validateOffer returns every rule an offer breaks. Offer panics with the first; the "new" page lists them all before anyone signs.

Accept

Accept joins an open offer by sending exactly its stake. The creator then has 90s to Reveal, which picks the first mover.

Reveal

Reveal discloses the creator's passphrase, which picks the first mover. It must come within 90s of Accept.

Play

Play drops a piece in column (1-7). move is the game's move count the player saw (Moves before this piece): a resent or delayed move that the game has moved past is refused instead of being played on a later turn.

ClaimTimeout

ClaimTimeout settles a game whose move clock ran out. Anyone may call it.

Resign

Resign concedes a game in progress.

Cancel

Cancel withdraws an open offer and refunds the creator. The creator may cancel at any time; anyone may once the offer has expired.

SetFee

SetFee changes the flat house fee, in ugnot, for new offers. Games already offered keep the fee they were created with.

WithdrawFees

WithdrawFees sends all collected fees to to.

TransferOwnership

received

received returns the ugnot sent with a direct user call. OriginSend only describes a real payment to this realm when the caller is an EOA using maketx call; see docs/resources/effective-gno.md.

noCoins

noCoins guards calls that take no payment: coins sent with them would be stuck in the realm.

noSession

noSession refuses calls signed by an account session key.

sha256Hex

isHexSHA256

settleWin

settleDraw

settleVoid

leader

leader is one leaderboard row. The boards are kept at settlement so Render never walks every player's stats.

topWins

// highest first, at most topN

topGnot

// highest first, at most topN

topN

bump

bump moves addr to its new score in board. Scores only grow, so a player already listed can only move up; ties keep the earlier holder first.

finish

send

statsOf

key

key zero-pads ids so avl iteration order matches creation order.

get

mustGet

GameJSON

GameJSON returns {"now":\<unix>,"game":\<game>|null}. It is a read-only accessor for clients querying over vm/qeval; now is the block time.

ActiveJSON

ActiveJSON returns {"now":\<unix>,"games":\[...]}: Open and Playing games in id order, skipping offset and returning at most limit (clamped to 1-100).

writeNow

writeGame

writeGame emits one game. Every stored string is validated on write (addresses by IsValid, the commitment as hex), so Quote is defence in depth.

writeStr

writeStr and writeNum append \`,"k":v\`; the caller writes the first field.

writeNum

lobbyRows

lobbyRows caps the games the lobby lists, so Render stays within query gas however many games are open; clients page through ActiveJSON instead.

red

Board colours. gnoweb only embeds SVG as data-URI images, so each column is its own image, wrapped in its Play link while the game is being played.

yellow

Board colours. gnoweb only embeds SVG as data-URI images, so each column is its own image, wrapped in its Play link while the game is being played.

hole

Board colours. gnoweb only embeds SVG as data-URI images, so each column is its own image, wrapped in its Play link while the game is being played.

boardBlue

Board colours. gnoweb only embeds SVG as data-URI images, so each column is its own image, wrapped in its Play link while the game is being played.

lastMoveStroke

Board colours. gnoweb only embeds SVG as data-URI images, so each column is its own image, wrapped in its Play link while the game is being played.

winStroke

Board colours. gnoweb only embeds SVG as data-URI images, so each column is its own image, wrapped in its Play link while the game is being played.

cellPx

Board colours. gnoweb only embeds SVG as data-URI images, so each column is its own image, wrapped in its Play link while the game is being played.

headerPx

Board colours. gnoweb only embeds SVG as data-URI images, so each column is its own image, wrapped in its Play link while the game is being played.

pieceColor

pieceName

Render

Render serves "" (lobby and leaderboards), "new" (offer form) and "game/\<id>" (one game with every action its state allows). Everything written comes from realm state or from query values that have been validated and re-formatted; raw path input is never echoed.

pageURL

pageURL links to one of this realm's Render pages. The realm path is read at runtime, like txlink does, so links work wherever the realm is deployed.

gameLink

renderLobby

renderNew

renderNew shows the offer form and, once submitted, a single Offer link with the stake and every argument prefilled (gnoweb cannot edit .send).

renderGame

boardView

boardView draws the board. While a move can be played it is 7 column images, each wrapped in its Play link (gnoweb lays linked images out side by side). Otherwise it is one image of all 7 columns, since gnoweb stacks bare images vertically. The last move gets a dark ring, a winning line a green one.

drawColumn

drawColumn draws column c at horizontal offset x and returns its alt text.

acceptURL

digits

openTo

parseGNOT

parseGNOT parses a decimal GNOT amount ("10", "2.5") into ugnot.

leaderboard

leaderboard renders a board kept at settlement (topWins, topGnot).

gnot

gnot formats ugnot as GNOT with up to 6 decimals.

remaining

orNone