Module search 

Full-text search across findings in a frontier or VelaRepo.

Structs

CrossFrontierResult

A search result grouped by source frontier.

SearchResult

A single search result with relevance score.

Functions

run

CLI entry point for vela search.

run_all

CLI entry point for vela search --all <dir>.

search

Search findings by query text, with optional entity and assertion type filters.

search_all

Search across all .json frontier files in a directory.

search_frontier

Search a pre-loaded frontier (avoids re-loading from disk).