Render
Command
gnokey query vm/qeval -remote "https://rpc.gno.land" -data "gno.land/r/moul/x/upgrade/lazy/v0.Render()"
Result
Package lazy is version 0 of the "lazy migration" upgrade pattern (pattern D of the exploration; see ../README.md).
This version is an ordinary record store. It is written without any knowledge of a successor: what makes the pattern work is only that its records are readable from outside, which any avl-backed realm already is.
gnokey query vm/qeval -remote "https://rpc.gno.land" -data "gno.land/r/moul/x/upgrade/lazy/v0.Render()"
Size is how many records still live here. It never shrinks: lazy migration COPIES forward, it does not move, so v0 keeps paying for every record it ever held.
gnokey query vm/qeval -remote "https://rpc.gno.land" -data "gno.land/r/moul/x/upgrade/lazy/v0.Size()"
Get returns a record or nil. Non-crossing: v1 reads through it while migrating, and gnoweb can call it without a transaction.
gnokey query vm/qeval -remote "https://rpc.gno.land" -data "gno.land/r/moul/x/upgrade/lazy/v0.Get()"