Skip to main content

fleet_coordinate/
lib.rs

1//! fleet-coordinate — Geometric constraint satisfaction for fleet coordination
2//!
3//! Unifies three mathematical results: Zero Holonomy Consensus (ZHC),
4//! Beam Joint Equilibrium, and Pythagorean48 trust topology.
5//!
6//! Key theorem: A fleet with Laman-rigid constraint topology
7//! (2V-3 edges, no over-constrained cycles) is provably
8//! self-coordinating without voting.
9
10pub mod zhc;
11pub mod beam;
12pub mod pythagorean48;
13pub mod graph;
14pub mod tile;
15pub mod emergence;
16pub mod integration;
17
18// Re-export the primary types
19pub use zhc::{ZhcConsensus, ConsensusResult};
20pub use beam::{BeamSolver, JointEquilibrium, MultiSegmentBeam, JointState};
21pub use pythagorean48::{TrustTopology, TrustVector};
22pub use graph::{FleetGraph, RigidityResult};
23pub use tile::{FleetTile, TileCoordination};
24pub use emergence::{EmergenceDetector, EmergenceResult};
25pub use integration::{FleetCoordinate, Config};
26
27/// Maximum neighbors for rigidity (Laman's theorem: 2V-3)
28pub const MAX_RIGID_NEIGHBORS: usize = 12;
29
30/// Information content per trust vector (log₂ 48 ≈ 5.585 bits)
31pub const TRUST_BITS_PER_VECTOR: f64 = 5.58496;