Skip to content

omenien/omena-query

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

22 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

omena-query

Internal Rust crate for the Omena query boundary.

This crate owns the consumer-facing query surface that groups producer query fragments with the abstract-value projection contract. Source-resolution wrappers now route through omena-resolver so resolver ownership can move independently while query output contracts stay stable.

Current public products:

  • omena-query.boundary — summary of the query boundary and delegated producer fragment surfaces.
  • omena-query.fragment-bundle — grouped expression semantics, source resolution, and selector usage query fragments.
  • omena-query.selected-query-adapter-capabilities — declared backend capability matrix and engine-shadow-runner command contract for the current selected-query adapter path, including the expression semantics payload contracts exposed to downstream query consumers.
  • selected-query query fragment wrappers for expression semantics, source resolution, and selector usage runner commands.
  • selected-query canonical producer wrappers for source resolution, expression semantics, and selector usage runner commands. These keep the existing JSON output contracts stable while moving ownership into omena-query.
  • selected-query source-resolution runtime index wrapper for the input-omena-resolver-source-resolution-runtime runner command. This exposes the resolver-owned expression-to-selector runtime product through the selected query boundary.
  • selected-query expression-domain flow analysis wrapper for the input-expression-domain-flow-analysis runner command. This exposes the omena-abstract-value flow product through the query boundary while keeping the lower-level product name stable.
  • selected-query expression-domain control-flow analysis wrapper for the input-expression-domain-control-flow-analysis runner command. This exposes CFG-aware abstract-value analysis through the selected-query boundary.
  • selected-query expression-domain incremental flow runtime for the input-expression-domain-incremental-flow-analysis runner command. This keeps per-graph omena-incremental Salsa databases alive across daemon requests so repeated query analysis can reuse clean graph results.
  • selected-query style semantic graph adapter wrappers. These preserve the omena-semantic.style-semantic-graph products while delegating graph assembly to omena-bridge.

Primary check:

pnpm cme-check run rust/omena-query/boundary

Boundary ownership check:

pnpm cme-check run rust/omena-query/runner-boundary

Split boundary check:

pnpm cme-check bundle rust/omena-query/split-boundary

About

Omena query boundary over producer fragments and bridge surfaces

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors

Languages