Gralkor.Search (jido_gralkor v5.0.0)

Copy Markdown View Source

A search across the operator's baseline memory and additional Lens destinations.

The requesting operator's reserved "default" destination is always searched first. Each entry in targets is an additional registered operator-local Lens name or the reserved "global" target. "global" searches the whole shared global pool without filtering by originating Lens; global Lens names are provenance and cannot be used as search targets. Results are combined in destination order.

Summary

Types

t()

@type t() :: %Gralkor.Search{
  max_results: pos_integer(),
  operator_id: String.t(),
  query: String.t(),
  targets: [String.t()]
}