Define the Osaka hardfork and bump the version of the execution-spec-tests test-suite

kevm-pyk/src/kevm_pyk/gst_to_kore.py

@@ -44,10 +44,13 @@
     'Merge': 'MERGE',
     'Paris': 'MERGE',
     'Shanghai': 'SHANGHAI',
+    'ParisToShanghaiAtTime15k': 'SHANGHAI',
     'Cancun': 'CANCUN',
     'ShanghaiToCancunAtTime15k': 'CANCUN',
     'Prague': 'PRAGUE',
     'CancunToPragueAtTime15k': 'PRAGUE',
+    'Osaka': 'OSAKA',
+    'PragueToOsakaAtTime15k': 'OSAKA',
 }
 
 _GST_DISCARD_KEYS: Final = frozenset(

kevm-pyk/src/kevm_pyk/kproj/evm-semantics/evm.md

@@ -2189,6 +2189,7 @@ Precompiled Contracts
     rule #precompiledAccountsUB(SHANGHAI)          => #precompiledAccountsUB(MERGE)
     rule #precompiledAccountsUB(CANCUN)            => 10
     rule #precompiledAccountsUB(PRAGUE)            => 17
+    rule #precompiledAccountsUB(OSAKA)             => #precompiledAccountsUB(PRAGUE)
 
 
     syntax Set ::= #precompiledAccountsSet    ( Schedule ) [symbol(#precompiledAccountsSet),    function, total]

kevm-pyk/src/kevm_pyk/kproj/evm-semantics/schedule.md

@@ -498,6 +498,15 @@ A `ScheduleConst` is a constant determined by the fee schedule.
                   orBool SCHEDFLAG ==K Ghasfloorcost )
 ```
 
+### Osaka Schedule
+
+```k
+    syntax Schedule ::= "OSAKA" [symbol(OSAKA_EVM), smtlib(schedule_OSAKA)]
+ // -----------------------------------------------------------------------
+    rule [SCHEDCONSTOsaka]: SCHEDCONST < OSAKA > => SCHEDCONST < PRAGUE >
+    rule [SCHEDFLAGOsaka]:  SCHEDFLAG  << OSAKA >> => SCHEDFLAG << PRAGUE >>
+```
+
 ```k
 endmodule
 ```

tests/execution-spec-tests/VERSION

@@ -1 +1 @@
-v4.2.0
+v5.4.0

tests/execution-spec-tests/get_execution_spec_tests.sh

@@ -5,11 +5,11 @@ set -euxo pipefail
 # sudo apt install jq
 
 # The following two artifacts are intended for consumption by clients:
-# - fixtures.tar.gz: Generated up to the last deployed fork.
+# - fixtures_stable.tar.gz: Generated up to the last deployed fork.
 # - fixtures_develop.tar.gz: Generated up to and including the latest dev fork.
-# As of March 2024, dev is Prague, deployed is Cancun.
+# As of Dec 2025, deployed is Osaka.
 
-ARTIFACT="fixtures_develop.tar.gz"
+ARTIFACT="fixtures_stable.tar.gz"
 TARGET_DIR="fixtures"
 
 OWNER="ethereum"

tests/execution-spec-tests/slow.llvm

@@ -0,0 +1,2 @@
+blockchain_tests/cancun/eip4844_blobs/test_external_vectors.json,*
+blockchain_tests/cancun/eip1153_tstore/test_run_until_out_of_gas.json,*