[WIP] Gloas ForkChoice

AllTests-mainnet.md

@@ -121,6 +121,11 @@ AllTests-mainnet
 + put()/hasSidecar(index, slot, proposer_index)/remove() test                                OK
 + put(sidecar)/put([sidecars])/hasSidecars/popSidecars/remove() test                         OK
 ```
+## Block Processing
+```diff
++ on_execution_payload: Enables FULL branch in fork choice                                   OK
++ on_execution_payload: Marks payload as locally available                                   OK
+```
 ## Block pool altair processing [Preset: mainnet]
 ```diff
 + Invalid signatures [Preset: mainnet]                                                       OK
@@ -709,6 +714,17 @@ AllTests-mainnet
 + Obtaining the graffiti of an unconfigured validator returns the suggested default [Beacon  OK
 + Setting the graffiti on a missing validator creates a record for it [Beacon Node] [Preset: OK
 ```
+## Head Selection - LMD-GHOST with Payload Status
+```diff
++ Descends multiple levels                                                                   OK
++ Gloas: Handles virtual node expansion correctly                                            OK
++ Gloas: Lexicographic tiebreak on root when weights equal                                   OK
++ Gloas: Payload tiebreaker when same root, equal weight                                     OK
++ Gloas: Pick child with highest weight                                                      OK
++ Pre-Gloas: Use standard proto_array logic                                                  OK
++ Safety: Iteration limit prevents infinite loops                                            OK
++ Start at justified checkpoint with PENDING                                                 OK
+```
 ## Honest validator
 ```diff
 + General pubsub topics                                                                      OK

ConsensusSpecPreset-mainnet.md

@@ -5398,6 +5398,20 @@ ConsensusSpecPreset-mainnet
 + ForkChoice - mainnet/fulu/fork_choice/on_block/pyspec_tests/proposer_boost_is_first_block  OK
 + ForkChoice - mainnet/fulu/fork_choice/on_block/pyspec_tests/proposer_boost_root_same_slot_ OK
   ForkChoice - mainnet/fulu/fork_choice/should_override_forkchoice_update/pyspec_tests/shoul Skip
++ ForkChoice - mainnet/gloas/fork_choice/ex_ante/pyspec_tests/ex_ante_sandwich_with_honest_a OK
++ ForkChoice - mainnet/gloas/fork_choice/ex_ante/pyspec_tests/ex_ante_sandwich_without_attes OK
++ ForkChoice - mainnet/gloas/fork_choice/ex_ante/pyspec_tests/ex_ante_vanilla                OK
++ ForkChoice - mainnet/gloas/fork_choice/get_head/pyspec_tests/chain_no_attestations         OK
++ ForkChoice - mainnet/gloas/fork_choice/get_head/pyspec_tests/discard_equivocations_on_atte OK
++ ForkChoice - mainnet/gloas/fork_choice/get_head/pyspec_tests/genesis                       OK
++ ForkChoice - mainnet/gloas/fork_choice/get_head/pyspec_tests/shorter_chain_but_heavier_wei OK
++ ForkChoice - mainnet/gloas/fork_choice/get_head/pyspec_tests/split_tie_breaker_no_attestat OK
++ ForkChoice - mainnet/gloas/fork_choice/on_block/pyspec_tests/basic                         OK
++ ForkChoice - mainnet/gloas/fork_choice/on_block/pyspec_tests/on_block_bad_parent_root      OK
+  ForkChoice - mainnet/gloas/fork_choice/on_block/pyspec_tests/on_block_future_block         Skip
++ ForkChoice - mainnet/gloas/fork_choice/on_block/pyspec_tests/proposer_boost                OK
++ ForkChoice - mainnet/gloas/fork_choice/on_block/pyspec_tests/proposer_boost_is_first_block OK
++ ForkChoice - mainnet/gloas/fork_choice/on_block/pyspec_tests/proposer_boost_root_same_slot OK
 ```
 ## Sync
 ```diff

beacon_chain/consensus_object_pools/attestation_pool.nim

@@ -1,5 +1,5 @@
 # beacon_chain
-# Copyright (c) 2018-2025 Status Research & Development GmbH
+# Copyright (c) 2018-2026 Status Research & Development GmbH
 # Licensed and distributed under either of
 #   * MIT license (license terms in the root directory or at https://opensource.org/licenses/MIT).
 #   * Apache v2 license (license terms in the root directory or at https://www.apache.org/licenses/LICENSE-2.0).
@@ -182,10 +182,10 @@ proc init*(T: type AttestationPool, dag: ChainDAGRef,
 proc addForkChoiceVotes(
     pool: var AttestationPool, slot: Slot,
     attesting_indices: openArray[ValidatorIndex], block_root: Eth2Digest,
-    wallTime: BeaconTime) =
+    committee_index: CommitteeIndex, wallTime: BeaconTime) =
   # Add attestation votes to fork choice
   if (let v = pool.forkChoice.on_attestation(
-    pool.dag, slot, block_root, attesting_indices, wallTime);
+    pool.dag, slot, block_root, attesting_indices, committee_index, wallTime);
     v.isErr):
       # This indicates that the fork choice and the chain dag are out of sync -
       # this is most likely the result of a bug, but we'll try to keep going -
@@ -464,7 +464,8 @@ proc addAttestation*(
     addAttToPool(pool.electraCandidates, newAttEntry, Opt.some committee_index)
     pool.addForkChoiceVotes(
       attestation.data.slot, attesting_indices,
-      attestation.data.beacon_block_root, wallTime)
+      attestation.data.beacon_block_root,
+      attestation.data.index.CommitteeIndex, wallTime)
 
     # There does not seem to be an SSE stream event corresponding to this,
     # because both attestation and single_attestation specifically specify
@@ -486,7 +487,8 @@ proc addAttestation*(
       Opt.some attestation.committee_index.CommitteeIndex)
     pool.addForkChoiceVotes(
       attestation.data.slot, attesting_indices,
-      attestation.data.beacon_block_root, wallTime)
+      attestation.data.beacon_block_root,
+      attestation.data.index.CommitteeIndex, wallTime)
 
     # Send notification about new attestation via callback.
     if not(isNil(pool.onSingleAttestationAdded)):