@lodestar/fork-choice 1.47.0-dev.f591cb177e → 1.48.0-dev.67344272c0

package/lib/forkChoice/forkChoice.d.ts

@@ -180,7 +180,8 @@ export declare class ForkChoice implements IForkChoice {
      * https://github.com/ethereum/consensus-specs/pull/3034 for info about proposer boost reorg
      * This function should only be called during block proposal and only be called after `updateHead()` in `updateAndGetHead()`
      *
-     * Same as https://github.com/ethereum/consensus-specs/blob/v1.4.0-beta.4/specs/phase0/fork-choice.md#get_proposer_head
+     * https://github.com/ethereum/consensus-specs/blob/v1.7.0-alpha.14/specs/phase0/fork-choice.md#get_proposer_head
+     * https://github.com/ethereum/consensus-specs/blob/v1.7.0-alpha.14/specs/gloas/fork-choice.md#modified-get_proposer_head
      */
     getProposerHead(headBlock: ProtoBlock, secFromSlot: number, slot: Slot): {
         proposerHead: ProtoBlock;
@@ -212,20 +213,12 @@ export declare class ForkChoice implements IForkChoice {
     };
     /** Very expensive function, iterates the entire ProtoArray. Called only in debug API */
     getHeads(): ProtoBlock[];
-    /**
-     * weight is in EFFECTIVE_BALANCE_INCREMENTS not gwei.
-     * For compliance test use only
-     */
+    /** Returns exact Gwei weights for the compliance test. */
     getViableHeads(): {
         root: RootHex;
         payloadStatus: PayloadStatus;
-        weight: number;
+        weight: bigint;
     }[];
-    /**
-     * The cached justified total active balance, in EFFECTIVE_BALANCE_INCREMENT units.
-     * For compliance test use only
-     */
-    getJustifiedTotalActiveBalanceByIncrement(): number;
     /** This is for the debug API only */
     getAllNodes(): ProtoNode[];
     getFinalizedCheckpoint(): CheckpointWithHex;
@@ -469,6 +462,38 @@ export declare class ForkChoice implements IForkChoice {
      * Child class can overwrite this for testing purpose.
      */
     protected isBlockTimely(block: BeaconBlock, blockDelaySec: number): boolean;
+    /**
+     * Return true if the block arrived before the PTC (payload-timeliness committee) deadline,
+     * ie. block_timeliness[PTC_TIMELINESS_INDEX]. should_apply_proposer_boost uses this as the
+     * definition of an "early" proposer equivocation: only a sibling seen by the PTC deadline
+     * proves the proposer equivocated soon enough that honest nodes could have withheld the boost.
+     *
+     * https://github.com/ethereum/consensus-specs/blob/v1.7.0-alpha.14/specs/gloas/fork-choice.md#modified-record_block_timeliness
+     *
+     * Child class can overwrite this for testing purpose.
+     */
+    protected isBlockPtcTimely(block: BeaconBlock, blockDelaySec: number): boolean;
+    /**
+     * Determine whether proposer boost should be applied to `proposerBoostRoot`.
+     *
+     * https://github.com/ethereum/consensus-specs/blob/v1.7.0-alpha.14/specs/gloas/fork-choice.md#new-should_apply_proposer_boost
+     *
+     * Pre-gloas blocks always receive the boost (unconditional, backward compatible). For gloas
+     * blocks the boost is withheld when the parent is a weak block from the previous slot and the
+     * proposer of that parent equivocated (published another PTC-timely block at the same slot).
+     */
+    private shouldApplyProposerBoost;
+    /**
+     * Return true if another block at the same slot from the same proposer is known to fork choice.
+     *
+     * https://github.com/ethereum/consensus-specs/blob/v1.7.0-alpha.14/specs/phase0/fork-choice.md#is_proposer_equivocation
+     */
+    private isProposerEquivocation;
+    /**
+     * The proposer boost to apply to `proposerBoostRoot`, propagated up the branch by
+     * applyScoreChanges() together with the deltas.
+     */
+    private getProposerBoost;
     /**
      * https://github.com/ethereum/consensus-specs/blob/v1.5.0/specs/phase0/fork-choice.md#is_proposing_on_time
      */
@@ -495,6 +520,8 @@ export declare class ForkChoice implements IForkChoice {
      * May need the justified balances of:
      * - unrealizedJustified: Already available in `CheckpointWithBalance`
      * Since this balances are already available the getter is just `() => balances`, without cache interaction
+     *
+     * @returns Whether either checkpoint was updated.
      */
     private updateCheckpoints;
     /**
@@ -537,6 +564,8 @@ export declare class ForkChoice implements IForkChoice {
      * Equivalent to:
      *
      * https://github.com/ethereum/consensus-specs/blob/v1.1.10/specs/phase0/fork-choice.md#on_tick
+     *
+     * @returns Whether an epoch-boundary checkpoint was updated.
      */
     private onTick;
     /**
@@ -546,11 +575,8 @@ export declare class ForkChoice implements IForkChoice {
      *
      */
     private getPreliminaryProposerHead;
+    /** Returns whether it recomputed the head, so the caller can avoid a redundant `updateHead()`. */
     private runFastConfirmation;
     private createFastConfirmationContext;
 }
-export declare function getCommitteeFraction(justifiedTotalActiveBalanceByIncrement: number, config: {
-    slotsPerEpoch: number;
-    committeePercent: number;
-}): number;
 //# sourceMappingURL=forkChoice.d.ts.map

package/lib/forkChoice/forkChoice.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"forkChoice.d.ts","sourceRoot":"","sources":["../../src/forkChoice/forkChoice.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,eAAe,EAAC,MAAM,kBAAkB,CAAC;AAEjD,OAAO,EACL,sBAAsB,EAEtB,gBAAgB,EAQjB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,gBAAgB,EAChB,WAAW,EAEX,kBAAkB,EAClB,IAAI,EACJ,OAAO,EACP,IAAI,EAKL,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAC,MAAM,EAAmD,MAAM,iBAAiB,CAAC;AACzF,OAAO,EAAC,iBAAiB,EAAC,MAAM,eAAe,CAAC;AAGhD,OAAO,EACL,oBAAoB,EAGpB,eAAe,EAEf,sBAAsB,EACtB,aAAa,EACb,UAAU,EACV,SAAS,EAGV,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAC,UAAU,EAAC,MAAM,6BAA6B,CAAC;AAEvD,OAAO,EAKL,KAAK,0BAA0B,EAChC,MAAM,4CAA4C,CAAC;AACpD,OAAO,EACL,cAAc,EAEd,eAAe,EACf,WAAW,EACX,gBAAgB,EAChB,oCAAoC,EACrC,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAC,iBAAiB,EAAE,gBAAgB,EAAyC,MAAM,YAAY,CAAC;AAEvG,MAAM,MAAM,cAAc,GAAG;IAC3B,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC5B,CAAC;AAEF,oBAAY,aAAa;IACvB,gBAAgB,qBAAqB,CAAE,uBAAuB;IAC9D,eAAe,oBAAoB,CAAE,uBAAuB;IAC5D,wBAAwB,6BAA6B;CACtD;AAED,MAAM,MAAM,mBAAmB,GAC3B;IAAC,IAAI,EAAE,aAAa,CAAC,gBAAgB,CAAA;CAAC,GACtC;IAAC,IAAI,EAAE,aAAa,CAAC,eAAe,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAC,GACtE;IAAC,IAAI,EAAE,aAAa,CAAC,wBAAwB,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAC,CAAC;AAKpF;;;;;;;;;;;;;;;;GAgBG;AACH,qBAAa,UAAW,YAAW,WAAW;IA6D1C,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,OAAO;IACxB,sDAAsD;IACtD,OAAO,CAAC,QAAQ,CAAC,UAAU;IAE3B,QAAQ,CAAC,OAAO,EAAE,iBAAiB,GAAG,IAAI;IAC1C,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;IACtB,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC;IAnE1B,kBAAkB,CAAC,EAAE,KAAK,CAAC;IAC3B;;;;;;;;;;OAUG;IACH,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAAc;IACjD,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAc;IAC9C,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAS;IAEvC;;;;;;OAMG;IACH,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAEjC;IAEF;;;OAGG;IACH,OAAO,CAAC,8BAA8B,CAAK;IAO3C,kBAAkB;IAClB,OAAO,CAAC,IAAI,CAAa;IACzB;;QAEI;IACJ,OAAO,CAAC,yBAAyB,CAAqB;IACtD,kEAAkE;IAClE,OAAO,CAAC,iBAAiB,CAAwB;IACjD,+EAA+E;IAC/E,OAAO,CAAC,2BAA2B,CAAuB;IAC1D,qCAAqC;IACrC,OAAO,CAAC,QAAQ,CAA6B;IAC7C,qDAAqD;IACrD,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAwB;IAC9D,OAAO,CAAC,QAAQ,CAAC,uBAAuB,CAAC,CAA0B;IACnE,OAAO,CAAC,sBAAsB,CAAS;IACvC;;;;OAIG;IACH,YACmB,MAAM,EAAE,eAAe,EACvB,OAAO,EAAE,gBAAgB;IAC1C,sDAAsD;IACrC,UAAU,EAAE,UAAU,EACvC,cAAc,EAAE,MAAM,EACb,OAAO,EAAE,iBAAiB,GAAG,IAAI,EACzB,IAAI,CAAC,EAAE,cAAc,YAAA,EACrB,MAAM,CAAC,EAAE,MAAM,YAAA,EA0BjC;IAED;;;;;;;;;;;OAWG;IACH,WAAW,CAAC,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI,GAAG,SAAS,CAE7D;IAED;;OAEG;IACH,WAAW,IAAI,OAAO,CAErB;IAED;;OAEG;IACH,OAAO,IAAI,UAAU,CAEpB;IAED,gBAAgB,IAAI,OAAO,CAE1B;IAED,wBAAwB,IAAI,0BAA0B,CASrD;IAED,iBAAiB,IAAI,UAAU,GAAG,IAAI,CAErC;IAED,sBAAsB,IAAI,IAAI,CAE7B;IAED,qBAAqB,IAAI,IAAI,CAE5B;IAED,OAAO,CAAC,sBAAsB;IAoB9B,OAAO,CAAC,mBAAmB;IAa3B;;;;;;;;;OASG;IACH,gBAAgB,CAAC,GAAG,EAAE,mBAAmB,GAAG;QAC1C,IAAI,EAAE,UAAU,CAAC;QACjB,YAAY,CAAC,EAAE,OAAO,CAAC;QACvB,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;KACrC,CAoBA;IAOD,8BAA8B,CAC5B,SAAS,EAAE,UAAU,EACrB,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,IAAI,GAChB,oCAAoC,CAiDtC;IAED;;OAEG;IACH,oBAAoB,IAAI,OAAO,CAE9B;IAED,4BAA4B,IAAI,OAAO,CAEtC;IAED;;;OAGG;IACH,mBAAmB,CAAC,SAAS,EAAE,OAAO,GAAG,OAAO,CAE/C;IAED,oDAAoD;IACpD,iBAAiB,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,GAAG,OAAO,CAEvD;IAED;;;;;;;;;OASG;IACH,mBAAmB,CAAC,SAAS,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,GAAG,UAAU,CA+B7F;IAED;;;;;;;OAOG;IACH,eAAe,CACb,SAAS,EAAE,UAAU,EACrB,WAAW,EAAE,MAAM,EACnB,IAAI,EAAE,IAAI,GACT;QAAC,YAAY,EAAE,UAAU,CAAC;QAAC,YAAY,EAAE,OAAO,CAAC;QAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAA;KAAC,CAoExF;IAED;;;;;;;;;;;OAWG;IACH,UAAU,IAAI,UAAU,CAyEvB;IAED;;;;OAIG;IACH,eAAe,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,CAE3C;IAED,yBAAyB,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,GAAG;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAC,CAEvG;IAED,wFAAwF;IACxF,QAAQ,IAAI,UAAU,EAAE,CAEvB;IAED;;;OAGG;IACH,cAAc,IAAI;QAAC,IAAI,EAAE,OAAO,CAAC;QAAC,aAAa,EAAE,aAAa,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAC,EAAE,CAEhF;IAED;;;OAGG;IACH,yCAAyC,IAAI,MAAM,CAElD;IAED,qCAAqC;IACrC,WAAW,IAAI,SAAS,EAAE,CAEzB;IAED,sBAAsB,IAAI,iBAAiB,CAE1C;IAED,sBAAsB,IAAI,iBAAiB,CAE1C;IAED;;;;;;;;;;;;;;;;;;OAkBG;IACH,OAAO,CACL,KAAK,EAAE,WAAW,EAClB,KAAK,EAAE,gBAAgB,EACvB,aAAa,EAAE,MAAM,EACrB,WAAW,EAAE,IAAI,EACjB,eAAe,EAAE,oBAAoB,EACrC,sBAAsB,EAAE,sBAAsB,GAC7C,UAAU,CA8NZ;IAED;;;;;;;;;;;;;;;;;OAiBG;IACH,aAAa,CAAC,WAAW,EAAE,kBAAkB,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,OAAO,GAAG,IAAI,CAiF/F;IAED;;;;OAIG;IACH,kBAAkB,CAAC,gBAAgB,EAAE,gBAAgB,GAAG,IAAI,CAM3D;IAED;;;;OAIG;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,CAEN;IAED;;;;OAIG;IACH,kBAAkB,CAChB,SAAS,EAAE,OAAO,EAClB,yBAAyB,EAAE,OAAO,EAClC,sBAAsB,EAAE,MAAM,EAC9B,wBAAwB,EAAE,MAAM,EAChC,eAAe,EAAE,sBAAsB,EACvC,sBAAsB,EAAE,sBAAsB,GAC7C,IAAI,CAWN;IAED;;;;;;;OAOG;IACH,UAAU,CAAC,WAAW,EAAE,IAAI,GAAG,IAAI,CAYlC;IAED,OAAO,IAAI,IAAI,CAEd;IAED,uFAAuF;IACvF,QAAQ,CAAC,SAAS,EAAE,IAAI,GAAG,OAAO,CAEjC;IACD,+FAA+F;IAC/F,QAAQ,CAAC,SAAS,EAAE,IAAI,EAAE,aAAa,EAAE,aAAa,GAAG,UAAU,GAAG,IAAI,CAEzE;IAED,qBAAqB,CAAC,SAAS,EAAE,IAAI,GAAG,UAAU,GAAG,IAAI,CAExD;IAED;;;OAGG;IACH,WAAW,CAAC,SAAS,EAAE,OAAO,GAAG,OAAO,CAQvC;IAED;;OAEG;IACH,cAAc,CAAC,SAAS,EAAE,IAAI,GAAG,OAAO,CAEvC;IAED;;OAEG;IACH,iBAAiB,CAAC,SAAS,EAAE,OAAO,GAAG,OAAO,CAE7C;IAED;;;OAGG;IACH,gBAAgB,CAAC,SAAS,EAAE,IAAI,GAAG,OAAO,CAEzC;IAED;;OAEG;IACH,mBAAmB,CAAC,SAAS,EAAE,OAAO,GAAG,OAAO,CAE/C;IAED,WAAW,CAAC,YAAY,EAAE,OAAO,GAAG,CAAC,OAAO,GAAG,IAAI,CAAC,EAAE,GAAG,IAAI,CAI5D;IAED,gBAAgB,CAAC,YAAY,EAAE,OAAO,GAAG;QACvC,aAAa,EAAE,MAAM,CAAC;QACtB,mBAAmB,EAAE,MAAM,CAAC;QAC5B,kBAAkB,EAAE,MAAM,CAAC;KAC5B,GAAG,IAAI,CAEP;IAED,yBAAyB,CAAC,YAAY,EAAE,OAAO,GAAG,CAAC,OAAO,GAAG,IAAI,CAAC,EAAE,GAAG,IAAI,CAE1E;IAED,+BAA+B,CAAC,YAAY,EAAE,OAAO,GAAG,CAAC,OAAO,GAAG,IAAI,CAAC,EAAE,GAAG,IAAI,CAEhF;IAED,gCAAgC,IAAI,iBAAiB,CAEpD;IAED,gCAAgC,IAAI,iBAAiB,CAEpD;IAED;;OAEG;IACH,WAAW,CAAC,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,aAAa,GAAG,UAAU,GAAG,IAAI,CAa/E;IAED;;;;;;;OAOG;IACH,wBAAwB,CAAC,SAAS,EAAE,OAAO,GAAG,UAAU,GAAG,IAAI,CAO9D;IAED;;OAEG;IACH,uBAAuB,CAAC,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,GAAG,UAAU,GAAG,IAAI,CAEjF;IAED,iBAAiB,IAAI,UAAU,CAU9B;IAED,iBAAiB,IAAI,UAAU,CAU9B;IAED,0BAA0B,IAAI,IAAI,CAGjC;IAED;;;;;OAKG;IACH,YAAY,CACV,YAAY,EAAE,OAAO,EACrB,qBAAqB,EAAE,aAAa,EACpC,cAAc,EAAE,OAAO,EACvB,uBAAuB,EAAE,aAAa,GACrC,OAAO,CAET;IAED;;OAEG;IACH,KAAK,CAAC,aAAa,EAAE,OAAO,GAAG,UAAU,EAAE,CA2B1C;IAED,iBAAiB,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAEzC;IAED;;;OAGG;IACH,qBAAqB,CAAC,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,aAAa,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAEpG;IAED;;;;OAIG;IACH,oBAAoB,CAAC,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,aAAa,GAAG,UAAU,EAAE,CAEnF;IAED;;OAEG;IACH,uBAAuB,CAAC,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,aAAa,GAAG,UAAU,EAAE,CAEtF;IAED;;;;;;OAMG;IACH,kCAAkC,CAChC,SAAS,EAAE,OAAO,EAClB,aAAa,EAAE,aAAa,GAC3B;QAAC,SAAS,EAAE,UAAU,EAAE,CAAC;QAAC,YAAY,EAAE,UAAU,EAAE,CAAA;KAAC,CAEvD;IAED;;OAEG;IACH,+CAA+C,CAAC,SAAS,EAAE,OAAO,GAAG;QACnE,SAAS,EAAE,UAAU,EAAE,CAAC;QACxB,YAAY,EAAE,UAAU,EAAE,CAAC;KAC5B,CASA;IAED,uBAAuB,CAAC,SAAS,EAAE,IAAI,GAAG,UAAU,GAAG,IAAI,CAa1D;IAED,uBAAuB,CAAC,IAAI,EAAE,IAAI,GAAG,UAAU,GAAG,IAAI,CAerD;IAED,+BAA+B,CAAC,IAAI,EAAE,IAAI,GAAG,UAAU,GAAG,IAAI,CAW7D;IAED,sGAAsG;IACtG,4BAA4B,IAAI,UAAU,EAAE,CAE3C;IAEA,yBAAyB,CAAC,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,aAAa,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAiBzG;IAED,sCAAsC,CAAC,SAAS,EAAE,OAAO,GAAG,gBAAgB,CAAC,UAAU,CAAC,CASvF;IAED,sGAAsG;IACtG,6BAA6B,CAAC,UAAU,EAAE,OAAO,GAAG,UAAU,EAAE,CAE/D;IAED,sGAAsG;IACtG,uBAAuB,CAAC,IAAI,EAAE,IAAI,GAAG,UAAU,EAAE,CAUhD;IAED,mGAAmG;IACnG,sBAAsB,CAAC,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,GAAG,cAAc,CAmBlF;IAED;;;;;;;OAOG;IACH,kBAAkB,CAAC,YAAY,EAAE,eAAe,GAAG,IAAI,CAQtD;IAED;;;;;;;;;;;;;;OAcG;IACH,gBAAgB,CAAC,KAAK,EAAE,UAAU,EAAE,eAAe,EAAE,eAAe,GAAG,OAAO,CA2C7E;IAED;;;;;;;;;OASG;IACH,OAAO,CAAC,gCAAgC;IAkBxC;;;;;;OAMG;IACH,OAAO,CAAC,UAAU;IAuDlB;;;;;;OAMG;IACH,OAAO,CAAC,cAAc;IAkBtB;;;OAGG;IACH,SAAS,CAAC,aAAa,CAAC,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,GAAG,OAAO,CAI1E;IAED;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAMzB,OAAO,CAAC,qBAAqB;IAM7B,OAAO,CAAC,qBAAqB;IAQ7B,OAAO,CAAC,sBAAsB;IAU9B;;;;;;;;;;;;;;;;;;;OAmBG;IACH,OAAO,CAAC,iBAAiB;IAkBzB;;OAEG;IACH,OAAO,CAAC,2BAA2B;IAgBnC;;;;;;;;OAQG;IACH,OAAO,CAAC,qBAAqB;IA4B7B,OAAO,CAAC,uBAAuB;IAwJ/B;;;;;;;;;;OAUG;IACH,OAAO,CAAC,gBAAgB;IA8BxB;;;OAGG;IACH,OAAO,CAAC,uBAAuB;IAsB/B;;;;;;;;OAQG;IACH,OAAO,CAAC,MAAM;IAgCd;;;;;OAKG;IACH,OAAO,CAAC,0BAA0B;IA8ClC,OAAO,CAAC,mBAAmB;IAuC3B,OAAO,CAAC,6BAA6B;CA+CtC;AAID,wBAAgB,oBAAoB,CAClC,sCAAsC,EAAE,MAAM,EAC9C,MAAM,EAAE;IAAC,aAAa,EAAE,MAAM,CAAC;IAAC,gBAAgB,EAAE,MAAM,CAAA;CAAC,GACxD,MAAM,CAGR"}
+{"version":3,"file":"forkChoice.d.ts","sourceRoot":"","sources":["../../src/forkChoice/forkChoice.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,eAAe,EAAC,MAAM,kBAAkB,CAAC;AAQjD,OAAO,EACL,sBAAsB,EAEtB,gBAAgB,EAQjB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,gBAAgB,EAChB,WAAW,EAEX,kBAAkB,EAClB,IAAI,EACJ,OAAO,EACP,IAAI,EAKL,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAC,MAAM,EAAmD,MAAM,iBAAiB,CAAC;AACzF,OAAO,EAAC,iBAAiB,EAAC,MAAM,eAAe,CAAC;AAGhD,OAAO,EACL,oBAAoB,EAGpB,eAAe,EAEf,sBAAsB,EACtB,aAAa,EACb,UAAU,EACV,SAAS,EAGV,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAC,UAAU,EAAC,MAAM,6BAA6B,CAAC;AAEvD,OAAO,EAKL,KAAK,0BAA0B,EAChC,MAAM,4CAA4C,CAAC;AACpD,OAAO,EACL,cAAc,EAEd,eAAe,EACf,WAAW,EACX,gBAAgB,EAChB,oCAAoC,EACrC,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAC,iBAAiB,EAAE,gBAAgB,EAAyC,MAAM,YAAY,CAAC;AAEvG,MAAM,MAAM,cAAc,GAAG;IAC3B,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC5B,CAAC;AAIF,oBAAY,aAAa;IACvB,gBAAgB,qBAAqB,CAAE,uBAAuB;IAC9D,eAAe,oBAAoB,CAAE,uBAAuB;IAC5D,wBAAwB,6BAA6B;CACtD;AAED,MAAM,MAAM,mBAAmB,GAC3B;IAAC,IAAI,EAAE,aAAa,CAAC,gBAAgB,CAAA;CAAC,GACtC;IAAC,IAAI,EAAE,aAAa,CAAC,eAAe,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAC,GACtE;IAAC,IAAI,EAAE,aAAa,CAAC,wBAAwB,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,IAAI,CAAA;CAAC,CAAC;AAKpF;;;;;;;;;;;;;;;;GAgBG;AACH,qBAAa,UAAW,YAAW,WAAW;IA6D1C,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,OAAO;IACxB,sDAAsD;IACtD,OAAO,CAAC,QAAQ,CAAC,UAAU;IAE3B,QAAQ,CAAC,OAAO,EAAE,iBAAiB,GAAG,IAAI;IAC1C,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC;IACtB,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC;IAnE1B,kBAAkB,CAAC,EAAE,KAAK,CAAC;IAC3B;;;;;;;;;;OAUG;IACH,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAAc;IACjD,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAc;IAC9C,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAS;IAEvC;;;;;;OAMG;IACH,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAEjC;IAEF;;;OAGG;IACH,OAAO,CAAC,8BAA8B,CAAK;IAO3C,kBAAkB;IAClB,OAAO,CAAC,IAAI,CAAa;IACzB;;QAEI;IACJ,OAAO,CAAC,yBAAyB,CAAqB;IACtD,kEAAkE;IAClE,OAAO,CAAC,iBAAiB,CAAwB;IACjD,+EAA+E;IAC/E,OAAO,CAAC,2BAA2B,CAAuB;IAC1D,qCAAqC;IACrC,OAAO,CAAC,QAAQ,CAA6B;IAC7C,qDAAqD;IACrD,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAwB;IAC9D,OAAO,CAAC,QAAQ,CAAC,uBAAuB,CAAC,CAA0B;IACnE,OAAO,CAAC,sBAAsB,CAAS;IACvC;;;;OAIG;IACH,YACmB,MAAM,EAAE,eAAe,EACvB,OAAO,EAAE,gBAAgB;IAC1C,sDAAsD;IACrC,UAAU,EAAE,UAAU,EACvC,cAAc,EAAE,MAAM,EACb,OAAO,EAAE,iBAAiB,GAAG,IAAI,EACzB,IAAI,CAAC,EAAE,cAAc,YAAA,EACrB,MAAM,CAAC,EAAE,MAAM,YAAA,EA0BjC;IAED;;;;;;;;;;;OAWG;IACH,WAAW,CAAC,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI,GAAG,SAAS,CAE7D;IAED;;OAEG;IACH,WAAW,IAAI,OAAO,CAErB;IAED;;OAEG;IACH,OAAO,IAAI,UAAU,CAEpB;IAED,gBAAgB,IAAI,OAAO,CAE1B;IAED,wBAAwB,IAAI,0BAA0B,CASrD;IAED,iBAAiB,IAAI,UAAU,GAAG,IAAI,CAErC;IAED,sBAAsB,IAAI,IAAI,CAE7B;IAED,qBAAqB,IAAI,IAAI,CAE5B;IAED,OAAO,CAAC,sBAAsB;IAoB9B,OAAO,CAAC,mBAAmB;IAa3B;;;;;;;;;OASG;IACH,gBAAgB,CAAC,GAAG,EAAE,mBAAmB,GAAG;QAC1C,IAAI,EAAE,UAAU,CAAC;QACjB,YAAY,CAAC,EAAE,OAAO,CAAC;QACvB,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;KACrC,CAoBA;IAOD,8BAA8B,CAC5B,SAAS,EAAE,UAAU,EACrB,WAAW,EAAE,MAAM,EACnB,WAAW,EAAE,IAAI,GAChB,oCAAoC,CA6DtC;IAED;;OAEG;IACH,oBAAoB,IAAI,OAAO,CAE9B;IAED,4BAA4B,IAAI,OAAO,CAEtC;IAED;;;OAGG;IACH,mBAAmB,CAAC,SAAS,EAAE,OAAO,GAAG,OAAO,CAE/C;IAED,oDAAoD;IACpD,iBAAiB,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,GAAG,OAAO,CAEvD;IAED;;;;;;;;;OASG;IACH,mBAAmB,CAAC,SAAS,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,GAAG,UAAU,CA+B7F;IAED;;;;;;;;OAQG;IACH,eAAe,CACb,SAAS,EAAE,UAAU,EACrB,WAAW,EAAE,MAAM,EACnB,IAAI,EAAE,IAAI,GACT;QAAC,YAAY,EAAE,UAAU,CAAC;QAAC,YAAY,EAAE,OAAO,CAAC;QAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAA;KAAC,CAwFxF;IAED;;;;;;;;;;;OAWG;IACH,UAAU,IAAI,UAAU,CAyFvB;IAED;;;;OAIG;IACH,eAAe,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,CAE3C;IAED,yBAAyB,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,GAAG;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAC,CAEvG;IAED,wFAAwF;IACxF,QAAQ,IAAI,UAAU,EAAE,CAEvB;IAED,0DAA0D;IAC1D,cAAc,IAAI;QAAC,IAAI,EAAE,OAAO,CAAC;QAAC,aAAa,EAAE,aAAa,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAC,EAAE,CAEhF;IAED,qCAAqC;IACrC,WAAW,IAAI,SAAS,EAAE,CAEzB;IAED,sBAAsB,IAAI,iBAAiB,CAE1C;IAED,sBAAsB,IAAI,iBAAiB,CAE1C;IAED;;;;;;;;;;;;;;;;;;OAkBG;IACH,OAAO,CACL,KAAK,EAAE,WAAW,EAClB,KAAK,EAAE,gBAAgB,EACvB,aAAa,EAAE,MAAM,EACrB,WAAW,EAAE,IAAI,EACjB,eAAe,EAAE,oBAAoB,EACrC,sBAAsB,EAAE,sBAAsB,GAC7C,UAAU,CAgOZ;IAED;;;;;;;;;;;;;;;;;OAiBG;IACH,aAAa,CAAC,WAAW,EAAE,kBAAkB,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,CAAC,EAAE,OAAO,GAAG,IAAI,CAiF/F;IAED;;;;OAIG;IACH,kBAAkB,CAAC,gBAAgB,EAAE,gBAAgB,GAAG,IAAI,CAM3D;IAED;;;;OAIG;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,CAEN;IAED;;;;OAIG;IACH,kBAAkB,CAChB,SAAS,EAAE,OAAO,EAClB,yBAAyB,EAAE,OAAO,EAClC,sBAAsB,EAAE,MAAM,EAC9B,wBAAwB,EAAE,MAAM,EAChC,eAAe,EAAE,sBAAsB,EACvC,sBAAsB,EAAE,sBAAsB,GAC7C,IAAI,CAWN;IAED;;;;;;;OAOG;IACH,UAAU,CAAC,WAAW,EAAE,IAAI,GAAG,IAAI,CAqBlC;IAED,OAAO,IAAI,IAAI,CAEd;IAED,uFAAuF;IACvF,QAAQ,CAAC,SAAS,EAAE,IAAI,GAAG,OAAO,CAEjC;IACD,+FAA+F;IAC/F,QAAQ,CAAC,SAAS,EAAE,IAAI,EAAE,aAAa,EAAE,aAAa,GAAG,UAAU,GAAG,IAAI,CAEzE;IAED,qBAAqB,CAAC,SAAS,EAAE,IAAI,GAAG,UAAU,GAAG,IAAI,CAExD;IAED;;;OAGG;IACH,WAAW,CAAC,SAAS,EAAE,OAAO,GAAG,OAAO,CAQvC;IAED;;OAEG;IACH,cAAc,CAAC,SAAS,EAAE,IAAI,GAAG,OAAO,CAEvC;IAED;;OAEG;IACH,iBAAiB,CAAC,SAAS,EAAE,OAAO,GAAG,OAAO,CAE7C;IAED;;;OAGG;IACH,gBAAgB,CAAC,SAAS,EAAE,IAAI,GAAG,OAAO,CAEzC;IAED;;OAEG;IACH,mBAAmB,CAAC,SAAS,EAAE,OAAO,GAAG,OAAO,CAE/C;IAED,WAAW,CAAC,YAAY,EAAE,OAAO,GAAG,CAAC,OAAO,GAAG,IAAI,CAAC,EAAE,GAAG,IAAI,CAI5D;IAED,gBAAgB,CAAC,YAAY,EAAE,OAAO,GAAG;QACvC,aAAa,EAAE,MAAM,CAAC;QACtB,mBAAmB,EAAE,MAAM,CAAC;QAC5B,kBAAkB,EAAE,MAAM,CAAC;KAC5B,GAAG,IAAI,CAEP;IAED,yBAAyB,CAAC,YAAY,EAAE,OAAO,GAAG,CAAC,OAAO,GAAG,IAAI,CAAC,EAAE,GAAG,IAAI,CAE1E;IAED,+BAA+B,CAAC,YAAY,EAAE,OAAO,GAAG,CAAC,OAAO,GAAG,IAAI,CAAC,EAAE,GAAG,IAAI,CAEhF;IAED,gCAAgC,IAAI,iBAAiB,CAEpD;IAED,gCAAgC,IAAI,iBAAiB,CAEpD;IAED;;OAEG;IACH,WAAW,CAAC,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,aAAa,GAAG,UAAU,GAAG,IAAI,CAa/E;IAED;;;;;;;OAOG;IACH,wBAAwB,CAAC,SAAS,EAAE,OAAO,GAAG,UAAU,GAAG,IAAI,CAO9D;IAED;;OAEG;IACH,uBAAuB,CAAC,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,GAAG,UAAU,GAAG,IAAI,CAEjF;IAED,iBAAiB,IAAI,UAAU,CAU9B;IAED,iBAAiB,IAAI,UAAU,CAU9B;IAED,0BAA0B,IAAI,IAAI,CAGjC;IAED;;;;;OAKG;IACH,YAAY,CACV,YAAY,EAAE,OAAO,EACrB,qBAAqB,EAAE,aAAa,EACpC,cAAc,EAAE,OAAO,EACvB,uBAAuB,EAAE,aAAa,GACrC,OAAO,CAET;IAED;;OAEG;IACH,KAAK,CAAC,aAAa,EAAE,OAAO,GAAG,UAAU,EAAE,CA2B1C;IAED,iBAAiB,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAEzC;IAED;;;OAGG;IACH,qBAAqB,CAAC,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,aAAa,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAEpG;IAED;;;;OAIG;IACH,oBAAoB,CAAC,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,aAAa,GAAG,UAAU,EAAE,CAEnF;IAED;;OAEG;IACH,uBAAuB,CAAC,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,aAAa,GAAG,UAAU,EAAE,CAEtF;IAED;;;;;;OAMG;IACH,kCAAkC,CAChC,SAAS,EAAE,OAAO,EAClB,aAAa,EAAE,aAAa,GAC3B;QAAC,SAAS,EAAE,UAAU,EAAE,CAAC;QAAC,YAAY,EAAE,UAAU,EAAE,CAAA;KAAC,CAEvD;IAED;;OAEG;IACH,+CAA+C,CAAC,SAAS,EAAE,OAAO,GAAG;QACnE,SAAS,EAAE,UAAU,EAAE,CAAC;QACxB,YAAY,EAAE,UAAU,EAAE,CAAC;KAC5B,CASA;IAED,uBAAuB,CAAC,SAAS,EAAE,IAAI,GAAG,UAAU,GAAG,IAAI,CAa1D;IAED,uBAAuB,CAAC,IAAI,EAAE,IAAI,GAAG,UAAU,GAAG,IAAI,CAerD;IAED,+BAA+B,CAAC,IAAI,EAAE,IAAI,GAAG,UAAU,GAAG,IAAI,CAW7D;IAED,sGAAsG;IACtG,4BAA4B,IAAI,UAAU,EAAE,CAE3C;IAEA,yBAAyB,CAAC,SAAS,EAAE,OAAO,EAAE,aAAa,EAAE,aAAa,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAiBzG;IAED,sCAAsC,CAAC,SAAS,EAAE,OAAO,GAAG,gBAAgB,CAAC,UAAU,CAAC,CASvF;IAED,sGAAsG;IACtG,6BAA6B,CAAC,UAAU,EAAE,OAAO,GAAG,UAAU,EAAE,CAE/D;IAED,sGAAsG;IACtG,uBAAuB,CAAC,IAAI,EAAE,IAAI,GAAG,UAAU,EAAE,CAUhD;IAED,mGAAmG;IACnG,sBAAsB,CAAC,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,GAAG,cAAc,CAmBlF;IAED;;;;;;;OAOG;IACH,kBAAkB,CAAC,YAAY,EAAE,eAAe,GAAG,IAAI,CAQtD;IAED;;;;;;;;;;;;;;OAcG;IACH,gBAAgB,CAAC,KAAK,EAAE,UAAU,EAAE,eAAe,EAAE,eAAe,GAAG,OAAO,CA2C7E;IAED;;;;;;;;;OASG;IACH,OAAO,CAAC,gCAAgC;IAkBxC;;;;;;OAMG;IACH,OAAO,CAAC,UAAU;IAwDlB;;;;;;OAMG;IACH,OAAO,CAAC,cAAc;IAiBtB;;;OAGG;IACH,SAAS,CAAC,aAAa,CAAC,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,GAAG,OAAO,CAI1E;IAED;;;;;;;;;OASG;IACH,SAAS,CAAC,gBAAgB,CAAC,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,GAAG,OAAO,CAG7E;IAED;;;;;;;;OAQG;IACH,OAAO,CAAC,wBAAwB;IAsChC;;;;OAIG;IACH,OAAO,CAAC,sBAAsB;IAM9B;;;OAGG;IACH,OAAO,CAAC,gBAAgB;IAgBxB;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAMzB,OAAO,CAAC,qBAAqB;IAM7B,OAAO,CAAC,qBAAqB;IAQ7B,OAAO,CAAC,sBAAsB;IAU9B;;;;;;;;;;;;;;;;;;;;;OAqBG;IACH,OAAO,CAAC,iBAAiB;IAwBzB;;OAEG;IACH,OAAO,CAAC,2BAA2B;IAgBnC;;;;;;;;OAQG;IACH,OAAO,CAAC,qBAAqB;IA4B7B,OAAO,CAAC,uBAAuB;IAwJ/B;;;;;;;;;;OAUG;IACH,OAAO,CAAC,gBAAgB;IA8BxB;;;OAGG;IACH,OAAO,CAAC,uBAAuB;IAsB/B;;;;;;;;;;OAUG;IACH,OAAO,CAAC,MAAM;IAgCd;;;;;OAKG;IACH,OAAO,CAAC,0BAA0B;IA8ClC,kGAAkG;IAClG,OAAO,CAAC,mBAAmB;IAyC3B,OAAO,CAAC,6BAA6B;CA+CtC"}

package/lib/forkChoice/forkChoice.js

@@ -1,4 +1,4 @@
-import { MIN_SEED_LOOKAHEAD, SLOTS_PER_EPOCH, isForkPostFulu, isForkPostGloas } from "@lodestar/params";
+import { EFFECTIVE_BALANCE_INCREMENT, MIN_SEED_LOOKAHEAD, SLOTS_PER_EPOCH, isForkPostFulu, isForkPostGloas, } from "@lodestar/params";
 import { DataAvailabilityStatus, ZERO_HASH, computeEpochAtSlot, computeSlotsSinceEpochStart, computeStartSlotAtEpoch, getAttesterSlashableIndices, isExecutionBlockBodyType, isStatePostBellatrix, } from "@lodestar/state-transition";
 import { isGloasBeaconBlock, ssz, } from "@lodestar/types";
 import { MapDef, fromHex, toRootHex, withObservedDuration } from "@lodestar/utils";
@@ -9,6 +9,7 @@ import { ForkChoiceError, ForkChoiceErrorCode, InvalidAttestationCode, InvalidBl
 import { FastConfirmationRule, FastConfirmationSteps, } from "./fastConfirmation/fastConfirmationRule.js";
 import { AncestorStatus, NotReorgedReason, } from "./interface.js";
 import { toCheckpointWithHex } from "./store.js";
+const EFFECTIVE_BALANCE_INCREMENT_BIGINT = BigInt(EFFECTIVE_BALANCE_INCREMENT);
 export var UpdateHeadOpt;
 (function (UpdateHeadOpt) {
     UpdateHeadOpt["GetCanonicalHead"] = "getCanonicalHead";
@@ -259,12 +260,22 @@ export class ForkChoice {
         if (parentBlock === undefined) {
             return { shouldOverrideFcu: false, reason: NotReorgedReason.ParentBlockNotAvailable };
         }
+        const currentTimeOk = headBlock.slot === currentSlot ||
+            (proposalSlot === currentSlot && this.isProposingOnTime(secFromSlot, currentSlot));
+        // Mirror the proposer equivocation branch of getProposerHead(). The head slot's attestations are
+        // still queued at this point so the head is assumed weak, same as for the regular branch below.
+        if (currentTimeOk && this.isProposerEquivocation(headBlock)) {
+            this.logger?.verbose("Head proposer equivocated. Should override forkchoice update", {
+                blockRoot: headBlock.blockRoot,
+                slot: currentSlot,
+                proposerIndex: headBlock.proposerIndex,
+            });
+            return { shouldOverrideFcu: true, parentBlock };
+        }
         const { prelimProposerHead, prelimNotReorgedReason } = this.getPreliminaryProposerHead(headBlock, parentBlock, proposalSlot);
         if (prelimProposerHead === headBlock) {
             return { shouldOverrideFcu: false, reason: prelimNotReorgedReason ?? NotReorgedReason.Unknown };
         }
-        const currentTimeOk = headBlock.slot === currentSlot ||
-            (proposalSlot === currentSlot && this.isProposingOnTime(secFromSlot, currentSlot));
         if (!currentTimeOk) {
             return { shouldOverrideFcu: false, reason: NotReorgedReason.ReorgMoreThanOneSlot };
         }
@@ -338,7 +349,8 @@ export class ForkChoice {
      * https://github.com/ethereum/consensus-specs/pull/3034 for info about proposer boost reorg
      * This function should only be called during block proposal and only be called after `updateHead()` in `updateAndGetHead()`
      *
-     * Same as https://github.com/ethereum/consensus-specs/blob/v1.4.0-beta.4/specs/phase0/fork-choice.md#get_proposer_head
+     * https://github.com/ethereum/consensus-specs/blob/v1.7.0-alpha.14/specs/phase0/fork-choice.md#get_proposer_head
+     * https://github.com/ethereum/consensus-specs/blob/v1.7.0-alpha.14/specs/gloas/fork-choice.md#modified-get_proposer_head
      */
     getProposerHead(headBlock, secFromSlot, slot) {
         const isHeadTimely = headBlock.timeliness;
@@ -358,6 +370,24 @@ export class ForkChoice {
         if (parentBlock === undefined) {
             return { proposerHead, isHeadTimely, notReorgedReason: NotReorgedReason.ParentBlockNotAvailable };
         }
+        // Half of single_slot_reorg check in the spec is done in getPreliminaryProposerHead()
+        const currentTimeOk = headBlock.slot + 1 === slot;
+        const isProposerBoostWornOff = this.proposerBoostRoot !== headBlock.blockRoot;
+        // Re-org more aggressively if there is a proposer equivocation in the previous slot, skipping the
+        // regular reorg conditions. Any known equivocation counts here, timely or not.
+        if (currentTimeOk &&
+            isProposerBoostWornOff &&
+            this.isProposerEquivocation(headBlock) &&
+            this.isHeadWeak(headBlock.blockRoot)) {
+            this.logger?.verbose("Performing single-slot reorg to remove weak head of equivocating proposer", {
+                slot,
+                proposerHead: parentBlock.blockRoot,
+                weakHead: headBlock.blockRoot,
+                proposerIndex: headBlock.proposerIndex,
+            });
+            proposerHead = parentBlock;
+            return { proposerHead, isHeadTimely };
+        }
         const { prelimProposerHead, prelimNotReorgedReason } = this.getPreliminaryProposerHead(headBlock, parentBlock, slot);
         if (prelimProposerHead === headBlock && prelimNotReorgedReason !== undefined) {
             return { proposerHead, isHeadTimely, notReorgedReason: prelimNotReorgedReason };
@@ -367,13 +397,10 @@ export class ForkChoice {
             return { proposerHead, isHeadTimely, notReorgedReason: NotReorgedReason.NotProposingOnTime };
         }
         // No reorg if attempted reorg is more than a single slot
-        // Half of single_slot_reorg check in the spec is done in getPreliminaryProposerHead()
-        const currentTimeOk = headBlock.slot + 1 === slot;
         if (!currentTimeOk) {
             return { proposerHead, isHeadTimely, notReorgedReason: NotReorgedReason.ReorgMoreThanOneSlot };
         }
         // No reorg if proposer boost is still in effect
-        const isProposerBoostWornOff = this.proposerBoostRoot !== headBlock.blockRoot;
         if (!isProposerBoostWornOff) {
             return { proposerHead, isHeadTimely, notReorgedReason: NotReorgedReason.ProposerBoostNotWornOff };
         }
@@ -428,30 +455,45 @@ export class ForkChoice {
         computeDeltasMetrics?.unchangedVoteValidators.set(unchangedVoteValidators);
         computeDeltasMetrics?.newVoteValidators.set(newVoteValidators);
         this.balances = newBalances;
-        /**
-         * The structure in line with deltas to propagate boost up the branch
-         * starting from the proposerIndex
-         */
-        let proposerBoost = null;
-        if (this.opts?.proposerBoost && this.proposerBoostRoot) {
-            const proposerBoostScore = this.justifiedProposerBoostScore ??
-                getCommitteeFraction(this.fcStore.justified.totalBalance, {
-                    slotsPerEpoch: SLOTS_PER_EPOCH,
-                    committeePercent: this.config.PROPOSER_SCORE_BOOST,
-                });
-            proposerBoost = { root: this.proposerBoostRoot, score: proposerBoostScore };
-            this.justifiedProposerBoostScore = proposerBoostScore;
-        }
         const currentSlot = this.fcStore.currentSlot;
-        this.protoArray.applyScoreChanges({
-            attestationDeltas,
-            proposerBoost,
+        const checkpoints = {
             justifiedEpoch: this.fcStore.justified.checkpoint.epoch,
             justifiedRoot: this.fcStore.justified.checkpoint.rootHex,
             finalizedEpoch: this.fcStore.finalizedCheckpoint.epoch,
             finalizedRoot: this.fcStore.finalizedCheckpoint.rootHex,
             currentSlot,
-        });
+        };
+        const boostedBlock = this.opts?.proposerBoost && this.proposerBoostRoot ? this.getBlockHexDefaultStatus(this.proposerBoostRoot) : null;
+        if (boostedBlock && isGloasBlock(boostedBlock)) {
+            // should_apply_proposer_boost judges the parent against the attestations known to the store,
+            // via is_head_weak (which also assumes equivocators' votes were already discounted before
+            // their balance is added back). Apply the attestation deltas first so the decision reads
+            // post-delta scores, then apply the boost in a second pass.
+            // TODO GLOAS: applyScoreChanges() updates weights and best child/descendant in one call;
+            // splitting them would let the two passes update weights and recompute best child/descendant
+            // once at the end.
+            // https://github.com/ethereum/consensus-specs/blob/v1.7.0-alpha.14/specs/gloas/fork-choice.md#new-should_apply_proposer_boost
+            this.protoArray.applyScoreChanges({ attestationDeltas, proposerBoost: null, ...checkpoints });
+            const proposerBoost = this.shouldApplyProposerBoost() ? this.getProposerBoost() : null;
+            // The first pass already rolled back the previous boost and left a coherent tree, so a
+            // withheld boost needs no second pass
+            if (proposerBoost !== null) {
+                this.protoArray.applyScoreChanges({
+                    attestationDeltas: new Array(this.protoArray.nodes.length).fill(0),
+                    proposerBoost,
+                    ...checkpoints,
+                });
+            }
+        }
+        else {
+            // Pre-gloas the boost is unconditional, so attestation deltas and boost deltas can propagate
+            // up the branch in a single pass
+            this.protoArray.applyScoreChanges({
+                attestationDeltas,
+                proposerBoost: boostedBlock ? this.getProposerBoost() : null,
+                ...checkpoints,
+            });
+        }
         // findHead returns the ProtoNode representing the head
         const head = this.protoArray.findHead(this.fcStore.justified.checkpoint.rootHex, currentSlot);
         this.head = head;
@@ -472,20 +514,10 @@ export class ForkChoice {
     getHeads() {
         return this.protoArray.nodes.filter((node) => node.bestChild === undefined);
     }
-    /**
-     * weight is in EFFECTIVE_BALANCE_INCREMENTS not gwei.
-     * For compliance test use only
-     */
+    /** Returns exact Gwei weights for the compliance test. */
     getViableHeads() {
         return this.protoArray.getViableHeads(this.fcStore.currentSlot);
     }
-    /**
-     * The cached justified total active balance, in EFFECTIVE_BALANCE_INCREMENT units.
-     * For compliance test use only
-     */
-    getJustifiedTotalActiveBalanceByIncrement() {
-        return this.fcStore.justified.totalBalance;
-    }
     /** This is for the debug API only */
     getAllNodes() {
         return this.protoArray.nodes;
@@ -642,6 +674,8 @@ export class ForkChoice {
             targetRoot: toRootHex(targetRoot),
             stateRoot: toRootHex(block.stateRoot),
             timeliness: isTimely,
+            ptcTimeliness: this.isBlockPtcTimely(block, blockDelaySec),
+            proposerIndex: block.proposerIndex,
             justifiedEpoch: stateJustifiedEpoch,
             justifiedRoot: toRootHex(state.currentJustifiedCheckpoint.root),
             finalizedEpoch: finalizedCheckpoint.epoch,
@@ -851,11 +885,18 @@ export class ForkChoice {
         while (this.fcStore.currentSlot < currentSlot) {
             const previousSlot = this.fcStore.currentSlot;
             // Note: we are relying upon `onTick` to update `fcStore.time` to ensure we don't get stuck in a loop.
-            this.onTick(previousSlot + 1);
+            const didUpdateCheckpoints = this.onTick(previousSlot + 1);
             this.queuedAttestationsPreviousSlot = 0;
             // Process any attestations that might now be eligible before running FCR for this slot.
             this.processAttestationQueue();
-            this.runFastConfirmation();
+            const didRecomputeHead = this.runFastConfirmation();
+            // An epoch-boundary checkpoint pull-up can move the head's dependent root and stale the cached
+            // head before block 0 of the new epoch is imported, making isProposerBoostSameDependentRoot()
+            // wrong for that block. Recompute the head so it reflects the new checkpoint and the queued
+            // votes — unless fast confirmation already did, to avoid a redundant head calculation.
+            if (didUpdateCheckpoints && !didRecomputeHead) {
+                this.updateHead();
+            }
             this.validatedAttestationDatas = new Set();
         }
     }
@@ -1290,7 +1331,8 @@ export class ForkChoice {
         // Only ever called on a block already in fork choice, so a miss is a broken invariant.
         const node = this.protoArray.getNodeDefaultStatus(blockRoot);
         if (node === undefined) {
-            // this is called for head so we should always have this in forkchoice, otherwise we have a serious error
+            // this is called for head or the boosted block's parent, both of which should always be
+            // in forkchoice, otherwise we have a serious error
             throw new ForkChoiceError({ code: ForkChoiceErrorCode.MISSING_PROTO_ARRAY_BLOCK, root: blockRoot });
         }
         const reorgThreshold = getCommitteeFraction(this.fcStore.justified.totalBalance, {
@@ -1306,7 +1348,7 @@ export class ForkChoice {
         // always 0. Return before fetching the state and walking the block's committees.
         if (equivocatingIndices.size > 0) {
             const state = this.fcStore.stateGetter({ stateRoot: node.stateRoot });
-            // Only ever called on the head, so the state is always cached.
+            // Only ever called on the head or the boosted block's parent, so the state is always cached.
             // A miss is a broken invariant, not a recoverable state.
             if (state === null) {
                 throw new ForkChoiceError({
@@ -1325,7 +1367,7 @@ export class ForkChoice {
                             // the justified state) - fall back to the head state's effective balance
                             balance = state.effectiveBalanceIncrements[validatorIndex];
                         }
-                        headWeight += balance;
+                        headWeight += BigInt(balance) * EFFECTIVE_BALANCE_INCREMENT_BIGINT;
                     }
                 }
             }
@@ -1362,6 +1404,83 @@ export class ForkChoice {
         const isBeforeLateBlockCutoff = blockDelaySec * 1000 < this.config.getAttestationDueMs(fork);
         return this.fcStore.currentSlot === block.slot && isBeforeLateBlockCutoff;
     }
+    /**
+     * Return true if the block arrived before the PTC (payload-timeliness committee) deadline,
+     * ie. block_timeliness[PTC_TIMELINESS_INDEX]. should_apply_proposer_boost uses this as the
+     * definition of an "early" proposer equivocation: only a sibling seen by the PTC deadline
+     * proves the proposer equivocated soon enough that honest nodes could have withheld the boost.
+     *
+     * https://github.com/ethereum/consensus-specs/blob/v1.7.0-alpha.14/specs/gloas/fork-choice.md#modified-record_block_timeliness
+     *
+     * Child class can overwrite this for testing purpose.
+     */
+    isBlockPtcTimely(block, blockDelaySec) {
+        const ptcThresholdMs = this.config.getSlotComponentDurationMs(this.config.PAYLOAD_ATTESTATION_DUE_BPS);
+        return this.fcStore.currentSlot === block.slot && blockDelaySec * 1000 < ptcThresholdMs;
+    }
+    /**
+     * Determine whether proposer boost should be applied to `proposerBoostRoot`.
+     *
+     * https://github.com/ethereum/consensus-specs/blob/v1.7.0-alpha.14/specs/gloas/fork-choice.md#new-should_apply_proposer_boost
+     *
+     * Pre-gloas blocks always receive the boost (unconditional, backward compatible). For gloas
+     * blocks the boost is withheld when the parent is a weak block from the previous slot and the
+     * proposer of that parent equivocated (published another PTC-timely block at the same slot).
+     */
+    shouldApplyProposerBoost() {
+        if (!this.proposerBoostRoot) {
+            return false;
+        }
+        const boostedBlock = this.getBlockHexDefaultStatus(this.proposerBoostRoot);
+        // Pre-gloas blocks always get boost
+        if (!boostedBlock || !isGloasBlock(boostedBlock)) {
+            return true;
+        }
+        const parentBlock = this.getBlockHexDefaultStatus(boostedBlock.parentRoot);
+        if (!parentBlock) {
+            return true;
+        }
+        // Apply proposer boost if parent is not from the previous slot
+        if (parentBlock.slot + 1 < boostedBlock.slot) {
+            return true;
+        }
+        // Apply proposer boost if parent is not weak
+        if (!this.isHeadWeak(parentBlock.blockRoot)) {
+            return true;
+        }
+        // Parent is weak and from the previous slot: apply boost only if there are no early
+        // equivocations, ie. no other PTC-timely block at the parent's slot from the same proposer.
+        return !this.protoArray.hasEquivocatingBlock(parentBlock.proposerIndex, parentBlock.slot, parentBlock.blockRoot, 
+        // Only a sibling seen before the PTC deadline counts. A late released one might not have been
+        // seen by the proposer, so it cannot be expected to reorg it and is not denied the boost for it.
+        true);
+    }
+    /**
+     * Return true if another block at the same slot from the same proposer is known to fork choice.
+     *
+     * https://github.com/ethereum/consensus-specs/blob/v1.7.0-alpha.14/specs/phase0/fork-choice.md#is_proposer_equivocation
+     */
+    isProposerEquivocation(block) {
+        // Any known sibling counts, timely or not. Timeliness only matters for withholding the boost from
+        // the next proposer, the reorg itself is safe to attempt whenever the equivocation is visible.
+        return this.protoArray.hasEquivocatingBlock(block.proposerIndex, block.slot, block.blockRoot, false);
+    }
+    /**
+     * The proposer boost to apply to `proposerBoostRoot`, propagated up the branch by
+     * applyScoreChanges() together with the deltas.
+     */
+    getProposerBoost() {
+        if (!this.proposerBoostRoot) {
+            return null;
+        }
+        const proposerBoostScore = this.justifiedProposerBoostScore ??
+            getCommitteeFraction(this.fcStore.justified.totalBalance, {
+                slotsPerEpoch: SLOTS_PER_EPOCH,
+                committeePercent: this.config.PROPOSER_SCORE_BOOST,
+            });
+        this.justifiedProposerBoostScore = proposerBoostScore;
+        return { root: this.proposerBoostRoot, score: proposerBoostScore };
+    }
     /**
      * https://github.com/ethereum/consensus-specs/blob/v1.5.0/specs/phase0/fork-choice.md#is_proposing_on_time
      */
@@ -1404,18 +1523,24 @@ export class ForkChoice {
      * May need the justified balances of:
      * - unrealizedJustified: Already available in `CheckpointWithBalance`
      * Since this balances are already available the getter is just `() => balances`, without cache interaction
+     *
+     * @returns Whether either checkpoint was updated.
      */
     updateCheckpoints(justifiedCheckpoint, finalizedCheckpoint, getJustifiedBalances) {
+        let updated = false;
         // Update justified checkpoint.
         if (justifiedCheckpoint.epoch > this.fcStore.justified.checkpoint.epoch) {
             this.fcStore.justified = { checkpoint: justifiedCheckpoint, balances: getJustifiedBalances() };
             this.justifiedProposerBoostScore = null;
+            updated = true;
         }
         // Update finalized checkpoint.
         if (finalizedCheckpoint.epoch > this.fcStore.finalizedCheckpoint.epoch) {
             this.fcStore.finalizedCheckpoint = finalizedCheckpoint;
             this.justifiedProposerBoostScore = null;
+            updated = true;
         }
+        return updated;
     }
     /**
      * Update unrealized checkpoints in store if necessary
@@ -1659,6 +1784,8 @@ export class ForkChoice {
      * Equivalent to:
      *
      * https://github.com/ethereum/consensus-specs/blob/v1.1.10/specs/phase0/fork-choice.md#on_tick
+     *
+     * @returns Whether an epoch-boundary checkpoint was updated.
      */
     onTick(time) {
         const previousSlot = this.fcStore.currentSlot;
@@ -1678,10 +1805,10 @@ export class ForkChoice {
         }
         // Not a new epoch, return.
         if (computeSlotsSinceEpochStart(time) !== 0) {
-            return;
+            return false;
         }
-        // If a new epoch, pull-up justification and finalization from previous epoch
-        this.updateCheckpoints(this.fcStore.unrealizedJustified.checkpoint, this.fcStore.unrealizedFinalizedCheckpoint, () => this.fcStore.unrealizedJustified.balances);
+        // If a new epoch, pull-up justification and finalization from previous epoch.
+        return this.updateCheckpoints(this.fcStore.unrealizedJustified.checkpoint, this.fcStore.unrealizedFinalizedCheckpoint, () => this.fcStore.unrealizedJustified.balances);
     }
     /**
      *
@@ -1724,11 +1851,12 @@ export class ForkChoice {
         prelimProposerHead = parentBlock;
         return { prelimProposerHead };
     }
+    /** Returns whether it recomputed the head, so the caller can avoid a redundant `updateHead()`. */
     runFastConfirmation() {
         const fastConfirmationRule = this.fastConfirmationRule;
         const fastConfirmationContext = this.fastConfirmationContext;
         if (!fastConfirmationRule || !fastConfirmationContext)
-            return;
+            return false;
         if (this.fastConfirmationPaused) {
             // Keep consumers on a safe, available root while the rule is paused
             this.fcStore.confirmedRoot = this.fcStore.finalizedCheckpoint.rootHex;
@@ -1739,7 +1867,7 @@ export class ForkChoice {
                 // Runs outside the timed try/catch below; a throw would escape to the clock listener
                 this.logger?.debug("Fast confirmation notify failed", { slot: this.fcStore.currentSlot }, err);
             }
-            return;
+            return false;
         }
         withObservedDuration(this.metrics?.fastConfirmation.totalDuration.startTimer(), () => {
             try {
@@ -1754,6 +1882,7 @@ export class ForkChoice {
                 this.logger?.debug("Fast confirmation failed", { slot: this.fcStore.currentSlot, head: this.head.blockRoot, confirmedRoot: this.fcStore.confirmedRoot }, err);
             }
         });
+        return true;
     }
     createFastConfirmationContext() {
         const confirmationByzantineThreshold = this.config.CONFIRMATION_BYZANTINE_THRESHOLD;
@@ -1804,10 +1933,11 @@ export class ForkChoice {
         };
     }
 }
-// Approximate https://github.com/ethereum/consensus-specs/blob/v1.6.1/specs/phase0/fork-choice.md#calculate_committee_fraction
+// https://github.com/ethereum/consensus-specs/blob/v1.6.1/specs/phase0/fork-choice.md#calculate_committee_fraction
 // Calculates proposer boost score when committeePercent = config.PROPOSER_SCORE_BOOST
-export function getCommitteeFraction(justifiedTotalActiveBalanceByIncrement, config) {
-    const committeeWeight = Math.floor(justifiedTotalActiveBalanceByIncrement / config.slotsPerEpoch);
-    return Math.floor((committeeWeight * config.committeePercent) / 100);
+function getCommitteeFraction(justifiedTotalActiveBalanceByIncrement, config) {
+    const committeeWeightGwei = (BigInt(justifiedTotalActiveBalanceByIncrement) * EFFECTIVE_BALANCE_INCREMENT_BIGINT) /
+        BigInt(config.slotsPerEpoch);
+    return (committeeWeightGwei * BigInt(config.committeePercent)) / 100n;
 }
 //# sourceMappingURL=forkChoice.js.map