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.

/p/nym-moultest123/x/framelab/v0

Directory · 3 Files
README.md Open

gno.land/p/nym-moultest123/x/framelab/v0

A 30-line probe for one language property: pure-package code runs in the frame of the realm that imported it, when that realm forwards its own cur.

The instance-per-realm pattern (p/moul/x/pair/v0) rests entirely on this. If the frame shifted, a shared p/ could not move an instance's funds and every instance would have to carry its own copy of the logic.

r/moul/x/framelab/probe/v0 is the realm that exercises it, and asserts:

  • pure-package code reports the instance realm's path and address;
  • the forwarded rlm.IsCurrent() is still true, so grc20's spoof check passes;
  • a TransferFrom issued from inside the pure package credits the instance realm's own address.

It also pins the two rules found while proving it: a pure package cannot declare a crossing function (func F(cur realm, ...)), and the realm parameter cannot be named cur there. Hence the (_ int, rlm realm, ...) shape used throughout.

Part of moul/gno-contracts — moul's versioned gno.land contracts. See the repository for the full catalog, build/test tooling, and usage.

Dependency graph:

gno.land/p/nym-moultest123/x/framelab/v0 dependency graph

🧪 Highly experimental — potentially vibe-coded. Not audited; may break, change, or be removed at any time. Do not use with anything of value. Full disclaimer: DISCLAIMER.