Expand description
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§
- Datalog
Rule Evaluator Rule V0 - Datalog
Rule Evaluator V0 - V0 freeze-candidate typed contract over the incremental dirty-plan substrate.
- Incremental
Cancellation Registry V0 - Incremental
Cancellation Snapshot V0 - Incremental
Computation Node V0 - Incremental
Computation Plan V0 - Incremental
Consistency Fuzz Case V0 - Incremental
Consistency Fuzz Result V0 - Incremental
Database Update V0 - Incremental
Fuzz Seed Report V0 - Incremental
Graph Input V0 - Incremental
Layer Evidence V0 - Incremental
Node Input V0 - Incremental
Revision V0 - Incremental
Snapshot Node V0 - Incremental
Snapshot V0 - Omena
Incremental Boundary Summary V0 - Omena
Incremental Database V0 - Salsa
Incremental Node Input V0
Constants§
Functions§
- plan_
incremental_ computation - read_
salsa_ incremental_ node_ dependency_ ids - read_
salsa_ incremental_ node_ digest - 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_ layer_ evidence_ v0 - summarize_
omena_ incremental_ boundary - summarize_
salsa_ incremental_ node_ snapshot