Struct SemanticOverlay 

pub struct SemanticOverlay {
    pub type_cardinalities: BTreeMap<(String, String, String), f64>,
    pub function_cardinalities: BTreeMap<(String, String, String, usize), f64>,
    pub coupling: CouplingData,
}

Processed semantic overlay, ready for consumption by the compliance pipeline. Constructed from SemanticData.

Note: The backend-resolved enum cardinality uses max-variant cardinality (only intra-variant boolean soup is penalized), while the syn-based computation may differ. When the overlay is present, the backend values take precedence.

Fields

type_cardinalities: BTreeMap<(String, String, String), f64>

(file, module_path, type_name) -> resolved cardinality_log2

function_cardinalities: BTreeMap<(String, String, String, usize), f64>

(file, module_path, fn_name, line) -> resolved internal_state_cardinality_log2

coupling: CouplingData

Coupling density computed from call edges.

Implementations

impl SemanticOverlay

pub fn from_data(data: &SemanticData) -> Self

Build a SemanticOverlay from raw SemanticData.

pub fn type_cardinality( &self, file: &str, module_path: &str, name: &str, ) -> Option<f64>

Look up resolved type cardinality.

Uses suffix matching on file path and relaxed module_path matching to handle mismatches between syn (relative paths, empty module_path) and the semantic analysis backend (workspace-relative paths, resolved module_path).

pub fn function_cardinality( &self, file: &str, module_path: &str, name: &str, line: usize, ) -> Option<f64>

Look up resolved function internal state cardinality.

Uses suffix matching on the file path (see type_cardinality).

pub fn load(path: &Path) -> Result<Self, String>

Load SemanticData from a JSON file and build the overlay.

Trait Implementations

impl Clone for SemanticOverlay

fn clone(&self) -> SemanticOverlay

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for SemanticOverlay

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for SemanticOverlay

fn default() -> SemanticOverlay

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for SemanticOverlay

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for SemanticOverlay

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.