Struct Closure 

pub struct Closure<'checks, 'prepared, 'm, 'd, 'path> { /* private fields */ }

Every original ERS/PoE obligation, input, TSA and cross-proof history has been closed. Private construction prevents writable facts or a successful subset from bypassing the whole original census. This is not B-LTA status.

Implementations

impl<'checks, 'prepared, 'm, 'd, 'path> Closure<'checks, 'prepared, 'm, 'd, 'path>

pub fn prepared(&self) -> &'prepared Preparation<'m, 'd>

Same immutable complete source, never a substituted parse of equal bytes.

pub fn records(&self) -> &[&'checks Checked<'prepared, 'm, 'd, 'path>]

Exact original complete receipts in normative per-signature order.

pub fn contains<W: Work>( &self, required: &Required<'_>, work: &W, ) -> Result<bool, MemoryError>

Paid lookup for baseline/participant composition. No parsing or status callback repeats; this immutable closure already retains those receipts.