@lodestar/fork-choice 1.44.0-dev.6ef8199cfa → 1.44.0-dev.762dd5f186

package/lib/forkChoice/fastConfirmation/data.d.ts

@@ -0,0 +1,4 @@
+import { FastConfirmationCache, FastConfirmationContext, FastConfirmationSnapshot, IFastConfirmationStore } from "./types.ts";
+export declare function createFastConfirmationCache(): FastConfirmationCache;
+export declare function buildFastConfirmationSnapshot(ctx: FastConfirmationContext, store: IFastConfirmationStore, cache: FastConfirmationCache): FastConfirmationSnapshot;
+//# sourceMappingURL=data.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"data.d.ts","sourceRoot":"","sources":["../../../src/forkChoice/fastConfirmation/data.ts"],"names":[],"mappings":"AACA,OAAO,EACL,qBAAqB,EACrB,uBAAuB,EACvB,wBAAwB,EACxB,sBAAsB,EACvB,MAAM,YAAY,CAAC;AAGpB,wBAAgB,2BAA2B,IAAI,qBAAqB,CASnE;AAED,wBAAgB,6BAA6B,CAC3C,GAAG,EAAE,uBAAuB,EAC5B,KAAK,EAAE,sBAAsB,EAC7B,KAAK,EAAE,qBAAqB,GAC3B,wBAAwB,CAkB1B"}

package/lib/forkChoice/fastConfirmation/data.js

@@ -0,0 +1,31 @@
+import { computeEpochAtSlot } from "@lodestar/state-transition";
+import { getBlock, getUnrealizedJustification } from "./utils.js";
+export function createFastConfirmationCache() {
+    return {
+        blockByRoot: new Map(),
+        ancestorRoots: new Map(),
+        committeeBySlot: new Map(),
+        isDescendantByRootPair: new Map(),
+        voteWeightBySource: new Map(),
+        checkpointStateByKey: new Map(),
+    };
+}
+export function buildFastConfirmationSnapshot(ctx, store, cache) {
+    const currentSlot = ctx.getCurrentSlot();
+    const currentEpoch = computeEpochAtSlot(currentSlot);
+    const headRoot = ctx.getHead().blockRoot;
+    const confirmedRoot = store.confirmedRoot;
+    const confirmedBlock = getBlock(ctx, cache, confirmedRoot);
+    return {
+        currentSlot,
+        currentEpoch,
+        headRoot,
+        confirmedRoot,
+        confirmedEpoch: confirmedBlock ? computeEpochAtSlot(confirmedBlock.slot) : null,
+        confirmedSlot: confirmedBlock?.slot ?? null,
+        observedJustified: store.currentEpochObservedJustifiedCheckpoint,
+        headUnrealized: getUnrealizedJustification(ctx, cache, headRoot),
+        finalizedRoot: ctx.getFinalizedCheckpoint().rootHex,
+    };
+}
+//# sourceMappingURL=data.js.map

package/lib/forkChoice/fastConfirmation/data.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"data.js","sourceRoot":"","sources":["../../../src/forkChoice/fastConfirmation/data.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,kBAAkB,EAAC,MAAM,4BAA4B,CAAC;AAO9D,OAAO,EAAC,QAAQ,EAAE,0BAA0B,EAAC,MAAM,YAAY,CAAC;AAEhE,MAAM,UAAU,2BAA2B,GAA0B;IACnE,OAAO;QACL,WAAW,EAAE,IAAI,GAAG,EAAE;QACtB,aAAa,EAAE,IAAI,GAAG,EAAE;QACxB,eAAe,EAAE,IAAI,GAAG,EAAE;QAC1B,sBAAsB,EAAE,IAAI,GAAG,EAAE;QACjC,kBAAkB,EAAE,IAAI,GAAG,EAAE;QAC7B,oBAAoB,EAAE,IAAI,GAAG,EAAE;KAChC,CAAC;AAAA,CACH;AAED,MAAM,UAAU,6BAA6B,CAC3C,GAA4B,EAC5B,KAA6B,EAC7B,KAA4B,EACF;IAC1B,MAAM,WAAW,GAAG,GAAG,CAAC,cAAc,EAAE,CAAC;IACzC,MAAM,YAAY,GAAG,kBAAkB,CAAC,WAAW,CAAC,CAAC;IACrD,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC;IACzC,MAAM,aAAa,GAAG,KAAK,CAAC,aAAa,CAAC;IAC1C,MAAM,cAAc,GAAG,QAAQ,CAAC,GAAG,EAAE,KAAK,EAAE,aAAa,CAAC,CAAC;IAE3D,OAAO;QACL,WAAW;QACX,YAAY;QACZ,QAAQ;QACR,aAAa;QACb,cAAc,EAAE,cAAc,CAAC,CAAC,CAAC,kBAAkB,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI;QAC/E,aAAa,EAAE,cAAc,EAAE,IAAI,IAAI,IAAI;QAC3C,iBAAiB,EAAE,KAAK,CAAC,uCAAuC;QAChE,cAAc,EAAE,0BAA0B,CAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,CAAC;QAChE,aAAa,EAAE,GAAG,CAAC,sBAAsB,EAAE,CAAC,OAAO;KACpD,CAAC;AAAA,CACH"}

package/lib/forkChoice/fastConfirmation/fastConfirmationRule.d.ts

@@ -0,0 +1,17 @@
+import { RootHex } from "@lodestar/types";
+import { Logger } from "@lodestar/utils";
+import { FastConfirmationMetrics } from "./metrics.ts";
+import { FastConfirmationContext, FastConfirmationResult, IFastConfirmationRule, IFastConfirmationStore } from "./types.ts";
+export * from "./metrics.ts";
+export * from "./types.ts";
+export declare class FastConfirmationRule implements IFastConfirmationRule {
+    private readonly store;
+    readonly metrics: FastConfirmationMetrics | null;
+    readonly logger?: Logger | undefined;
+    constructor(store: IFastConfirmationStore, metrics: FastConfirmationMetrics | null, logger?: Logger | undefined);
+    getConfirmedRoot(): RootHex;
+    onSlotStartAfterPastAttestationsApplied(ctx: FastConfirmationContext): FastConfirmationResult;
+    private updateFastConfirmationVariables;
+    private updateFastConfirmationMetrics;
+}
+//# sourceMappingURL=fastConfirmationRule.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"fastConfirmationRule.d.ts","sourceRoot":"","sources":["../../../src/forkChoice/fastConfirmation/fastConfirmationRule.ts"],"names":[],"mappings":"AACA,OAAO,EAAC,OAAO,EAAC,MAAM,iBAAiB,CAAC;AACxC,OAAO,EAAC,MAAM,EAAuB,MAAM,iBAAiB,CAAC;AAE7D,OAAO,EAAC,uBAAuB,EAAwB,MAAM,cAAc,CAAC;AAE5E,OAAO,EACL,uBAAuB,EACvB,sBAAsB,EAEtB,qBAAqB,EACrB,sBAAsB,EACvB,MAAM,YAAY,CAAC;AAEpB,cAAc,cAAc,CAAC;AAC7B,cAAc,YAAY,CAAC;AAE3B,qBAAa,oBAAqB,YAAW,qBAAqB;IAE9D,OAAO,CAAC,QAAQ,CAAC,KAAK;IACtB,QAAQ,CAAC,OAAO,EAAE,uBAAuB,GAAG,IAAI;IAChD,QAAQ,CAAC,MAAM,CAAC;IAHlB,YACmB,KAAK,EAAE,sBAAsB,EACrC,OAAO,EAAE,uBAAuB,GAAG,IAAI,EACvC,MAAM,CAAC,oBAAQ,EACtB;IAEJ,gBAAgB,IAAI,OAAO,CAE1B;IAED,uCAAuC,CAAC,GAAG,EAAE,uBAAuB,GAAG,sBAAsB,CAsE5F;IAED,OAAO,CAAC,+BAA+B;IAgDvC,OAAO,CAAC,6BAA6B;CAwBtC"}

package/lib/forkChoice/fastConfirmation/fastConfirmationRule.js

