Struct DerivedHeader 

pub struct DerivedHeader {
    pub magic: [u8; 16],
    pub format_version: u16,
    pub snapshot_sha256: [u8; 32],
    pub edge_revision: u64,
    pub metadata_revision: u64,
    pub file_revisions: Vec<(FileId, u64)>,
    pub entry_count: u64,
    pub saved_at: u64,
}

File-level header. Always first in the derived file.

Carries the magic guard, format version, snapshot identity, all three revision tiers, the entry count, and the save timestamp.

Field order MUST NOT be changed: postcard serialization is order-sensitive.

Fields

magic: [u8; 16]

Magic bytes. EXACTLY 16 ASCII bytes: b"SQRY_DERIVED_V02".

format_version: u16

Format revision. Current: 2.

snapshot_sha256: [u8; 32]

SHA-256 of the main snapshot.sqry file.

edge_revision: u64

Saved global edge revision.

metadata_revision: u64

Saved global metadata revision.

file_revisions: Vec<(FileId, u64)>

Saved per-file revisions.

entry_count: u64

Number of PersistedEntry records following the header.

saved_at: u64

Unix seconds when saved.

Implementations

impl DerivedHeader

pub fn new( snapshot_sha256: [u8; 32], edge_revision: u64, metadata_revision: u64, file_revisions: Vec<(FileId, u64)>, entry_count: u64, ) -> Self

Creates a new v02 header for the given snapshot hash and revision state. saved_at is populated from SystemTime::now.

pub fn is_valid_v02(&self) -> bool

Returns true if the magic bytes and format version identify a valid v02 derived file.

Used by LOAD_PATH to reject legacy v01 files and corrupted files before attempting entry decode.

pub fn matches_snapshot(&self, snapshot_sha256: &[u8; 32]) -> bool

Checks if this header matches the given snapshot hash.

Trait Implementations

impl Clone for DerivedHeader

fn clone(&self) -> DerivedHeader

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DerivedHeader

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for DerivedHeader

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for DerivedHeader

fn eq(&self, other: &DerivedHeader) -> 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 Serialize for DerivedHeader

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 DerivedHeader

impl StructuralPartialEq for DerivedHeader