dinah 0.1.0

Rust-first modular runtime and high-performance compute foundation
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40

//! Foundational types and validated configuration for dinah.
//!
//! These APIs are deliberately minimal and dependency-free. Higher-level
//! subsystems should build on them rather than introduce cross-layer coupling.

mod config;
mod error;
mod id;
mod state;
mod traits;

pub use config::{CoreConfig, CoreConfigError};
pub use error::{CoreError, CoreResult};
pub use id::{CoreId, IdError};
pub use state::LifecycleState;
pub use traits::{HasCoreId, Validate};

/// Version of the currently defined Core API contract.
///
/// Increment this marker when the explicitly documented Core contract changes
/// incompatibly. It is independent of the crate version and does not promise
/// semantic-versioning stability while dinah remains pre-alpha. Adding a new
/// API item alone does not necessarily require an increment; review the impact
/// on existing callers and documented invariants.
pub const CORE_API_VERSION: u16 = 1;

#[cfg(test)]
mod tests;

/// Core invariants relied on by every subsystem:
/// - IDs represented by `CoreId` are never zero.
/// - `CoreConfig` limits are non-zero.
/// - Lifecycle transitions must be explicitly permitted by `can_transition_to`.
/// - Core primitives do not perform I/O or spawn threads as a side effect.
pub const CORE_INVARIANTS: [&str; 4] = [
    "CoreId is non-zero",
    "configuration limits are non-zero",
    "lifecycle transitions are explicit",
    "Core primitives have no I/O or thread-spawning side effects",
];