Interface: BaseCrossVerifierASTNode<TType, THandle, TReceipt, TCrossReport>

Defined in: ast/base/base-cross-verifier-ast-node.ts:15

Domain-agnostic base AST node contract for speculative cross-verifiers (CrossVerifierASTNode).

Compares or cross-tests surviving candidate branches during the CROSS_VERIFYING phase of .speculate() tournaments before invoking .arbiter().

Extended by

• GitPatchEquivalenceNode
• GitPublicSurfaceCrossTesterNode
• GitPatchEquivalenceNode
• GitPublicSurfaceCrossTesterNode

Type Parameters

Type Parameter	Default type	Description
TType extends string	string	String-literal discriminant of the cross-verifier node.
THandle	unknown	Isolation scope handle type of candidate branches.
TReceipt extends Record<string, unknown>	Record<string, unknown>	Scope receipt type produced by candidate branches.
TCrossReport	unknown	Validated cross-verification report type per branch.

Properties

Property	Modifier	Type	Description	Defined in
__handleBrand?	readonly	BivariantCallback<[handle: THandle], void>	Phantom type brand binding the verifier to its compatible scope handle type.	ast/base/base-cross-verifier-ast-node.ts:28
__receiptBrand?	readonly	BivariantCallback<[receipt: TReceipt], void>	Phantom type brand binding the verifier to its compatible scope receipt type.	ast/base/base-cross-verifier-ast-node.ts:30
id	readonly	string	Logical identifier of the cross-verifier.	ast/base/base-cross-verifier-ast-node.ts:24
reportSchema	readonly	ZodType<TCrossReport>	Zod schema validating the cross-verification report attached to each candidate.	ast/base/base-cross-verifier-ast-node.ts:26
type	readonly	TType	Unique string-literal discriminant of the cross-verifier node.	ast/base/base-cross-verifier-ast-node.ts:22