@@ -0,0 +1,139 @@
+import { computeEpochAtSlot, isStartSlotOfEpoch } from "@lodestar/state-transition";
+import { withObservedDuration } from "@lodestar/utils";
+import { buildFastConfirmationSnapshot, createFastConfirmationCache } from "./data.js";
+import { FastConfirmationSteps } from "./metrics.js";
+import { runFastConfirmationRules } from "./rules.js";
+export * from "./metrics.js";
+export * from "./types.js";
+export class FastConfirmationRule {
+    store;
+    metrics;
+    logger;
+    constructor(store, metrics, logger) {
+        this.store = store;
+        this.metrics = metrics;
+        this.logger = logger;
+    }
+    getConfirmedRoot() {
+        return this.store.confirmedRoot;
+    }
+    onSlotStartAfterPastAttestationsApplied(ctx) {
+        const currentSlot = ctx.getCurrentSlot();
+        const previousConfirmedRoot = this.store.confirmedRoot;
+        this.logger?.debug("Running fast confirmation rule", {
+            slot: currentSlot,
+            epoch: computeEpochAtSlot(currentSlot),
+        });
+        this.updateFastConfirmationVariables(ctx);
+        const cache = withObservedDuration(this.metrics?.fastConfirmation.stepsDuration.startTimer({
+            step: FastConfirmationSteps.buildCache,
+        }), createFastConfirmationCache);
+        const snapshot = withObservedDuration(this.metrics?.fastConfirmation.stepsDuration.startTimer({
+            step: FastConfirmationSteps.buildSnapshot,
+        }), () => buildFastConfirmationSnapshot(ctx, this.store, cache));
+        this.logger?.verbose("Built fast confirmation snapshot", {
+            confirmedSlot: snapshot.confirmedSlot,
+            confirmedEpoch: snapshot.confirmedEpoch,
+            confirmedRoot: snapshot.confirmedRoot,
+            headRoot: snapshot.headRoot,
+            finalizedRoot: snapshot.finalizedRoot,
+            headUnrealizedRoot: snapshot.headUnrealized?.rootHex,
+            headUnrealizedEpoch: snapshot.headUnrealized?.epoch,
+            observedJustifiedRoot: snapshot.observedJustified.rootHex,
+            observedJustifiedEpoch: snapshot.observedJustified.epoch,
+        });
+        const { confirmedRoot, didReset, reason, resetReason, didReorg, didFallback, didRestart } = withObservedDuration(this.metrics?.fastConfirmation.stepsDuration.startTimer({ step: FastConfirmationSteps.runRules }), () => runFastConfirmationRules(snapshot, ctx, this.store, cache, this.logger));
+        const changed = confirmedRoot !== previousConfirmedRoot;
+        const confirmedBlock = cache.blockByRoot.get(confirmedRoot) ?? null;
+        const confirmedSlot = confirmedBlock?.slot ?? null;
+        const confirmedEpoch = confirmedBlock ? computeEpochAtSlot(confirmedBlock.slot) : null;
+        const logContext = {
+            previousConfirmedRoot,
+            confirmedRoot,
+            changed,
+            didReset,
+            reason,
+            resetReason,
+            confirmedSlot,
+            confirmedEpoch,
+        };
+        if (changed) {
+            if (didReset) {
+                this.logger?.warn("Reset fast confirmation", logContext);
+            }
+            else {
+                this.logger?.debug("Updated fast confirmation", logContext);
+            }
+        }
+        else {
+            this.logger?.debug("Unchanged fast confirmation", logContext);
+        }
+        this.store.confirmedRoot = confirmedRoot;
+        this.updateFastConfirmationMetrics(ctx, { confirmedRoot, didReset, didReorg, didFallback, didRestart });
+        return { confirmedRoot, didReset };
+    }
+    updateFastConfirmationVariables(ctx) {
+        const previousSlotHead = this.store.currentSlotHead;
+        const currentSlotHead = ctx.getHead().blockRoot;
+        const currentSlot = ctx.getCurrentSlot();
+        const isStartSlotOfCurrentEpoch = isStartSlotOfEpoch(currentSlot);
+        const isLastSlotOfCurrentEpoch = isStartSlotOfEpoch(currentSlot + 1);
+        this.store.previousSlotHead = previousSlotHead;
+        this.store.currentSlotHead = currentSlotHead;
+        this.logger?.verbose("Updating fast confirmation variables", {
+            previousSlotHead,
+            currentSlotHead,
+            currentSlot,
+            isStartSlotOfCurrentEpoch,
+            isLastSlotOfCurrentEpoch,
+        });
+        // Spec step 1: freeze the greatest unrealized justified checkpoint at the
+        // last slot of the epoch so the next epoch consumes a stable snapshot.
+        if (isLastSlotOfCurrentEpoch) {
+            const unrealized = ctx.getUnrealizedJustified();
+            this.store.previousEpochGreatestUnrealizedCheckpoint = unrealized.checkpoint;
+            this.store.previousEpochGreatestUnrealizedBalances = unrealized.balances;
+            this.logger?.verbose("Updated fast confirmation greatest unrealized snapshot", {
+                previousEpochGreatestUnrealizedCheckpointRoot: this.store.previousEpochGreatestUnrealizedCheckpoint.rootHex,
+                previousEpochGreatestUnrealizedCheckpointEpoch: this.store.previousEpochGreatestUnrealizedCheckpoint.epoch,
+            });
+        }
+        // Spec step 2: rotate observed justified checkpoints at the first slot of
+        // the new epoch using the snapshot taken at the end of the previous epoch.
+        if (isStartSlotOfCurrentEpoch) {
+            this.store.previousEpochObservedJustifiedCheckpoint = this.store.currentEpochObservedJustifiedCheckpoint;
+            this.store.previousEpochObservedJustifiedBalances = this.store.currentEpochObservedJustifiedBalances;
+            this.store.currentEpochObservedJustifiedCheckpoint = this.store.previousEpochGreatestUnrealizedCheckpoint;
+            this.store.currentEpochObservedJustifiedBalances = this.store.previousEpochGreatestUnrealizedBalances;
+            this.logger?.verbose("Updated fast confirmation observed justified checkpoints", {
+                previousEpochObservedJustifiedCheckpointRoot: this.store.previousEpochObservedJustifiedCheckpoint.rootHex,
+                previousEpochObservedJustifiedCheckpointEpoch: this.store.previousEpochObservedJustifiedCheckpoint.epoch,
+                currentEpochObservedJustifiedCheckpointRoot: this.store.currentEpochObservedJustifiedCheckpoint.rootHex,
+                currentEpochObservedJustifiedCheckpointEpoch: this.store.currentEpochObservedJustifiedCheckpoint.epoch,
+            });
+        }
+    }
+    updateFastConfirmationMetrics(ctx, result) {
+        if (!this.metrics)
+            return;
+        const confirmedBlock = ctx.getBlock(result.confirmedRoot);
+        if (confirmedBlock) {
+            this.metrics.fastConfirmation.confirmedEpoch.set(computeEpochAtSlot(confirmedBlock.slot));
+            this.metrics.fastConfirmation.slot.set(confirmedBlock.slot);
+        }
+        if (result.didReset) {
+            this.metrics.fastConfirmation.resets.inc();
+        }
+        if (result.didReorg) {
+            this.metrics.fastConfirmation.reorgs.inc();
+        }
+        if (result.didFallback) {
+            this.metrics.fastConfirmation.fallbacks.inc();
+        }
+        if (result.didRestart) {
+            this.metrics.fastConfirmation.restarts.inc();
+        }
+        this.metrics.fastConfirmation.votesTracked.set(ctx.getTrackedVotesCount());
+    }
+}
+//# sourceMappingURL=fastConfirmationRule.js.map

