PromptRunner.Verifier (PromptRunnerSDK v0.9.0)

Deterministic prompt verification.

Summary

report()

contract_keys()

Returns the contract clauses the verifier evaluates.

@type report() :: %{
  pass?: boolean(),
  items: [map()],
  failures: [map()],
  prompt_id: String.t() | nil
}

@spec contract_items(map()) :: [map()]

@spec contract_keys() :: [String.t()]

Returns the contract clauses the verifier evaluates.

Anything else under verify: is parsed, stored, and never evaluated, which is what mix prompt_runner packet lint reads this list to detect.

@spec verify(
  PromptRunner.Plan.t(),
  keyword()
) :: {:ok, [report()]}

@spec verify_prompt(PromptRunner.Plan.t(), map(), keyword()) :: report()