connect4 state

bech32Value

bech32Value holds, for each character of the bech32 alphabet "qpzry9x8gf2tvdw0s3jn54khce6mua7l", its 5-bit value plus one. Zero marks every other byte, capitals included.

bech32Gen

bech32Gen\[t] is the XOR of the BIP-173 generators selected by the five bits of t: one table read per character instead of five tests.

bech32PrefixState

The checksum state once the address prefix "g" has been absorbed, which BIP-173 expands to the values 3, 0, 7.

canonical

canonical reports whether a is "g1", then 38 lowercase bech32 characters whose checksum is the original bech32 one: the form a caller's address has.

cols

rows

board

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

moveTimeout

maxOfferTTL

// minutes

feeCap

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

pendingOwner

// set by TransferOwnership, made owner by AcceptOwnership

used

// address + ":" + commitment -> true, both kinds

testSession

init.31

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. seedCommitment is the lowercase hex sha256 of a secret seed, revealed after the creator's passphrase. The creator then has 90s to Reveal.

Reveal

Reveal discloses the creator's passphrase. It must come within 90s of Accept; the acceptor then has 90s to RevealSeed.

RevealSeed

RevealSeed discloses the acceptor's seed, which with the creator's passphrase picks the first mover. It must come within 90s of Reveal.

firstMover

firstMover draws 1 (creator) or 2 (acceptor) from both secrets.

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

TransferOwnership names the next owner, who becomes owner by calling AcceptOwnership. Two steps, so a mistyped or non-canonical address can never strand ownership (and the fees): only an address that signs can accept, and it is recorded as it signs.

AcceptOwnership

AcceptOwnership completes a TransferOwnership; only the named address may call it.

useCommitment

useCommitment records a commitment for addr, refusing one it already used: a revealed secret is public, so reusing it hands the other side the draw. Keyed by address, so nobody can block another player's commitment.

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>,"fee":\<ugnot>,"games":\[...]}: the house fee for new offers, then 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

LeadersJSON

LeadersJSON returns {"wins":\[...],"gnot":\[...]}: the top-10 boards (most games won, most ugnot won) kept at settlement, highest first. Each entry is {"addr":\<address>,"score":\<int>}.

writeLeaders

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.

onTurn

onTurn names who the game waits for.

clockLeft

clockLeft is the time left on the move clock, or "clock ran out". Play is still accepted in the deadline block itself, so zero left is not expired.

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