Skip to main content

Crate omena_transform_cst

Crate omena_transform_cst 

Source
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§

TransformCstArtifactV0
TransformCstBoundarySummaryV0
TransformDagEdgeV0
TransformPassContractV0

Enums§

TransformLayer
TransformPassKind
TransformPassReadModel

Constants§

TRANSFORM_PASS_CATALOG_LEN

Functions§

all_transform_pass_kinds
build_transform_cst_artifact
default_transform_dag_edges
default_transform_pass_contracts
summarize_omena_transform_cst_boundary