fileluya_lattices/lib.rs
1// For God so loved the world that he gave his only begotten Son,
2// that whoever believes in him should not perish but have eternal life.
3// John 3:16
4
5//! Filesystem lattice types for KeyLeLuYa, extending propagators-chirho.
6//!
7//! This crate defines lattice types that model filesystem state
8//! (locks, directory entries, file versions, permissions) as
9//! join-semilattices, enabling conflict-free distributed synchronization
10//! via propagator networks.
11//!
12//! # Key Lattice Types
13//!
14//! - [`FileLockLatticeChirho`] - Read/write lock state
15//! - [`DirEntrySetChirho`] - OR-Set of directory entries
16//! - [`FileVersionLatticeChirho`] - Version vectors for causal tracking
17//! - [`PermissionLatticeChirho`] - ACL propagation
18//! - [`CacheValidityChirho`] - Cache invalidation signaling
19//! - [`PropagatorStateLatticeChirho`] - Propagator execution state (fact lattice)
20
21pub mod cache_chirho;
22pub mod dir_entry_chirho;
23pub mod lock_chirho;
24pub mod permission_chirho;
25pub mod propagator_state_chirho;
26pub mod tombstone_gc_chirho;
27pub mod tree_move_chirho;
28pub mod version_chirho;
29
30pub use cache_chirho::*;
31pub use dir_entry_chirho::*;
32pub use lock_chirho::*;
33pub use permission_chirho::*;
34pub use propagator_state_chirho::*;
35pub use tombstone_gc_chirho::*;
36pub use tree_move_chirho::*;
37pub use version_chirho::*;