trellis-runner 0.3.0

Calculation runner
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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90

/// Core solver state representation.
///
/// This module defines the runtime state used by the engine during execution.
///
/// The state is split into three components:
///
/// - `user`: application-defined state implementing [`UserState`]
/// - `runtime`: engine execution metadata (iteration count, timing)
/// - `convergence`: tracking of numerical convergence behaviour
///
/// ## Design principles
///
/// - The engine owns a single mutable `State<S>` during execution
/// - External code interacts with state via [`StateView`], not direct access
/// - Persistence is handled via [`Snapshotable`] + checkpointing systems
///
/// ## Separation of concerns
///
/// - `UserState` defines problem-specific behaviour
/// - `RuntimeState` tracks execution lifecycle
/// - `ConvergenceState` tracks numerical progress
///
/// These components are intentionally isolated to avoid coupling
/// solver logic with infrastructure concerns.
///
/// ## Notes
///
/// - `State` is not exposed mutably outside the engine
/// - Access is mediated via `StateView<'_>`
/// - Persistence uses snapshot types derived from `Snapshotable`
mod convergence;
mod runtime;
mod user;
mod view;

pub use user::{Snapshotable, StateRestorer, UserState};

pub(crate) use convergence::ConvergenceState;
pub(crate) use runtime::RuntimeState;

pub(crate) use view::StateView;

use num_traits::float::FloatCore;

/// Internal execution state of the solver.
///
/// This struct is owned exclusively by the [`Engine`] during execution
/// and is not intended to be modified directly by users.
///
/// Access to state is provided through [`StateView`].
///
/// # Fields
/// - `user`: user-defined state implementing [`UserState`]
/// - `runtime`: execution metadata (iteration count, duration)
/// - `convergence`: convergence tracking for policies
#[derive(Clone, Debug)]
#[cfg_attr(feature = "serde", derive(serde::Serialize, serde::Deserialize))]
#[cfg_attr(
    feature = "serde",
    serde(bound(
        serialize = "S: serde::Serialize, S::Float: serde::Serialize",
        deserialize = "S: serde::Deserialize<'de>, S::Float: serde::Deserialize<'de>"
    ))
)]
pub struct State<S: UserState> {
    pub(crate) runtime: RuntimeState,

    pub(crate) convergence: ConvergenceState<S::Float>,
    /// The user component of the state implements the application specific code
    pub(crate) user: S,
}

impl<S> State<S>
where
    S: UserState,
    <S as UserState>::Float: FloatCore,
{
    /// Creates a fresh solver state.
    ///
    /// Initializes:
    /// - runtime counters at zero
    /// - convergence tracking at initial values
    pub(crate) fn new(user: S) -> Self {
        Self {
            user,
            runtime: RuntimeState::new(),
            convergence: ConvergenceState::new(),
        }
    }
}