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 - IrBlock
Span V0 - IrEdit
Region V0 - IrNode
IdV0 - IrNode
V0 - IrTransaction
V0 - Minify
Pass Classification V0 - Pass
Semantic Contract V0 - Rewrite
Candidate V0 - Stable
Node KeyU64 V0 - Stable
Node KeyV0 - Stable
Transform IrNode V0 - Stable
Transform IrV0 - Transform
Build Profile V0 - Transform
CstArtifact V0 - Transform
CstBoundary Summary V0 - Transform
CstProvenance Anchor V0 - Transform
DagEdge V0 - Transform
IrIdentity Round Trip V0 - Transform
IrIndexes V0 - Transform
IrKind Index V0 - Transform
IrParent Index V0 - Transform
IrParse Error Span V0 - Transform
IrV0 - Transform
Pass Contract V0 - Transform
Pass Descriptor V0 - Transform
Pass Observation Record V0 - Transform
Pass Spec V0 - Transform
Strict Policy Descriptor V0 - Verification
Report V0 - Verified
Rewrite V0
Enums§
- IrNode
Kind V0 - IrTarget
V0 - IrTransaction
Error V0 - IrTransaction
Validation Error V0 - Minify
Pass Classification Derivation V0 - Minify
Pass Profile Class V0 - Node
Text Origin V0 - Observation
Kind V0 - Pass
Assumption Kind V0 - Pass
Observation Surface V0 - Stable
Transform IrNode Kind V0 - Style
Dialect - Transform
IrPrint Error V0 - Transform
Layer - Transform
Pass Class V0 - Transform
Pass Kind - Transform
Pass Read Model - Transform
Verification Error V0
Constants§
- NATIVE_
CSS_ STATIC_ EVAL_ DIALECT_ RESTRICTION_ V0 - NATIVE_
CSS_ STATIC_ EVAL_ OPT_ IN_ POLICY_ V0 - NATIVE_
CSS_ STATIC_ EVAL_ SPEC_ SNAPSHOT_ V0 - STABLE_
NODE_ KEY_ STRING_ ARM_ EXPIRY_ UTC_ DATE_ V0 - STABLE_
NODE_ KEY_ TYPE_ LABEL_ V0 - STABLE_
TRANSFORM_ IR_ NODE_ IDENTITY_ POLICY_ V0 - STABLE_
TRANSFORM_ IR_ SCHEMA_ VERSION_ V0 - STRICT_
VERIFICATION_ BUILD_ PROFILE_ ID_ V0 - TRANSFORM_
PASS_ CATALOG_ LEN
Functions§
- all_
transform_ pass_ kinds - apply_
verified_ rewrite - build_
stable_ transform_ ir_ from_ source - build_
transform_ cst_ artifact - build_
transform_ cst_ artifact_ with_ dialect - build_
verified_ transform_ cst_ artifact_ with_ dialect - cascade_
safe_ obligation - cascade_
safety_ witness - closed_
world_ minify_ build_ profile - default_
minify_ build_ profiles - default_
minify_ pass_ classifications - default_
transform_ dag_ edges - default_
transform_ pass_ contracts - default_
transform_ pass_ descriptors - default_
transform_ pass_ observation_ records - lower_
transform_ ir_ from_ source - materialize_
transform_ ir_ printed_ source - minify_
pass_ profile_ classification - obligation_
family_ for_ transform_ pass - pass_
observation_ contract - print_
transform_ ir_ css - safe_
minify_ build_ profile - semantic_
minify_ build_ profile - strict_
policy_ descriptor_ for_ profile - strict_
verification_ build_ profile - strict_
verification_ policy_ descriptor - structural_
block_ spans_ for_ source - summarize_
omena_ transform_ cst_ boundary - summarize_
transform_ ir_ identity_ round_ trip - transform_
build_ profile_ from_ passes - transform_
cst_ style_ dialect_ label - transform_
pass_ class - transform_
pass_ descriptor - transform_
pass_ requires_ closed_ world_ bundle - transform_
pass_ sort_ ordinal - verify_
rewrite_ candidate - verify_
rewrite_ candidate_ with_ backend - verify_
rewrite_ candidate_ with_ backend_ and_ closed_ world_ bundle - verify_
rewrite_ candidate_ with_ closed_ world_ bundle