sim-kernel 0.1.4

Small protocol kernel contracts for the expandable SIM Rust runtime.
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

use crate::{Datum, ExportRecord, LibId, LibManifest, Symbol};

/// A data-only library source suitable for boot receipts.
///
/// This mirrors the replayable variants of
/// [`LibSource`](crate::library::LibSource). Host-constructed library objects
/// are intentionally excluded because they contain live Rust behavior, not
/// stable boot data.
#[derive(Clone, Debug, PartialEq, Eq)]
pub enum LibSourceSpec {
    /// A catalog-resolved library symbol.
    Symbol(Symbol),
    /// A loader-defined source carried as data.
    Open {
        /// Loader-defined source kind.
        kind: Symbol,
        /// Opaque payload interpreted by the loader that claims `kind`.
        payload: Datum,
    },
}

impl LibSourceSpec {
    /// Builds a loader-defined source carried as opaque data.
    pub fn open(kind: Symbol, payload: Datum) -> Self {
        Self::Open { kind, payload }
    }
}

/// A loaded dependency edge recorded in a boot receipt.
#[derive(Clone, Debug, PartialEq, Eq)]
pub struct LibBootDependency {
    /// Stable id of the loaded dependency in the recorded boot session.
    pub lib_id: LibId,
    /// Manifest symbol of the loaded dependency.
    pub symbol: Symbol,
}

/// The data-only receipt for one loaded library.
#[derive(Clone, Debug, PartialEq, Eq)]
pub struct LibBootReceipt {
    /// Stable id assigned to the library during the recorded boot session.
    pub lib_id: LibId,
    /// Source requested by the caller.
    pub requested_source: LibSourceSpec,
    /// Source actually handed to the loader after catalog resolution.
    pub resolved_source: LibSourceSpec,
    /// Manifest loaded from the resolved source.
    pub manifest: LibManifest,
    /// Loaded dependency edges for this library.
    pub dependencies: Vec<LibBootDependency>,
    /// Committed export records produced by the load.
    pub exports: Vec<ExportRecord>,
}

/// A data-only boot state for replaying a loaded registry surface.
#[derive(Clone, Debug, Default, PartialEq, Eq)]
pub struct RegistryBootState {
    /// Receipts in load order.
    pub receipts: Vec<LibBootReceipt>,
}

impl RegistryBootState {
    /// Builds a boot state from load-order receipts.
    pub fn new(receipts: Vec<LibBootReceipt>) -> Self {
        Self { receipts }
    }
}