Struct RotationFloor 

pub struct RotationFloor {
    pub car_floor: String,
    pub org: String,
    pub floor_epoch: u64,
    pub rotation_hlc: Hlc,
    pub prev_floor_epoch: u64,
    pub signature: String,
}

A signed, monotonic marker that org org rotated to floor_epoch at logical time rotation_hlc. Remaining members use it via is_authoritative to stop treating a removed member’s post-cut epoch-<floor_epoch> writes as the org’s current truth.

The signature (by a TRUSTED granter, the same authority that wraps K_org) is LOAD-BEARING: an unsigned/unverified floor is a censorship primitive — anyone could publish floor_epoch = u64::MAX and mark every legitimate op stale. Always verify_rotation_floor before honoring one.

Fields

car_floor: String

Algorithm tag ([ALG_ROTATION_FLOOR]).

org: String

floor_epoch: u64

The epoch at/after which authorship is required for new ops.

rotation_hlc: Hlc

The logical time the cut happened. Ops with hlc <= rotation_hlc are treated as pre-cut history (see the module’s audit note on forgeability).

prev_floor_epoch: u64

The floor this one supersedes. verify_rotation_floor checks floor_epoch > prev_floor_epoch for internal well-formedness ONLY — that does NOT stop an attacker replaying an OLDER validly-signed floor (whose own floor_epoch > prev_floor_epoch still holds). Anti-rollback is the caller’s job: persist the max accepted floor_epoch and reject anything <= it. See verify_rotation_floor.

signature: String

Ed25519 signature (hex) by a trusted granter over [rotation_floor_transcript]. Verified with verify_strict.

Trait Implementations

impl Clone for RotationFloor

fn clone(&self) -> RotationFloor

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RotationFloor

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for RotationFloor

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for RotationFloor

impl PartialEq for RotationFloor

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for RotationFloor

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 RotationFloor