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
//! The kernel every NDDev setup system writes through.
//!
//! One write path serves both surfaces a setup system exposes: the ai-stp
//! provider wire commands and the human commands typed in a terminal. A human
//! command that reached the target directly would bypass the guarantees the
//! wire surface owes its consumer, so it does not exist.
//!
//! The sequence a mutation follows is fixed:
//!
//! ```text
//! resolve target -> acquire lock -> re-check preconditions
//! -> write journal(prepared) -> capture backup -> stage -> promote
//! -> journal(committed) -> verify -> clear
//! ```
//!
//! Every step is durable before the next begins, so an interrupted mutation
//! leaves evidence rather than ambiguity. [`journal`] owns what that evidence
//! means and which command is allowed to resolve it.
pub use ;
/// This host's operating system and architecture, in the consumer's spellings.
///
/// `provider-v3` owns the canonical answer and depends on this crate, so it
/// cannot be asked from here. The two are bound by a test rather than by an
/// import.