v0 state

regNames

regNames are the ABI names, because nobody reading a register dump thinks in x-numbers and every compiler's output is annotated with these.

Render

Render is the realm's gnoweb view. - "/" the samples, the instance list, and what the numbers mean. - "/\<id>" one instance: its status, fuel, output and register file.

renderHome

renderInstance

renderRegisters

renderRegisters restores the snapshot to read the register file out of it. The hart is not kept between transactions, only its snapshot is, so this is the only place the state is legible, and it is the thing worth seeing: a program that wrote nothing still computed something.

fuelText

hexDigits

hexDump

hexDump shows the image as words, which is how anyone reading RV32 reads it.

printable

printable renders guest output for a code fence: printable ASCII as itself, everything else as an escape. A guest writes arbitrary bytes, so this is the only form of it that is safe to show.

codeCell

codeCell puts already-printable text in a code span inside a table cell. Inside backticks markdown escapes are not applied, so ui.Cell's backslashes would reach the reader verbatim ("Hello, gno\\.land"). md.InlineCode builds the span: empty text is no span at all (two bare backticks render as two backticks), a space at either end is padded so CommonMark's strip does not eat it, and the fence outscans any backtick run. The GFM row splitter runs before inline parsing, so the pipe is escaped on top.

MaxInstances

Caps. Everything a caller can grow is bounded, because all of it is storage somebody pays a deposit on.

MaxImage

Caps. Everything a caller can grow is bounded, because all of it is storage somebody pays a deposit on.

MaxOutput

Caps. Everything a caller can grow is bounded, because all of it is storage somebody pays a deposit on.

MaxInput

Caps. Everything a caller can grow is bounded, because all of it is storage somebody pays a deposit on.

DefaultFuel

Caps. Everything a caller can grow is bounded, because all of it is storage somebody pays a deposit on.

MaxSliceFuel

Caps. Everything a caller can grow is bounded, because all of it is storage somebody pays a deposit on.

store

inputs

idgen

count

host

host is the realm-backed [vmkit.Host](/gno.land/p/moul/x/vm/vmkit/v0#Host). One is built per call, wrapping the instance being stepped, so a guest's output and authority are scoped to it and nothing ambient leaks in.

Upload

Upload stores a hex-encoded text image as a new instance and returns its id. The image is loaded here rather than at the first Step, so a misaligned or oversized one is rejected by the transaction that submitted it instead of costing somebody else the gas later.

UploadSample

UploadSample stores one of the programs the front page offers. Writing RV32IM by hand is not the point of this realm, and without this nobody without a cross compiler could press a button.

upload

Step

Step runs one slice of the instance: up to \`fuel\` guest instructions, then stop and keep the snapshot. Anyone may pay for a slice, not only the owner: a paused program that only its owner can advance is a worse demo and no safer, since the program and its budget were both fixed at upload.

Remove

Remove deletes an instance. Owner only.

inputOf

decodeHex

decodeHex accepts the output of any hexdump: an even number of hex digits, with an optional 0x prefix, and whitespace anywhere. Whitespace is allowed because that is what a pasted hexdump has in it; anything else is refused, because a silently mangled image would trap somewhere unrelated later.

hexVal

sample

The programs the front page offers, as the machine words a cross compiler would have emitted. They are assembled outside this repo and pinned here, and riscvdemo\_test.gno runs every one of them to the expected answer, so a wrong word is a failing test rather than a page that traps when clicked.

samples

sampleByName