Skip to content

Function: SpeculationInputSchema() ​

ts
function SpeculationInputSchema<TIn, TOut, TReceipt, TCross, TEscPayload>(
   inSchema, 
   outSchema, 
   receiptSchema, 
   crossSchema?, 
   escalationSchema?
): ZodObject<{
  candidates: ZodArray<ZodDiscriminatedUnion<[ZodObject<{
     branchIndex: ZodNumber;
     crossVerifyReport: ZodOptional<ZodUnknown> | ZodOptional<TCross>;
     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">>;
  failedBranches: ZodDefault<ZodArray<ZodObject<{
     branchIndex: ZodNumber;
     errorSummary: ZodString;
  }, $strip>>>;
  humanRulingsHistory: ZodDefault<ZodArray<ZodObject<{
     branchIndex: ZodNumber;
     interruptId: ZodString;
     rulingSummary: ZodString;
  }, $strip>>>;
}, $strip>;

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

Builds the complete input Zod schema delivered to a .speculate() arbiter agent (candidates, failedBranches, and humanRulingsHistory).

Combines the array of surviving or parked tournament candidates with deterministic failure summaries and prior human escalation rulings across multi-round tournament continuations.

Type Parameters ​

Type ParameterDefault typeDescription
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 ​

ParameterTypeDescription
inSchemaTInZod schema for branch input payloads.
outSchemaTOutZod schema for completed branch outputs.
receiptSchemaTReceiptZod schema for inspected isolation scope receipts.
crossSchema?TCrossOptional Zod schema for cross-verification reports.
escalationSchema?TEscPayloadOptional Zod schema for parked escalation payloads.

Returns ​

ZodObject<{ candidates: ZodArray<ZodDiscriminatedUnion<[ZodObject<{ branchIndex: ZodNumber; crossVerifyReport: ZodOptional<ZodUnknown> | ZodOptional<TCross>; 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">>; failedBranches: ZodDefault<ZodArray<ZodObject<{ branchIndex: ZodNumber; errorSummary: ZodString; }, $strip>>>; humanRulingsHistory: ZodDefault<ZodArray<ZodObject<{ branchIndex: ZodNumber; interruptId: ZodString; rulingSummary: ZodString; }, $strip>>>; }, $strip>

Complete arbiter input Zod schema.

Released under the MIT License.