Generated ownership and product-reachability index for every Rust workspace crate.

The catalog classifies every workspace crate without presenting each substrate as a standalone product. Product guides document CLI, LSP, query, NAPI, WASM, and bundler facades; crate READMEs document lower-level contracts.

Crate	Surface	Layer role	Responsibility
`engine-shadow-runner`	Check and evidence	`I`	selected query shadow runner
`engine-style-parser`	Legacy oracle	`I`	differential parser oracle only
`omena-abstract-value`	Product runtime	`R1`	query/checker class-value and selector projection substrate
`omena-benchmarks`	Check and evidence	`I`	performance baseline harness
`omena-bridge`	Product runtime	`R2`	semantic/source bridge consumed through omena-query
`omena-bundler`	Product runtime	`R2`	standalone 0.x bundle/source-map planning surface consumed through query transform runner and compatibility crate
`omena-cascade`	Product runtime	`R1`	cascade-formal substrate consumed by query/checker/transform paths
`omena-cascade-proof`	Product runtime	`R1`	product-owned cascade proof contracts consumed by checker and transform paths
`omena-categorical`	Check and evidence	`R1`	lab categorical evidence compatibility exercised by product-lab severance gates
`omena-checker`	Product runtime	`R2`	checker rule engine consumed by query checker orchestrator
`omena-cli`	CLI runtime	`P`	shipped omena CLI command surface
`omena-cross-file-summary`	Product runtime	`R1`	cross-file hypergraph substrate consumed by query and streaming IFDS
`omena-cst-typed`	Product runtime	`R1`	borrowed typed CST projection consumed through omena-query
`omena-diff-test`	Check and evidence	`I`	parser differential and regression oracle harness
`omena-engine-input-producers`	Product runtime	`R1`	source-derived producer contracts used by resolver/bridge/query
`omena-ensemble`	Check and evidence	`R1`	lab replica-overlap evidence compatibility exercised by product-lab severance gates
`omena-evidence-graph`	Product runtime	`R1`	evidence graph substrate consumed by omena-query diagnostics
`omena-incremental`	Product runtime	`R1`	incremental invalidation substrate used by query-core and LSP
`omena-interner`	Product runtime	`R1`	parser/semantic interning substrate
`omena-lawvere`	Research and fixture	`R1`	differential commutativity witness crate not in default product dependency closure
`omena-lsp-server`	Product runtime	`P`	standalone Rust LSP server and VS Code thin-client backend
`omena-meta-macros`	Support	`S`	metadata macro support for spec/audit surfaces
`omena-napi`	published-binding	`P`	N-API product binding
`omena-parser`	Product runtime	`R1`	product parser consumed by query/LSP/transform paths
`omena-product-hints`	Product runtime	`R1`	product-owned hint contracts consumed by default checker diagnostics
`omena-query`	Product runtime	`R2`	consumer-facing analysis facade
`omena-query-checker-orchestrator`	Product runtime	`R2`	query checker orchestration facade
`omena-query-core`	Product runtime	`R2`	query core substrate consumed by omena-query facade
`omena-query-transform-runner`	Product runtime	`R2`	transform family facade consumed by omena-query
`omena-reachability-datalog-lab`	Check and evidence	`R1`	independent Datalog reachability witness consumed by diff-test equivalence checks
`omena-reactive`	Product runtime	`R1`	read-only reactive observation graph consumed by the LSP server
`omena-refinement`	Product runtime	`R1`	refinement bridge substrate consumed by query-core
`omena-refinement-trait`	Product runtime	`R1`	refinement trait substrate consumed by cascade/smt
`omena-resolver`	Product runtime	`R1`	style/source resolver substrate consumed by query and bridge
`omena-rg-flow`	Check and evidence	`R1`	lab RG-flow evidence compatibility exercised by product-lab severance gates
`omena-scss-eval`	Product runtime	`R1`	oracle-first SCSS and Less value evaluator rail consumed by omena-query
`omena-semantic`	Product runtime	`R2`	semantic graph substrate consumed by query/bridge
`omena-sif`	Product runtime	`R1`	SIF generation/resolution contract consumed by CLI/query/LSP
`omena-smt`	Check and evidence	`R1`	lab SMT compatibility oracle preserved behind product-owned cascade proof contracts
`omena-spec-audit`	Check and evidence	`R1`	spec audit gate and metadata evidence
`omena-streaming-ifds`	Product runtime	`R1`	live cross-file reachability report used by CLI/LSP paths
`omena-syntax`	Product runtime	`R1`	syntax-kind substrate consumed by parser
`omena-testkit`	Check and evidence	`S`	fixture/testkit boundary for parser and differential gates
`omena-transform-bundle`	Support	`R2`	historical compatibility re-export for the omena-bundler V0 surface
`omena-transform-cst`	Product runtime	`R1`	transform CST substrate consumed by transform family
`omena-transform-egg`	Product runtime	`R2`	egg-backed transform witness surface consumed by query transform runner
`omena-transform-passes`	Product runtime	`R2`	core transform pass runtime consumed through query transform runner
`omena-transform-print`	Product runtime	`R2`	transform printer runtime consumed through query transform runner
`omena-transform-target`	Product runtime	`R2`	target-sensitive transform planner consumed through query transform runner
`omena-tsgo-client`	Product runtime	`S`	TypeScript/tsgo client support used by Rust LSP source facts
`omena-umbrella`	Umbrella	`U`	aggregate crate for published crate-family imports
`omena-value-lattice`	Product runtime	`R1`	region-local CSS value lens and canonicalizer consumed by transform/query/SIF paths
`omena-variational`	Check and evidence	`R1`	lab variational evidence compatibility exercised by product-lab severance gates
`omena-wasm`	published-binding	`P`	Wasm product binding
`omena-zk-audit`	CLI runtime	`R1`	opt-in CLI ZK audit command surface
`omena-zk-circuit`	Research and fixture	`R1`	constraint-generation substrate behind opt-in ZK audit work

Rust crate catalog