Struct BoundedStructuralSnapshot 

pub struct BoundedStructuralSnapshot<'a> { /* private fields */ }

A pinned, structurally-proven snapshot of an external database image.

Returned by Connection::begin_bounded_structural_snapshot. While this guard is alive, one deferred transaction holds the proven snapshot open; read it through Self::connection.

Finish with Self::finish. It releases the transaction and then proves the image never changed during the window — the second half of the compare-and-swap that makes work derived from this snapshot publishable. Dropping the guard without calling finish releases the reader but performs no such proof, so anything derived from the snapshot is unverified; the drop path logs an error rather than failing silently.

Implementations

impl BoundedStructuralSnapshot<'_>

pub fn connection(&self) -> &Connection

The identity-bound, read-only connection holding the proven snapshot.

Every read of the validated image must go through this connection.

pub const fn stats(&self) -> &BoundedDatabaseStructuralStats

Structural proof counters for the pinned image.

pub async fn finish(self) -> Result<()>

Release the snapshot and prove the image never changed during it.

Rolls back the pinned transaction, closes the identity-bound handle, and re-reads the whole-image receipt. Errors are reported in that order, so a validation-window failure is never masked by a teardown failure.

Errors

Returns FrankenError::BusySnapshot if the image changed while the snapshot was open, plus any rollback or close error.

Trait Implementations

impl Debug for BoundedStructuralSnapshot<'_>

Available on non-WebAssembly only.

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

Formats the value using the given formatter.

impl Drop for BoundedStructuralSnapshot<'_>

Available on non-WebAssembly only.

fn drop(&mut self)

Executes the destructor for this type.

fn pin_drop(self: Pin<&mut Self>)

🔬This is a nightly-only experimental API. (pin_ergonomics)

Execute the destructor for this type, but different to Drop::drop, it requires self to be pinned.