package/lib/forkChoice/fastConfirmation/fastConfirmationRule.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fastConfirmationRule.js","sourceRoot":"","sources":["../../../src/forkChoice/fastConfirmation/fastConfirmationRule.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,kBAAkB,EAAE,kBAAkB,EAAC,MAAM,4BAA4B,CAAC;AAElF,OAAO,EAAS,oBAAoB,EAAC,MAAM,iBAAiB,CAAC;AAC7D,OAAO,EAAC,6BAA6B,EAAE,2BAA2B,EAAC,MAAM,WAAW,CAAC;AACrF,OAAO,EAA0B,qBAAqB,EAAC,MAAM,cAAc,CAAC;AAC5E,OAAO,EAAC,wBAAwB,EAAC,MAAM,YAAY,CAAC;AASpD,cAAc,cAAc,CAAC;AAC7B,cAAc,YAAY,CAAC;AAE3B,MAAM,OAAO,oBAAoB;IAEZ,KAAK;IACb,OAAO;IACP,MAAM;IAHjB,YACmB,KAA6B,EACrC,OAAuC,EACvC,MAAe,EACxB;qBAHiB,KAAK;uBACb,OAAO;sBACP,MAAM;IACd,CAAC;IAEJ,gBAAgB,GAAY;QAC1B,OAAO,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC;IAAA,CACjC;IAED,uCAAuC,CAAC,GAA4B,EAA0B;QAC5F,MAAM,WAAW,GAAG,GAAG,CAAC,cAAc,EAAE,CAAC;QACzC,MAAM,qBAAqB,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC;QAEvD,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,gCAAgC,EAAE;YACnD,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,kBAAkB,CAAC,WAAW,CAAC;SACvC,CAAC,CAAC;QACH,IAAI,CAAC,+BAA+B,CAAC,GAAG,CAAC,CAAC;QAE1C,MAAM,KAAK,GAAG,oBAAoB,CAChC,IAAI,CAAC,OAAO,EAAE,gBAAgB,CAAC,aAAa,CAAC,UAAU,CAAC;YACtD,IAAI,EAAE,qBAAqB,CAAC,UAAU;SACvC,CAAC,EACF,2BAA2B,CAC5B,CAAC;QAEF,MAAM,QAAQ,GAAG,oBAAoB,CACnC,IAAI,CAAC,OAAO,EAAE,gBAAgB,CAAC,aAAa,CAAC,UAAU,CAAC;YACtD,IAAI,EAAE,qBAAqB,CAAC,aAAa;SAC1C,CAAC,EACF,GAAG,EAAE,CAAC,6BAA6B,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAC5D,CAAC;QAEF,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,kCAAkC,EAAE;YACvD,aAAa,EAAE,QAAQ,CAAC,aAAa;YACrC,cAAc,EAAE,QAAQ,CAAC,cAAc;YACvC,aAAa,EAAE,QAAQ,CAAC,aAAa;YACrC,QAAQ,EAAE,QAAQ,CAAC,QAAQ;YAC3B,aAAa,EAAE,QAAQ,CAAC,aAAa;YACrC,kBAAkB,EAAE,QAAQ,CAAC,cAAc,EAAE,OAAO;YACpD,mBAAmB,EAAE,QAAQ,CAAC,cAAc,EAAE,KAAK;YACnD,qBAAqB,EAAE,QAAQ,CAAC,iBAAiB,CAAC,OAAO;YACzD,sBAAsB,EAAE,QAAQ,CAAC,iBAAiB,CAAC,KAAK;SACzD,CAAC,CAAC;QAEH,MAAM,EAAC,aAAa,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAC,GAAG,oBAAoB,CAC5G,IAAI,CAAC,OAAO,EAAE,gBAAgB,CAAC,aAAa,CAAC,UAAU,CAAC,EAAC,IAAI,EAAE,qBAAqB,CAAC,QAAQ,EAAC,CAAC,EAC/F,GAAG,EAAE,CAAC,wBAAwB,CAAC,QAAQ,EAAE,GAAG,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,CAC9E,CAAC;QAEF,MAAM,OAAO,GAAG,aAAa,KAAK,qBAAqB,CAAC;QACxD,MAAM,cAAc,GAAG,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,IAAI,CAAC;QACpE,MAAM,aAAa,GAAG,cAAc,EAAE,IAAI,IAAI,IAAI,CAAC;QACnD,MAAM,cAAc,GAAG,cAAc,CAAC,CAAC,CAAC,kBAAkB,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACvF,MAAM,UAAU,GAAG;YACjB,qBAAqB;YACrB,aAAa;YACb,OAAO;YACP,QAAQ;YACR,MAAM;YACN,WAAW;YACX,aAAa;YACb,cAAc;SACf,CAAC;QAEF,IAAI,OAAO,EAAE,CAAC;YACZ,IAAI,QAAQ,EAAE,CAAC;gBACb,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,yBAAyB,EAAE,UAAU,CAAC,CAAC;YAC3D,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,2BAA2B,EAAE,UAAU,CAAC,CAAC;YAC9D,CAAC;QACH,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,6BAA6B,EAAE,UAAU,CAAC,CAAC;QAChE,CAAC;QAED,IAAI,CAAC,KAAK,CAAC,aAAa,GAAG,aAAa,CAAC;QACzC,IAAI,CAAC,6BAA6B,CAAC,GAAG,EAAE,EAAC,aAAa,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAC,CAAC,CAAC;QAEtG,OAAO,EAAC,aAAa,EAAE,QAAQ,EAAC,CAAC;IAAA,CAClC;IAEO,+BAA+B,CAAC,GAA4B,EAAQ;QAC1E,MAAM,gBAAgB,GAAG,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC;QACpD,MAAM,eAAe,GAAG,GAAG,CAAC,OAAO,EAAE,CAAC,SAAS,CAAC;QAChD,MAAM,WAAW,GAAG,GAAG,CAAC,cAAc,EAAE,CAAC;QACzC,MAAM,yBAAyB,GAAG,kBAAkB,CAAC,WAAW,CAAC,CAAC;QAClE,MAAM,wBAAwB,GAAG,kBAAkB,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC;QAErE,IAAI,CAAC,KAAK,CAAC,gBAAgB,GAAG,gBAAgB,CAAC;QAC/C,IAAI,CAAC,KAAK,CAAC,eAAe,GAAG,eAAe,CAAC;QAE7C,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,sCAAsC,EAAE;YAC3D,gBAAgB;YAChB,eAAe;YACf,WAAW;YACX,yBAAyB;YACzB,wBAAwB;SACzB,CAAC,CAAC;QAEH,0EAA0E;QAC1E,uEAAuE;QACvE,IAAI,wBAAwB,EAAE,CAAC;YAC7B,MAAM,UAAU,GAAG,GAAG,CAAC,sBAAsB,EAAE,CAAC;YAChD,IAAI,CAAC,KAAK,CAAC,yCAAyC,GAAG,UAAU,CAAC,UAAU,CAAC;YAC7E,IAAI,CAAC,KAAK,CAAC,uCAAuC,GAAG,UAAU,CAAC,QAAQ,CAAC;YAEzE,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,wDAAwD,EAAE;gBAC7E,6CAA6C,EAAE,IAAI,CAAC,KAAK,CAAC,yCAAyC,CAAC,OAAO;gBAC3G,8CAA8C,EAAE,IAAI,CAAC,KAAK,CAAC,yCAAyC,CAAC,KAAK;aAC3G,CAAC,CAAC;QACL,CAAC;QAED,0EAA0E;QAC1E,2EAA2E;QAC3E,IAAI,yBAAyB,EAAE,CAAC;YAC9B,IAAI,CAAC,KAAK,CAAC,wCAAwC,GAAG,IAAI,CAAC,KAAK,CAAC,uCAAuC,CAAC;YACzG,IAAI,CAAC,KAAK,CAAC,sCAAsC,GAAG,IAAI,CAAC,KAAK,CAAC,qCAAqC,CAAC;YACrG,IAAI,CAAC,KAAK,CAAC,uCAAuC,GAAG,IAAI,CAAC,KAAK,CAAC,yCAAyC,CAAC;YAC1G,IAAI,CAAC,KAAK,CAAC,qCAAqC,GAAG,IAAI,CAAC,KAAK,CAAC,uCAAuC,CAAC;YAEtG,IAAI,CAAC,MAAM,EAAE,OAAO,CAAC,0DAA0D,EAAE;gBAC/E,4CAA4C,EAAE,IAAI,CAAC,KAAK,CAAC,wCAAwC,CAAC,OAAO;gBACzG,6CAA6C,EAAE,IAAI,CAAC,KAAK,CAAC,wCAAwC,CAAC,KAAK;gBACxG,2CAA2C,EAAE,IAAI,CAAC,KAAK,CAAC,uCAAuC,CAAC,OAAO;gBACvG,4CAA4C,EAAE,IAAI,CAAC,KAAK,CAAC,uCAAuC,CAAC,KAAK;aACvG,CAAC,CAAC;QACL,CAAC;IAAA,CACF;IAEO,6BAA6B,CACnC,GAA4B,EAC5B,MAAiE,EAC3D;QACN,IAAI,CAAC,IAAI,CAAC,OAAO;YAAE,OAAO;QAC1B,MAAM,cAAc,GAAG,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;QAC1D,IAAI,cAAc,EAAE,CAAC;YACnB,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,cAAc,CAAC,GAAG,CAAC,kBAAkB,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;YAC1F,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;QAC9D,CAAC;QACD,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACpB,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;QAC7C,CAAC;QACD,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACpB,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;QAC7C,CAAC;QACD,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;YACvB,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC;QAChD,CAAC;QACD,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;YACtB,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC;QAC/C,CAAC;QACD,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,oBAAoB,EAAE,CAAC,CAAC;IAAA,CAC5E;CACF"}

