Struct IRNotify 

pub struct IRNotify {
    pub node_type: &'static str,
    pub source_line: u32,
    pub source_column: u32,
    pub name: String,
    pub channel: String,
    pub to_secret: String,
    pub template: String,
    pub window: String,
    pub provenance: String,
    pub effects: Vec<String>,
    pub epistemic_mode: String,
}

§Fase 105 — a compiled delivery declaration. The runtime delivery dispatch (axon::delivery) transduces this to the configured CRM engine; the DeliveryProvenanceSoundness PCC class (T920) re-derives the barrier from it. ops is the closed-catalog operation list. §Fase 110 — the compiled notify declaration. epistemic_mode records the enclosing vouch (the §99.d/§105 discipline) so T933 re-derives identically at deploy (PCC NotificationProvenanceSoundness).

Fields

node_type: &'static str

source_line: u32

source_column: u32

name: String

channel: String

to_secret: String

The §94 secret-class ref (the recipient value NEVER rides the IR).

template: String

window: String

provenance: String

effects: Vec<String>

epistemic_mode: String

Trait Implementations

impl Clone for IRNotify

fn clone(&self) -> IRNotify

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IRNotify

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

Formats the value using the given formatter.

impl Serialize for IRNotify

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

where __S: Serializer,

Serialize this value into the given Serde serializer.