Add gloas state transition comptests generator

Makefile

@@ -18,6 +18,7 @@ ALL_EXECUTABLE_SPEC_NAMES = \
 	_sync         \
 	build_docs    \
 	clean         \
+	comptests     \
 	help          \
 	lint          \
 	serve_docs    \
@@ -106,15 +107,18 @@ help-verbose:
 	@echo ""
 	@echo "$(BOLD)make comptests$(NORM)"
 	@echo ""
-	@echo "  Generates compliance tests for fork choice. These tests verify that"
-	@echo "  implementations correctly handle fork choice scenarios."
+	@echo "  Generates compliance tests. These tests verify that implementations"
+	@echo "  correctly handle fork choice and state transition scenarios."
 	@echo "  Uses pytest collection and xdist parallelism."
 	@echo ""
 	@echo "  Parameters:"
+	@echo "    kind=<kind>            Test kind: fork_choice (default), state_transition"
 	@echo "    fc_gen_config=<config> Configuration size (tiny, small, standard; default: tiny)"
 	@echo "    fork=<fork>            Generate for specific fork (comma-separated)"
 	@echo "    preset=<preset>        Generate for specific preset (comma-separated)"
 	@echo "    comptests_dir=<dir>    Output directory for generated compliance tests"
+	@echo "    handler=<handler>      State-transition handler (default: all)"
+	@echo "    profile=<profile>      State-transition profile (smoke, standard, all; default: standard)"
 	@echo "    threads=N              Number of threads to use"
 	@echo "    seed=N                 Override test seeds (fuzzing mode)"
 	@echo "    group_slice_index=N    0-based shard index for deterministic test-group slicing"
@@ -127,6 +131,8 @@ help-verbose:
 	@echo "    make comptests comptests_dir=./compliance-spec-tests/tests"
 	@echo "    make comptests fc_gen_config=standard fork=deneb preset=mainnet threads=8"
 	@echo "    make comptests fc_gen_config=tiny fork=gloas group_slice_index=0 group_slice_count=4"
+	@echo "    make comptests kind=state_transition"
+	@echo "    make comptests kind=state_transition handler=withdrawals profile=smoke"
 	@echo ""
 	@echo "$(BOLD)DOCUMENTATION$(NORM)"
 	@echo "$(BOLD)--------------------------------------------------------------------------------$(NORM)"
@@ -289,6 +295,9 @@ lint: _pyspec
 COMMA:= ,
 DEFAULT_COMPTESTS_DIR = $(CURDIR)/../compliance-spec-tests/tests
 COMPTESTS_DIR = $(if $(comptests_dir),$(comptests_dir),$(DEFAULT_COMPTESTS_DIR))
+COMPTESTS_KIND = $(if $(kind),$(kind),fork_choice)
+
+ifeq ($(COMPTESTS_KIND),fork_choice)
 
 # Generate compliance tests (fork choice).
 comptests: FC_GEN_CONFIG := $(if $(fc_gen_config),$(fc_gen_config),tiny)
@@ -313,6 +322,29 @@ comptests: _pyspec
 		$(MAYBE_GROUP_SLICE_COUNT) \
 		$(CURDIR)/tests/generators/compliance_runners/fork_choice/generate_comptests.py
 
+else ifeq ($(COMPTESTS_KIND),state_transition)
+
+# Generate compliance tests (state transition).
+comptests: MAYBE_HANDLER := $(if $(handler),--handler $(handler))
+comptests: MAYBE_PROFILE := $(if $(profile),--profile $(profile))
+comptests: MAYBE_PARALLEL := $(if $(filter 1,$(threads)),,$(if $(threads),-n $(threads) --dist=worksteal,-n logical --dist=worksteal))
+comptests: _pyspec
+	@$(UV_RUN) pytest \
+		$(MAYBE_PARALLEL) \
+		--capture=no \
+		--comptests-output=$(COMPTESTS_DIR) \
+		$(MAYBE_HANDLER) \
+		$(MAYBE_PROFILE) \
+		$(CURDIR)/tests/generators/compliance_runners/state_transition/generate_comptests.py
+
+else
+
+comptests:
+	@echo "Unsupported compliance test kind: $(COMPTESTS_KIND)" >&2
+	@exit 1
+
+endif
+
 ###############################################################################
 # Cleaning
 ###############################################################################

