@lodestar/fork-choice 1.44.0-dev.6ef8199cfa → 1.44.0-dev.79c77e2e57

package/lib/protoArray/protoArray.d.ts

@@ -3,6 +3,11 @@ import { DataAvailabilityStatus } from "@lodestar/state-transition";
 import { Epoch, RootHex, Slot } from "@lodestar/types";
 import { LVHExecError } from "./errors.js";
 import { LVHExecResponse, PayloadExecutionStatus, PayloadStatus, ProtoBlock, ProtoNode } from "./interface.js";
+/**
+ * popcount(attended AND NOT yes) — explicit False-vote count.
+ * Excludes PTC members who didn't attest (the None state).
+ */
+export declare function countNoVotes(attended: BitArray, yes: BitArray): number;
 export declare const DEFAULT_PRUNE_THRESHOLD = 0;
 type ProposerBoost = {
     root: RootHex;
@@ -40,12 +45,25 @@ export declare class ProtoArray {
     /**
      * PTC (Payload Timeliness Committee) votes per block as bitvectors
      * Maps block root to BitArray of PTC_SIZE bits (512 mainnet, 2 minimal)
-     * Spec: gloas/fork-choice.md#modified-store (line 148)
+     * Spec: gloas/fork-choice.md#modified-store (payload_timeliness_vote)
      *
-     * Bit i is set if PTC member i voted payload_present=true
-     * Used by is_payload_timely() to determine if payload is timely
+     * Bit i = PTC member i voted payloadPresent=true (timeliness YES vote)
+     */
+    private payloadTimelinessVotes;
+    /**
+     * Blob data availability votes per block.
+     * Spec: gloas/fork-choice.md#modified-store (payload_data_availability_vote)
+     *
+     * Bit i = PTC member i voted blobDataAvailable=true (DA YES vote)
+     */
+    private payloadDataAvailabilityVotes;
+    /**
+     * Tracks which PTC members have attested at all (any payload_status).
+     * Without this, we cannot tell "didn't vote" (None) from "voted false" —
+     * a distinction required by payload_timeliness/payload_data_availability
+     * when called with the negative parameter value.
      */
-    private ptcVotes;
+    private ptcAttested;
     constructor({ pruneThreshold, justifiedEpoch, justifiedRoot, finalizedEpoch, finalizedRoot }: {
         pruneThreshold: number;
         justifiedEpoch: Epoch;
@@ -150,29 +168,58 @@ export declare class ProtoArray {
      *
      * Spec: gloas/fork-choice.md (on_execution_payload event)
      */
-    onExecutionPayload(blockRoot: RootHex, currentSlot: Slot, executionPayloadBlockHash: RootHex, executionPayloadNumber: number, proposerBoostRoot: RootHex | null, executionStatus: PayloadExecutionStatus, dataAvailabilityStatus: DataAvailabilityStatus): void;
+    onExecutionPayload(blockRoot: RootHex, currentSlot: Slot, executionPayloadBlockHash: RootHex, executionPayloadNumber: number, executionPayloadGasLimit: number, proposerBoostRoot: RootHex | null, executionStatus: PayloadExecutionStatus, dataAvailabilityStatus: DataAvailabilityStatus): void;
     /**
      * Update PTC votes for multiple validators attesting to a block
-     * Spec: gloas/fork-choice.md#new-on_payload_attestation_message
-     *
-     * @param blockRoot - The beacon block root being attested
-     * @param ptcIndices - Array of PTC committee indices that voted (0..PTC_SIZE-1)
-     * @param payloadPresent - Whether the validators attest the payload is present
+     * Spec: gloas/fork-choice.md#new-notify_ptc_messages
      */
-    notifyPtcMessages(blockRoot: RootHex, ptcIndices: number[], payloadPresent: boolean): void;
+    notifyPtcMessages(blockRoot: RootHex, slot: Slot, ptcIndices: number[], payloadPresent: boolean, blobDataAvailable: boolean): void;
     getPTCVotes(blockRootHex: RootHex): BitArray | null;
     /**
-     * Check if execution payload for a block is timely
-     * Spec: gloas/fork-choice.md#new-is_payload_timely
-     *
-     * Returns true if:
-     * 1. Block has PTC votes tracked
-     * 2. Payload is locally available (FULL variant exists in proto array)
-     * 3. More than PAYLOAD_TIMELY_THRESHOLD (>50% of PTC) members voted payload_present=true
-     *
-     * @param blockRoot - The beacon block root to check
+     * Raw PTC vote tallies for a block root, for the debug fork choice endpoint.
+     * Returns `null` for pre-Gloas (or pruned) roots, which have no vote maps.
+     */
+    getPTCVoteCounts(blockRootHex: RootHex): {
+        attesterCount: number;
+        payloadPresentCount: number;
+        dataAvailableCount: number;
+    } | null;
+    getPreviousProposerBoostRoot(): RootHex;
+    /**
+     * Timeliness votes per PTC position, `null` where the member has not attested.
+     * Returns `null` if the block is unknown or not a Gloas block.
+     */
+    getPayloadTimelinessVotes(blockRootHex: RootHex): (boolean | null)[] | null;
+    /**
+     * Data-availability votes per PTC position, `null` where the member has not attested.
+     * Returns `null` if the block is unknown or not a Gloas block.
+     */
+    getPayloadDataAvailabilityVotes(blockRootHex: RootHex): (boolean | null)[] | null;
+    private toAttendanceAwareVotes;
+    /**
+     * Spec: payload_timeliness(store, root, timely=True)
      */
     isPayloadTimely(blockRoot: RootHex): boolean;
+    /**
+     * Spec: payload_timeliness(store, root, timely=False)
+     */
+    isPayloadNotTimely(blockRoot: RootHex): boolean;
+    /**
+     * Spec: payload_data_availability(store, root, available=True)
+     */
+    isPayloadDataAvailable(blockRoot: RootHex): boolean;
+    /**
+     * Spec: payload_data_availability(store, root, available=False)
+     */
+    isPayloadDataNotAvailable(blockRoot: RootHex): boolean;
+    /**
+     * Spec: should_build_on_full(store, head)
+     *
+     * The proposer is forced to build on the EMPTY variant (effectively reorging)
+     * when the PTC majority voted that the blob data is not available or that the
+     * payload was not timely.
+     */
+    shouldBuildOnFull(head: ProtoBlock, slot: Slot): boolean;
     /**
      * Check if parent node is FULL
      * Spec: gloas/fork-choice.md#new-is_parent_node_full
@@ -185,7 +232,7 @@ export declare class ProtoArray {
      * Spec: gloas/fork-choice.md#new-should_extend_payload
      *
      * Returns true if payload is verified (FULL variant exists) AND:
-     * 1. Payload is timely, OR
+     * 1. Payload is timely AND data is available, OR
      * 2. No proposer boost root (empty/zero hash), OR
      * 3. Proposer boost root's parent is not this block, OR
      * 4. Proposer boost root extends FULL parent

package/lib/protoArray/protoArray.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"protoArray.d.ts","sourceRoot":"","sources":["../../src/protoArray/protoArray.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,QAAQ,EAAC,MAAM,gBAAgB,CAAC;AAExC,OAAO,EAAC,sBAAsB,EAA8C,MAAM,4BAA4B,CAAC;AAC/G,OAAO,EAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAC,MAAM,iBAAiB,CAAC;AAGrD,OAAO,EAAC,YAAY,EAAyD,MAAM,aAAa,CAAC;AACjG,OAAO,EAGL,eAAe,EACf,sBAAsB,EACtB,aAAa,EACb,UAAU,EACV,SAAS,EAEV,MAAM,gBAAgB,CAAC;AAQxB,eAAO,MAAM,uBAAuB,IAAI,CAAC;AACzC,KAAK,aAAa,GAAG;IAAC,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAC,CAAC;AAIpD,yEAAyE;AACzE,KAAK,oBAAoB,GAAG,MAAM,CAAC;AACnC;;;;GAIG;AACH,KAAK,mBAAmB,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;AACvE,KAAK,cAAc,GAAG,oBAAoB,GAAG,mBAAmB,CAAC;AAEjE,qBAAa,UAAU;IAGrB,cAAc,EAAE,MAAM,CAAC;IACvB,cAAc,EAAE,KAAK,CAAC;IACtB,aAAa,EAAE,OAAO,CAAC;IACvB,cAAc,EAAE,KAAK,CAAC;IACtB,aAAa,EAAE,OAAO,CAAC;IACvB,KAAK,EAAE,SAAS,EAAE,CAAM;IACxB;;;;;;;;;OASG;IACH,OAAO,8BAAsC;IAC7C,QAAQ,CAAC,EAAE,YAAY,CAAC;IAExB,OAAO,CAAC,qBAAqB,CAA8B;IAE3D;;;;;;;OAOG;IACH,OAAO,CAAC,QAAQ,CAAgC;IAEhD,YAAY,EACV,cAAc,EACd,cAAc,EACd,aAAa,EACb,cAAc,EACd,aAAa,EACd,EAAE;QACD,cAAc,EAAE,MAAM,CAAC;QACvB,cAAc,EAAE,KAAK,CAAC;QACtB,aAAa,EAAE,OAAO,CAAC;QACvB,cAAc,EAAE,KAAK,CAAC;QACtB,aAAa,EAAE,OAAO,CAAC;KACxB,EAMA;IAED,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE,YAAY,CAAC,EAAE,WAAW,EAAE,IAAI,GAAG,UAAU,CAmBtF;IAED;;;;;;;;;;;;OAYG;IACH,2BAA2B,CAAC,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,aAAa,GAAG,MAAM,GAAG,SAAS,CAqB3F;IAED;;;;;;;OAOG;IACH,iBAAiB,CAAC,SAAS,EAAE,OAAO,GAAG,aAAa,GAAG,SAAS,CAa/D;IAED;;;;OAIG;IACH,mBAAmB,CAAC,SAAS,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAa1D;IAED;;;;;;;;;;;;;;;OAeG;IACH,sBAAsB,CAAC,KAAK,EAAE,UAAU,GAAG,aAAa,CAsBvD;IAED;;OAEG;IACH,SAAS,CAAC,UAAU,EAAE,OAAO,EAAE,eAAe,EAAE,OAAO,GAAG,IAAI,GAAG,UAAU,GAAG,IAAI,CAoBjF;IAED;;;OAGG;IACH,8BAA8B,CAAC,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CA0BzF;IAED;;OAEG;IACH,uBAAuB,CAAC,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,GAAG,UAAU,GAAG,IAAI,CAGjF;IAED;;;;;;;;;;;;;;OAcG;IACH,iBAAiB,CAAC,EAChB,MAAM,EACN,aAAa,EACb,cAAc,EACd,aAAa,EACb,cAAc,EACd,aAAa,EACb,WAAW,EACZ,EAAE;QACD,MAAM,EAAE,MAAM,EAAE,CAAC;QACjB,aAAa,EAAE,aAAa,GAAG,IAAI,CAAC;QACpC,cAAc,EAAE,KAAK,CAAC;QACtB,aAAa,EAAE,OAAO,CAAC;QACvB,cAAc,EAAE,KAAK,CAAC;QACtB,aAAa,EAAE,OAAO,CAAC;QACvB,WAAW,EAAE,IAAI,CAAC;KACnB,GAAG,IAAI,CAoGP;IAED;;;;OAIG;IACH,OAAO,CAAC,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,GAAG,IAAI,GAAG,IAAI,CA8GrF;IAED;;;;;;OAMG;IACH,kBAAkB,CAChB,SAAS,EAAE,OAAO,EAClB,WAAW,EAAE,IAAI,EACjB,yBAAyB,EAAE,OAAO,EAClC,sBAAsB,EAAE,MAAM,EAC9B,iBAAiB,EAAE,OAAO,GAAG,IAAI,EACjC,eAAe,EAAE,sBAAsB,EACvC,sBAAsB,EAAE,sBAAsB,GAC7C,IAAI,CAqEN;IAED;;;;;;;OAOG;IACH,iBAAiB,CAAC,SAAS,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,EAAE,cAAc,EAAE,OAAO,GAAG,IAAI,CAczF;IAED,WAAW,CAAC,YAAY,EAAE,OAAO,GAAG,QAAQ,GAAG,IAAI,CAQlD;IAED;;;;;;;;;;OAUG;IACH,eAAe,CAAC,SAAS,EAAE,OAAO,GAAG,OAAO,CAe3C;IAED;;;;;OAKG;IACH,gBAAgB,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAE3C;IAED;;;;;;;;;;;;OAYG;IACH,mBAAmB,CAAC,SAAS,EAAE,OAAO,EAAE,iBAAiB,EAAE,OAAO,GAAG,IAAI,GAAG,OAAO,CAmClF;IAED;;;;OAIG;IAEH,kBAAkB,CAAC,YAAY,EAAE,eAAe,EAAE,WAAW,EAAE,IAAI,GAAG,IAAI,CA4EzE;IAED,OAAO,CAAC,oCAAoC;IAa5C;;;;;;;;OAQG;IAEH,OAAO,CAAC,sCAAsC;IAoC9C,OAAO,CAAC,mBAAmB;IAe3B,OAAO,CAAC,qBAAqB;IA0C7B,OAAO,CAAC,mBAAmB;IA2B3B;;;;;;;;;OASG;IACH,OAAO,CAAC,0BAA0B;IAsBlC;;;;;;OAMG;IACH,QAAQ,CAAC,aAAa,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,GAAG,SAAS,CA8D7D;IAED;;;;;;;;;;;;;;OAcG;IACH,UAAU,CAAC,aAAa,EAAE,OAAO,GAAG,UAAU,EAAE,CAqG/C;IAED;;;;;;;;;;;;;OAaG;IAEH,iCAAiC,CAC/B,WAAW,EAAE,MAAM,EACnB,UAAU,EAAE,MAAM,EAClB,WAAW,EAAE,IAAI,EACjB,iBAAiB,EAAE,OAAO,GAAG,IAAI,GAChC,IAAI,CAsHN;IAED;;;OAGG;IACH,qBAAqB,CAAC,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,IAAI,GAAG,OAAO,CAiBjE;IAED;;;;;;;OAOG;IACH,mBAAmB,CAAC,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,IAAI,GAAG,OAAO,CAqB/D;IAED;;;;OAIG;IACH,2BAA2B,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAgBpD;IAED;;OAEG;IACH,iBAAiB,CAAC,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI,GAAG,SAAS,GAAG,IAAI,CAM1E;IAED;;;;;;;;;;;;;OAaG;IACH,WAAW,CAAC,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI,GAAG,SAAS,CAwE7D;IAED;;;;;OAKG;IACH,OAAO,CAAC,kBAAkB;IAiB1B;;;;OAIG;IACF,oBAAoB,CAAC,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,aAAa,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAenG;IAED;;;;;OAKG;IACF,4BAA4B,CAAC,IAAI,EAAE,SAAS,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAU1E;IAED;;;;OAIG;IACH,mBAAmB,CAAC,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,aAAa,GAAG,SAAS,EAAE,CAgCjF;IAED;;;;;;;OAOG;IACH,sBAAsB,CAAC,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,aAAa,GAAG,SAAS,EAAE,CAkCpF;IAED;;;;OAIG;IACH,iCAAiC,CAC/B,SAAS,EAAE,OAAO,EAClB,aAAa,EAAE,aAAa,GAC3B;QAAC,SAAS,EAAE,SAAS,EAAE,CAAC;QAAC,YAAY,EAAE,SAAS,EAAE,CAAA;KAAC,CA2CrD;IAED;;;OAGG;IACH,QAAQ,CAAC,SAAS,EAAE,OAAO,GAAG,OAAO,CAEpC;IAED;;;OAGG;IACH,UAAU,CAAC,SAAS,EAAE,OAAO,GAAG,OAAO,CAItC;IAED;;;;;;;;;OASG;IACH,OAAO,CAAC,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,aAAa,GAAG,SAAS,GAAG,SAAS,CAM/E;IAED;;;;;;;;;OASG;IACH,QAAQ,CAAC,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,aAAa,GAAG,UAAU,GAAG,SAAS,CAQjF;IAED;;;;;;;;;;OAUG;IACH,gBAAgB,CAAC,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,aAAa,GAAG,UAAU,CAM7E;IAED;;;;OAIG;IACH,YAAY,CACV,YAAY,EAAE,OAAO,EACrB,qBAAqB,EAAE,aAAa,EACpC,cAAc,EAAE,OAAO,EACvB,uBAAuB,EAAE,aAAa,GACrC,OAAO,CAmBT;IAED;;OAEG;IACH,iBAAiB,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,GAAG,SAAS,GAAG,IAAI,CAmCtE;IAED,MAAM,IAAI,MAAM,CAEf;IAED,OAAO,CAAC,gBAAgB;IAQxB,OAAO,CAAC,cAAc;IAStB,OAAO,CAAC,eAAe;CAcxB"}
+{"version":3,"file":"protoArray.d.ts","sourceRoot":"","sources":["../../src/protoArray/protoArray.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,QAAQ,EAAC,MAAM,gBAAgB,CAAC;AAExC,OAAO,EAAC,sBAAsB,EAA8C,MAAM,4BAA4B,CAAC;AAC/G,OAAO,EAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAC,MAAM,iBAAiB,CAAC;AAGrD,OAAO,EAAC,YAAY,EAAyD,MAAM,aAAa,CAAC;AACjG,OAAO,EAGL,eAAe,EACf,sBAAsB,EACtB,aAAa,EACb,UAAU,EACV,SAAS,EAEV,MAAM,gBAAgB,CAAC;AAaxB;;;GAGG;AACH,wBAAgB,YAAY,CAAC,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,GAAG,MAAM,CAYtE;AAED,eAAO,MAAM,uBAAuB,IAAI,CAAC;AACzC,KAAK,aAAa,GAAG;IAAC,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAC,CAAC;AAIpD,yEAAyE;AACzE,KAAK,oBAAoB,GAAG,MAAM,CAAC;AACnC;;;;GAIG;AACH,KAAK,mBAAmB,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;AACvE,KAAK,cAAc,GAAG,oBAAoB,GAAG,mBAAmB,CAAC;AAEjE,qBAAa,UAAU;IAGrB,cAAc,EAAE,MAAM,CAAC;IACvB,cAAc,EAAE,KAAK,CAAC;IACtB,aAAa,EAAE,OAAO,CAAC;IACvB,cAAc,EAAE,KAAK,CAAC;IACtB,aAAa,EAAE,OAAO,CAAC;IACvB,KAAK,EAAE,SAAS,EAAE,CAAM;IACxB;;;;;;;;;OASG;IACH,OAAO,8BAAsC;IAC7C,QAAQ,CAAC,EAAE,YAAY,CAAC;IAExB,OAAO,CAAC,qBAAqB,CAA8B;IAE3D;;;;;;OAMG;IACH,OAAO,CAAC,sBAAsB,CAAgC;IAC9D;;;;;OAKG;IACH,OAAO,CAAC,4BAA4B,CAAgC;IACpE;;;;;OAKG;IACH,OAAO,CAAC,WAAW,CAAgC;IAEnD,YAAY,EACV,cAAc,EACd,cAAc,EACd,aAAa,EACb,cAAc,EACd,aAAa,EACd,EAAE;QACD,cAAc,EAAE,MAAM,CAAC;QACvB,cAAc,EAAE,KAAK,CAAC;QACtB,aAAa,EAAE,OAAO,CAAC;QACvB,cAAc,EAAE,KAAK,CAAC;QACtB,aAAa,EAAE,OAAO,CAAC;KACxB,EAMA;IAED,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE,YAAY,CAAC,EAAE,WAAW,EAAE,IAAI,GAAG,UAAU,CAmBtF;IAED;;;;;;;;;;;;OAYG;IACH,2BAA2B,CAAC,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,aAAa,GAAG,MAAM,GAAG,SAAS,CAqB3F;IAED;;;;;;;OAOG;IACH,iBAAiB,CAAC,SAAS,EAAE,OAAO,GAAG,aAAa,GAAG,SAAS,CAa/D;IAED;;;;OAIG;IACH,mBAAmB,CAAC,SAAS,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAa1D;IAED;;;;;;;;;;;;;;;OAeG;IACH,sBAAsB,CAAC,KAAK,EAAE,UAAU,GAAG,aAAa,CAsBvD;IAED;;OAEG;IACH,SAAS,CAAC,UAAU,EAAE,OAAO,EAAE,eAAe,EAAE,OAAO,GAAG,IAAI,GAAG,UAAU,GAAG,IAAI,CAoBjF;IAED;;;OAGG;IACH,8BAA8B,CAAC,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CA0BzF;IAED;;OAEG;IACH,uBAAuB,CAAC,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,GAAG,UAAU,GAAG,IAAI,CAGjF;IAED;;;;;;;;;;;;;;OAcG;IACH,iBAAiB,CAAC,EAChB,MAAM,EACN,aAAa,EACb,cAAc,EACd,aAAa,EACb,cAAc,EACd,aAAa,EACb,WAAW,EACZ,EAAE;QACD,MAAM,EAAE,MAAM,EAAE,CAAC;QACjB,aAAa,EAAE,aAAa,GAAG,IAAI,CAAC;QACpC,cAAc,EAAE,KAAK,CAAC;QACtB,aAAa,EAAE,OAAO,CAAC;QACvB,cAAc,EAAE,KAAK,CAAC;QACtB,aAAa,EAAE,OAAO,CAAC;QACvB,WAAW,EAAE,IAAI,CAAC;KACnB,GAAG,IAAI,CAoGP;IAED;;;;OAIG;IACH,OAAO,CAAC,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,GAAG,IAAI,GAAG,IAAI,CAgHrF;IAED;;;;;;OAMG;IACH,kBAAkB,CAChB,SAAS,EAAE,OAAO,EAClB,WAAW,EAAE,IAAI,EACjB,yBAAyB,EAAE,OAAO,EAClC,sBAAsB,EAAE,MAAM,EAC9B,wBAAwB,EAAE,MAAM,EAChC,iBAAiB,EAAE,OAAO,GAAG,IAAI,EACjC,eAAe,EAAE,sBAAsB,EACvC,sBAAsB,EAAE,sBAAsB,GAC7C,IAAI,CAsEN;IAED;;;OAGG;IACH,iBAAiB,CACf,SAAS,EAAE,OAAO,EAClB,IAAI,EAAE,IAAI,EACV,UAAU,EAAE,MAAM,EAAE,EACpB,cAAc,EAAE,OAAO,EACvB,iBAAiB,EAAE,OAAO,GACzB,IAAI,CAwBN;IAED,WAAW,CAAC,YAAY,EAAE,OAAO,GAAG,QAAQ,GAAG,IAAI,CAQlD;IAED;;;OAGG;IACH,gBAAgB,CAAC,YAAY,EAAE,OAAO,GAAG;QACvC,aAAa,EAAE,MAAM,CAAC;QACtB,mBAAmB,EAAE,MAAM,CAAC;QAC5B,kBAAkB,EAAE,MAAM,CAAC;KAC5B,GAAG,IAAI,CAaP;IAED,4BAA4B,IAAI,OAAO,CAEtC;IAED;;;OAGG;IACH,yBAAyB,CAAC,YAAY,EAAE,OAAO,GAAG,CAAC,OAAO,GAAG,IAAI,CAAC,EAAE,GAAG,IAAI,CAE1E;IAED;;;OAGG;IACH,+BAA+B,CAAC,YAAY,EAAE,OAAO,GAAG,CAAC,OAAO,GAAG,IAAI,CAAC,EAAE,GAAG,IAAI,CAEhF;IAED,OAAO,CAAC,sBAAsB;IAS9B;;OAEG;IACH,eAAe,CAAC,SAAS,EAAE,OAAO,GAAG,OAAO,CAK3C;IAED;;OAEG;IACH,kBAAkB,CAAC,SAAS,EAAE,OAAO,GAAG,OAAO,CAO9C;IAED;;OAEG;IACH,sBAAsB,CAAC,SAAS,EAAE,OAAO,GAAG,OAAO,CAKlD;IAED;;OAEG;IACH,yBAAyB,CAAC,SAAS,EAAE,OAAO,GAAG,OAAO,CAOrD;IAED;;;;;;OAMG;IACH,iBAAiB,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,GAAG,OAAO,CAcvD;IAED;;;;;OAKG;IACH,gBAAgB,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAE3C;IAED;;;;;;;;;;;;OAYG;IACH,mBAAmB,CAAC,SAAS,EAAE,OAAO,EAAE,iBAAiB,EAAE,OAAO,GAAG,IAAI,GAAG,OAAO,CAmClF;IAED;;;;OAIG;IAEH,kBAAkB,CAAC,YAAY,EAAE,eAAe,EAAE,WAAW,EAAE,IAAI,GAAG,IAAI,CA4EzE;IAED,OAAO,CAAC,oCAAoC;IAa5C;;;;;;;;OAQG;IAEH,OAAO,CAAC,sCAAsC;IAoC9C,OAAO,CAAC,mBAAmB;IAe3B,OAAO,CAAC,qBAAqB;IA0C7B,OAAO,CAAC,mBAAmB;IA2B3B;;;;;;;;;OASG;IACH,OAAO,CAAC,0BAA0B;IAsBlC;;;;;;OAMG;IACH,QAAQ,CAAC,aAAa,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,GAAG,SAAS,CA8D7D;IAED;;;;;;;;;;;;;;OAcG;IACH,UAAU,CAAC,aAAa,EAAE,OAAO,GAAG,UAAU,EAAE,CAuG/C;IAED;;;;;;;;;;;;;OAaG;IAEH,iCAAiC,CAC/B,WAAW,EAAE,MAAM,EACnB,UAAU,EAAE,MAAM,EAClB,WAAW,EAAE,IAAI,EACjB,iBAAiB,EAAE,OAAO,GAAG,IAAI,GAChC,IAAI,CAsHN;IAED;;;OAGG;IACH,qBAAqB,CAAC,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,IAAI,GAAG,OAAO,CAiBjE;IAED;;;;;;;OAOG;IACH,mBAAmB,CAAC,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,IAAI,GAAG,OAAO,CAqB/D;IAED;;;;OAIG;IACH,2BAA2B,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAgBpD;IAED;;OAEG;IACH,iBAAiB,CAAC,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI,GAAG,SAAS,GAAG,IAAI,CAM1E;IAED;;;;;;;;;;;;;OAaG;IACH,WAAW,CAAC,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI,GAAG,SAAS,CAwE7D;IAED;;;;;OAKG;IACH,OAAO,CAAC,kBAAkB;IAiB1B;;;;OAIG;IACF,oBAAoB,CAAC,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,aAAa,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAenG;IAED;;;;;OAKG;IACF,4BAA4B,CAAC,IAAI,EAAE,SAAS,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAU1E;IAED;;;;OAIG;IACH,mBAAmB,CAAC,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,aAAa,GAAG,SAAS,EAAE,CAgCjF;IAED;;;;;;;OAOG;IACH,sBAAsB,CAAC,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,aAAa,GAAG,SAAS,EAAE,CAkCpF;IAED;;;;OAIG;IACH,iCAAiC,CAC/B,SAAS,EAAE,OAAO,EAClB,aAAa,EAAE,aAAa,GAC3B;QAAC,SAAS,EAAE,SAAS,EAAE,CAAC;QAAC,YAAY,EAAE,SAAS,EAAE,CAAA;KAAC,CA2CrD;IAED;;;OAGG;IACH,QAAQ,CAAC,SAAS,EAAE,OAAO,GAAG,OAAO,CAEpC;IAED;;;OAGG;IACH,UAAU,CAAC,SAAS,EAAE,OAAO,GAAG,OAAO,CAItC;IAED;;;;;;;;;OASG;IACH,OAAO,CAAC,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,aAAa,GAAG,SAAS,GAAG,SAAS,CAM/E;IAED;;;;;;;;;OASG;IACH,QAAQ,CAAC,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,aAAa,GAAG,UAAU,GAAG,SAAS,CAQjF;IAED;;;;;;;;;;OAUG;IACH,gBAAgB,CAAC,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,aAAa,GAAG,UAAU,CAM7E;IAED;;;;OAIG;IACH,YAAY,CACV,YAAY,EAAE,OAAO,EACrB,qBAAqB,EAAE,aAAa,EACpC,cAAc,EAAE,OAAO,EACvB,uBAAuB,EAAE,aAAa,GACrC,OAAO,CAmBT;IAED;;OAEG;IACH,iBAAiB,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,GAAG,SAAS,GAAG,IAAI,CAmCtE;IAED,MAAM,IAAI,MAAM,CAEf;IAED,OAAO,CAAC,gBAAgB;IAQxB,OAAO,CAAC,cAAc;IAStB,OAAO,CAAC,eAAe;CAcxB"}

package/lib/protoArray/protoArray.js

@@ -10,6 +10,28 @@ import { ExecutionStatus, HEX_ZERO_HASH, PayloadStatus, isGloasBlock, } from "./
  * Spec: gloas/fork-choice.md (PAYLOAD_TIMELY_THRESHOLD = PTC_SIZE // 2)
  */
 const PAYLOAD_TIMELY_THRESHOLD = Math.floor(PTC_SIZE / 2);
+/**
+ * Threshold for blob data availability via PTC vote
+ * Spec: gloas/fork-choice.md (DATA_AVAILABILITY_TIMELY_THRESHOLD = PTC_SIZE // 2)
+ */
+const DATA_AVAILABILITY_TIMELY_THRESHOLD = Math.floor(PTC_SIZE / 2);
+/**
+ * popcount(attended AND NOT yes) — explicit False-vote count.
+ * Excludes PTC members who didn't attest (the None state).
+ */
+export function countNoVotes(attended, yes) {
+    const a = attended.uint8Array;
+    const y = yes.uint8Array;
+    let count = 0;
+    for (let i = 0; i < a.length; i++) {
+        let byte = a[i] & ~y[i] & 0xff;
+        while (byte) {
+            byte &= byte - 1;
+            count++;
+        }
+    }
+    return count;
+}
 export const DEFAULT_PRUNE_THRESHOLD = 0;
 const ZERO_HASH_HEX = toRootHex(Buffer.alloc(32, 0));
 export class ProtoArray {
@@ -37,12 +59,25 @@ export class ProtoArray {
     /**
      * PTC (Payload Timeliness Committee) votes per block as bitvectors
      * Maps block root to BitArray of PTC_SIZE bits (512 mainnet, 2 minimal)
-     * Spec: gloas/fork-choice.md#modified-store (line 148)
+     * Spec: gloas/fork-choice.md#modified-store (payload_timeliness_vote)
+     *
+     * Bit i = PTC member i voted payloadPresent=true (timeliness YES vote)
+     */
+    payloadTimelinessVotes = new Map();
+    /**
+     * Blob data availability votes per block.
+     * Spec: gloas/fork-choice.md#modified-store (payload_data_availability_vote)
      *
-     * Bit i is set if PTC member i voted payload_present=true
-     * Used by is_payload_timely() to determine if payload is timely
+     * Bit i = PTC member i voted blobDataAvailable=true (DA YES vote)
+     */
+    payloadDataAvailabilityVotes = new Map();
+    /**
+     * Tracks which PTC members have attested at all (any payload_status).
+     * Without this, we cannot tell "didn't vote" (None) from "voted false" —
+     * a distinction required by payload_timeliness/payload_data_availability
+     * when called with the negative parameter value.
      */
-    ptcVotes = new Map();
+    ptcAttested = new Map();
     constructor({ pruneThreshold, justifiedEpoch, justifiedRoot, finalizedEpoch, finalizedRoot, }) {
         this.pruneThreshold = pruneThreshold;
         this.justifiedEpoch = justifiedEpoch;
@@ -401,9 +436,11 @@ export class ProtoArray {
             }
             // Update bestChild for PENDING → EMPTY edge
             this.maybeUpdateBestChildAndDescendant(pendingIndex, emptyIndex, currentSlot, proposerBoostRoot);
-            // Initialize PTC votes for this block (all false initially)
-            // Spec: gloas/fork-choice.md#modified-on_block (line 645)
-            this.ptcVotes.set(block.blockRoot, BitArray.fromBitLen(PTC_SIZE));
+            // Initialize PTC vote bitvectors for this block.
+            // Spec: gloas/fork-choice.md#modified-on_block
+            this.payloadTimelinessVotes.set(block.blockRoot, BitArray.fromBitLen(PTC_SIZE));
+            this.ptcAttested.set(block.blockRoot, BitArray.fromBitLen(PTC_SIZE));
+            this.payloadDataAvailabilityVotes.set(block.blockRoot, BitArray.fromBitLen(PTC_SIZE));
         }
         else {
             // Pre-Gloas: Only create FULL node (payload embedded in block)
@@ -436,7 +473,7 @@ export class ProtoArray {
      *
      * Spec: gloas/fork-choice.md (on_execution_payload event)
      */
-    onExecutionPayload(blockRoot, currentSlot, executionPayloadBlockHash, executionPayloadNumber, proposerBoostRoot, executionStatus, dataAvailabilityStatus) {
+    onExecutionPayload(blockRoot, currentSlot, executionPayloadBlockHash, executionPayloadNumber, executionPayloadGasLimit, proposerBoostRoot, executionStatus, dataAvailabilityStatus) {
         // First check if block exists
         const variants = this.indices.get(blockRoot);
         if (variants == null) {
@@ -483,6 +520,7 @@ export class ProtoArray {
             executionStatus,
             executionPayloadBlockHash,
             executionPayloadNumber,
+            executionPayloadGasLimit,
             dataAvailabilityStatus,
         };
         const fullIndex = this.nodes.length;
@@ -499,27 +537,33 @@ export class ProtoArray {
     }
     /**
      * Update PTC votes for multiple validators attesting to a block
-     * Spec: gloas/fork-choice.md#new-on_payload_attestation_message
-     *
-     * @param blockRoot - The beacon block root being attested
-     * @param ptcIndices - Array of PTC committee indices that voted (0..PTC_SIZE-1)
-     * @param payloadPresent - Whether the validators attest the payload is present
+     * Spec: gloas/fork-choice.md#new-notify_ptc_messages
      */
-    notifyPtcMessages(blockRoot, ptcIndices, payloadPresent) {
-        const votes = this.ptcVotes.get(blockRoot);
-        if (votes === undefined) {
+    notifyPtcMessages(blockRoot, slot, ptcIndices, payloadPresent, blobDataAvailable) {
+        const votes = this.payloadTimelinessVotes.get(blockRoot);
+        const attended = this.ptcAttested.get(blockRoot);
+        const daVotes = this.payloadDataAvailabilityVotes.get(blockRoot);
+        if (votes === undefined || attended === undefined || daVotes === undefined) {
             // Block not found or not a Gloas block, ignore
             return;
         }
+        // PTC votes can only change the vote for their assigned beacon block, return early otherwise
+        const nodeIndex = this.getDefaultNodeIndex(blockRoot);
+        const node = nodeIndex !== undefined ? this.getNodeByIndex(nodeIndex) : undefined;
+        if (node === undefined || node.slot !== slot) {
+            return;
+        }
         for (const ptcIndex of ptcIndices) {
             if (ptcIndex < 0 || ptcIndex >= PTC_SIZE) {
                 throw new Error(`Invalid PTC index: ${ptcIndex}, must be 0..${PTC_SIZE - 1}`);
             }
             votes.set(ptcIndex, payloadPresent);
+            daVotes.set(ptcIndex, blobDataAvailable);
+            attended.set(ptcIndex, true);
         }
     }
     getPTCVotes(blockRootHex) {
-        const votes = this.ptcVotes.get(blockRootHex);
+        const votes = this.payloadTimelinessVotes.get(blockRootHex);
         if (votes === undefined) {
             // Block not found or not a Gloas block
             return null;
@@ -527,29 +571,116 @@ export class ProtoArray {
         return votes;
     }
     /**
-     * Check if execution payload for a block is timely
-     * Spec: gloas/fork-choice.md#new-is_payload_timely
-     *
-     * Returns true if:
-     * 1. Block has PTC votes tracked
-     * 2. Payload is locally available (FULL variant exists in proto array)
-     * 3. More than PAYLOAD_TIMELY_THRESHOLD (>50% of PTC) members voted payload_present=true
-     *
-     * @param blockRoot - The beacon block root to check
+     * Raw PTC vote tallies for a block root, for the debug fork choice endpoint.
+     * Returns `null` for pre-Gloas (or pruned) roots, which have no vote maps.
+     */
+    getPTCVoteCounts(blockRootHex) {
+        const attended = this.ptcAttested.get(blockRootHex);
+        const timelinessVotes = this.payloadTimelinessVotes.get(blockRootHex);
+        const daVotes = this.payloadDataAvailabilityVotes.get(blockRootHex);
+        // The three maps share a lifecycle (set together in onBlock, deleted together on prune)
+        if (attended === undefined || timelinessVotes === undefined || daVotes === undefined) {
+            return null;
+        }
+        return {
+            attesterCount: bitCount(attended.uint8Array),
+            payloadPresentCount: bitCount(timelinessVotes.uint8Array),
+            dataAvailableCount: bitCount(daVotes.uint8Array),
+        };
+    }
+    getPreviousProposerBoostRoot() {
+        return this.previousProposerBoost?.root ?? HEX_ZERO_HASH;
+    }
+    /**
+     * Timeliness votes per PTC position, `null` where the member has not attested.
+     * Returns `null` if the block is unknown or not a Gloas block.
+     */
+    getPayloadTimelinessVotes(blockRootHex) {
+        return this.toAttendanceAwareVotes(this.payloadTimelinessVotes.get(blockRootHex), blockRootHex);
+    }
+    /**
+     * Data-availability votes per PTC position, `null` where the member has not attested.
+     * Returns `null` if the block is unknown or not a Gloas block.
+     */
+    getPayloadDataAvailabilityVotes(blockRootHex) {
+        return this.toAttendanceAwareVotes(this.payloadDataAvailabilityVotes.get(blockRootHex), blockRootHex);
+    }
+    toAttendanceAwareVotes(votes, blockRootHex) {
+        const attended = this.ptcAttested.get(blockRootHex);
+        if (votes === undefined || attended === undefined) {
+            return null;
+        }
+        return Array.from({ length: PTC_SIZE }, (_, i) => (attended.get(i) ? votes.get(i) : null));
+    }
+    /**
+     * Spec: payload_timeliness(store, root, timely=True)
      */
     isPayloadTimely(blockRoot) {
-        const votes = this.ptcVotes.get(blockRoot);
-        if (votes === undefined) {
-            // Block not found or not a Gloas block
+        const votes = this.payloadTimelinessVotes.get(blockRoot);
+        if (votes === undefined)
             return false;
-        }
-        // If payload is not locally available, it's not timely
-        if (!this.hasPayload(blockRoot)) {
+        if (!this.hasPayload(blockRoot))
+            return false;
+        return bitCount(votes.uint8Array) > PAYLOAD_TIMELY_THRESHOLD;
+    }
+    /**
+     * Spec: payload_timeliness(store, root, timely=False)
+     */
+    isPayloadNotTimely(blockRoot) {
+        const votes = this.payloadTimelinessVotes.get(blockRoot);
+        const attended = this.ptcAttested.get(blockRoot);
+        if (votes === undefined || attended === undefined)
+            return false;
+        // Spec: not verified locally → returns `not False = True`
+        if (!this.hasPayload(blockRoot))
+            return true;
+        return countNoVotes(attended, votes) > PAYLOAD_TIMELY_THRESHOLD;
+    }
+    /**
+     * Spec: payload_data_availability(store, root, available=True)
+     */
+    isPayloadDataAvailable(blockRoot) {
+        const daVotes = this.payloadDataAvailabilityVotes.get(blockRoot);
+        if (daVotes === undefined)
+            return false;
+        if (!this.hasPayload(blockRoot))
+            return false;
+        return bitCount(daVotes.uint8Array) > DATA_AVAILABILITY_TIMELY_THRESHOLD;
+    }
+    /**
+     * Spec: payload_data_availability(store, root, available=False)
+     */
+    isPayloadDataNotAvailable(blockRoot) {
+        const daVotes = this.payloadDataAvailabilityVotes.get(blockRoot);
+        const attended = this.ptcAttested.get(blockRoot);
+        if (daVotes === undefined || attended === undefined)
             return false;
+        // Spec: not verified locally → returns `not False = True`
+        if (!this.hasPayload(blockRoot))
+            return true;
+        return countNoVotes(attended, daVotes) > DATA_AVAILABILITY_TIMELY_THRESHOLD;
+    }
+    /**
+     * Spec: should_build_on_full(store, head)
+     *
+     * The proposer is forced to build on the EMPTY variant (effectively reorging)
+     * when the PTC majority voted that the blob data is not available or that the
+     * payload was not timely.
+     */
+    shouldBuildOnFull(head, slot) {
+        if (head.payloadStatus === PayloadStatus.PENDING) {
+            throw new Error("shouldBuildOnFull called with PENDING head");
         }
-        // Count votes for payload_present=true
-        const yesVotes = bitCount(votes.uint8Array);
-        return yesVotes > PAYLOAD_TIMELY_THRESHOLD;
+        if (head.payloadStatus === PayloadStatus.EMPTY)
+            return false;
+        // The PTC data availability and timeliness views are only consulted for a head from the
+        // previous slot. For an earlier head the empty/full variant has already been resolved by
+        // weight in getHead.
+        if (head.slot + 1 !== slot)
+            return true;
+        if (this.isPayloadDataNotAvailable(head.blockRoot))
+            return false;
+        return !this.isPayloadNotTimely(head.blockRoot);
     }
     /**
      * Check if parent node is FULL
@@ -565,7 +696,7 @@ export class ProtoArray {
      * Spec: gloas/fork-choice.md#new-should_extend_payload
      *
      * Returns true if payload is verified (FULL variant exists) AND:
-     * 1. Payload is timely, OR
+     * 1. Payload is timely AND data is available, OR
      * 2. No proposer boost root (empty/zero hash), OR
      * 3. Proposer boost root's parent is not this block, OR
      * 4. Proposer boost root extends FULL parent
@@ -577,8 +708,8 @@ export class ProtoArray {
         if (!this.hasPayload(blockRoot)) {
             return false;
         }
-        // Condition 1: Payload is timely
-        if (this.isPayloadTimely(blockRoot)) {
+        // Condition 1: Payload is timely AND data is available
+        if (this.isPayloadTimely(blockRoot) && this.isPayloadDataAvailable(blockRoot)) {
             return true;
         }
         // Condition 2: No proposer boost root
@@ -933,7 +1064,9 @@ export class ProtoArray {
             this.indices.delete(root);
             // Prune PTC votes for this block to prevent memory leak
             // Spec: gloas/fork-choice.md (implicit - finalized blocks don't need PTC votes)
-            this.ptcVotes.delete(root);
+            this.payloadTimelinessVotes.delete(root);
+            this.ptcAttested.delete(root);
+            this.payloadDataAvailabilityVotes.delete(root);
         }
         // Store nodes prior to finalization
         const removed = this.nodes.slice(0, finalizedIndex);