Skip to main content

assert_portable_component_graph

behavior_contracts::guard

Function assert_portable_component_graph 

Source 
pub fn assert_portable_component_graph(
    ir: &Value,
) -> Result<(), PortabilityError>
Expand description

Portability Guard for a component-graph IR (scp-ir-architecture.md §5), operating on the raw serde_json::Value IR (P0-2). Enforces, fail-closed:

  1. component (componentRef / map) is a string catalog reference only.
  2. every Expression-IR node in ports / output / map.over / cond uses only the known operator closed set (PORTABLE_EXPR_OPERATORS).