Skip to main content

Crate omena_query

Crate omena_query 

Source

Structs§

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

Enums§

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

Constants§

OMENA_BUNDLER_HOST_PROTOCOL_VERSION_V0
OMENA_QUERY_CURRENT_SCHEMA_VERSION
OMENA_QUERY_CURRENT_SCHEMA_VERSION_LABEL
OMENA_WORKSPACE_SESSION_PROTOCOL_VERSION_V0

Traits§

OmenaPlugin
OmenaUnifiedHypergraphConnectivityOracle

Functions§

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

Type Aliases§

OmenaCrossFileLinearProvenanceV0
OmenaError
OmenaQueryBundlerPathAliasMappingV0
OmenaQueryLinearProvenanceV0
OmenaQueryPolynomialProvenanceV0
OmenaQuerySourceTypeFactControlFlowGraphV0
OmenaQueryStyleModuleDiskCandidateIdentityV0
OmenaQueryTsconfigPathMappingV0
StringTypeFactsV2
TypeFactEntryV2