Expand description
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.
Modules§
- config
- Bounded execution configuration (RFC 005).
- diagnostic
- Compact no_std diagnostics.
- problem
- Fixed-size problem wrappers.
- solve
- Deterministic solve entrypoints.
- workspace
- Caller-owned typed workspace lifecycle (RFC 005).