package/lib/forkChoice/fastConfirmation/index.d.ts

@@ -0,0 +1,4 @@
+export * from "./fastConfirmationRule.ts";
+export * from "./metrics.ts";
+export * from "./types.ts";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/forkChoice/fastConfirmation/index.ts"],"names":[],"mappings":"AAAA,cAAc,2BAA2B,CAAC;AAC1C,cAAc,cAAc,CAAC;AAC7B,cAAc,YAAY,CAAC"}

package/lib/forkChoice/fastConfirmation/index.js

@@ -0,0 +1,4 @@
+export * from "./fastConfirmationRule.js";
+export * from "./metrics.js";
+export * from "./types.js";
+//# sourceMappingURL=index.js.map

package/lib/forkChoice/fastConfirmation/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/forkChoice/fastConfirmation/index.ts"],"names":[],"mappings":"AAAA,cAAc,2BAA2B,CAAC;AAC1C,cAAc,cAAc,CAAC;AAC7B,cAAc,YAAY,CAAC"}

package/lib/forkChoice/fastConfirmation/metrics.d.ts

@@ -0,0 +1,24 @@
+import { MetricsRegisterExtra } from "@lodestar/utils";
+export type FastConfirmationMetrics = ReturnType<typeof getFastConfirmationMetrics>;
+export declare enum FastConfirmationSteps {
+    updateHead = "updateHead",
+    buildCache = "buildCache",
+    buildSnapshot = "buildSnapshot",
+    runRules = "runRules"
+}
+export declare function getFastConfirmationMetrics(register: MetricsRegisterExtra): {
+    fastConfirmation: {
+        totalDuration: import("@lodestar/utils").Histogram<import("@lodestar/utils").NoLabels>;
+        stepsDuration: import("@lodestar/utils").Histogram<{
+            step: FastConfirmationSteps;
+        }>;
+        confirmedEpoch: import("@lodestar/utils").GaugeExtra<import("@lodestar/utils").NoLabels>;
+        votesTracked: import("@lodestar/utils").GaugeExtra<import("@lodestar/utils").NoLabels>;
+        resets: import("@lodestar/utils").Counter<import("@lodestar/utils").NoLabels>;
+        slot: import("@lodestar/utils").GaugeExtra<import("@lodestar/utils").NoLabels>;
+        reorgs: import("@lodestar/utils").Counter<import("@lodestar/utils").NoLabels>;
+        fallbacks: import("@lodestar/utils").Counter<import("@lodestar/utils").NoLabels>;
+        restarts: import("@lodestar/utils").Counter<import("@lodestar/utils").NoLabels>;
+    };
+};
+//# sourceMappingURL=metrics.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"metrics.d.ts","sourceRoot":"","sources":["../../../src/forkChoice/fastConfirmation/metrics.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,oBAAoB,EAAC,MAAM,iBAAiB,CAAC;AAErD,MAAM,MAAM,uBAAuB,GAAG,UAAU,CAAC,OAAO,0BAA0B,CAAC,CAAC;AAEpF,oBAAY,qBAAqB;IAC/B,UAAU,eAAe;IACzB,UAAU,eAAe;IACzB,aAAa,kBAAkB;IAC/B,QAAQ,aAAa;CACtB;AAED,wBAAgB,0BAA0B,CAAC,QAAQ,EAAE,oBAAoB;;;;;;;;;;;;;;EA6CxE"}

package/lib/forkChoice/fastConfirmation/metrics.js

@@ -0,0 +1,55 @@
+export { FastConfirmationSteps };
+var FastConfirmationSteps;
+(function (FastConfirmationSteps) {
+    FastConfirmationSteps["updateHead"] = "updateHead";
+    FastConfirmationSteps["buildCache"] = "buildCache";
+    FastConfirmationSteps["buildSnapshot"] = "buildSnapshot";
+    FastConfirmationSteps["runRules"] = "runRules";
+})(FastConfirmationSteps || (FastConfirmationSteps = {}));
+export function getFastConfirmationMetrics(register) {
+    return {
+        fastConfirmation: {
+            totalDuration: register.histogram({
+                name: "lodestar_fast_confirmation_duration_seconds",
+                help: "Time to run Fast Confirmation Rule algorithm",
+                buckets: [0.001, 0.005, 0.01, 0.05, 0.1, 0.5, 1, 2],
+            }),
+            stepsDuration: register.histogram({
+                name: "lodestar_fast_confirmation_steps_duration_seconds",
+                help: "Time to run Fast Confirmation Steps",
+                buckets: [0.001, 0.005, 0.01, 0.05, 0.1, 0.5, 1, 2],
+                labelNames: ["step"],
+            }),
+            confirmedEpoch: register.gauge({
+                name: "lodestar_fast_confirmation_confirmed_epoch",
+                help: "Current confirmed epoch from fast confirmation",
+            }),
+            votesTracked: register.gauge({
+                name: "lodestar_fast_confirmation_votes_tracked",
+                help: "Number of checkpoint votes tracked by fast confirmation",
+            }),
+            resets: register.counter({
+                name: "lodestar_fast_confirmation_resets_total",
+                help: "Total number of fast confirmation resets (any cause)",
+            }),
+            // Standardized Fast Confirmation metrics
+            slot: register.gauge({
+                name: "beacon_fast_confirmation_slot",
+                help: "Slot of the most recent confirmed block",
+            }),
+            reorgs: register.counter({
+                name: "beacon_fast_confirmation_reorgs_total",
+                help: "Total number of confirmed block reorganizations",
+            }),
+            fallbacks: register.counter({
+                name: "beacon_fast_confirmation_fallbacks_total",
+                help: "Total number of fallbacks to finality",
+            }),
+            restarts: register.counter({
+                name: "beacon_fast_confirmation_restarts_total",
+                help: "Total number of restarts from a safe unrealized justified block",
+            }),
+        },
+    };
+}
+//# sourceMappingURL=metrics.js.map

package/lib/forkChoice/fastConfirmation/metrics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"metrics.js","sourceRoot":"","sources":["../../../src/forkChoice/fastConfirmation/metrics.ts"],"names":[],"mappings":"SAIY,qBAAqB;AAAjC,IAAY,qBAKX;AALD,WAAY,qBAAqB;IAC/B,kDAAyB,CAAA;IACzB,kDAAyB,CAAA;IACzB,wDAA+B,CAAA;IAC/B,8CAAqB,CAAA;AAAC,CACxB,EALY,qBAAqB,KAArB,qBAAqB,QAKhC;AAED,MAAM,UAAU,0BAA0B,CAAC,QAA8B,EAAE;IACzE,OAAO;QACL,gBAAgB,EAAE;YAChB,aAAa,EAAE,QAAQ,CAAC,SAAS,CAAC;gBAChC,IAAI,EAAE,6CAA6C;gBACnD,IAAI,EAAE,8CAA8C;gBACpD,OAAO,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;aACpD,CAAC;YACF,aAAa,EAAE,QAAQ,CAAC,SAAS,CAAgC;gBAC/D,IAAI,EAAE,mDAAmD;gBACzD,IAAI,EAAE,qCAAqC;gBAC3C,OAAO,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;gBACnD,UAAU,EAAE,CAAC,MAAM,CAAC;aACrB,CAAC;YACF,cAAc,EAAE,QAAQ,CAAC,KAAK,CAAC;gBAC7B,IAAI,EAAE,4CAA4C;gBAClD,IAAI,EAAE,gDAAgD;aACvD,CAAC;YACF,YAAY,EAAE,QAAQ,CAAC,KAAK,CAAC;gBAC3B,IAAI,EAAE,0CAA0C;gBAChD,IAAI,EAAE,yDAAyD;aAChE,CAAC;YACF,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC;gBACvB,IAAI,EAAE,yCAAyC;gBAC/C,IAAI,EAAE,sDAAsD;aAC7D,CAAC;YACF,yCAAyC;YACzC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC;gBACnB,IAAI,EAAE,+BAA+B;gBACrC,IAAI,EAAE,yCAAyC;aAChD,CAAC;YACF,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC;gBACvB,IAAI,EAAE,uCAAuC;gBAC7C,IAAI,EAAE,iDAAiD;aACxD,CAAC;YACF,SAAS,EAAE,QAAQ,CAAC,OAAO,CAAC;gBAC1B,IAAI,EAAE,0CAA0C;gBAChD,IAAI,EAAE,uCAAuC;aAC9C,CAAC;YACF,QAAQ,EAAE,QAAQ,CAAC,OAAO,CAAC;gBACzB,IAAI,EAAE,yCAAyC;gBAC/C,IAAI,EAAE,iEAAiE;aACxE,CAAC;SACH;KACF,CAAC;AAAA,CACH"}

