Crate omena_incremental 

Salsa-backed incremental computation substrate for omena-css.

The crate owns graph snapshots, dirty-set planning, cancellation state, and fuzzable consistency cases. Downstream parser, semantic, and transform crates depend on these stable V0 payloads instead of reaching into Salsa internals directly.

Structs

DatalogRuleEvaluatorRuleV0

DatalogRuleEvaluatorV0

V0 freeze-candidate typed contract over the incremental dirty-plan substrate.

IncrementalAlphaEquivalenceHashV0

IncrementalCancellationRegistryV0

IncrementalCancellationSnapshotV0

IncrementalComputationNodeV0

IncrementalComputationPlanV0

IncrementalConsistencyFuzzCaseV0

IncrementalConsistencyFuzzResultV0

IncrementalDatabaseUpdateV0

IncrementalEditDistancePriorityInputV0

IncrementalFuzzSeedReportV0

IncrementalGraphInputV0

IncrementalInvalidationPriorityEntryV0

IncrementalInvalidationPriorityPlanV0

IncrementalLayerEvidenceV0

IncrementalNodeInputV0

IncrementalRevisionV0

IncrementalShadowDeltaOracleV0

IncrementalSnapshotNodeV0

IncrementalSnapshotV0

OmenaIncrementalBoundarySummaryV0

OmenaIncrementalDatabaseV0

OmenaSalsaDatabaseV0

OmenaWorkspaceSnapshotIdV0

SalsaIncrementalFileRevisionInputV0

SalsaIncrementalGraphInputV0

SalsaIncrementalNodeInputV0

Constants

DEFAULT_INCREMENTAL_CANCELLATION_LIMIT

Functions

read_salsa_file_revision_syntax_key

read_salsa_incremental_node_dependency_ids

read_salsa_incremental_node_digest

read_salsa_incremental_node_dirty_signature

read_salsa_incremental_node_value

run_incremental_consistency_fuzz_case

run_incremental_fuzz_seed_corpus

select_frame_aware_recheck_set

snapshot_from_graph_input

summarize_datalog_rule_evaluator_v0

summarize_incremental_invalidation_priority_plan_v0

summarize_incremental_layer_evidence_v0

summarize_incremental_shadow_delta_oracle_v0

summarize_omena_incremental_boundary

summarize_salsa_incremental_node_snapshot