Module query 

Contract query engine with BM25 semantic search.

Provides fast lookup across all contracts with semantic ranking, regex/literal search, and structured filters.

Spec: docs/specifications/sub/query.md

Re-exports

pub use cross_project::CrossProjectIndex;

Modules

cross_project

Cross-project contract usage index.

registry

Contract tier and kernel equivalence class lookups.

Structs

ContractIndex

In-memory contract index with inverted indexes for fast lookup.

DiffInfo

Git diff summary for a contract.

EquationBinding

Binding status for a single equation.

ProjectCoverage

Per-project coverage summary for a contract.

ProofStatusInfo

Inline proof status info for enrichment.

QueryOutput

Output of a query execution.

QueryParams

Parameters controlling a query.

QueryResult

A single query result with relevance score and optional enrichment.

ScoreInfo

Inline score info for enrichment.

ViolationInfo

A contract violation detected in a consumer project.

Enums

SearchMode

How to interpret the query string.

Functions

execute

Execute a query against a contract index.