package/lib/forkChoice/fastConfirmation/rules.d.ts

@@ -0,0 +1,9 @@
+import { Logger } from "@lodestar/utils";
+import { FastConfirmationCache, FastConfirmationContext, FastConfirmationRule, FastConfirmationRunResult, FastConfirmationSnapshot, IFastConfirmationStore } from "./types.ts";
+export declare const resetIfConfirmedUnavailable: FastConfirmationRule;
+export declare const resetIfBehindOrNotAncestorOrUnsafe: FastConfirmationRule;
+export declare const advanceIfObservedJustified: FastConfirmationRule;
+export declare const advanceToLatestConfirmedDescendant: FastConfirmationRule;
+export declare const FAST_CONFIRMATION_RULES: FastConfirmationRule[];
+export declare function runFastConfirmationRules(snapshot: FastConfirmationSnapshot, ctx: FastConfirmationContext, store: IFastConfirmationStore, cache: FastConfirmationCache, logger?: Logger): FastConfirmationRunResult;
+//# sourceMappingURL=rules.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"rules.d.ts","sourceRoot":"","sources":["../../../src/forkChoice/fastConfirmation/rules.ts"],"names":[],"mappings":"AACA,OAAO,EAAC,MAAM,EAAC,MAAM,iBAAiB,CAAC;AAEvC,OAAO,EACL,qBAAqB,EACrB,uBAAuB,EAGvB,oBAAoB,EACpB,yBAAyB,EACzB,wBAAwB,EACxB,sBAAsB,EAEvB,MAAM,YAAY,CAAC;AAGpB,eAAO,MAAM,2BAA2B,EAAE,oBAUzC,CAAC;AAEF,eAAO,MAAM,kCAAkC,EAAE,oBA4BhD,CAAC;AAEF,eAAO,MAAM,0BAA0B,EAAE,oBAkBxC,CAAC;AAEF,eAAO,MAAM,kCAAkC,EAAE,oBAmBhD,CAAC;AAEF,eAAO,MAAM,uBAAuB,EAAE,oBAAoB,EAKzD,CAAC;AAIF,wBAAgB,wBAAwB,CACtC,QAAQ,EAAE,wBAAwB,EAClC,GAAG,EAAE,uBAAuB,EAC5B,KAAK,EAAE,sBAAsB,EAC7B,KAAK,EAAE,qBAAqB,EAC5B,MAAM,CAAC,EAAE,MAAM,GACd,yBAAyB,CAoC3B"}

package/lib/forkChoice/fastConfirmation/rules.js

@@ -0,0 +1,114 @@
+import { computeEpochAtSlot, isStartSlotOfEpoch } from "@lodestar/state-transition";
+import { equalCheckpointWithHex } from "../store.js";
+import { FastConfirmationDecisionReason, isResetReason, } from "./types.js";
+import { findLatestConfirmedDescendant, getBlock, isAncestor, isConfirmedChainSafe } from "./utils.js";
+export const resetIfConfirmedUnavailable = (snapshot, ctx, _store, cache, decision) => {
+    const confirmedBlock = getBlock(ctx, cache, decision.confirmedRoot);
+    if (!confirmedBlock) {
+        return {
+            confirmedRoot: snapshot.finalizedRoot,
+            didReset: true,
+            reason: FastConfirmationDecisionReason.ConfirmedNotFound,
+        };
+    }
+    return decision;
+};
+export const resetIfBehindOrNotAncestorOrUnsafe = (snapshot, ctx, store, cache, decision, logger) => {
+    const confirmedBlock = getBlock(ctx, cache, decision.confirmedRoot);
+    if (!confirmedBlock)
+        return decision;
+    const confirmedEpoch = computeEpochAtSlot(confirmedBlock.slot);
+    const confirmedEpochBehindHead = confirmedEpoch + 1 < snapshot.currentEpoch;
+    const notAncestorOfHead = !isAncestor(ctx, cache, snapshot.headRoot, decision.confirmedRoot);
+    const allChildrenNotConfirmed = isStartSlotOfEpoch(snapshot.currentSlot) &&
+        !isConfirmedChainSafe(ctx, store, cache, decision.confirmedRoot, logger);
+    if (confirmedEpochBehindHead || notAncestorOfHead || allChildrenNotConfirmed) {
+        const didReset = decision.didReset || decision.confirmedRoot !== snapshot.finalizedRoot;
+        const reason = confirmedEpochBehindHead
+            ? FastConfirmationDecisionReason.ResetBehind
+            : notAncestorOfHead
+                ? FastConfirmationDecisionReason.ResetNotAncestor
+                : FastConfirmationDecisionReason.ResetChainUnsafe;
+        return { confirmedRoot: snapshot.finalizedRoot, didReset, reason };
+    }
+    return decision;
+};
+export const advanceIfObservedJustified = (snapshot, ctx, store, cache, decision) => {
+    if (!isStartSlotOfEpoch(snapshot.currentSlot))
+        return decision;
+    if (store.currentEpochObservedJustifiedCheckpoint.epoch + 1 !== snapshot.currentEpoch)
+        return decision;
+    if (!snapshot.headUnrealized)
+        return decision;
+    if (!equalCheckpointWithHex(store.currentEpochObservedJustifiedCheckpoint, snapshot.headUnrealized))
+        return decision;
+    const observedBlock = getBlock(ctx, cache, store.currentEpochObservedJustifiedCheckpoint.rootHex);
+    if (!observedBlock || computeEpochAtSlot(observedBlock.slot) + 1 < snapshot.currentEpoch)
+        return decision;
+    const confirmedSlot = getBlock(ctx, cache, decision.confirmedRoot)?.slot ?? null;
+    const observedSlot = observedBlock.slot;
+    if (confirmedSlot !== null && observedSlot !== null && confirmedSlot < observedSlot) {
+        return {
+            ...decision,
+            confirmedRoot: store.currentEpochObservedJustifiedCheckpoint.rootHex,
+            reason: FastConfirmationDecisionReason.ObservedJustified,
+        };
+    }
+    return decision;
+};
+export const advanceToLatestConfirmedDescendant = (snapshot, ctx, store, cache, decision, logger) => {
+    const confirmedBlock = getBlock(ctx, cache, decision.confirmedRoot);
+    const confirmedEpoch = confirmedBlock ? computeEpochAtSlot(confirmedBlock.slot) : null;
+    if (confirmedEpoch !== null && confirmedEpoch + 1 >= snapshot.currentEpoch) {
+        const newConfirmed = findLatestConfirmedDescendant(snapshot, ctx, store, cache, decision.confirmedRoot, logger);
+        return {
+            ...decision,
+            confirmedRoot: newConfirmed,
+            reason: FastConfirmationDecisionReason.ConfirmedDescendant,
+        };
+    }
+    return decision;
+};
+export const FAST_CONFIRMATION_RULES = [
+    resetIfConfirmedUnavailable,
+    resetIfBehindOrNotAncestorOrUnsafe,
+    advanceIfObservedJustified,
+    advanceToLatestConfirmedDescendant,
+];
+// Spec mapping: this rule runner implements the `get_latest_confirmed` decision flow
+// over Lodestar's snapshot/store/cache abstractions.
+export function runFastConfirmationRules(snapshot, ctx, store, cache, logger) {
+    let decision = {
+        confirmedRoot: snapshot.confirmedRoot,
+        didReset: false,
+        reason: FastConfirmationDecisionReason.Unchanged,
+    };
+    const reasonTrail = [];
+    for (const rule of FAST_CONFIRMATION_RULES) {
+        const previousDecision = decision;
+        decision = rule(snapshot, ctx, store, cache, decision, logger);
+        if (decision !== previousDecision && decision.reason !== FastConfirmationDecisionReason.Unchanged) {
+            reasonTrail.push(decision.reason);
+        }
+    }
+    logger?.debug("Fast confirmation rule outcomes", { reasonTrail: reasonTrail.join(",") });
+    // Detect a reorg directly from ancestry instead of the reset reason: when the confirmed block is
+    // both epoch-behind and not an ancestor of head, `resetIfBehindOrNotAncestorOrUnsafe` records
+    // `ResetBehind` (it takes precedence), so keying off `ResetNotAncestor` alone would miss reorgs
+    // that cross an epoch boundary.
+    const initialConfirmedBlock = getBlock(ctx, cache, snapshot.confirmedRoot);
+    const didReorg = initialConfirmedBlock !== null && !isAncestor(ctx, cache, snapshot.headRoot, snapshot.confirmedRoot);
+    return {
+        confirmedRoot: decision.confirmedRoot,
+        didReset: decision.didReset,
+        reason: decision.reason,
+        // Reset cause: the first reset-classified reason in the trail (only when an actual reset occurred).
+        resetReason: decision.didReset ? reasonTrail.find(isResetReason) : undefined,
+        didReorg,
+        // A fallback is a revert to finality: a reset whose final confirmed root is the finalized
+        // checkpoint. A later rule may advance the confirmed root forward, which is not a fallback.
+        didFallback: decision.didReset && decision.confirmedRoot === snapshot.finalizedRoot,
+        didRestart: reasonTrail.includes(FastConfirmationDecisionReason.ObservedJustified),
+    };
+}
+//# sourceMappingURL=rules.js.map

