1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
//! Topology-agnostic byte-level snapshot container.
//!
//! `oxgraph-snapshot` defines a sectioned, zero-copy checkpoint format that
//! can validate, package, and read immutable topology snapshots without
//! knowing whether their contents are graphs, hypergraphs, or anything
//! else. Section semantics belong to upper layers (`oxgraph-csr`,
//! `oxgraph-graph`, `oxgraph-hyper`); the container only validates and
//! exposes byte-aligned section payloads.
//!
//! # Format overview
//!
//! Every snapshot consists of a fixed [`HEADER_SIZE`]-byte header, a
//! [`SECTION_ENTRY_SIZE`]-byte entry per section, and a payload region
//! whose offsets and lengths are recorded in the entries. All multi-byte
//! integer fields are little-endian and stored unaligned, so snapshots can
//! be borrowed from any byte slice — `Vec<u8>`, mmap'd files, sub-slices —
//! without an alignment requirement on the base pointer.
//!
//! The container mandates two integrity invariants. Every section entry carries a
//! CRC-32C over its payload bytes and the header carries a CRC-32C over the
//! section-table bytes; the crate is `no_std` and bundles no CRC
//! implementation, so writers and the checked/verify read paths take a
//! [`Checksum32`] function (e.g. [`oxgraph_layout_util::crc32c_append`]).
//! Section kinds must be strictly ascending across the table, which makes
//! the table duplicate-free and [`Snapshot::section`] a binary search.
//!
//! Section payloads are exposed as byte slices via [`Section::bytes`]; the
//! [`Section::try_as_slice`] helper checks the actual payload pointer's
//! alignment against `align_of::<T>()` so consumers can reinterpret
//! `&[u8]` as `&[T]` only when it is safe to do so.
//!
//! # Cargo features
//!
//! - default: reader-only API; `no_std`, no allocation.
//! - `alloc`: enables [`SnapshotWriter`], the owning write-through encoder that returns encoded
//! `Vec<u8>` bytes.
//! - `std`: reserved for future mmap helpers; no effect beyond activating `alloc`.
//!
//! # Stability
//!
//! The bytes are intentionally not yet promised as a stable ABI: a snapshot
//! whose format major does not match this library is rejected at open.
//! Format minor bumps will preserve backward read compatibility once they
//! ship.
extern crate kani;
extern crate alloc;
pub use crate;
pub use crate::;