lenso-kernel 0.1.0

Portable Kernel runtime for Lenso vNext applications.
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
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114

use lenso_kernel::{
    CancellationToken, InvocationContext, InvocationContextError, SealedInvocationExtension,
};

#[test]
fn sealed_extensions_are_opaque_and_cannot_be_overwritten() {
    let context = InvocationContext::new(7, None, CancellationToken::new());
    let assertion = SealedInvocationExtension::signed(
        "lenso.auth.actor-assertion",
        "auth.users",
        ["example.secure-greeting@1:greet"],
        br#"{"subject":"user-123"}"#.to_vec(),
        "signed-proof",
    );
    let context = context
        .with_sealed_extension(assertion.clone())
        .expect("the first sealed extension should be accepted");

    assert_eq!(context.sealed_extension(assertion.key()), Some(&assertion));
    assert_eq!(context.sealed_extensions().count(), 1);

    let replacement = SealedInvocationExtension::signed(
        assertion.key(),
        "forged-issuer",
        ["example.secure-greeting@1:greet"],
        br#"{"subject":"attacker"}"#.to_vec(),
        "forged-proof",
    );
    assert!(matches!(
        context.clone().with_sealed_extension(replacement),
        Err(InvocationContextError::SealedExtensionAlreadySet { key })
            if key == assertion.key()
    ));
    assert!(matches!(
        context
            .clone()
            .with_extension(assertion.key(), br#"{"subject":"attacker"}"#.to_vec()),
        Err(InvocationContextError::SealedExtensionAlreadySet { key })
            if key == assertion.key()
    ));
    assert!(matches!(
        InvocationContext::new(8, None, CancellationToken::new()).with_sealed_extension(
            SealedInvocationExtension::signed(
                "invalid",
                "auth.users",
                [""],
                Vec::new(),
                "proof",
            )
        ),
        Err(InvocationContextError::InvalidSealedExtension { key }) if key == "invalid"
    ));
    assert!(matches!(
        InvocationContext::new(9, None, CancellationToken::new()).with_sealed_extension(
            SealedInvocationExtension::signed(
                "invalid",
                "auth.users",
                ["example.secure-greeting@1:greet"],
                Vec::new(),
                "",
            )
        ),
        Err(InvocationContextError::InvalidSealedExtension { key }) if key == "invalid"
    ));

    let debug = format!("{context:?}");
    assert!(!debug.contains("user-123"));
    assert!(!debug.contains("signed-proof"));
}

#[test]
fn ordinary_extensions_are_kept_separate_from_caller_identity() {
    let context = InvocationContext::new(11, None, CancellationToken::new())
        .with_caller_instance("ingress")
        .with_extension("traceparent", b"00-abc".to_vec())
        .expect("ordinary extensions should be accepted");

    assert_eq!(context.caller_instance(), Some("ingress"));
    assert_eq!(context.extension("traceparent"), Some(&b"00-abc"[..]));
    assert!(context.sealed_extension("traceparent").is_none());
}

#[test]
fn sealed_extensions_only_propagate_to_covered_capability_operations() {
    let context = InvocationContext::new(12, None, CancellationToken::new())
        .with_sealed_extension(SealedInvocationExtension::signed(
            "lenso.auth.actor-assertion",
            "auth.users",
            ["example.secure-greeting@1:greet"],
            br#"{"subject":"user-123"}"#.to_vec(),
            "signed-proof",
        ))
        .expect("the signed assertion should attach")
        .with_extension("traceparent", b"00-abc".to_vec())
        .expect("ordinary baggage should attach");

    let covered = context
        .clone()
        .for_target("example.secure-greeting@1", "greet");
    assert!(
        covered
            .sealed_extension("lenso.auth.actor-assertion")
            .is_some()
    );
    assert_eq!(covered.extension("traceparent"), Some(&b"00-abc"[..]));

    let unrelated = context.for_target("example.profile@1", "read");
    assert!(
        unrelated
            .sealed_extension("lenso.auth.actor-assertion")
            .is_none()
    );
    assert_eq!(unrelated.extension("traceparent"), Some(&b"00-abc"[..]));
}