package/lib/forkChoice/fastConfirmation/rules.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rules.js","sourceRoot":"","sources":["../../../src/forkChoice/fastConfirmation/rules.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,kBAAkB,EAAE,kBAAkB,EAAC,MAAM,4BAA4B,CAAC;AAElF,OAAO,EAAC,sBAAsB,EAAC,MAAM,aAAa,CAAC;AACnD,OAAO,EAIL,8BAA8B,EAK9B,aAAa,GACd,MAAM,YAAY,CAAC;AACpB,OAAO,EAAC,6BAA6B,EAAE,QAAQ,EAAE,UAAU,EAAE,oBAAoB,EAAC,MAAM,YAAY,CAAC;AAErG,MAAM,CAAC,MAAM,2BAA2B,GAAyB,CAAC,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,CAAC;IAC3G,MAAM,cAAc,GAAG,QAAQ,CAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,CAAC,aAAa,CAAC,CAAC;IACpE,IAAI,CAAC,cAAc,EAAE,CAAC;QACpB,OAAO;YACL,aAAa,EAAE,QAAQ,CAAC,aAAa;YACrC,QAAQ,EAAE,IAAI;YACd,MAAM,EAAE,8BAA8B,CAAC,iBAAiB;SACzD,CAAC;IACJ,CAAC;IACD,OAAO,QAAQ,CAAC;AAAA,CACjB,CAAC;AAEF,MAAM,CAAC,MAAM,kCAAkC,GAAyB,CACtE,QAAQ,EACR,GAAG,EACH,KAAK,EACL,KAAK,EACL,QAAQ,EACR,MAAM,EACN,EAAE,CAAC;IACH,MAAM,cAAc,GAAG,QAAQ,CAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,CAAC,aAAa,CAAC,CAAC;IACpE,IAAI,CAAC,cAAc;QAAE,OAAO,QAAQ,CAAC;IACrC,MAAM,cAAc,GAAG,kBAAkB,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;IAE/D,MAAM,wBAAwB,GAAG,cAAc,GAAG,CAAC,GAAG,QAAQ,CAAC,YAAY,CAAC;IAC5E,MAAM,iBAAiB,GAAG,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,aAAa,CAAC,CAAC;IAC7F,MAAM,uBAAuB,GAC3B,kBAAkB,CAAC,QAAQ,CAAC,WAAW,CAAC;QACxC,CAAC,oBAAoB,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;IAE3E,IAAI,wBAAwB,IAAI,iBAAiB,IAAI,uBAAuB,EAAE,CAAC;QAC7E,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,aAAa,KAAK,QAAQ,CAAC,aAAa,CAAC;QACxF,MAAM,MAAM,GAAG,wBAAwB;YACrC,CAAC,CAAC,8BAA8B,CAAC,WAAW;YAC5C,CAAC,CAAC,iBAAiB;gBACjB,CAAC,CAAC,8BAA8B,CAAC,gBAAgB;gBACjD,CAAC,CAAC,8BAA8B,CAAC,gBAAgB,CAAC;QACtD,OAAO,EAAC,aAAa,EAAE,QAAQ,CAAC,aAAa,EAAE,QAAQ,EAAE,MAAM,EAAC,CAAC;IACnE,CAAC;IACD,OAAO,QAAQ,CAAC;AAAA,CACjB,CAAC;AAEF,MAAM,CAAC,MAAM,0BAA0B,GAAyB,CAAC,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,CAAC;IACzG,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,WAAW,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC/D,IAAI,KAAK,CAAC,uCAAuC,CAAC,KAAK,GAAG,CAAC,KAAK,QAAQ,CAAC,YAAY;QAAE,OAAO,QAAQ,CAAC;IACvG,IAAI,CAAC,QAAQ,CAAC,cAAc;QAAE,OAAO,QAAQ,CAAC;IAC9C,IAAI,CAAC,sBAAsB,CAAC,KAAK,CAAC,uCAAuC,EAAE,QAAQ,CAAC,cAAc,CAAC;QAAE,OAAO,QAAQ,CAAC;IACrH,MAAM,aAAa,GAAG,QAAQ,CAAC,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,uCAAuC,CAAC,OAAO,CAAC,CAAC;IAClG,IAAI,CAAC,aAAa,IAAI,kBAAkB,CAAC,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,YAAY;QAAE,OAAO,QAAQ,CAAC;IAE1G,MAAM,aAAa,GAAG,QAAQ,CAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,CAAC,aAAa,CAAC,EAAE,IAAI,IAAI,IAAI,CAAC;IACjF,MAAM,YAAY,GAAG,aAAa,CAAC,IAAI,CAAC;IACxC,IAAI,aAAa,KAAK,IAAI,IAAI,YAAY,KAAK,IAAI,IAAI,aAAa,GAAG,YAAY,EAAE,CAAC;QACpF,OAAO;YACL,GAAG,QAAQ;YACX,aAAa,EAAE,KAAK,CAAC,uCAAuC,CAAC,OAAO;YACpE,MAAM,EAAE,8BAA8B,CAAC,iBAAiB;SACzD,CAAC;IACJ,CAAC;IACD,OAAO,QAAQ,CAAC;AAAA,CACjB,CAAC;AAEF,MAAM,CAAC,MAAM,kCAAkC,GAAyB,CACtE,QAAQ,EACR,GAAG,EACH,KAAK,EACL,KAAK,EACL,QAAQ,EACR,MAAM,EACN,EAAE,CAAC;IACH,MAAM,cAAc,GAAG,QAAQ,CAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,CAAC,aAAa,CAAC,CAAC;IACpE,MAAM,cAAc,GAAG,cAAc,CAAC,CAAC,CAAC,kBAAkB,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACvF,IAAI,cAAc,KAAK,IAAI,IAAI,cAAc,GAAG,CAAC,IAAI,QAAQ,CAAC,YAAY,EAAE,CAAC;QAC3E,MAAM,YAAY,GAAG,6BAA6B,CAAC,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;QAChH,OAAO;YACL,GAAG,QAAQ;YACX,aAAa,EAAE,YAAY;YAC3B,MAAM,EAAE,8BAA8B,CAAC,mBAAmB;SAC3D,CAAC;IACJ,CAAC;IACD,OAAO,QAAQ,CAAC;AAAA,CACjB,CAAC;AAEF,MAAM,CAAC,MAAM,uBAAuB,GAA2B;IAC7D,2BAA2B;IAC3B,kCAAkC;IAClC,0BAA0B;IAC1B,kCAAkC;CACnC,CAAC;AAEF,qFAAqF;AACrF,qDAAqD;AACrD,MAAM,UAAU,wBAAwB,CACtC,QAAkC,EAClC,GAA4B,EAC5B,KAA6B,EAC7B,KAA4B,EAC5B,MAAe,EACY;IAC3B,IAAI,QAAQ,GAA6B;QACvC,aAAa,EAAE,QAAQ,CAAC,aAAa;QACrC,QAAQ,EAAE,KAAK;QACf,MAAM,EAAE,8BAA8B,CAAC,SAAS;KACjD,CAAC;IAEF,MAAM,WAAW,GAAqC,EAAE,CAAC;IACzD,KAAK,MAAM,IAAI,IAAI,uBAAuB,EAAE,CAAC;QAC3C,MAAM,gBAAgB,GAAG,QAAQ,CAAC;QAClC,QAAQ,GAAG,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC/D,IAAI,QAAQ,KAAK,gBAAgB,IAAI,QAAQ,CAAC,MAAM,KAAK,8BAA8B,CAAC,SAAS,EAAE,CAAC;YAClG,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;IACD,MAAM,EAAE,KAAK,CAAC,iCAAiC,EAAE,EAAC,WAAW,EAAE,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,EAAC,CAAC,CAAC;IAEvF,iGAAiG;IACjG,8FAA8F;IAC9F,gGAAgG;IAChG,gCAAgC;IAChC,MAAM,qBAAqB,GAAG,QAAQ,CAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,CAAC,aAAa,CAAC,CAAC;IAC3E,MAAM,QAAQ,GAAG,qBAAqB,KAAK,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,KAAK,EAAE,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,aAAa,CAAC,CAAC;IAEtH,OAAO;QACL,aAAa,EAAE,QAAQ,CAAC,aAAa;QACrC,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,oGAAoG;QACpG,WAAW,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS;QAC5E,QAAQ;QACR,0FAA0F;QAC1F,4FAA4F;QAC5F,WAAW,EAAE,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,aAAa,KAAK,QAAQ,CAAC,aAAa;QACnF,UAAU,EAAE,WAAW,CAAC,QAAQ,CAAC,8BAA8B,CAAC,iBAAiB,CAAC;KACnF,CAAC;AAAA,CACH"}

