Skip to content Search Apps Documentation Source Content File Folder Download Copy Actions State String Boolean Number Struct Map Slice Pointer Function Closure Reference Nil Package Type Interface Unknown

Community realm. Read the code first. Community realm, deployed by its author. Read the code before you interact or send coins.

registry package

Overview

Package registry is spike (a) of tasarim-v6 §5.5: can a realm store an interface value handed over by ANOTHER realm and call it later, and what can that foreign code do to the registry while it runs?

It is deliberately tiny and is never part of the product. Two exports are intentionally unsafe probes and are marked as such: SharedBoard (returns a pointer into registry state) and UnsafeBump (a non-crossing exported mutator). Production core has neither; this spike measures why.

Function

UnsafeBump

func UnsafeBump()
Ask AI Claude ChatGPT

UnsafeBump is a non-crossing exported function that mutates registry state. UNSAFE PROBE: interrealm v2 §4.1 says a non-crossing call into /r/registry borrows /r/registry's storage, so a foreign engine calling it SHOULD succeed. That is exactly why production core exports no state-changing non-crossing function (invariant I-12).

Command

gnokey query vm/qeval -remote "https://rpc.onyx.testnets.gno.land" -data "gno.land/r/g19dzk54hhsdc3gllpksuj6gu4a3e6fl8cr6rn4w/minhwa/spike/registry.UnsafeBump()"

Result