Function decision_fabric_has_state 

pub fn decision_fabric_has_state(df: &DecisionFabric) -> bool

True iff the fabric carries a state-plane (heap) cell — i.e. it must be lowered by emit_state_plane_verilog (sequenced) rather than emit_decision_fabric_verilog (combinational).