Struct SemanticBoundary 

pub struct SemanticBoundary { /* private fields */ }

A semantic boundary: the public API of a module must not expose any forbidden type. Declared in Rust (the single source of truth), alongside — and composed with — the static constitution at the gate. Each dimension owns its own declaration DSL and expresses findings in the shared 璇璣 model; the shell merges them into one reaction.

Implementations

impl SemanticBoundary

pub fn in_crate(package: &str) -> SemanticCrateDraft

Begin a semantic boundary in the crate named package.

pub fn crate_package(&self) -> &str

The crate this boundary governs.

pub fn module(&self) -> &str

The governed module path (e.g. crate::domain).

pub fn forbidden(&self) -> &[String]

The forbidden type paths / module prefixes whose exposure is a violation.

pub fn reason(&self) -> &str

The human-readable reason recorded with the boundary (the repair hint).

pub fn with_anchor(self, anchor: &str) -> Self

Attach a durable governance anchor (e.g. "ADR-014") — a stable pointer into the project’s governance, distinct from the free-text reason. Optional; a boundary with none projects and reacts exactly as before.

pub fn anchor(&self) -> Option<&str>

The durable governance anchor recorded with the boundary, if any.

pub fn severity(&self) -> Severity

The boundary’s severity (enforce or warn).

pub fn including_trait_impls(&self) -> bool

Whether the boundary also observes trait impl blocks (the opt-in semantic-trait-impl-exposure depth). false is the v1 signature-coupling surface.

Trait Implementations

impl Clone for SemanticBoundary

fn clone(&self) -> SemanticBoundary

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SemanticBoundary

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

Formats the value using the given formatter.

impl Eq for SemanticBoundary

impl PartialEq for SemanticBoundary

fn eq(&self, other: &SemanticBoundary) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for SemanticBoundary