package/lib/forkChoice/fastConfirmation/types.d.ts

@@ -0,0 +1,115 @@
+import { EffectiveBalanceIncrements, IBeaconStateView } from "@lodestar/state-transition";
+import { Epoch, RootHex, Slot, ValidatorIndex } from "@lodestar/types";
+import { Logger } from "@lodestar/utils";
+import { ProtoBlock } from "../../protoArray/interface.ts";
+import { CheckpointWithHex } from "../store.ts";
+export type FastConfirmationBalanceSource = {
+    state: IBeaconStateView | null;
+    balances: EffectiveBalanceIncrements;
+};
+export type ForkChoiceStateGetter = (opts: {
+    stateRoot: RootHex;
+    checkpoint?: never;
+} | {
+    stateRoot?: never;
+    checkpoint: CheckpointWithHex;
+}) => IBeaconStateView | null;
+type IFastConfirmationSpecStore = {
+    confirmedRoot: RootHex;
+    previousEpochObservedJustifiedCheckpoint: CheckpointWithHex;
+    currentEpochObservedJustifiedCheckpoint: CheckpointWithHex;
+    previousEpochGreatestUnrealizedCheckpoint: CheckpointWithHex;
+    previousSlotHead: RootHex;
+    currentSlotHead: RootHex;
+};
+type IFastConfirmationAuxStore = {
+    previousEpochObservedJustifiedBalances: EffectiveBalanceIncrements;
+    currentEpochObservedJustifiedBalances: EffectiveBalanceIncrements;
+    previousEpochGreatestUnrealizedBalances: EffectiveBalanceIncrements;
+    stateGetter: ForkChoiceStateGetter;
+};
+export type IFastConfirmationStore = IFastConfirmationSpecStore & IFastConfirmationAuxStore;
+export type FastConfirmationResult = {
+    confirmedRoot: RootHex;
+    didReset?: boolean;
+};
+export type FastConfirmationSnapshot = {
+    currentSlot: Slot;
+    currentEpoch: Epoch;
+    headRoot: RootHex;
+    confirmedRoot: RootHex;
+    confirmedEpoch: Epoch | null;
+    confirmedSlot: Slot | null;
+    observedJustified: CheckpointWithHex;
+    headUnrealized: CheckpointWithHex | null;
+    finalizedRoot: RootHex;
+};
+export declare enum FastConfirmationDecisionReason {
+    Unchanged = "unchanged",
+    ConfirmedNotFound = "confirmed_not_found",
+    ResetBehind = "reset_behind",
+    ResetNotAncestor = "reset_not_ancestor",
+    ResetChainUnsafe = "reset_chain_unsafe",
+    ObservedJustified = "observed_justified",
+    ConfirmedDescendant = "confirmed_descendant"
+}
+export declare function isResetReason(reason: FastConfirmationDecisionReason): boolean;
+export type FastConfirmationDecision = {
+    confirmedRoot: RootHex;
+    didReset: boolean;
+    reason: FastConfirmationDecisionReason;
+};
+export type FastConfirmationRunResult = FastConfirmationDecision & {
+    /**
+     * Cause of the reset, when one occurred.
+     * The `reason` attribute reports the final disposition and can be different.
+     */
+    resetReason?: FastConfirmationDecisionReason;
+    /** Confirmed block became non-canonical (no longer an ancestor of head) */
+    didReorg: boolean;
+    /** Confirmed block reverted to the finalized checkpoint */
+    didFallback: boolean;
+    /** Restarted confirmation from the observed unrealized justified checkpoint */
+    didRestart: boolean;
+};
+export type FastConfirmationRule = (snapshot: FastConfirmationSnapshot, ctx: FastConfirmationContext, store: IFastConfirmationStore, cache: FastConfirmationCache, decision: FastConfirmationDecision, logger?: Logger) => FastConfirmationDecision;
+export type BalanceSourceKey = "current" | "previous";
+export type FastConfirmationCache = {
+    blockByRoot: Map<RootHex, ProtoBlock | null>;
+    ancestorRoots: Map<string, RootHex[] | null>;
+    committeeBySlot: Map<Slot, Set<ValidatorIndex>>;
+    isDescendantByRootPair: Map<string, boolean>;
+    /** voteRoot -> totalWeight, keyed by sourceKey */
+    voteWeightBySource: Map<BalanceSourceKey, Map<RootHex, number>>;
+    headState?: IBeaconStateView;
+    pulledUpHeadState?: IBeaconStateView;
+    checkpointStateByKey: Map<string, IBeaconStateView | null>;
+};
+export type FastConfirmationContext = {
+    config: {
+        CONFIRMATION_BYZANTINE_THRESHOLD: number;
+        PROPOSER_SCORE_BOOST: number;
+    };
+    getCurrentSlot(): Slot;
+    getHead(): ProtoBlock;
+    getBlock(root: RootHex): ProtoBlock | null;
+    getAncestor(root: RootHex, slot: Slot): RootHex;
+    isDescendant(ancestor: RootHex, descendant: RootHex): boolean;
+    getLatestMessage(validatorIndex: ValidatorIndex): {
+        root: RootHex;
+        epoch: Epoch;
+    } | null;
+    getUnrealizedJustified(): {
+        checkpoint: CheckpointWithHex;
+        balances: EffectiveBalanceIncrements;
+    };
+    getFinalizedCheckpoint(): CheckpointWithHex;
+    getEquivocatingIndices(): Set<ValidatorIndex>;
+    getTrackedVotesCount(): number;
+};
+export interface IFastConfirmationRule {
+    getConfirmedRoot(): RootHex;
+    onSlotStartAfterPastAttestationsApplied(ctx: FastConfirmationContext): FastConfirmationResult;
+}
+export {};
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/forkChoice/fastConfirmation/types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAC,0BAA0B,EAAE,gBAAgB,EAAC,MAAM,4BAA4B,CAAC;AACxF,OAAO,EAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,cAAc,EAAC,MAAM,iBAAiB,CAAC;AACrE,OAAO,EAAC,MAAM,EAAC,MAAM,iBAAiB,CAAC;AACvC,OAAO,EAAC,UAAU,EAAC,MAAM,+BAA+B,CAAC;AACzD,OAAO,EAAC,iBAAiB,EAAC,MAAM,aAAa,CAAC;AAE9C,MAAM,MAAM,6BAA6B,GAAG;IAC1C,KAAK,EAAE,gBAAgB,GAAG,IAAI,CAAC;IAC/B,QAAQ,EAAE,0BAA0B,CAAC;CACtC,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAAG,CAClC,IAAI,EAAE;IAAC,SAAS,EAAE,OAAO,CAAC;IAAC,UAAU,CAAC,EAAE,KAAK,CAAA;CAAC,GAAG;IAAC,SAAS,CAAC,EAAE,KAAK,CAAC;IAAC,UAAU,EAAE,iBAAiB,CAAA;CAAC,KAChG,gBAAgB,GAAG,IAAI,CAAC;AAE7B,KAAK,0BAA0B,GAAG;IAChC,aAAa,EAAE,OAAO,CAAC;IACvB,wCAAwC,EAAE,iBAAiB,CAAC;IAC5D,uCAAuC,EAAE,iBAAiB,CAAC;IAC3D,yCAAyC,EAAE,iBAAiB,CAAC;IAC7D,gBAAgB,EAAE,OAAO,CAAC;IAC1B,eAAe,EAAE,OAAO,CAAC;CAC1B,CAAC;AAEF,KAAK,yBAAyB,GAAG;IAC/B,sCAAsC,EAAE,0BAA0B,CAAC;IACnE,qCAAqC,EAAE,0BAA0B,CAAC;IAClE,uCAAuC,EAAE,0BAA0B,CAAC;IACpE,WAAW,EAAE,qBAAqB,CAAC;CACpC,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG,0BAA0B,GAAG,yBAAyB,CAAC;AAE5F,MAAM,MAAM,sBAAsB,GAAG;IACnC,aAAa,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,wBAAwB,GAAG;IACrC,WAAW,EAAE,IAAI,CAAC;IAClB,YAAY,EAAE,KAAK,CAAC;IACpB,QAAQ,EAAE,OAAO,CAAC;IAClB,aAAa,EAAE,OAAO,CAAC;IACvB,cAAc,EAAE,KAAK,GAAG,IAAI,CAAC;IAC7B,aAAa,EAAE,IAAI,GAAG,IAAI,CAAC;IAC3B,iBAAiB,EAAE,iBAAiB,CAAC;IACrC,cAAc,EAAE,iBAAiB,GAAG,IAAI,CAAC;IACzC,aAAa,EAAE,OAAO,CAAC;CACxB,CAAC;AAEF,oBAAY,8BAA8B;IACxC,SAAS,cAAc;IACvB,iBAAiB,wBAAwB;IACzC,WAAW,iBAAiB;IAC5B,gBAAgB,uBAAuB;IACvC,gBAAgB,uBAAuB;IACvC,iBAAiB,uBAAuB;IACxC,mBAAmB,yBAAyB;CAC7C;AAUD,wBAAgB,aAAa,CAAC,MAAM,EAAE,8BAA8B,GAAG,OAAO,CAE7E;AAED,MAAM,MAAM,wBAAwB,GAAG;IACrC,aAAa,EAAE,OAAO,CAAC;IACvB,QAAQ,EAAE,OAAO,CAAC;IAClB,MAAM,EAAE,8BAA8B,CAAC;CACxC,CAAC;AAEF,MAAM,MAAM,yBAAyB,GAAG,wBAAwB,GAAG;IACjE;;;OAGG;IACH,WAAW,CAAC,EAAE,8BAA8B,CAAC;IAC7C,2EAA2E;IAC3E,QAAQ,EAAE,OAAO,CAAC;IAClB,2DAA2D;IAC3D,WAAW,EAAE,OAAO,CAAC;IACrB,+EAA+E;IAC/E,UAAU,EAAE,OAAO,CAAC;CACrB,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAAG,CACjC,QAAQ,EAAE,wBAAwB,EAClC,GAAG,EAAE,uBAAuB,EAC5B,KAAK,EAAE,sBAAsB,EAC7B,KAAK,EAAE,qBAAqB,EAC5B,QAAQ,EAAE,wBAAwB,EAClC,MAAM,CAAC,EAAE,MAAM,KACZ,wBAAwB,CAAC;AAE9B,MAAM,MAAM,gBAAgB,GAAG,SAAS,GAAG,UAAU,CAAC;AAGtD,MAAM,MAAM,qBAAqB,GAAG;IAClC,WAAW,EAAE,GAAG,CAAC,OAAO,EAAE,UAAU,GAAG,IAAI,CAAC,CAAC;IAC7C,aAAa,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC,CAAC;IAC7C,eAAe,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC;IAChD,sBAAsB,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC7C,kDAAkD;IAClD,kBAAkB,EAAE,GAAG,CAAC,gBAAgB,EAAE,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC;IAChE,SAAS,CAAC,EAAE,gBAAgB,CAAC;IAC7B,iBAAiB,CAAC,EAAE,gBAAgB,CAAC;IACrC,oBAAoB,EAAE,GAAG,CAAC,MAAM,EAAE,gBAAgB,GAAG,IAAI,CAAC,CAAC;CAC5D,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAAG;IACpC,MAAM,EAAE;QACN,gCAAgC,EAAE,MAAM,CAAC;QACzC,oBAAoB,EAAE,MAAM,CAAC;KAC9B,CAAC;IACF,cAAc,IAAI,IAAI,CAAC;IACvB,OAAO,IAAI,UAAU,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,UAAU,GAAG,IAAI,CAAC;IAC3C,WAAW,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,GAAG,OAAO,CAAC;IAChD,YAAY,CAAC,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,GAAG,OAAO,CAAC;IAC9D,gBAAgB,CAAC,cAAc,EAAE,cAAc,GAAG;QAAC,IAAI,EAAE,OAAO,CAAC;QAAC,KAAK,EAAE,KAAK,CAAA;KAAC,GAAG,IAAI,CAAC;IACvF,sBAAsB,IAAI;QAAC,UAAU,EAAE,iBAAiB,CAAC;QAAC,QAAQ,EAAE,0BAA0B,CAAA;KAAC,CAAC;IAChG,sBAAsB,IAAI,iBAAiB,CAAC;IAC5C,sBAAsB,IAAI,GAAG,CAAC,cAAc,CAAC,CAAC;IAC9C,oBAAoB,IAAI,MAAM,CAAC;CAChC,CAAC;AAEF,MAAM,WAAW,qBAAqB;IACpC,gBAAgB,IAAI,OAAO,CAAC;IAC5B,uCAAuC,CAAC,GAAG,EAAE,uBAAuB,GAAG,sBAAsB,CAAC;CAC/F"}

