fix(gnovm): various post interrealm fixes

[jaekwon]

• When you are MsgAddPackage, nothing is run, but the machine does run for initialization during declarations and init() calls. In this stage of running, CurrentRealm() returns the package path even if you're initing a p package. Which is a little strange but it's a realm for a moment because it's mutating? :) And PreviousRealm() returns g1user, "" because the end user isn't a realm himself.

• When calling main() or any other function after init it then runs in StageRun, and CurrentRealm() would be g1user and realm path "" while PreviousRealm() would panic, BUT, since MsgCall always crosses into a crossing function, in practice CurrentRealm() becomes the called external realm (e.g. gno.land/r/boards/boardsv1), and PreviousRealm() becomes g1user and "".

When MsgRun runs, during init CurrentRealm() is gno.land/r/g1user/run, but the addr is not hash derived from that path, but instead the g1user is extracted from it, while PreviousRealm() has the same g1user but the realm path is "" indicating the end user (who uses the temporary run-realm but discards it after).

gno/gnovm/stdlibs/std/native.go

Lines 109 to 131 in fcc6e10

	switch m.Stage {
	case gno.StageAdd:
	switch height {
	case crosses:
	fr := m.Frames[0]
	path := fr.LastPackage.PkgPath
	return string(gno.DerivePkgBech32Addr(path)), path
	case crosses + 1:
	return string(ctx.OriginCaller), ""
	default:
	m.Panic(typedString("frame not found"))
	return "", ""
	}
	case gno.StageRun:
	switch height {
	case crosses:
	return string(ctx.OriginCaller), ""
	default:
	m.Panic(typedString("frame not found"))
	return "", ""
	}
	default:
	panic("exec kind unspecified")

btw solved it using two different modes for machine .Run(). During package init "add" or any other post-init "run".
2m

• Machine is either in StageAdd or StageRun state, and its value may determine the behavior of std.CurrentRealm() and std.PreviousRealmI().

[Gno2D2]

🛠 PR Checks Summary

All Automated Checks passed. ✅

Manual Checks (for Reviewers):

• IGNORE the bot requirements for this PR (force green CI check)
• Determine if infra needs to be updated before merging

Read More

🤖 This bot helps streamline PR reviews by verifying automated checks and providing guidance for contributors and reviewers.

✅ Automated Checks (for Contributors):

No automated checks match this pull request.

☑️ Contributor Actions:

1. Fix any issues flagged by automated checks.
2. Follow the Contributor Checklist to ensure your PR is ready for review.
   • Add new tests, or document why they are unnecessary.
   • Provide clear examples/screenshots, if necessary.
   • Update documentation, if required.
   • Ensure no breaking changes, or include BREAKING CHANGE notes.
   • Link related issues/PRs, where applicable.

☑️ Reviewer Actions:

1. Complete manual checks for the PR, including the guidelines and additional checks if applicable.

📚 Resources:

• Report a bug with the bot.
• View the bot’s configuration file.

Debug

Manual Checks

**IGNORE** the bot requirements for this PR (force green CI check)

If

🟢 Condition met
└── 🟢 On every pull request

Can be checked by

• Any user with comment edit permission

Determine if infra needs to be updated before merging

If

🟢 Condition met
└── 🟢 And
    ├── 🟢 The base branch matches this pattern: ^master$
    └── 🟢 Or
        ├── 🔴 A changed file matches this pattern: Dockerfile
        ├── 🟢 A changed file matches this pattern: ^misc/deployments (filename: misc/deployments/test4.gno.land/genesis.json)
        ├── 🔴 A changed file matches this pattern: ^misc/docker-
        ├── 🔴 A changed file matches this pattern: ^.github/workflows/releaser.*\.yml$
        └── 🔴 A changed file matches this pattern: ^.github/workflows/portal-loop\.yml$

Can be checked by

• team devops

[codecov]

Codecov Report

Attention: Patch coverage is 80.44444% with 44 lines in your changes missing coverage. Please review.

Files with missing lines	Patch %	Lines
gnovm/pkg/gnolang/misc.go	23.07%	9 Missing and 1 partial ⚠️
gnovm/stdlibs/std/native.go	62.50%	9 Missing ⚠️
gnovm/pkg/gnolang/values.go	76.66%	7 Missing ⚠️
gnovm/pkg/gnolang/machine.go	83.78%	4 Missing and 2 partials ⚠️
gnovm/pkg/gnolang/realm.go	68.42%	6 Missing ⚠️
gnovm/pkg/gnolang/gotypecheck.go	0.00%	2 Missing and 1 partial ⚠️
gnovm/pkg/gnolang/nodes.go	60.00%	2 Missing ⚠️
gnovm/pkg/gnolang/helpers.go	85.71%	1 Missing ⚠️

📢 Thoughts on this report? Let us know!

[jaekwon]

.

[jaekwon]

did this work? hmm... should have failed because myrlm.A is crossing so it should have to be called with cross(myrlm.A)().

[jaekwon]

if /r/foo calls cross(myrlm.A)() then it should be r/foo...