Crate fileluya_lattices 

Filesystem lattice types for KeyLeLuYa, extending propagators-chirho.

This crate defines lattice types that model filesystem state (locks, directory entries, file versions, permissions) as join-semilattices, enabling conflict-free distributed synchronization via propagator networks.

Key Lattice Types

• FileLockLatticeChirho - Read/write lock state
• DirEntrySetChirho - OR-Set of directory entries
• FileVersionLatticeChirho - Version vectors for causal tracking
• PermissionLatticeChirho - ACL propagation
• CacheValidityChirho - Cache invalidation signaling
• PropagatorStateLatticeChirho - Propagator execution state (fact lattice)

Re-exports

pub use cache_chirho::*;

pub use dir_entry_chirho::*;

pub use lock_chirho::*;

pub use permission_chirho::*;

pub use propagator_state_chirho::*;

pub use tombstone_gc_chirho::*;

pub use tree_move_chirho::*;

pub use version_chirho::*;

Modules

cache_chirho

Cache validity lattice for invalidation signaling.

dir_entry_chirho

Directory entry set as an OR-Set (Observed-Remove Set) lattice.

lock_chirho

File lock state as a join-semilattice.

permission_chirho

Permission lattice for access control propagation.

propagator_state_chirho

Propagator execution state as a monotone fact lattice.

tombstone_gc_chirho

[M4.4] Epoch-based tombstone garbage collection for OR-Set CRDTs.

tree_move_chirho

Kleppmann tree-move CRDT for concurrent directory renames.

version_chirho

File version tracking as a lattice (version vectors).