mirror of
https://github.com/luxfi/evm.git
synced 2026-09-24 00:27:44 +00:00
zeekay
be0beda21b
Round-2 follow-up to the luxfi/genesis upgrade.json reschedule fix (17 live-at-genesis precompiles pinned to blockTimestamp 0; warp two-step strict-PQ toggle moved after the zero-timestamp block; dead dexConfig 0x9010 dropped). - relaunch_safety_test.go (new): drives the node's REAL fork-application primitive extras.IsForkTransition (parent=nil reduces to fork <= genesisTime, exactly what GetActivatingPrecompileConfigs evaluates when a relaunched node builds its first rule set) against the embedded canonical fixtures. Asserts the invariant: every precompile that activates at/under the C-Chain genesis time (mainnet 1730446786 / testnet 1730517266) is in the live-at-block-0 set AND pinned to exactly 0; every other entry is strictly future; and all 17 live precompiles are present (no relaunch divergence). No entry sits in the (0, genesisTime] retroactive-reschedule window. - mainnet_upgrade_v46.json / testnet_upgrade_v47.json: regenerated byte-for-byte from the corrected canonical genesis configs (46 / 44 entries; the 25 timestamp diffs were the 1766708400 -> 0 normalization plus the warp reorder). - precompile_upgrade_rollout_test.go: WarpRequiresPrimaryNetworkSigners updated for the two-step toggle — warp is declared in the genesis chainConfig, and the schedule carries disable@strictPQ-1 then re-enable@strictPQ; the PQ signer-policy assertion targets the re-enable entry, and same-key strict-increase is enforced (mirrors verifyPrecompileUpgrades). - upgrade_unmarshal_test.go / testnet_upgrade_unmarshal_test.go: fixture doc comments rewritten to the live-at-0 / strict-PQ-toggle / BLS / Quasar-Edition tier layout; RegressionProof entry-count assertion 45 -> 46 to match the embedded fixture. Verified: go vet clean; CGO_ENABLED=0 go test ./params/extras/... ./params/extras_e2e_test/... — RelaunchSafe (mainnet+testnet), IsForwardCompatibleWithLiveActivations, WarpRequiresPrimaryNetworkSigners, PrecompileTimestampsAreMonotonic, RegressionProof all PASS.
95 lines
3.9 KiB
Go
95 lines
3.9 KiB
Go
// Copyright (C) 2019-2026, Lux Industries, Inc. All rights reserved.
|
|
// See the file LICENSE for licensing terms.
|
|
|
|
// Testnet-side regression gate. Mirrors mainnet_upgrade_v46.json's
|
|
// upgrade_unmarshal_test.go (task #99) for the Lux primary testnet
|
|
// C-Chain upgrade schedule. The mainnet test wouldn't catch a testnet
|
|
// drift because the canonical fixture vendored there is only mainnet;
|
|
// this test pins the testnet shape so future precompile bumps can't
|
|
// silently brick a testnet validator that pulled the JSON before the
|
|
// matching evm-plugin rebuild reached the cluster.
|
|
|
|
package extras_e2e_test
|
|
|
|
import (
|
|
_ "embed"
|
|
"encoding/json"
|
|
"testing"
|
|
|
|
"github.com/stretchr/testify/require"
|
|
|
|
"github.com/luxfi/evm/params/extras"
|
|
// Side-effect import already brought in by upgrade_unmarshal_test.go,
|
|
// but we re-declare it here to make the file self-contained for
|
|
// readers who diff this file in isolation.
|
|
_ "github.com/luxfi/evm/precompile/registry"
|
|
)
|
|
|
|
// canonicalTestnetUpgradeV47 is the byte-for-byte vendored copy of
|
|
// luxfi/genesis configs/testnet/upgrade.json at the v47 precompile-set
|
|
// freeze. Layout (44 entries, monotonic by blockTimestamp):
|
|
// - 17 already-live precompiles pinned to blockTimestamp:0 — these are
|
|
// active at block 0 on the running testnet (see the UPGRADE_JSON in
|
|
// luxfi/universe k8s/lux-testnet/luxd-startup.yaml). They MUST stay at
|
|
// 0 so a relaunch from genesis treats them as already-applied and
|
|
// checkPrecompileCompatible does not refuse boot.
|
|
// - 27 net-new safe-subset cryptography precompiles forward-dated to the
|
|
// strict-PQ timestamp 1766708400 (strictly after testnet genesis time
|
|
// 1730517266), so the strict-PQ gate is in force when they activate.
|
|
// Unlike mainnet there is no separate Quasar-Edition tier — testnet
|
|
// front-loads its net-new activations to the strict-PQ fork because it's
|
|
// the experimentation lane.
|
|
//
|
|
// Sync contract: if luxfi/genesis configs/testnet/upgrade.json changes,
|
|
// regenerate this file:
|
|
//
|
|
// cp ../../../../genesis/configs/testnet/upgrade.json testnet_upgrade_v47.json
|
|
//
|
|
//go:embed testnet_upgrade_v47.json
|
|
var canonicalTestnetUpgradeV47 []byte
|
|
|
|
// TestTestnetUpgradeJSON_UnmarshalsAgainstRegistry mirrors the mainnet
|
|
// regression gate. Every key in the canonical testnet upgrade.json
|
|
// must round-trip through extras.UpgradeConfig.UnmarshalJSON without
|
|
// an "unknown precompile config" error. Any unregistered ConfigKey
|
|
// fails the test immediately — surfacing the brick-on-boot footgun
|
|
// BEFORE the JSON is shipped to the lux-testnet StatefulSet.
|
|
func TestTestnetUpgradeJSON_UnmarshalsAgainstRegistry(t *testing.T) {
|
|
raw := readCanonicalTestnetUpgradeJSONRaw(t)
|
|
|
|
var cfg extras.UpgradeConfig
|
|
err := json.Unmarshal(raw, &cfg)
|
|
require.NoErrorf(t, err,
|
|
"extras.UpgradeConfig.UnmarshalJSON refused the canonical testnet "+
|
|
"upgrade.json — luxd would refuse to start the testnet C-Chain VM. "+
|
|
"Most likely cause: the canonical added a precompile whose module "+
|
|
"init() doesn't call RegisterModule under the pinned "+
|
|
"luxfi/precompile version (see ~/work/lux/evm/go.mod). "+
|
|
"Underlying error: %v",
|
|
err,
|
|
)
|
|
|
|
require.NotEmptyf(t, cfg.PrecompileUpgrades,
|
|
"canonical testnet upgrade.json must contain at least one entry in precompileUpgrades",
|
|
)
|
|
|
|
for i, upg := range cfg.PrecompileUpgrades {
|
|
key := upg.Key()
|
|
ts := upg.Timestamp()
|
|
require.NotNilf(t, ts,
|
|
"precompileUpgrades[%d] key=%q has nil Timestamp() — activations must specify blockTimestamp",
|
|
i, key,
|
|
)
|
|
}
|
|
}
|
|
|
|
// readCanonicalTestnetUpgradeJSONRaw returns the vendored canonical
|
|
// testnet upgrade.json. Mirrors the mainnet helper.
|
|
func readCanonicalTestnetUpgradeJSONRaw(t *testing.T) []byte {
|
|
t.Helper()
|
|
if len(canonicalTestnetUpgradeV47) == 0 {
|
|
t.Fatal("embedded canonical testnet upgrade.json is empty — //go:embed testnet_upgrade_v47.json failed at build time")
|
|
}
|
|
return canonicalTestnetUpgradeV47
|
|
}
|