package/lib/forkChoice/fastConfirmation/types.js

@@ -0,0 +1,22 @@
+export { FastConfirmationDecisionReason };
+var FastConfirmationDecisionReason;
+(function (FastConfirmationDecisionReason) {
+    FastConfirmationDecisionReason["Unchanged"] = "unchanged";
+    FastConfirmationDecisionReason["ConfirmedNotFound"] = "confirmed_not_found";
+    FastConfirmationDecisionReason["ResetBehind"] = "reset_behind";
+    FastConfirmationDecisionReason["ResetNotAncestor"] = "reset_not_ancestor";
+    FastConfirmationDecisionReason["ResetChainUnsafe"] = "reset_chain_unsafe";
+    FastConfirmationDecisionReason["ObservedJustified"] = "observed_justified";
+    FastConfirmationDecisionReason["ConfirmedDescendant"] = "confirmed_descendant";
+})(FastConfirmationDecisionReason || (FastConfirmationDecisionReason = {}));
+/** Reasons where the confirmed root is pulled backward (a reset), as opposed to advanced forward. */
+const RESET_REASONS = new Set([
+    FastConfirmationDecisionReason.ConfirmedNotFound,
+    FastConfirmationDecisionReason.ResetBehind,
+    FastConfirmationDecisionReason.ResetNotAncestor,
+    FastConfirmationDecisionReason.ResetChainUnsafe,
+]);
+export function isResetReason(reason) {
+    return RESET_REASONS.has(reason);
+}
+//# sourceMappingURL=types.js.map

package/lib/forkChoice/fastConfirmation/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/forkChoice/fastConfirmation/types.ts"],"names":[],"mappings":"SAkDY,8BAA8B;AAA1C,IAAY,8BAQX;AARD,WAAY,8BAA8B;IACxC,yDAAuB,CAAA;IACvB,2EAAyC,CAAA;IACzC,8DAA4B,CAAA;IAC5B,yEAAuC,CAAA;IACvC,yEAAuC,CAAA;IACvC,0EAAwC,CAAA;IACxC,8EAA4C,CAAA;AAAC,CAC/C,EARY,8BAA8B,KAA9B,8BAA8B,QAQzC;AAED,qGAAqG;AACrG,MAAM,aAAa,GAAG,IAAI,GAAG,CAAiC;IAC5D,8BAA8B,CAAC,iBAAiB;IAChD,8BAA8B,CAAC,WAAW;IAC1C,8BAA8B,CAAC,gBAAgB;IAC/C,8BAA8B,CAAC,gBAAgB;CAChD,CAAC,CAAC;AAEH,MAAM,UAAU,aAAa,CAAC,MAAsC,EAAW;IAC7E,OAAO,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AAAA,CAClC"}