liminal-server 0.4.1

Standalone server for the liminal messaging bus
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

//! Frozen participant operation schema-v2 grammar.
//!
//! These types are decode-only in production. Their serialized field order and
//! option shapes are historical bytes and must never be changed or re-encoded.

use liminal_protocol::wire::{DeliverySeq, TransactionOrder};
use serde::{Deserialize, Serialize};

use super::facts::Digest;
use super::log::{
    StoredAck, StoredAttachRequest, StoredBindingEpoch, StoredDetachRequest,
    StoredEnrollmentAllocation, StoredEnrollmentRequest, StoredLeave, StoredMarkerDrain,
    StoredRecordAdmission, StoredU128,
};

/// Complete replayable inputs in the frozen v2 operation grammar.
#[derive(Clone, Debug, Deserialize, Serialize)]
#[serde(rename_all = "snake_case", tag = "operation")]
pub(super) enum StoredOperationV2 {
    Genesis {
        event: Vec<u8>,
    },
    Enrolled {
        request: StoredEnrollmentRequest,
        allocation: StoredEnrollmentAllocation,
        event: Vec<u8>,
    },
    Attached {
        request: StoredAttachRequest,
        secret_verified: bool,
        allocation: StoredAttachAllocationV2,
        event: Vec<u8>,
    },
    Detached {
        request: StoredDetachRequest,
        verifier: Digest,
        receiving_epoch: StoredBindingEpoch,
        terminal_order: TransactionOrder,
        terminal_seq: DeliverySeq,
        event: Vec<u8>,
    },
    ZeroDebtAck {
        request: StoredAck,
        receiving_epoch: StoredBindingEpoch,
        contiguously_available_through: DeliverySeq,
    },
    MarkerDrained {
        row: StoredMarkerDrain,
    },
    RecordAdmission {
        row: StoredRecordAdmission,
    },
    Left {
        row: StoredLeave,
    },
}

/// Server allocations in the frozen v2 Attached option grammar.
#[derive(Clone, Copy, Debug, Deserialize, Serialize)]
pub(super) struct StoredAttachAllocationV2 {
    pub(super) binding_epoch: StoredBindingEpoch,
    pub(super) attach_secret: [u8; 32],
    pub(super) attached_order: TransactionOrder,
    pub(super) attached_seq: DeliverySeq,
    pub(super) receipt_expires_at: StoredU128,
    pub(super) provenance_expires_at: StoredU128,
    /// Admitted wall-clock read of the committing operation.
    pub(super) admitted_now_ms: u64,
    /// Optional superseded terminal sequence used as v2 mode evidence.
    pub(super) superseded_terminal_seq: Option<DeliverySeq>,
}