chore: rm old references to devnet fork; rm exec fork refs (leanEthereum#710)

* chore: rm old references to ``devnet`` fork; rm exec fork refs

* fix(test): remaining fork updates ``Devnet`` -> ``Lstar`` for pytest marks

* chore: rename devnet -> lstar

Author: fselmo

.claude/agents/code-tester.md

@@ -25,7 +25,7 @@
 @click.option(
     "--fork",
     required=True,
-    help="Fork to generate fixtures for (e.g., Devnet for consensus, Shanghai for execution)",
+    help="Fork to generate fixtures for (e.g., Lstar for consensus)",
 )
 @click.option(
     "--layer",
@@ -62,16 +62,13 @@ def fill(
 
     Examples:
         # Generate consensus layer fixtures
-        fill tests/spec_tests/devnet --fork=Devnet --layer=consensus --clean -v
-
-        # Generate execution layer fixtures (future)
-        fill tests/spec_tests/shanghai --fork=Shanghai --layer=execution --clean -v
+        fill tests/consensus/devnet --fork=Lstar --layer=consensus --clean -v
 
         # Default layer is consensus
-        fill tests/spec_tests/devnet --fork=Devnet --clean -v
+        fill tests/consensus/devnet --fork=Lstar --clean -v
 
         # Use specific XMSS scheme (overrides LEAN_ENV env var)
-        fill --fork=Devnet --scheme=prod --clean -v
+        fill --fork=Lstar --scheme=prod --clean -v
     """
     # Note: It's important to never import any leanSpec modules in this file, so the
     # `LEAN_ENV` variable can be set before the config loads its value from the

.claude/skills/client-test/SKILL.md

@@ -81,8 +81,7 @@ def name(cls) -> str:
         """
         Return the name of the fork as it appears in test fixtures.
 
-        By default, this is the class name (e.g., "Lstar" for consensus,
-        "Shanghai" for execution).
+        By default, this is the class name (e.g., "Lstar" for consensus).
         This is used in the 'network' field of generated fixtures.
         """
         pass

packages/testing/README.md

@@ -21,7 +21,7 @@ def __init__(self, output_dir: Path, fork: str, layer: str):
 
         Args:
             output_dir: Root directory for generated fixtures.
-            fork: The fork name (e.g., "Lstar", "Shanghai").
+            fork: The fork name (e.g., "Lstar").
             layer: The Ethereum layer (e.g., "consensus", "execution").
         """
         self.output_dir = output_dir
@@ -57,7 +57,7 @@ def add_fixture(
 
             test_file = Path(test_file_path)
             # Extract test path relative to tests/{layer}
-            # e.g., tests/consensus/devnet/... -> devnet/...
+            # e.g., tests/consensus/lstar/... -> lstar/...
             layer = config.test_layer if hasattr(config, "test_layer") else "consensus"
 
             try:
@@ -94,7 +94,7 @@ def write_fixtures(self) -> None:
             test_file = Path(test_file_path)
 
             # Extract test path relative to tests/{layer}
-            # e.g., tests/consensus/devnet/... -> devnet/...
+            # e.g., tests/consensus/lstar/... -> lstar/...
             try:
                 relative_path = test_file.relative_to(f"tests/{self.layer}")
             except ValueError:

packages/testing/src/framework/cli/fill.py

@@ -8,7 +8,7 @@
 import pytest
 from consensus_testing import ApiEndpointTestFiller
 
-pytestmark = pytest.mark.valid_until("Devnet")
+pytestmark = pytest.mark.valid_until("Lstar")
 
 
 GENESIS_4V_AT_SLOT_3 = {"numValidators": 4, "genesisTime": 0, "anchorSlot": 3}

packages/testing/src/framework/forks/base.py

@@ -3,7 +3,7 @@
 import pytest
 from consensus_testing import ApiEndpointTestFiller
 
-pytestmark = pytest.mark.valid_until("Devnet")
+pytestmark = pytest.mark.valid_until("Lstar")
 
 
 def test_metrics_endpoint_scrape_contract(