Function: SpeculationCandidateSchema()

function SpeculationCandidateSchema<TIn, TOut, TReceipt, TCross, TEscPayload>(
   inSchema, 
   outSchema, 
   receiptSchema, 
   crossSchema?, 
   escalationSchema?
): ZodDiscriminatedUnion<[ZodObject<{
  branchIndex: ZodNumber;
  crossVerifyReport: ZodOptional<TCross> | ZodOptional<ZodUnknown>;
  input: TIn;
  output: TOut;
  scopeReceipt: TReceipt;
  status: ZodLiteral<"COMPLETED">;
}, $strip>, ZodObject<{
  branchIndex: ZodNumber;
  escalationPayload: ZodUnknown | TEscPayload;
  input: TIn;
  interruptId: ZodString;
  scopeReceipt: TReceipt;
  status: ZodLiteral<"PARKED_ON_ESCALATION">;
}, $strip>], "status">;

Defined in: schemas/speculation-schemas.ts:23

Builds the discriminated-union Zod schema for a single candidate branch in a speculative tournament (COMPLETED or PARKED_ON_ESCALATION).

Validates either a completed branch carrying its output, scope receipt, and optional cross-verification report, or a branch parked on an upward escalation carrying its interrupt identifier and escalation payload.

Type Parameters

Type Parameter	Default type	Description
TIn extends ZodTypeAny<unknown, unknown, $ZodTypeInternals<unknown, unknown>>	-	Branch input Zod schema type.
TOut extends ZodTypeAny<unknown, unknown, $ZodTypeInternals<unknown, unknown>>	-	Branch output Zod schema type.
TReceipt extends ZodTypeAny<unknown, unknown, $ZodTypeInternals<unknown, unknown>>	-	Scope receipt Zod schema type.
TCross extends ZodTypeAny<unknown, unknown, $ZodTypeInternals<unknown, unknown>>	ZodTypeAny<unknown, unknown, $ZodTypeInternals<unknown, unknown>>	Cross-verifier report Zod schema type.
TEscPayload extends ZodTypeAny<unknown, unknown, $ZodTypeInternals<unknown, unknown>>	ZodTypeAny<unknown, unknown, $ZodTypeInternals<unknown, unknown>>	Optional escalation payload Zod schema type.

Parameters

Parameter	Type	Description
inSchema	TIn	Zod schema for branch input payloads.
outSchema	TOut	Zod schema for completed branch outputs.
receiptSchema	TReceipt	Zod schema for inspected isolation scope receipts.
crossSchema?	TCross	Optional Zod schema for cross-verification reports.
escalationSchema?	TEscPayload	Optional Zod schema for parked escalation payloads.

Returns

ZodDiscriminatedUnion<[ZodObject<{ branchIndex: ZodNumber; crossVerifyReport: ZodOptional<TCross> | ZodOptional<ZodUnknown>; input: TIn; output: TOut; scopeReceipt: TReceipt; status: ZodLiteral<"COMPLETED">; }, $strip>, ZodObject<{ branchIndex: ZodNumber; escalationPayload: ZodUnknown | TEscPayload; input: TIn; interruptId: ZodString; scopeReceipt: TReceipt; status: ZodLiteral<"PARKED_ON_ESCALATION">; }, $strip>], "status">

Discriminated union schema for a tournament candidate.