Struct ChangeStamp 

pub struct ChangeStamp {
    pub ctime: i64,
    pub ctime_nanos: u32,
    pub ino: u64,
}

The stamp no agent can set: a file’s ctime, which every write, chmod, rename and utimensat moves to now, and its inode. mtime is the agent’s to set (touch -d, cp -p, rsync -t): a same-size rewrite under the recorded mtime left size and mtime as recorded, and was never published (AGENTS.md forbade setting timestamps for that reason). An entry whose change stamp moved while size, mtime and mode did not is UNSURE: its bytes decide (confirm_racy, barrier::local_dirty), so a stamp that moved with no change costs a hash, never an upload. The model’s StampMoved, CtimeConfirm (LeanScanRacy.tla).

Kept as [ctime, nanos, ino] (a baseline of a million entries carries a million of them).

Fields

ctime: i64

ctime_nanos: u32

ino: u64

Implementations

impl ChangeStamp

pub fn of(m: &Metadata) -> ChangeStamp

Trait Implementations

impl Clone for ChangeStamp

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for ChangeStamp

impl Debug for ChangeStamp

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

Formats the value using the given formatter.

impl Default for ChangeStamp

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for ChangeStamp

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ChangeStamp

impl From<(i64, u32, u64)> for ChangeStamp

fn from((ctime, ctime_nanos, ino): (i64, u32, u64)) -> Self

Converts to this type from the input type.

impl From<ChangeStamp> for (i64, u32, u64)

fn from(c: ChangeStamp) -> Self

Converts to this type from the input type.

impl PartialEq for ChangeStamp

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for ChangeStamp

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ChangeStamp