fix(gnovm): make the consensus type-check verdict and error deterministic#5893

Draft

jaekwon wants to merge 14 commits into

pr3-typecheck-determinism

Commits on Jul 2, 2026

feat(gnovm): split mempackage storage into prod and test blobs

jaekwon
and
claude
committed
fix(gnovm): clear stale mempackage blobs on private package redeploy

jaekwon
and
claude
committed
fix(gnovm): address mempackage-split audit minors

jaekwon
and
claude
committed
docs(gnovm): note AddMemPackage MP*All re-adds must DeleteMemPackage first

jaekwon
and
claude
committed
test(gno.land): demonstrate import-time gas drop from the prod/test split

jaekwon
and
claude
committed
fix(gno.land): reject packages with no production .gno files at AddPackage

jaekwon
and
claude
committed
fix(gnovm): guard FindPathsByPrefix against '#' prefixes; harden split tests

jaekwon
and
claude
committed
test(gno.land): re-pin apphash and gnokey_gasfee for the storage split

jaekwon
and
claude
committed
feat(gno.land): meter type-check+preprocess gas at AddPackage and Run

jaekwon
and
claude
committed
fix(gno.land): default missing PreprocessGasPerByte in GetParams

jaekwon
and
claude
committed
fix(gno.land): tolerate legacy params at genesis; drop prod-check alloc

jaekwon
and
claude
committed
fix(gnovm): pin go/types GoVersion for deterministic type-check verdict

jaekwon
and
claude
committed
fix(gno.land): coarsen the hashed type-check error to a stable sentinel

jaekwon
and
claude
committed

Commits on Jul 5, 2026

fix(gno.land): remove redundant gas conversions
moul
committed