tests/formats/epoch_processing/README.md

@@ -68,6 +68,8 @@ Sub-transitions:
 - `pending_consolidations` (>=Electra)
 - `pending_deposits` (>=Electra)
 - `pending_randao_commitments` (>=EIP-8321)
+- `builder_pending_payments` (>=Gloas)
+- `ptc_window` (>=Gloas)
 
 The resulting state should match the expected `post` state.
 

tests/generators/compliance_runners/state_transition/README.md

@@ -0,0 +1,113 @@
+# State-transition compliance test generator
+
+State-transition compliance test generator intended to produce reference tests
+for individual state-transition handlers. Each handler models semantic coverage
+conditions, materializes concrete SSZ test vectors, and validates the generated
+vectors against the executable specification.
+
+The generator currently targets the `gloas` fork with the `minimal` preset. Its
+test cases follow the standard
+[operations test format](../../../formats/operations/README.md) or
+[epoch processing test format](../../../formats/epoch_processing/README.md),
+depending on the handler.
+
+## Handlers
+
+Operation handlers:
+
+- `attestation`
+- `builder_deposit_request`
+- `builder_exit_request`
+- `consolidation_request`
+- `deposit_request`
+- `execution_payload_bid`
+- `parent_execution_payload`
+- `payload_attestation`
+- `proposer_slashing`
+- `withdrawal_request`
+- `withdrawals`
+
+Epoch-processing handlers:
+
+- `builder_pending_payments`
+- `pending_deposits`
+- `ptc_window`
+
+## Generating tests
+
+From the repository root:
+
+```bash
+make comptests kind=state_transition
+```
+
+The default profile is `standard`, and all handlers are generated. Select a
+handler, profile, or output directory with Make variables:
+
+```bash
+make comptests kind=state_transition handler=withdrawals profile=smoke
+make comptests kind=state_transition profile=all
+make comptests kind=state_transition comptests_dir=../compliance-spec-tests/tests
+```
+
+The supported profiles are:
+
+- `smoke` — one representative per terminal outcome
+- `normal` — cases with no independently failed conditions
+- `exceptional` — single-fault cases
+- `standard` — `normal` plus `exceptional`
+- `all` — every distinct model coverage signature
+
+`make comptests` is the supported generation path. The underlying module can
+also be run directly:
+
+```bash
+uv run python -m tests.generators.compliance_runners.state_transition.run
+uv run python -m tests.generators.compliance_runners.state_transition.run \
+  --handler withdrawals --profile smoke
+uv run python -m tests.generators.compliance_runners.state_transition.run \
+  --comptests-output /path/to/output
+```
+
+The direct command writes to each handler's local `reftests/` directory unless
+`--comptests-output` is provided. It validates each handler immediately after
+materialization. Handler-specific MiniZinc models, coverage definitions,
+materializers, and validators are located in the corresponding provider
+directory.
+
+A handler may have multiple provider directories. Their cases are appended to
+the same handler output with distinct case numbers and validated independently;
+the provider directory is an implementation detail, while the generated manifest
+continues to use the protocol handler name.
+
+## Running generated tests
+
+From the repository root, run the compliance runner against a directory
+containing generated `reftests`:
+
+```bash
+uv run pytest \
+  tests/generators/compliance_runners/state_transition/runner/test_run.py \
+  --test-dir ${test_dir}
+```
+
+The `--test-dir` option can be repeated to run multiple test roots. Optional
+`--start` and `--limit` arguments select a slice of the discovered cases.
+
+## Output
+
+Generated cases use this layout:
+
+```text
+<output>/minimal/gloas/
+  operations/<handler>/main/case_XXXX/
+  epoch_processing/<handler>/main/case_XXXX/
+```
+
+Each case contains `pre.ssz_snappy`, the operation input when applicable,
+`post.ssz_snappy` when the handler accepts the input, `meta.yaml`,
+`manifest.yaml`, and `dimensions.yaml` with the claimed coverage dimensions.
+
+The modelling approach and the distinction between coverage dimensions,
+materialization, and validation are documented in
+[`TEST_METHODOLOGY.md`](TEST_METHODOLOGY.md).