Struct EffectInheritanceViolation 

pub struct EffectInheritanceViolation {
    pub type_name: String,
    pub handoff_id: String,
    pub source_persona: String,
    pub target_label: String,
    pub violations: Vec<EffectRecord>,
    pub diagnostic_code: String,
    pub repair_id: String,
    pub repair_safety: String,
    pub message: String,
}

Typed deny payload returned when a child handoff exceeds the parent’s declared effect set. The dispatcher (E5.4) emits this as the body of an EffectInheritanceViolation event and refuses the spawn. The same repair_id is suggested by harn check’s static HARN-CAP-301 path, so a user can dispatch one harn fix --apply strategy regardless of which path surfaced the failure.

Fields

type_name: String

Stable name for the deny payload — matches the variant carried on the deny event so downstream consumers can route by string.

handoff_id: String

Handoff that requested the over-granted effects.

source_persona: String

Source persona that produced the child handoff.

target_label: String

Display label for the target child the handoff would have spawned.

violations: Vec<EffectRecord>

Effects the child requested that the parent does not cover.

diagnostic_code: String

Stable diagnostic code shared with the static analyzer.

repair_id: String

Stable repair id suggested for harn fix --apply.

repair_safety: String

Repair safety class (matches RepairSafety::SurfaceChanging).

message: String

Human-readable summary used by transcripts and the friction log.

Implementations

impl EffectInheritanceViolation

pub fn message(&self) -> &str

Render the violation as a one-line dispatcher-deny message. Kept stable so log scrapers + the harn check CLI can pattern-match.

pub fn for_handoff( handoff: &HandoffArtifact, violations: Vec<EffectRecord>, ) -> Self

Build a violation payload from a (handoff, violations) pair.

Trait Implementations

impl Clone for EffectInheritanceViolation

fn clone(&self) -> EffectInheritanceViolation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EffectInheritanceViolation

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for EffectInheritanceViolation

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for EffectInheritanceViolation

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for EffectInheritanceViolation

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for EffectInheritanceViolation

impl StructuralPartialEq for EffectInheritanceViolation