Struct VersionedPaneTree 

pub struct VersionedPaneTree { /* private fields */ }

One immutable version of a pane tree.

Cloning a version is cheap: it bumps the root Arc refcount and clones the (usually empty) tree-level extension map.

Implementations

impl VersionedPaneTree

pub fn singleton(surface_key: impl Into<String>) -> Self

Build a singleton versioned tree holding one root leaf.

pub fn from_pane_tree(tree: &PaneTree) -> Self

Build a versioned tree from a canonical PaneTree.

pub fn from_snapshot(snapshot: &PaneTreeSnapshot) -> Self

Build a versioned tree from a canonical snapshot.

pub fn root(&self) -> &Arc<PersistentNode>

Root node of this version.

pub fn root_id(&self) -> PaneId

Root pane id.

pub const fn next_id(&self) -> PaneId

Next deterministic id value.

pub const fn schema_version(&self) -> u16

Schema version.

pub fn node_count(&self) -> usize

Number of nodes in this version.

pub fn depth(&self) -> usize

Maximum tree depth in this version.

pub fn to_snapshot(&self) -> PaneTreeSnapshot

Flatten to a canonical snapshot (reconstructing parent links).

pub fn to_pane_tree(&self) -> Result<PaneTree, PaneModelError>

Flatten and validate into a canonical PaneTree.

This is the bridge back to the production data structure and the basis of the differential equivalence oracle.

Errors

Returns the canonical tree’s validation error if the flattened structure violates a pane-tree invariant (which should never happen for a tree built solely through VersionedPaneTree::apply_operation).

pub fn state_hash(&self) -> Result<u64, PaneModelError>

Deterministic structural hash, identical to the canonical PaneTree::state_hash.

Errors

Returns a validation error if the flattened tree is malformed.

pub fn apply_operation( &self, operation: &PaneOperation, ) -> Result<Self, PersistentApplyError>

Apply one structural operation, returning a new version.

self is never mutated (persistence). Native operations path-copy with structural sharing; PersistentApplyStrategy::Rebuild operations delegate to the certified conservative baseline.

Errors

Returns a PersistentApplyError mirroring the canonical baseline’s accept/reject decision for the operation.

pub const fn operation_strategy( kind: PaneOperationKind, ) -> PersistentApplyStrategy

Strategy this prototype uses for an operation kind.

Trait Implementations

impl Clone for VersionedPaneTree

fn clone(&self) -> VersionedPaneTree

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for VersionedPaneTree

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

Formats the value using the given formatter.