Interface: CrossVerifierBranchCandidate<THandle>
Defined in: ports/runtime-executor-registry.ts:94
Candidate branch descriptor supplied to a CrossVerifierASTNode executor in RuntimeExecutorRegistry.crossVerifiers.
Pairs each surviving speculative branch index with its live scope handle and inspected receipt.
Type Parameters
| Type Parameter | Default type | Description |
|---|---|---|
THandle | unknown | Runtime handle type of the candidate branch's isolation scope. |
Properties
| Property | Modifier | Type | Description | Defined in |
|---|---|---|---|---|
branchIndex | readonly | number | Zero-based speculative branch index. | ports/runtime-executor-registry.ts:96 |
scopeHandle | readonly | THandle | Live isolation scope handle for the candidate branch. | ports/runtime-executor-registry.ts:98 |
scopeReceipt | readonly | Record<string, unknown> | Inspected scope receipt for the candidate branch. | ports/runtime-executor-registry.ts:100 |