Verification (Nao) | Nao

Verification Module

Namespace: Nao.Agents
Assembly: Nao.Agents.dll

Captures and manages execution traces for verification

Functions and values

Function or value	Description
`addStep action input output durationMs trace` Full Usage: `addStep action input output durationMs trace` Parameters: action : `TraceAction` input : `string` output : `string` durationMs : `int64` trace : `ExecutionTrace` Returns: `ExecutionTrace`	Add a step to the trace action : `TraceAction` input : `string` output : `string` durationMs : `int64` trace : `ExecutionTrace` Returns: `ExecutionTrace`
`checkReadiness checks agentId input` Full Usage: `checkReadiness checks agentId input` Parameters: checks : `IReadinessCheck list` agentId : `AgentId` input : `string` Returns: `Task<ReadinessResult>`	Run all readiness checks checks : `IReadinessCheck list` agentId : `AgentId` input : `string` Returns: `Task<ReadinessResult>`
`complete output trace` Full Usage: `complete output trace` Parameters: output : `string` trace : `ExecutionTrace` Returns: `ExecutionTrace`	Complete the trace with success output : `string` trace : `ExecutionTrace` Returns: `ExecutionTrace`
`fail error trace` Full Usage: `fail error trace` Parameters: error : `string` trace : `ExecutionTrace` Returns: `ExecutionTrace`	Complete the trace with failure error : `string` trace : `ExecutionTrace` Returns: `ExecutionTrace`
`groundTaskAsync provider options taskDescription` Full Usage: `groundTaskAsync provider options taskDescription` Parameters: provider : `ILlmProvider` options : `CompletionOptions` taskDescription : `string` Returns: `Task<TaskGrounding>`	Ground a task by having the agent reformulate its understanding provider : `ILlmProvider` options : `CompletionOptions` taskDescription : `string` Returns: `Task<TaskGrounding>`
`startTrace agentId input` Full Usage: `startTrace agentId input` Parameters: agentId : `AgentId` input : `string` Returns: `ExecutionTrace`	Create a new execution trace agentId : `AgentId` input : `string` Returns: `ExecutionTrace`