Skip to content
KortexyaKortexyaReasoning Layer SDK

Type Alias: TraceProperty

@kortexya/reasoninglayer

@kortexya/reasoninglayer / TraceProperty

Type Alias: TraceProperty

Section titled “Type Alias: TraceProperty”

TraceProperty = { NoToolUseMatchingRegex: { inputRegex: string; toolName: string; }; } | { ToolAlwaysSucceeds: { toolName: string; }; } | { MustPrecede: { first: string; second: string; }; } | { All: TraceProperty[]; }

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

A purely syntactic predicate over an agent trace, externally tagged.

Remarks

Section titled “Remarks”
  • NoToolUseMatchingRegex — no step uses toolName (empty matches any tool) with a JSON-serialized input matching inputRegex.
  • ToolAlwaysSucceeds — every step using toolName has success = true.
  • MustPrecede — every second step is preceded by a first step.
  • All — every predicate holds.