Struct IrBoundedEgress 

pub struct IrBoundedEgress {
    pub sink: String,
    pub source_schema: String,
    pub keep: Vec<String>,
}

A bounded-type projection egress (record <T> from <src>): the recorded fact keeps exactly T‘s fields, copied from src, so the egress carries only the kept fields’ per-field labels — the “bounded-type” auto-redaction reading (DR-0027). The bound is the declared target type T; the labels are the SOURCE schema’s (a target field mislabelled public is still caught against the source’s label). The IFC engine governs it exactly like an explicit redact.

Fields

sink: String

The engine’s sink string (fact:<T> for a record).

source_schema: String

The schema of the from source binding, whose per-field labels bound the projection.

keep: Vec<String>

The kept field names (the target type T’s fields).

Trait Implementations

impl Clone for IrBoundedEgress

fn clone(&self) -> IrBoundedEgress

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for IrBoundedEgress

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

Formats the value using the given formatter.

impl Eq for IrBoundedEgress

impl PartialEq for IrBoundedEgress

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for IrBoundedEgress