Skip to main content Crate omena_query Copy item path Source AbstractPropertyValueCandidateV0 AbstractPropertyValueNarrowingV0 AbstractValueDomainSummaryV0 AnalyzedGraphV0 BatchHypergraphConnectivityOracle CanonicalFormV0 CascadeContextV0 CascadeDimensionalRefinementBridgeV0 Bridge between context-indexed property values and refinement facts. CascadeValueFamilyMemberV0 ClassExpressionInputV2 ClassValueFlowAnalysisV0 ClassValueFlowIncrementalAnalysisV0 DesignSystemMinimumDescriptionV0 EngineInputV2 ExpressionDomainCallSiteFlowAnalysisV0 ExpressionDomainControlFlowAnalysisV0 ExpressionDomainFlowAnalysisV0 ExpressionDomainProvenanceExplanationsV0 ExpressionDomainReducedProductIterationV0 ExpressionSemanticsCanonicalProducerSignalV0 ExpressionSemanticsQueryFragmentsV0 ExternalStringTypeFactsV0 FastFactsV0 HypergraphClosurePath HypergraphIFDSSummaryEdgeV0 IncrementalEditDistancePriorityInputV0 IncrementalGraphInputV0 IncrementalInvalidationPriorityPlanV0 IncrementalNodeInputV0 IncrementalRevisionV0 Lin01ProvenanceSemiringV0 LinearProvenancePathV0 LinearProvenanceV0 V0 freeze-candidate provenance contract over the existing label vector. NaturalCountProvenanceSemiringV0 OmenaAbstractValuePrecisionWitnessV0 OmenaBundlerHostCapabilitiesV0 OmenaBundlerHostComposesEdgeV0 OmenaBundlerHostDiagnosticV0 OmenaBundlerHostResolveModuleRequestV0 OmenaBundlerHostResolveModuleResponseV0 OmenaCliResponseEnvelopeV0 OmenaCrossFileGraphDeltaEdgeV0 OmenaCrossFileGraphDeltaV0 OmenaCrossFileSummaryViewReportV0 OmenaErrorContextV0 OmenaErrorEvidenceReferenceV0 OmenaErrorV0 OmenaIncrementalDatabaseV0 OmenaQueryAnalysisPrecisionV0 OmenaQueryAnalysisResultV0 OmenaQueryBoundarySummaryV0 OmenaQueryBridgeExternalSifResolutionV0 OmenaQueryBuildAdmissionRequirementsV0 OmenaQueryBundleArtifactV0 OmenaQueryBundleCodeSplitWorkspacePlanOutputV0 OmenaQueryBundleCodeSplitWorkspacePlanV0 OmenaQueryBundleEvidenceGateV0 OmenaQueryBundleEvidenceManifestV0 OmenaQueryBundlePlanInputV0 OmenaQueryBundleReachabilityEvidenceV0 OmenaQueryBundleResultV0 OmenaQueryBundleWithEvidenceV0 OmenaQueryCanonicalFormInput OmenaQueryCascadeAtPositionV0 OmenaQueryCascadeConfidenceV0 OmenaQueryCascadeInsightV0 OmenaQueryCascadeNarrowingEvidenceV0 OmenaQueryCascadeOriginStylesheetV0 OmenaQueryCascadeSiteOutcomeV0 OmenaQueryCategoricalDesignSystemCrossProjectSummaryV0 OmenaQueryCategoricalDesignSystemInvariantSummaryV0 OmenaQueryCategoricalDesignSystemModelV0 OmenaQueryClosedWorldDecisionParityV0 OmenaQueryCodeActionPlanV0 OmenaQueryCodeActionV0 OmenaQueryCompletionAtPositionV0 OmenaQueryCompletionCandidateV0 OmenaQueryCompletionItemV0 OmenaQueryConsumerBuildOptionsV0 OmenaQueryConsumerBuildSummaryV0 OmenaQueryConsumerCheckSummaryV0 OmenaQueryCreateCustomPropertyActionV0 OmenaQueryCreateSelectorActionV0 OmenaQueryCrossFileSccEvidenceV0 OmenaQueryCrossFileSummaryCapabilitiesV0 OmenaQueryCrossFileSummaryEdgeKindCountV0 OmenaQueryCrossFileSummaryEdgeV0 OmenaQueryCrossFileSummaryV0 OmenaQueryCssModuleClassExportV0 OmenaQueryCssModuleClassReferenceV0 OmenaQueryCssModuleComposesEdgeFactV0 OmenaQueryCssModuleExportUsageV0 OmenaQueryCssModuleIcssExportV0 OmenaQueryCssModuleInterfaceV0 OmenaQueryCssModuleValueDefinitionEdgeFactV0 OmenaQueryCssModuleValueImportEdgeFactV0 OmenaQueryCssModulesComposesClosureEdgeV0 OmenaQueryCssModulesCrossFileResolutionCapabilitiesV0 OmenaQueryCssModulesCrossFileResolutionV0 OmenaQueryCssModulesCycleV0 OmenaQueryCssModulesExportUsageReportV0 OmenaQueryCssModulesIcssClosureEdgeV0 OmenaQueryCssModulesImportEdgeResolutionV0 OmenaQueryCssModulesInterfaceBundleV0 OmenaQueryCssModulesInterfaceSummaryViewV0 OmenaQueryCssModulesUnusedExportDiagnosticV0 OmenaQueryCssModulesUnusedExportSkipReasonCountV0 OmenaQueryCssModulesValueClosureEdgeV0 OmenaQueryCustomPropertyAnnotationSummaryV0 OmenaQueryCustomPropertyAnnotationV0 OmenaQueryCustomPropertyLeastFixedPointSummaryV0 OmenaQueryCustomPropertyOccurrenceIndexV0 OmenaQueryCustomPropertyOccurrenceV0 OmenaQueryDiagnosticSuppressionReasonV0 OmenaQueryDiagnosticSuppressionSummaryV0 OmenaQueryDynamicClassnameCallSiteV0 A dynamic-className call site observed in the analysed source document. OmenaQueryDynamicClassnameMTierInputV0 Input contract for the consumer-facing context-sensitive M-tier diagnostic
surface. OmenaQueryEngineInputV2 OmenaQueryEvaluationRuntimeSummaryV0 OmenaQueryExplainFactV0 A fact-backed explanation component. OmenaQueryExplainResponseV0 OmenaQueryExplainSourceSpanV0 OmenaQueryExpressionDomainFlowRuntimeV0 OmenaQueryExpressionDomainIncrementalFlowAnalysisEntryV0 OmenaQueryExpressionDomainIncrementalFlowAnalysisV0 OmenaQueryExpressionDomainSelectorPrecisionV0 OmenaQueryExpressionDomainSelectorProjectionEntryV0 OmenaQueryExpressionDomainSelectorProjectionV0 OmenaQueryExternalCssSemanticChangeV0 OmenaQueryExternalCssSemanticDiffV0 OmenaQueryExternalCssSemanticEntryV0 OmenaQueryExternalSifCacheContextV0 OmenaQueryExternalSifInputV0 OmenaQueryFragmentBundleV0 OmenaQueryIcssExportEdgeFactV0 OmenaQueryIcssImportEdgeFactV0 OmenaQueryInlineStyleRuntimeOverrideV0 OmenaQueryInsightV0 OmenaQueryLawvereDifferentialCommutativityWitnessV0 OmenaQueryLawvereModelTraceV0 OmenaQueryLawvereReorderabilityCertificateV0 OmenaQueryLawvereTransformExecuteSummaryV0 OmenaQueryLawvereTransformPassParallelPlanV0 OmenaQueryM4AxisCReadinessSummaryV0 OmenaQueryM4AxisCSummaryHashSamplesV0 OmenaQueryMinifyPassClassificationV0 OmenaQueryModuleIdV0 OmenaQueryModuleInterfaceProjectionV0 OmenaQueryNativeCssEvaluatorSummaryV0 OmenaQueryOmenaParserStyleFactsV0 OmenaQueryOpenWorldSnapshotV0 OmenaQueryParseTreeNodeV0 Recursive parse-tree node projected from the parse-tree contract IDL. OmenaQueryPluginAnalysisV0 OmenaQueryPluginChangeSummaryV0 OmenaQueryPluginIrNodeV0 OmenaQueryPluginMetadataV0 OmenaQueryPluginOutcomeV0 The required result of every plugin transform. OmenaQueryPluginTransformContextV0 OmenaQueryPluginTransformIrV0 OmenaQueryPluginWorkspaceSnapshotV0 OmenaQueryPrettyFormatOptionsV0 OmenaQueryReferenceLocationV0 OmenaQueryRefsForClassV0 OmenaQueryRegisteredCustomPropertyComputedValueV0 OmenaQueryRenamePlanV0 OmenaQueryRollbackReceiptV0 OmenaQueryRuntimeStateDriverSummaryV0 OmenaQueryRuntimeStateScenarioEvidenceV0 OmenaQueryRuntimeStateScenarioV0 OmenaQueryRuntimeStateStaticBoundaryV0 OmenaQuerySassModuleConformanceReportV0 OmenaQuerySassModuleConformanceRowV0 OmenaQuerySassModuleCrossFileResolutionCapabilitiesV0 OmenaQuerySassModuleCrossFileResolutionV0 OmenaQuerySassModuleCycleV0 OmenaQuerySassModuleEdgeFactV0 OmenaQuerySassModuleEdgeResolutionV0 OmenaQuerySassModuleGraphClosureEdgeV0 OmenaQuerySassModuleRuleConfigurationSurfaceV0 OmenaQuerySassModuleSourceEdgeV0 OmenaQuerySassModuleSourcesV0 OmenaQuerySassModuleUseEdgeV0 OmenaQuerySassSymbolFactV0 OmenaQuerySassSymbolResolutionCapabilitiesV0 OmenaQuerySassSymbolResolutionEdgeV0 OmenaQuerySassSymbolResolutionV0 OmenaQuerySassUnsupportedCountV0 OmenaQuerySassUnsupportedLedgerRecordV0 OmenaQuerySassUnsupportedLedgerViewV0 OmenaQuerySchemaVersionCheckV0 OmenaQuerySchemaVersionPolicyV0 OmenaQueryScssEvalCallReturnIrSummaryV0 OmenaQueryScssEvalControlFlowIrSummaryV0 Block summary for the per-region SCSS control-flow surface. OmenaQueryScssEvalControlFlowPruneReachabilityV0 Reachability recomputed after value-flow-driven control-flow pruning. OmenaQueryScssEvalControlFlowValueAnalysisV0 Value fixpoint over the per-region SCSS control-flow graph. OmenaQueryScssEvalNativeCssFunctionCallEvaluationSurfaceV0 OmenaQueryScssEvalNativeCssFunctionSurfaceV0 OmenaQueryScssEvalNativeCssIfFunctionDecisionSurfaceV0 OmenaQueryScssEvalNativeCssStaticEditPlanV0 OmenaQueryScssEvaluatorControlFlowOracleCorpusSummaryV0 OmenaQueryScssEvaluatorControlFlowSummaryV0 OmenaQuerySemanticReachabilitySourceV0 OmenaQueryShorthandCombinableV0 OmenaQuerySourceBindingDeclFactV0 OmenaQuerySourceBindingIndexV0 OmenaQuerySourceBindingScopeFactV0 OmenaQuerySourceBindingStyleImportFactV0 OmenaQuerySourceClassExpressionNodeFactV0 OmenaQuerySourceClassUtilityBindingFactV0 OmenaQuerySourceClassValuePatternV0 OmenaQuerySourceClassValueUniverseAxisV0 OmenaQuerySourceClassValueUniverseEntryV0 OmenaQuerySourceClassValueUnresolvedV0 OmenaQuerySourceClassnamesBindUtilityBindingFactV0 OmenaQuerySourceControlFlowGraphCaptureV0 OmenaQuerySourceDeclaresStyleImportFactV0 OmenaQuerySourceDeclaresUtilityBindingFactV0 OmenaQuerySourceDiagnosticV0 OmenaQuerySourceDiagnosticsForFileV0 OmenaQuerySourceDocumentInputV0 OmenaQuerySourceDomainClassReferenceFactV0 OmenaQuerySourceElementFactV0 OmenaQuerySourceElementIdentityFactV0 OmenaQuerySourceElementParentFactV0 OmenaQuerySourceExpressionTargetsModuleFactV0 OmenaQuerySourceFlowBindingRefV0 OmenaQuerySourceFlowBlockGraphSnapshotV0 OmenaQuerySourceFlowBlockSnapshotV0 OmenaQuerySourceImportDeclarationSummaryV0 OmenaQuerySourceImportDeclarationV0 OmenaQuerySourceImportedStyleBindingV0 OmenaQuerySourceInlineStyleDeclarationFactV0 OmenaQuerySourceLanguageParserBoundarySummaryV0 OmenaQuerySourceLanguageParserDescriptorV0 OmenaQuerySourceMissingSelectorDiagnosticCandidateV0 OmenaQuerySourceModuleSpecifierFactV0 OmenaQuerySourcePrecisionReferenceV0 OmenaQuerySourceProviderCandidateResolutionV0 OmenaQuerySourceScopeContainsDeclFactV0 OmenaQuerySourceScopeParentFactV0 OmenaQuerySourceSelectorCandidateV0 OmenaQuerySourceSelectorOccurrenceIndexV0 OmenaQuerySourceSelectorOccurrenceV0 OmenaQuerySourceSelectorReferenceCandidateV0 OmenaQuerySourceSelectorReferenceEditTargetV0 OmenaQuerySourceSelectorReferenceFactV0 OmenaQuerySourceStyleAccessUsesStyleImportFactV0 OmenaQuerySourceStyleImportResolvesModuleFactV0 OmenaQuerySourceStylePropertyAccessFactV0 OmenaQuerySourceSymbolRefUsesDeclFactV0 OmenaQuerySourceSyntaxIndexV0 OmenaQuerySourceTypeFactProviderUnavailableFactV0 OmenaQuerySourceTypeFactTargetV0 OmenaQuerySourceUtilityUsesStyleImportFactV0 OmenaQueryStaticConditionPruningEvidenceV0 OmenaQueryStaticLifExportsSummaryV0 OmenaQueryStaticStylesheetEvaluatorOracleCorpusSummaryV0 OmenaQueryStaticStylesheetEvaluatorSummaryV0 OmenaQueryStyleCascadeNarrowingSubstrateV0 Name-independent cascade-narrowing inputs precollected over a fixed style corpus
(rfcs#63 E-ii): per-file cascade declarations in style_sources order plus the
cross-file resolution. Building it costs one collection pass over the corpus; every
subsequent per-name narrowing (hover, completion documentation) is a cheap filter.
Only valid for the exact (style_sources, package_manifests, resolution_inputs) it
was built from — callers own that cache-key discipline. OmenaQueryStyleCompletionConsumerDecisionV0 OmenaQueryStyleContextIndexV0 OmenaQueryStyleDiagnosticV0 OmenaQueryStyleDiagnosticsForFileV0 OmenaQueryStyleDocumentSummaryV0 OmenaQueryStyleFrameRefreshFactsV0 OmenaQueryStyleFrameRefreshParseCacheV0 OmenaQueryStyleHoverCandidateV0 OmenaQueryStyleHoverCandidatesV0 OmenaQueryStyleHoverRenderPartsV0 OmenaQueryStyleInsightsV0 OmenaQueryStyleIntelligenceClassUniverseV0 OmenaQueryStyleIntelligenceCompletionV0 OmenaQueryStyleIntelligenceGraphBindingV0 OmenaQueryStyleIntelligenceHoverV0 OmenaQueryStyleIntelligenceProviderMetadataV0 OmenaQueryStyleIntelligenceSnapshotV0 OmenaQueryStyleIntelligenceSourceContextV0 OmenaQueryStylePackageManifestV0 OmenaQueryStyleResolutionInputsV0 OmenaQueryStyleResolutionPolicyStepV0 OmenaQueryStyleResolutionPolicyV0 OmenaQueryStyleSelectorDefinitionV0 OmenaQueryStyleSemanticGraphBatchEntryV0 OmenaQueryStyleSemanticGraphBatchOutputV0 OmenaQueryStyleSourceInputV0 OmenaQuerySymlinkChainLinkV0 OmenaQueryTargetConsumerBuildInputsV0 OmenaQueryTargetFeatureSupportV0 OmenaQueryTargetTransformOptionsV0 OmenaQueryTransformBuildProfileV0 OmenaQueryTransformBundleAssetUrlRewriteSummaryV0 OmenaQueryTransformBundleSourceSummaryV0 OmenaQueryTransformCascadeEnvironmentDeclarationV0 OmenaQueryTransformCascadeEnvironmentV0 OmenaQueryTransformClassNameRewriteV0 OmenaQueryTransformContextFromEngineInputSummaryV0 OmenaQueryTransformContextFromSourcesSummaryV0 OmenaQueryTransformCssModuleComposesResolutionV0 OmenaQueryTransformCssModuleValueResolutionV0 OmenaQueryTransformDesignTokenRouteV0 OmenaQueryTransformExecuteSummaryV0 OmenaQueryTransformExecutionContextV0 OmenaQueryTransformExecutionPolicyV0 OmenaQueryTransformExecutionSummaryV0 OmenaQueryTransformImportInlineV0 OmenaQueryTransformModuleEvaluationNativeEditV0 OmenaQueryTransformModuleEvaluationNativeReplacementV0 OmenaQueryTransformModuleEvaluationOracleV0 OmenaQueryTransformModuleEvaluationV0 OmenaQueryTransformPassExecutionOutcomeV0 OmenaQueryTransformPassSummaryV0 OmenaQueryTransformPlanSummaryV0 OmenaQueryTransformPrintOptionsV0 OmenaQueryTransformSemanticPreservationDecisionV0 OmenaQueryTransformSourceMapCompositionV0 OmenaQueryTransformSourceMapV3V0 OmenaQueryTransformStrictPolicyEventV0 OmenaQueryTransformStrictPolicySummaryV0 OmenaQueryTransformTargetQueryPlanV0 OmenaQueryTransformVendorPrefixPolicyV0 OmenaQueryUnifiedCrossFileHypergraphV0 OmenaQueryUnifiedCrossFileSccReportV0 OmenaQueryUtilityClassIntelligenceReportV0 OmenaQueryUtilityClassLintSignalV0 OmenaQueryWorkspaceTextEditV0 OmenaResolverSourceResolutionRuntimeIndexV0 OmenaResolverStyleModuleConfirmationIdentityIndexV0 OmenaResolverStyleModuleDiskCandidateIdentityV0 OmenaSalsaDatabaseV0 OmenaSdkBuildRequestV0 OmenaSdkBuildResponseV0 OmenaSdkBuildVerificationEventV0 OmenaSdkBuildVerificationSummaryV0 OmenaSdkDiagnosticsDebugReportV0 OmenaSdkDiagnosticsRequestV0 OmenaSdkDiagnosticsResponseV0 OmenaSdkDiagnosticsSummaryV0 OmenaSdkErrorEnvelopeV0 OmenaSdkExplainPositionV0 OmenaSdkExplainRequestV0 OmenaSdkExplainResponseV0 OmenaSdkQueryRequestV0 OmenaSdkQueryResponseV0 OmenaSdkSnapshotRequestV0 OmenaSdkSnapshotResponseV0 OmenaSdkWorkspaceV0 OmenaWorkspaceOccurrenceIndexV0 OmenaWorkspaceOccurrenceV0 OmenaWorkspaceSessionHandshakeRequestV0 OmenaWorkspaceSessionHandshakeResponseV0 OmenaWorkspaceSessionLimitsV0 OmenaWorkspaceSessionRequestV0 OmenaWorkspaceSessionResponseV0 OmenaWorkspaceSnapshotIdV0 ParserByteSpanV0 ParserPositionV0 ParserRangeV0 PolynomialProvenanceProjectionV0 PolynomialProvenanceTermV0 PolynomialProvenanceV0 PolynomialProvenanceVariableV0 PositionV2 ProvenanceSemiringLawReportV0 RangeV2 ReducedClassValueProductIterationV0 ReducedClassValueProductV0 ReverseDependencyIndexV0 SassNamespaceBitsV0 SelectedQueryAdapterCapabilitiesV0 SelectedQueryBackendCapabilityV0 SelectedQueryRunnerCommandV0 SelectorUsageCanonicalProducerSignalV0 SelectorUsageQueryFragmentsV0 SourceAnalysisInputV2 SourceDocumentV2 SourcePinV0 SourceResolutionCanonicalProducerSignalV0 SourceResolutionQueryFragmentsV0 StyleAnalysisInputV2 StyleDocumentV2 StyleEditDistanceCascadeMarginBridgeV0 StyleEditDistanceSummaryV0 StyleSelectorV2 TransformPrintArtifactV0 UnifiedHypergraphHyperedgeV0 AbstractClassValueV0 AbstractPropertyValueV0 FactPrecision HypergraphClosureMode ModelClassV0 OmenaAbstractValueCoverageDirectionV0 OmenaAbstractValuePrecisionBasisV0 OmenaCrossFileSummaryNodeRoleV0 OmenaCrossFileSummaryRawEdgeKindV0 OmenaErrorClassV0 OmenaErrorEvidenceBindingErrorV0 OmenaErrorRecoverabilityV0 OmenaErrorSeverityV0 OmenaParserStyleDialect OmenaQueryBuildVerificationProfileV0 OmenaQueryBundleEmissionPathV0 OmenaQueryClosedWorldBlockerV0 OmenaQueryClosedWorldOutcomeV0 OmenaQueryCssModuleExportUsageStatusV0 OmenaQueryCssModulesUnusedExportSkipReasonV0 OmenaQueryDiagnosticSuppressionModeV0 OmenaQueryDynamicClassValueInputV0 Deserializable abstract class value used to seed a dynamic-className call-site
exit value for context-sensitive M-tier analysis. OmenaQueryExplainAvailabilityV0 OmenaQueryExplainCapabilityV0 OmenaQueryExplainFactReferenceV0 OmenaQueryExplainFactValueV0 OmenaQueryExplainInputV0 OmenaQueryExplainSymbolKindV0 OmenaQueryExplainTargetV0 OmenaQueryExternalCssSemanticChangeClassificationV0 OmenaQueryExternalCssSemanticChangeKindV0 OmenaQueryExternalModuleModeV0 OmenaQueryMinifyPassProfileClassV0 OmenaQueryPluginKindV0 OmenaQueryPluginOutcomeValidationErrorV0 OmenaQueryRollbackScopeV0 OmenaQuerySourceClassValuePatternMatcherV0 OmenaQuerySourceSelectorReferenceMatchKindV0 OmenaQueryTransformDecisionV0 OmenaQueryTransformPrintMode OmenaQueryTransformStrictPolicyReasonV0 OmenaQueryTransformStyleDialect OmenaQueryUtilityClassMembershipKindV0 OmenaQueryUtilityConfigKindV0 OmenaSdkBuildVerificationProfileV0 OmenaSdkBuildVerificationReasonV0 OmenaSdkResponsePartitionV0 OmenaWorkspaceMonikerInput OmenaWorkspaceOccurrenceFamilyV0 OmenaWorkspaceOccurrenceKindV0 OmenaWorkspaceOccurrenceRoleV0 OmenaWorkspaceOccurrenceSurfaceV0 OmenaWorkspaceSessionOperationV0 RefinementPropertyPredicateV0 SelectorProjectionCertaintyV0 StyleLanguage TransformBundleEdgeKind UnifiedHypergraphEdgeKindV0 OMENA_BUNDLER_HOST_PROTOCOL_VERSION_V0 OMENA_QUERY_CURRENT_SCHEMA_VERSION OMENA_QUERY_CURRENT_SCHEMA_VERSION_LABEL OMENA_WORKSPACE_SESSION_PROTOCOL_VERSION_V0 OmenaPlugin OmenaUnifiedHypergraphConnectivityOracle abstract_class_value_from_facts abstract_class_value_kind append_omena_query_utility_class_intelligence apply_reverse_dependency_delta_v0 attach_omena_query_consumer_build_bundle_summary attach_omena_query_consumer_build_source_map_v3 attach_omena_query_consumer_build_source_map_v3_with_sources attach_omena_query_consumer_build_source_map_v3_with_sources_and_resolution_inputs build_omena_resolver_style_module_confirmation_identity_index built_in_omena_query_plugins built_in_omena_query_style_intelligence_provider built_in_omena_query_style_intelligence_providers canonicalize_css_value canonicalize_omena_query_source_selector_references check_omena_query_schema_version classify_omena_query_utility_class closed_world_omena_query_minify_build_profile collect_directed_graph_cycles All elementary directed circuits of adjacency, found per strongly-connected component:
partition with collect_directed_graph_sccs, then enumerate the simple cycles CONFINED to each
non-trivial SCC (a back-edge to the start closes a circuit). Each circuit is canonicalized via
canonical_hypergraph_cycle_labels (lex-smallest rotation, emitted CLOSED so a consumer’s
windows(2) successor lookup resolves), deduped and sorted. This is the cross-file CYCLE owner,
decoupled from the all-paths closure scan so the latter can be replaced without touching cycles. collect_directed_graph_cycles_with_work_cap collect_directed_graph_cycles with an explicit per-SCC work cap (for tests). On cap-hit a
dense SCC degrades to its lex-smallest representative circuit — a witnessed shrink, NEVER a
silent drop.collect_directed_graph_sccs The single shared strongly-connected-components primitive for the cross-file engine: exact
Tarjan over a deterministic BTreeMap adjacency, each component sorted, components in Tarjan
reverse-topological discovery order. Consumed by both this crate’s unified SCC report and
omena-streaming-ifds (which previously carried a byte-identical duplicate). collect_hypergraph_transitive_closure_paths collect_hypergraph_transitive_closure_paths_with_mode collect_omena_query_style_cascade_narrowing_substrate collect_omena_query_style_cascade_narrowing_substrate_with_external_sifs collect_omena_query_vue_style_module_bindings collect_reachable_node_ids The single shared reachability BFS loop for the cross-file engine: forward closure over a
deterministic BTreeMap adjacency, returned sorted (BTreeSet order). Generic over the
adjacency key type so each caller keeps its OWN adjacency builder (the distinct node spaces
comment-2 point 4 demands) while sharing exactly one traversal loop. (The substrate diagnostics
reachability is a separate borrowed-&str DFS over inline-filtered resolved edges and is
intentionally NOT one of the two BFS impls this collapses.) collect_reachable_node_ids_bitset compare_omena_query_external_css_semantic_changes_v0 compare_omena_query_transform_css_semantics_v0 compose_omena_query_transform_source_map_v3_with_upstream_map conservative_omena_query_target_options current_omena_bundler_host_capabilities_v0 default_omena_query_minify_build_profiles default_omena_query_minify_pass_classifications default_omena_query_transform_print_options derive_cascade_restriction_maps_v0 diagnostics_read_set_for_target_v0 The declared read-set of ONE style target’s workspace diagnostics, as a
path set over the summary’s edge graph: the target itself, its FORWARD
closure (modules whose contents the target’s resolution, token, cascade,
replica-ensemble, and reachability arms read), and its DIRECT reverse
neighbors (style and source files whose references decide the target’s
usage-derived diagnostics). This is the verifying-trace manifest for the
disk diagnostics cache: completeness is oracle-gated in the LSP crate
(a manifest-verified hit must be byte-identical to a fresh compute), so
any diagnostics arm that grows a wider read window fails the oracle
instead of silently serving stale shards. execute_built_in_omena_query_plugin execute_omena_query_consumer_build_style_source execute_omena_query_consumer_build_style_source_for_target_query execute_omena_query_consumer_build_style_source_for_target_query_with_context_and_options execute_omena_query_consumer_build_style_source_for_target_query_with_context_options_additional_passes_and_build_options execute_omena_query_consumer_build_style_source_for_target_query_with_context_options_and_additional_passes execute_omena_query_consumer_build_style_source_for_target_query_with_options execute_omena_query_consumer_build_style_source_with_context execute_omena_query_consumer_build_style_source_with_context_and_options execute_omena_query_consumer_build_style_source_with_engine_input_context execute_omena_query_consumer_build_style_sources execute_omena_query_consumer_build_style_sources_for_target_query_with_context_and_build_inputs execute_omena_query_consumer_build_style_sources_for_target_query_with_context_and_options execute_omena_query_consumer_build_style_sources_for_target_query_with_context_and_options_and_resolution_inputs execute_omena_query_consumer_build_style_sources_for_target_query_with_context_options_additional_passes_and_resolution_inputs execute_omena_query_consumer_build_style_sources_for_target_query_with_options execute_omena_query_consumer_build_style_sources_with_context execute_omena_query_consumer_build_style_sources_with_context_and_options execute_omena_query_consumer_build_style_sources_with_context_and_resolution_inputs execute_omena_query_consumer_build_style_sources_with_context_resolution_inputs_and_options execute_omena_query_transform_passes_from_source execute_omena_query_transform_passes_from_source_with_context execute_omena_query_transform_passes_from_source_with_lawvere_trace execute_omena_sdk_diagnostics_debug_workflow execute_omena_sdk_diagnostics_workflow explain_omena_query explain_omena_query_tree_shake_for_style_source explain_omena_query_tree_shake_unavailable fact_precision_from_class_value fact_precision_from_class_value_with_witness fact_precision_from_evidence_analysis_precision generate_omena_bridge_sif_for_resolved_style_path Bridges the resolver→generator hop in-process: takes a resolved external
style module entry (the file:// URI returned by
resolve_omena_bridge_style_uri_for_specifier*, or a plain filesystem
path) and produces an OmenaSifV1 by reading the entry’s source and
running the static SIF generator. generate_omena_bridge_sif_for_resolved_style_path_with_cache_context invalidate_omena_resolver_style_identity_cache is_omena_query_sass_symbol_candidate_kind is_omena_query_sass_symbol_declaration_kind is_omena_query_sass_symbol_reference_kind iterate_reduced_class_value_product_constraints join_abstract_class_values list_omena_query_transform_pass_summaries load_omena_query_workspace_style_resolution_inputs load_omena_query_workspace_utility_class_intelligence modern_omena_query_target_feature_support narrow_abstract_property_value_for_cascade_branch narrow_abstract_property_value_for_pseudo_state negotiate_omena_workspace_session_v0 occurrences_for_monikers omena_error_from_boundary_encoding omena_query_checker_rule_code_name_for_diagnostic_v0 omena_query_external_css_semantic_diff_is_total_v0 omena_query_sass_symbol_kind_from_candidate_kind omena_query_sass_symbol_target_matches omena_query_style_intelligence_completions_at_offset omena_query_style_intelligence_hover_at_offset omena_resolver_style_identity_generation omena_workspace_moniker omena_workspace_session_failure_v0 omena_workspace_session_success_v0 parse_cross_file_summary_node_role_v0 parse_cross_file_summary_raw_edge_kind_v0 parse_style_document_typed_v0 prefix_suffix_class_value print_omena_query_transform_source_with_pretty_options read_omena_query_cascade_at_position read_omena_query_cascade_at_position_analysis_result read_omena_query_cascade_at_position_from_graph read_omena_query_cascade_at_position_with_categorical_evidence read_omena_query_style_context_index recompute_cross_file_summary_raw_edge_kind_counts_v0 render_omena_query_css_module_typescript_declaration render_omena_query_css_modules_interface_json resolve_omena_bundler_host_module_v0 resolve_omena_query_bridge_external_sifs_for_seed_pairs resolve_omena_query_bridge_external_sifs_for_style_sources resolve_omena_query_sass_forward_sources resolve_omena_query_sass_module_use_sources_for_candidate resolve_omena_query_sass_symbol_declarations resolve_omena_query_selector_rename_edits resolve_omena_query_source_candidate_selector_names resolve_omena_query_source_precision_for_source resolve_omena_query_source_provider_candidates resolve_omena_query_style_selector_definitions_for_source_candidate resolve_omena_query_style_uri_for_specifier resolve_omena_query_style_uri_for_specifier_with_package_manifests resolve_omena_query_style_uri_for_specifier_with_resolution_inputs reverse_dependency_closure_v0 reverse_dependency_index_from_edges_v0 rewrite_omena_transform_bundle_asset_urls_in_source round_trip_omena_query_linear_provenance_labels run_omena_query_bundle run_omena_query_bundle_for_style_sources_with_context run_omena_query_bundle_with_evidence_for_style_sources_with_context run_omena_query_bundle_with_semantic_inputs run_omena_query_bundle_with_semantic_inputs_and_options safe_omena_query_minify_build_profile semantic_omena_query_minify_build_profile snapshot_from_graph_input split_top_level_value_arguments split_top_level_whitespace_value_components strict_omena_query_verification_build_profile summarize_cascade_dimensional_refinement_bridge_v0 summarize_cascade_value_family_v0 summarize_cross_file_graph_delta_v0 summarize_cross_file_summary_view_v0 summarize_html_standard_user_agent_sample_v0 summarize_omena_query_analyzed_graph summarize_omena_query_boundary summarize_omena_query_build_decision_coverage_refusal summarize_omena_query_build_preflight_refusals summarize_omena_query_bundle_code_split_source_map_v3 summarize_omena_query_bundle_code_split_workspace_plan summarize_omena_query_bundle_evidence summarize_omena_query_canonical_form summarize_omena_query_cascade_aware_style_diagnostics summarize_omena_query_cascade_aware_style_diagnostics_with_deep_analysis Cascade-aware diagnostics with an explicit opt-in deep-analysis switch. With
deep_analysis == false (the default surface) only the product cascade gate
diagnostics are emitted; deep_analysis == true additionally surfaces the
rg-flow / categorical theory hints, deduplicated against circularVar. summarize_omena_query_cascade_origin_stylesheet_v0 summarize_omena_query_cascade_site_outcomes_from_source Project the product cascade scanner and ranker onto stable site outcomes. summarize_omena_query_categorical_design_system_cross_project_summary summarize_omena_query_closed_world_outcome_for_style_source summarize_omena_query_consumer_build_source_map_v3 summarize_omena_query_consumer_build_source_map_v3_with_resolution_inputs summarize_omena_query_consumer_check_style_source summarize_omena_query_core_abstract_value_domain summarize_omena_query_css_modules_export_usage summarize_omena_query_css_modules_interface_bundle summarize_omena_query_css_modules_interface_summary_view summarize_omena_query_css_modules_local_composes_style_diagnostics RFC-0007-F (#46): composes-target validation restricted to outcomes that are fully resolvable
from a single file with no cross-file --source context. Only composes: x / composes: x, y
(Local edges) target the file’s own selectors and can be checked here; composes: x from global
(Global edges) reference no concrete selector and produce nothing; composes: x from './other'
(External edges) require the sibling module’s facts, which a single-file invocation does not have,
so they are deliberately skipped to avoid a false missingComposedSelector/missingComposedModule.
@value imports are always cross-file and are likewise excluded. summarize_omena_query_css_modules_resolution_style_diagnostics summarize_omena_query_custom_property_annotations summarize_omena_query_custom_property_occurrence_index summarize_omena_query_design_system_minimum_description Compute a genuine two-part minimum-description-length code for a design system. summarize_omena_query_dynamic_classname_m_tier_diagnostics_with_context_depth Run the context-sensitive M-tier dynamic-className analysis at the supplied
call-string bound k and lower the result into consumer source diagnostics. summarize_omena_query_evaluation_runtime summarize_omena_query_expression_domain_call_site_flow_analysis summarize_omena_query_expression_domain_control_flow_analysis summarize_omena_query_expression_domain_flow_analysis summarize_omena_query_expression_domain_incremental_flow_analysis summarize_omena_query_expression_domain_incremental_flow_analysis_result summarize_omena_query_expression_domain_provenance_explanations summarize_omena_query_expression_domain_reduced_product_iteration summarize_omena_query_expression_domain_selector_projection summarize_omena_query_expression_domain_selector_projection_with_precision summarize_omena_query_expression_semantics_canonical_producer_signal summarize_omena_query_expression_semantics_query_fragments summarize_omena_query_fast_facts summarize_omena_query_fragment_bundle summarize_omena_query_global_class_fallthrough_diagnostic Two-tier reference universe, tier two: the name failed the bound CSS
Module’s export set but resolves in the GLOBAL class universe (class
selectors of indexed non-module stylesheets). At runtime a bind-style
lookup falls through to the literal class name, which the global
stylesheet styles — so this is not a missing selector; it is a scoping
fact worth disclosing (the emitted class is literal and unscoped). summarize_omena_query_linear_provenance summarize_omena_query_linear_provenance_semiring_laws summarize_omena_query_linear_provenance_with_support_count summarize_omena_query_m4_axis_c_readiness summarize_omena_query_missing_custom_property_diagnostics summarize_omena_query_missing_extend_target_diagnostics summarize_omena_query_missing_keyframes_diagnostics summarize_omena_query_missing_sass_symbol_diagnostics summarize_omena_query_missing_sass_symbol_diagnostics_for_workspace summarize_omena_query_missing_selector_diagnostic summarize_omena_query_module_interface_projection Per-document module-interface projection from source text alone — the
SAME projection the workspace transaction compares to populate
changed_module_interface_paths, so callers can decide “this edit
preserved the module interface” from one single-file parse instead of a
workspace selector build. summarize_omena_query_native_css_evaluator_from_engine_input summarize_omena_query_native_css_evaluator_from_source summarize_omena_query_omena_parser_css_modules_intermediate summarize_omena_query_omena_parser_lex summarize_omena_query_omena_parser_style_facts summarize_omena_query_polynomial_provenance summarize_omena_query_refs_for_class summarize_omena_query_refs_for_class_from_occurrence_index summarize_omena_query_refs_for_workspace_class summarize_omena_query_refs_for_workspace_class_with_resolution_inputs summarize_omena_query_registered_custom_property_computed_value_v0 summarize_omena_query_rename_plan summarize_omena_query_rename_plan_for_workspace_class summarize_omena_query_rename_plan_for_workspace_class_with_resolution_inputs summarize_omena_query_rename_plan_from_occurrence_index summarize_omena_query_sass_import_deprecation_hints summarize_omena_query_sass_module_conformance_v0 summarize_omena_query_sass_module_cross_file_resolution_for_workspace summarize_omena_query_sass_module_resolution_identity_diagnostics_for_workspace summarize_omena_query_sass_module_source_edges summarize_omena_query_sass_module_sources summarize_omena_query_sass_unsupported_ledger_view_v0 summarize_omena_query_schema_version_policy summarize_omena_query_scss_evaluator_control_flow_from_engine_input summarize_omena_query_scss_evaluator_control_flow_from_source summarize_omena_query_scss_evaluator_control_flow_oracle_corpus summarize_omena_query_selected_query_adapter_capabilities summarize_omena_query_selector_usage_canonical_producer_signal summarize_omena_query_selector_usage_query_fragments summarize_omena_query_source_baseline_diagnostics_for_workspace_file_with_source_syntax_index_and_definitions summarize_omena_query_source_binding_index summarize_omena_query_source_binding_index_for_source_language summarize_omena_query_source_completion_at_position summarize_omena_query_source_completion_for_workspace_file summarize_omena_query_source_completion_for_workspace_file_with_resolution_inputs summarize_omena_query_source_control_flow_graph_for_source_language summarize_omena_query_source_diagnostics_for_file summarize_omena_query_source_diagnostics_for_workspace_file summarize_omena_query_source_diagnostics_for_workspace_file_with_context_depth Workspace source diagnostics with an explicit call-string bound k for the
harvested dynamic-className M-tier flow. The default LSP entry pins
k = OMENA_QUERY_WORKSPACE_DYNAMIC_CLASSNAME_CONTEXT_DEPTH; this variant
exposes k so the context-sensitivity of the harvested k-CFA flow is
observable (a context-insensitive k = 0 run joins call sites that share a
callee binding and emits a different M-tier diagnostic set). summarize_omena_query_source_diagnostics_for_workspace_file_with_resolution_inputs summarize_omena_query_source_diagnostics_for_workspace_file_with_source_syntax_index summarize_omena_query_source_diagnostics_for_workspace_file_with_source_syntax_index_and_context_depth summarize_omena_query_source_diagnostics_for_workspace_file_with_source_syntax_index_and_definitions summarize_omena_query_source_import_declarations summarize_omena_query_source_import_declarations_for_source_language summarize_omena_query_source_language_parser_boundary_v0 summarize_omena_query_source_resolution_canonical_producer_signal summarize_omena_query_source_resolution_query_fragments summarize_omena_query_source_resolution_runtime summarize_omena_query_source_selector_occurrence_index summarize_omena_query_source_selector_reference_cross_file_summary summarize_omena_query_source_selector_reference_cross_file_summary_with_resolution_inputs summarize_omena_query_source_syntax_index summarize_omena_query_source_syntax_index_for_source_language summarize_omena_query_source_type_fact_control_flow_graph_for_source_language summarize_omena_query_static_lif_exports_from_engine_input summarize_omena_query_static_lif_exports_from_source summarize_omena_query_static_stylesheet_evaluator_from_engine_input summarize_omena_query_static_stylesheet_evaluator_from_source summarize_omena_query_static_stylesheet_evaluator_oracle_corpus summarize_omena_query_style_completion_at_position summarize_omena_query_style_completion_candidate_documentation summarize_omena_query_style_completion_candidate_documentation_for_workspace_file summarize_omena_query_style_completion_candidate_documentation_for_workspace_file_with_substrate Substrate-backed variant of
summarize_omena_query_style_completion_candidate_documentation_for_workspace_file
(rfcs#63 E-ii): the per-candidate documentation reuses the precollected narrowing
substrate instead of re-collecting the whole corpus per completion item. summarize_omena_query_style_completion_for_workspace_file summarize_omena_query_style_completion_for_workspace_file_with_resolution_inputs summarize_omena_query_style_completion_for_workspace_file_with_substrate summarize_omena_query_style_diagnostics_for_file summarize_omena_query_style_diagnostics_for_file_with_deep_analysis File-level diagnostics summary with an explicit opt-in deep-analysis switch.
deep_analysis == false (the default LSP/CLI surface) keeps only the product
cascade diagnostics; deep_analysis == true surfaces the rg-flow / categorical
theory hints, deduplicated against circularVar. summarize_omena_query_style_diagnostics_for_file_with_local_composes RFC-0007-F (#46): single-file style-diagnostics (no --source) used to skip composes-target
validation entirely, so a bare invocation and one with any unrelated --source produced
different diagnostics for the same file. This variant augments the single-file summary with the
composes outcomes that are fully resolvable without cross-file context — only composes: x
(Local edges) against the file’s own selectors. Global edges produce nothing and External edges
(composes: x from './other') are deliberately left to the --source-backed workspace path, so
no false missingComposedSelector/missingComposedModule is invented for an unseen sibling. summarize_omena_query_style_diagnostics_for_file_with_local_composes_and_deep_analysis Single-file (local composes) diagnostics summary with an explicit opt-in
deep-analysis switch. deep_analysis == false (the default surface) keeps only
the product cascade diagnostics; deep_analysis == true surfaces the rg-flow /
categorical theory hints, deduplicated against circularVar. summarize_omena_query_style_diagnostics_for_workspace_file summarize_omena_query_style_diagnostics_for_workspace_file_with_external_mode summarize_omena_query_style_diagnostics_for_workspace_file_with_external_mode_and_sifs summarize_omena_query_style_diagnostics_for_workspace_file_with_external_mode_and_sifs_and_resolution_inputs Workspace-file style diagnostics variant that additionally carries the workspace’s
tsconfig/bundler path mappings. RFC-0007-J (#50): the unused-selector usage collector resolves
source-document style imports through these mappings so an alias import (@/styles/a.module.scss)
is attributed to its real module — matching the reference/goto path — instead of leaving every
selector dimmed unusedSelector. Path mappings only affect alias resolution; with empty mappings
the behaviour is byte-for-byte the no-mappings entry above. summarize_omena_query_style_diagnostics_for_workspace_file_with_external_mode_and_sifs_and_resolution_inputs_and_suppression_mode summarize_omena_query_style_diagnostics_for_workspace_file_with_external_mode_and_sifs_and_suppression_mode summarize_omena_query_style_document summarize_omena_query_style_edit_distance summarize_omena_query_style_edit_distance_cascade_margin_bridge summarize_omena_query_style_extract_code_actions summarize_omena_query_style_frame_refresh_facts_with_reuse summarize_omena_query_style_hover_candidates summarize_omena_query_style_hover_render_parts summarize_omena_query_style_hover_render_parts_for_hover_position summarize_omena_query_style_hover_render_parts_for_workspace_file summarize_omena_query_style_hover_render_parts_for_workspace_file_hover_position summarize_omena_query_style_hover_render_parts_for_workspace_file_hover_position_with_substrate Substrate-backed variant of
summarize_omena_query_style_hover_render_parts_for_workspace_file_hover_position . summarize_omena_query_style_hover_render_parts_for_workspace_file_with_substrate Substrate-backed variant of
summarize_omena_query_style_hover_render_parts_for_workspace_file : the
name-independent collection (per-file cascade declarations + cross-file resolution)
comes precollected, so only the per-name narrowing runs here. The substrate MUST
have been built from the same style_sources (rfcs#63 E-ii). summarize_omena_query_style_inline_code_actions summarize_omena_query_style_inline_code_actions_with_resolution_inputs summarize_omena_query_style_insight_code_actions summarize_omena_query_style_insights summarize_omena_query_style_refactor_code_actions summarize_omena_query_style_refactor_code_actions_with_resolution_inputs summarize_omena_query_style_resolution_policy_v0 summarize_omena_query_style_semantic_graph_batch_from_sources summarize_omena_query_style_semantic_graph_batch_from_sources_with_package_manifests summarize_omena_query_style_semantic_graph_batch_from_sources_with_resolution_inputs summarize_omena_query_style_semantic_graph_from_source summarize_omena_query_target_unresolved_sass_import_diagnostics_for_workspace_paths summarize_omena_query_transform_context_from_engine_input summarize_omena_query_transform_context_from_sources summarize_omena_query_transform_context_from_sources_with_resolution_inputs summarize_omena_query_transform_plan_from_source summarize_omena_query_transform_plan_from_source_with_context summarize_omena_query_transform_plan_from_target_query summarize_omena_query_transform_plan_from_target_query_with_context summarize_omena_query_unified_cross_file_hypergraph summarize_omena_query_unified_cross_file_scc_report summarize_omena_query_unused_selector_style_diagnostics summarize_omena_query_unused_selector_style_diagnostics_with_path_mappings summarize_omena_query_utility_class_intelligence_for_config summarize_omena_query_workspace_cross_file_summary summarize_omena_query_workspace_cross_file_summary_with_resolution_inputs summarize_omena_query_workspace_occurrence_index_from_occurrences summarize_omena_query_workspace_occurrence_index_from_source_occurrences summarize_omena_transform_bundle_from_source summarize_polynomial_provenance_from_linear_v0 syntax_node_id_for_omena_query_style_source tabulate_hypergraph_ifds_summary_edges validate_omena_query_closed_world_decision_parity verify_provenance_semiring_laws_on_fixtures OmenaCrossFileLinearProvenanceV0 OmenaError OmenaQueryBundlerPathAliasMappingV0 OmenaQueryLinearProvenanceV0 OmenaQueryPolynomialProvenanceV0 OmenaQuerySourceTypeFactControlFlowGraphV0 OmenaQueryStyleModuleDiskCandidateIdentityV0 OmenaQueryTsconfigPathMappingV0 StringTypeFactsV2 TypeFactEntryV2