loeres-device 0.9.0

Loeres deterministic, allocation-free, panic-averse edge solver entrypoints. no_std, no alloc.
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

//! `loeres-device` — deterministic edge-side solver entrypoints.
//!
//! Environment: `#![no_std]`, no `alloc`. Optimizes for bounded iteration,
//! fixed memory, small binaries, and analyzable, panic-averse solve paths.
//! Depends on `loeres` and `loeres-backend-static` only — never on
//! `loeres-cluster`, `loeres-backend-std`, async runtimes, threads, logging,
//! or FFI gateways.
//!
//! Public module topography (external design §1.5):
//! `problem`, `solve`, `config`, `workspace`, `diagnostic`.
//!
//! Milestone 2 / RFC 005: `config` (runtime `DeviceSolveConfig` / `TimingMode`
//! policy and structural validation) and `workspace` (the caller-owned
//! `DeviceWorkspace` / `DeviceWorkspaceDiagnostic` / `WorkspaceFor` lifecycle
//! contracts) are implemented. `problem`, `solve`, and the concrete solver
//! workspaces, report types, and kernel remain RFC 006-owned placeholders.
#![cfg_attr(not(test), no_std)]
#![forbid(unsafe_code)]

pub mod config;
pub mod diagnostic;
pub mod problem;
pub mod solve;
pub mod workspace;