Skip to content
KortexyaKortexyaReasoning Layer SDK

Type Alias: OutputPredicate

@kortexya/reasoninglayer

@kortexya/reasoninglayer / OutputPredicate

Type Alias: OutputPredicate

Section titled “Type Alias: OutputPredicate”

OutputPredicate = { TracePredicate: TraceProperty; } | { InBox: AbstractIntervalVec; } | { ArgmaxIs: { class: number; }; } | { LinearInequality: { coeffs: number[]; rhs: number; strict: boolean; }; } | { Conjunction: OutputPredicate[]; } | { Disjunction: OutputPredicate[]; }

Defined in: src/types/verification.ts:231

An output-side predicate the verifier must discharge, externally tagged.

Remarks

Section titled “Remarks”
  • InBox — the output lies inside the hyperrectangle.
  • ArgmaxIs — the output’s argmax is class.
  • LinearInequality — Σ coeffs_i · y_i < rhs (strict) or <= rhs.
  • Conjunction / Disjunction — all / at least one of the predicates hold.
  • TracePredicate — an exact predicate over a supplied finite agent trace (not a numeric output).