Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
9 changes: 0 additions & 9 deletions specrefs/.ethspecify.yml
Original file line number Diff line number Diff line change
Expand Up @@ -296,10 +296,8 @@ exceptions:
- get_next_sync_committee_indices#gloas
- get_node_children#gloas
- get_node_for_root#gloas
- get_parent_payload_status#gloas
- get_payload_attestation_due_ms#gloas
- get_payload_attestation_message_signature#gloas
- get_payload_status_tiebreaker#gloas
- get_pending_balance_to_withdraw#gloas
- get_ptc_assignment#gloas
- get_safe_execution_block_hash#gloas
Expand All @@ -308,16 +306,12 @@ exceptions:
- get_weight#gloas
- has_compounding_withdrawal_credential#gloas
- is_ancestor#gloas
- is_bid_compatible_with_head#gloas
- is_head_late#gloas
- is_parent_node_full#gloas
- is_previous_slot_payload_decision#gloas
- is_valid_proposal_slot#gloas
- notify_ptc_messages#gloas
- on_block#gloas
- on_payload_attestation_message#gloas
- payload_data_availability#gloas
- payload_timeliness#gloas
- prepare_execution_payload#gloas
- process_attestation#gloas
- process_block#gloas
Expand All @@ -329,8 +323,6 @@ exceptions:
- process_withdrawals#gloas
- record_block_timeliness#gloas
- should_apply_proposer_boost#gloas
- should_build_on_full#gloas
- should_extend_payload#gloas
- update_builder_pending_withdrawals#gloas
- update_latest_messages#gloas
- update_next_withdrawal_builder_index#gloas
Expand Down Expand Up @@ -426,7 +418,6 @@ exceptions:
- will_no_conflicting_checkpoint_be_justified#phase0

# gloas / heze empty sources to skip
- is_payload_verified#gloas
- on_execution_payload_envelope#gloas
- on_execution_payload_envelope#heze

Expand Down
40 changes: 31 additions & 9 deletions specrefs/functions.yml
Original file line number Diff line number Diff line change
Expand Up @@ -5025,7 +5025,9 @@
</spec>

- name: get_parent_payload_status#gloas
sources: []
sources:
- file: packages/fork-choice/src/protoArray/protoArray.ts
search: " getParentPayloadStatus(block: ProtoBlock): PayloadStatus {"
spec: |
<spec fn="get_parent_payload_status" fork="gloas" hash="4ab82d16">
def get_parent_payload_status(store: Store, block: BeaconBlock) -> PayloadStatus:
Expand Down Expand Up @@ -5066,7 +5068,9 @@
</spec>

- name: get_payload_status_tiebreaker#gloas
sources: []
sources:
- file: packages/fork-choice/src/protoArray/protoArray.ts
search: " private getPayloadStatusTiebreaker("
spec: |
<spec fn="get_payload_status_tiebreaker" fork="gloas" hash="68bd690c">
def get_payload_status_tiebreaker(store: Store, node: ForkChoiceNode) -> Uint8:
Expand Down Expand Up @@ -6617,7 +6621,9 @@
</spec>

- name: is_bid_compatible_with_head#gloas
sources: []
sources:
- file: packages/beacon-node/src/chain/validation/executionPayloadBid.ts
search: function isBidCompatibleWithHead(
spec: |
<spec fn="is_bid_compatible_with_head" fork="gloas" hash="8918e061">
def is_bid_compatible_with_head(store: Store, bid: ExecutionPayloadBid) -> bool:
Expand Down Expand Up @@ -7223,7 +7229,9 @@
</spec>

- name: is_parent_node_full#gloas
sources: []
sources:
- file: packages/fork-choice/src/protoArray/protoArray.ts
search: " isParentNodeFull(block: ProtoBlock): boolean {"
spec: |
<spec fn="is_parent_node_full" fork="gloas" hash="4fc2d12c">
def is_parent_node_full(store: Store, block: BeaconBlock) -> bool:
Expand Down Expand Up @@ -7320,7 +7328,9 @@
</spec>

- name: is_payload_verified#gloas
sources: []
sources:
- file: packages/fork-choice/src/protoArray/protoArray.ts
search: " hasPayload(blockRoot: RootHex): boolean {"
spec: |
<spec fn="is_payload_verified" fork="gloas" hash="8ddb7023">
def is_payload_verified(store: Store, root: Root) -> bool:
Expand Down Expand Up @@ -8681,7 +8691,11 @@
</spec>

- name: payload_data_availability#gloas
sources: []
sources:
- file: packages/fork-choice/src/protoArray/protoArray.ts
search: " isPayloadDataAvailable(blockRoot: RootHex): boolean {"
- file: packages/fork-choice/src/protoArray/protoArray.ts
search: " isPayloadDataNotAvailable(blockRoot: RootHex): boolean {"
spec: |
<spec fn="payload_data_availability" fork="gloas" hash="19906223">
def payload_data_availability(store: Store, root: Root, available: bool) -> bool:
Expand All @@ -8703,7 +8717,11 @@
</spec>

- name: payload_timeliness#gloas
sources: []
sources:
- file: packages/fork-choice/src/protoArray/protoArray.ts
search: " isPayloadTimely(blockRoot: RootHex): boolean {"
- file: packages/fork-choice/src/protoArray/protoArray.ts
search: " isPayloadNotTimely(blockRoot: RootHex): boolean {"
spec: |
<spec fn="payload_timeliness" fork="gloas" hash="c8eb8248">
def payload_timeliness(store: Store, root: Root, timely: bool) -> bool:
Expand Down Expand Up @@ -12072,7 +12090,9 @@
</spec>

- name: should_build_on_full#gloas
sources: []
sources:
- file: packages/fork-choice/src/protoArray/protoArray.ts
search: " shouldBuildOnFull(head: ProtoBlock, slot: Slot): boolean {"
spec: |
<spec fn="should_build_on_full" fork="gloas" hash="759005a1">
def should_build_on_full(store: Store, head: ForkChoiceNode, slot: Slot) -> bool:
Expand All @@ -12089,7 +12109,9 @@
</spec>

- name: should_extend_payload#gloas
sources: []
sources:
- file: packages/fork-choice/src/protoArray/protoArray.ts
search: " shouldExtendPayload(blockRoot: RootHex, proposerBoostRoot: RootHex | null): boolean {"
spec: |
<spec fn="should_extend_payload" fork="gloas" hash="4c7f1056">
def should_extend_payload(store: Store, root: Root) -> bool:
Expand Down
Loading