Expand description
Transform CST contract substrate for the post-v5 omena-css track.
This crate intentionally starts at the contract layer: transform passes are only valid when they declare which semantic/cascade facts they read and what cascade-safety obligation they must preserve.
Structs§
- Cascade
Safety Witness V0 - Stable
Transform IrNode V0 - Stable
Transform IrV0 - Transform
CstArtifact V0 - Transform
CstBoundary Summary V0 - Transform
CstProvenance Anchor V0 - Transform
DagEdge V0 - Transform
Pass Contract V0
Enums§
Constants§
Functions§
- all_
transform_ pass_ kinds - build_
stable_ transform_ ir_ from_ source - build_
transform_ cst_ artifact - build_
transform_ cst_ artifact_ with_ dialect - cascade_
safe_ obligation - cascade_
safety_ witness - default_
transform_ dag_ edges - default_
transform_ pass_ contracts - summarize_
omena_ transform_ cst_ boundary - transform_
cst_ style_ dialect_ label