Module semantic 

Restricted Semantic Operation Graphs.

This is deliberately a closed vocabulary. The graph is a target for compiler-independent normalization, not a generic program representation: code that cannot be expressed by one of these operations is left outside semantic matching. That restriction keeps later findings explainable as a sequence of registered transformations instead of turning this mode into a claim of general semantic equivalence.

Structs

ApiNormalization

The result of normalizing registered API observations.

ConstructObservation

One compiler-confirmed non-API operation eligible for a registered SOG rule.

CrossLanguageApiCorrespondence

One explicit correspondence between Rust and C++ standard-library APIs.

CrossLanguageCandidateExtraction

Candidate pairs and accounting for an opt-in Rust-to-C++ comparison.

CrossLanguageCandidateInput

One graph admitted to a caller-selected Rust-to-C++ comparison domain.

CrossLanguageCandidateStats

Accounting for opt-in Rust-to-C++ candidate extraction.

CrossLanguageRuleMatch

One verified Rust-to-C++ rule application with its closed correspondence evidence.

OperationAttributes

Attributes retained for an operation without importing compiler internals.

OperationEdge

A directed graph edge addressed by graph-local node positions.

OperationNode

One operation in source order; its position is a graph-local reference.

OperationObservation

One compiler-independent observation eligible for a registered SOG rule.

RuleMatch

One successful registered rule application.

SemanticCandidateConfig

Limits for the registered SOG candidate index.

SemanticCandidateExtraction

Candidate pairs and their complete accounting.

SemanticCandidatePair

One pair selected by the bounded SOG candidate index.

SemanticCandidateStats

Accounting for registered SOG candidate extraction.

SemanticGraphWindow

One bounded source fragment whose graph satisfies a registered rule when compared with itself.

SemanticGrouping

Cohesive semantic groups and the verified pairs they do not represent.

SemanticGroupingStats

Accounting for registered semantic grouping.

SemanticGroupingUnit

Position-free identity of one SOG-owning unit supplied to semantic grouping.

SemanticOperationGraph

A versioned, compiler-independent restricted semantic graph.

SemanticRule

A registered, explainable SOG correspondence rule.

SemanticRuleGroup

A cohesive set of SOG-owning units justified by one registered rule.

SemanticRulePattern

A declarative, closed SOG pattern for one registered semantic rule.

SemanticSourceRange

Ephemeral source range attached to one normalized operation.

UngroupedSemanticPair

Semantic pairs left outside a cohesive group, with an explicit reason.

VerifiedSemanticPair

One verified semantic candidate paired with the rule that justified it.

Enums

DirectPropagation

A closed propagation form established by a compiler helper.

FallibleKind

A standard fallible container retained by a compiler-confirmed operation.

OperationEdgeKind

Why one operation precedes or is paired with another.

OperationKind

One permitted semantic operation.

SemanticGraphError

A graph rejected an operation or relationship outside the restricted model.

SemanticRuleMatcher

A closed, declarative matching strategy for a registered semantic rule.

SemanticRuleScope

The explicit comparison domain a registered rule may inspect.

Constants

CROSS_LANGUAGE_CANDIDATE_INDEX_VERSION

Version of the opt-in Rust-to-C++ candidate index.

SEMANTIC_CANDIDATE_INDEX_VERSION

Version of the coarse index used to bound registered SOG comparisons.

SEMANTIC_RULE_REGISTRY_VERSION

Version of the built-in restricted-semantic rule registry.

SEMANTIC_WINDOWING_VERSION

Version of the bounded source-window extraction for registered SOG rules.

SOG_SCHEMA_VERSION

Version of the closed SOG vocabulary and normalization contract.

Functions

cross_language_api_correspondence

Find the correspondence entry for one compiler-confirmed standard API.

cross_language_api_correspondences

Return the complete closed Rust-to-C++ API correspondence table.

extract_cross_language_candidates

Extract bounded candidates for an explicit Rust-to-C++ comparison.

extract_registered_candidates

Extract bounded candidate pairs for registered SOG rules.

group_verified_semantic_pairs

Group verified registered-rule pairs without treating pair compatibility as transitive.

match_cross_language_optional_validation

Match an explicit Rust Option validation with its C++ optional counterpart.

match_cross_language_pipeline

Match one explicitly selected Rust-to-C++ sequence pipeline.

match_cross_language_result_direct_propagation

Match a Rust direct Result adapter with a C++ direct expected identity return. Both helpers must establish the same language-neutral error/value category and the exact registered propagation form.

match_cross_language_result_validation

Match a Rust Result presence branch with the C++ expected counterpart.

match_registered_pipeline

Match two equivalent registered API pipelines without comparing API spelling.

match_registered_rule

Match any closed, registered SOG correspondence rule.

normalize_registered_apis

Normalize only APIs covered by the initial, explicit operation registry.

normalize_registered_observations

Normalize registered API and compiler-confirmed construct observations.

normalize_registered_observations_with_ranges

Normalize registered observations with their exact source ranges.

registered_rules

Rules enabled by default because each has an explicit, bounded meaning.

registered_semantic_windows

Extract the largest source-contiguous windows that a same-variant rule can justify on its own.

verify_cross_language_candidates

Verify explicit Rust-to-C++ candidates using every registered API mapping.

verify_registered_candidates

Verify candidate pairs against the registered rules.