# `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:**
> 🧪 **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 -->
Signatures reconstructed verbatim from vm/qfuncs — interface params keep their inline definitions.