spacedb-sdk 0.1.0

SpaceDB developer SDK — the one surface a developer picks up: an offline-first local replica with a per-field schema (CRDT type + consistency tier), mID-authorized + budgeted ops that each return their honest achieved consistency, reactive queries, and CRDT sync. Composes the whole SpaceDB stack. Phase 1 SpaceDB Mission, M8.
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

//! A session — who is acting, what they're allowed, and what they can spend.
//!
//! A session binds an actor mID, the capability that authorizes its ops, a
//! [`Budget`] (seeded from the capability's own `budget_micro_mata`, so an agent
//! literally spends from its grant), and a [`CausalSession`] that tracks the
//! frontier it has observed for read-your-writes / monotonic reads.

use spacedb_access::{Did, SignedCapability};
use spacedb_consistency::CausalSession;
use spacedb_meter::Budget;

/// An authenticated, budgeted context for operations.
pub struct Session {
    pub(crate) actor: Did,
    pub(crate) capability: SignedCapability,
    pub(crate) budget: Budget,
    pub(crate) causal: CausalSession,
}

impl Session {
    pub(crate) fn from_capability(capability: SignedCapability) -> Self {
        let actor = capability.capability.bearer.clone();
        // An agent spends from the budget its capability carries; no budget means
        // it can't perform any priced op (fails closed).
        let budget = Budget::new(capability.capability.budget_micro_mata.unwrap_or(0));
        Self {
            actor,
            capability,
            budget,
            causal: CausalSession::new(),
        }
    }

    /// The acting mID.
    pub fn actor(&self) -> &Did {
        &self.actor
    }

    /// Remaining spend allowance, in micro-`$MATA`.
    pub fn budget_remaining(&self) -> u64 {
        self.budget.remaining()
    }
}