Interface: CrossVerifierBuilder<THandle, TReceipt, TCrossReport, TNode>

Defined in: ast/cross-verifier-builder.ts:16

Fluent builder contract for cross-candidate verification primitives (git.patchEquivalence, git.publicSurfaceCrossTester).

Exposes id and reportSchema directly on the builder instance so downstream .speculate() arbiter schemas (P.SpeculationInputSchema(..., crossTester.reportSchema)) can reference reportSchema without calling .toAST().

Extends

• AstBuilder<TNode>

Type Parameters

Type Parameter	Default type	Description
THandle	unknown	Isolation scope runtime handle type.
TReceipt extends Record<string, unknown>	Record<string, unknown>	Inspected scope receipt record type.
TCrossReport	unknown	Structured cross-verification report type.
TNode extends CrossVerifierASTNode<THandle, TReceipt, TCrossReport>	CrossVerifierASTNode<THandle, TReceipt, TCrossReport>	Concrete CrossVerifierASTNode produced by .toAST().

Methods

toAST()

toAST(): TNode;

Defined in: ast/ast-builder.ts:20

Compiles the current builder configuration into a deeply frozen passive AST node.

Validates required builder invariants at compilation time and returns an immutable plain-object AST representation containing zero execution methods.

Returns

TNode

Deeply frozen passive AST node.

Inherited from

AstBuilder.toAST

Properties

Property	Modifier	Type	Description	Defined in
id	readonly	string	Unique identifier of the cross-verifier primitive.	ast/cross-verifier-builder.ts:27
reportSchema	readonly	ZodType<TCrossReport>	Zod schema validating each candidate branch's cross-verification report.	ast/cross-verifier-builder.ts:29