Enum WitnessKey 

pub enum WitnessKey {
    Page(PageNumber),
    Cell {
        btree_root: PageNumber,
        leaf_page: PageNumber,
        tag: u64,
    },
    ByteRange {
        page: PageNumber,
        start: u32,
        len: u32,
    },
    KeyRange {
        btree_root: PageNumber,
        lo: Vec<u8>,
        hi: Vec<u8>,
    },
    Custom {
        namespace: u32,
        bytes: Vec<u8>,
    },
}

SSI witness key basis (§5.6.4.3).

Canonical key space for SSI rw-antidependency tracking. Always valid to fall back to Page(pgno) — finer keys reduce false positives but never compromise correctness.

Variants

Page(PageNumber)

Coarse witness: entire page.

Cell

Semantic witness: specific B-tree cell identified by domain-separated hash.

tag is low32(xxh3_64("fsqlite:witness:cell:v1" || le_u32(btree_root) || key_bytes)).

Fields

btree_root: PageNumber

leaf_page: PageNumber

tag: u64

ByteRange

Semantic witness: structured byte range on a page.

Fields

page: PageNumber

start: u32

len: u32

KeyRange

Key range witness for reduced false positives on range scans (optional, advanced).

Fields

btree_root: PageNumber

lo: Vec<u8>

hi: Vec<u8>

Custom

Custom namespace witness (extensibility point).

Fields

namespace: u32

bytes: Vec<u8>

Implementations

impl WitnessKey

pub fn cell_tag(btree_root: PageNumber, canonical_key_bytes: &[u8]) -> u64

Derive a deterministic cell tag from a B-tree root page and canonical key bytes.

Uses domain-separated xxh3_64 (§5.6.4.3): cell_tag = low32(xxh3_64("fsqlite:witness:cell:v1" || le_u32(btree_root_pgno) || key_bytes))

pub fn for_cell_read( btree_root: PageNumber, leaf_page: PageNumber, canonical_key_bytes: &[u8], ) -> Self

Create a cell witness for a point read/uniqueness check.

pub fn for_range_scan(leaf_pages: &[PageNumber]) -> Vec<Self>

Create page-level witnesses for a range scan (phantom protection).

Returns one Page(leaf_pgno) witness per visited leaf page (§5.6.4.3).

pub fn for_point_write( btree_root: PageNumber, canonical_key_bytes: &[u8], leaf_pgno: PageNumber, ) -> (Self, Self)

Create a cell + page witness pair for a point write.

Writes register both Cell(btree_root, leaf_page, cell_tag) AND Page(leaf_pgno) as write witnesses (§5.6.4.3).

pub const fn page_number(&self) -> Option<PageNumber>

Return the page-like bucket associated with this witness.

Page and byte-range witnesses map to their physical page. Cell and key-range witnesses are bucketed by their B-tree root page so higher layers can retain O(1) page/root-level witness indexes. Custom witnesses are intentionally left unbucketed.

pub fn is_page(&self) -> bool

Returns true if this is a coarse page-level witness.

pub fn is_cell(&self) -> bool

Returns true if this is a cell-level semantic witness.

Trait Implementations

impl Clone for WitnessKey

fn clone(&self) -> WitnessKey

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WitnessKey

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for WitnessKey

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Hash for WitnessKey

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for WitnessKey

fn cmp(&self, other: &WitnessKey) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for WitnessKey

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl PartialOrd for WitnessKey

fn partial_cmp(&self, other: &WitnessKey) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Serialize for WitnessKey

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for WitnessKey

impl StructuralPartialEq for WitnessKey