# `gno.land/p/moul/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.

<!-- BEGIN GNOCONTRACTS FOOTER (generated by `make readmes`; do not edit below) -->

---

Part of **[moul/gno-contracts](https://github.com/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/moul/x/framelab/v0 dependency graph](https://raw.githubusercontent.com/moul/gno-contracts/main/_assets/gno.land/p/moul/x/framelab/v0/deps.png)

> 🧪 **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](https://github.com/moul/gno-contracts/blob/main/DISCLAIMER.md).

<!-- END GNOCONTRACTS FOOTER -->