Skip to content

Interface: SpeculateVerifyWinnerConfig<TChildIn, TChildOut, THandle, TReceipt, TEvalOut> ​

Defined in: ast/speculate-capability-node.ts:20

Optional sole-survivor verification gate (verifyWinnerWith) for uncontested speculative tournaments.

Invokes evaluator when exactly one branch completes and zero branches are parked, avoiding full multi-candidate arbitration while still verifying the sole surviving branch.

Type Parameters ​

Type ParameterDefault typeDescription
TChildInunknownBranch worker input payload type.
TChildOutunknownBranch worker output payload type.
THandleunknownRuntime handle type of the active BranchableScope.
TReceiptunknownInspected scope receipt type.
TEvalOutunknownEvaluator output payload type.

Properties ​

PropertyModifierTypeDescriptionDefined in
acceptWhenreadonlyBivariantCallback<[evalOut: TEvalOut], boolean>Predicate returning true when the evaluator accepts the sole surviving branch.ast/speculate-capability-node.ts:35
evaluatorreadonlyAgentNode<unknown, TEvalOut, THandle>Read-only evaluator agent invoked on an uncontested sole survivor before committing.ast/speculate-capability-node.ts:28
mapInputreadonlyBivariantCallback<[branchInput: TChildIn, branchOutput: TChildOut, scopeReceipt: TReceipt], unknown>Synchronous mapper constructing the evaluator's input from (branchInput, branchOutput, scopeReceipt).ast/speculate-capability-node.ts:30

Released under the MIT License.