greentic-deploy-spec 0.1.27300454030

Greentic deployment object-model schemas (Environment, Revision, TrafficSplit, BundleDeployment, Credentials, PackConfig, RuntimeConfig)
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

use greentic_deploy_spec::{RevisionLifecycle, is_valid_transition};

#[test]
fn matrix_allows_documented_transitions() {
    use RevisionLifecycle::*;
    let allowed = [
        (Inactive, Staged),
        (Inactive, Failed),
        (Inactive, Archived),
        (Staged, Warming),
        (Staged, Failed),
        (Staged, Archived),
        (Warming, Ready),
        (Warming, Failed),
        (Warming, Archived),
        (Ready, Draining),
        (Ready, Failed),
        (Ready, Archived),
        (Draining, Inactive),
        (Failed, Staged),
        (Failed, Archived),
    ];
    for (from, to) in allowed {
        assert!(
            is_valid_transition(from, to),
            "expected {from:?} → {to:?} to be allowed",
        );
    }
}

#[test]
fn matrix_denies_all_other_transitions() {
    use RevisionLifecycle::*;
    let states = [Inactive, Staged, Warming, Ready, Draining, Failed, Archived];
    let allowed_set: std::collections::HashSet<_> = [
        (Inactive, Staged),
        (Inactive, Failed),
        (Inactive, Archived),
        (Staged, Warming),
        (Staged, Failed),
        (Staged, Archived),
        (Warming, Ready),
        (Warming, Failed),
        (Warming, Archived),
        (Ready, Draining),
        (Ready, Failed),
        (Ready, Archived),
        (Draining, Inactive),
        (Failed, Staged),
        (Failed, Archived),
    ]
    .into_iter()
    .collect();

    for &from in &states {
        for &to in &states {
            let want = allowed_set.contains(&(from, to));
            assert_eq!(
                is_valid_transition(from, to),
                want,
                "transition {from:?} → {to:?} mismatch",
            );
        }
    }
}

#[test]
fn archived_is_terminal() {
    use RevisionLifecycle::*;
    for to in [Inactive, Staged, Warming, Ready, Draining, Failed, Archived] {
        assert!(
            !is_valid_transition(Archived, to),
            "archived should not transition to {to:?}",
        );
    }
}

#[test]
fn no_self_transitions() {
    use RevisionLifecycle::*;
    for s in [Inactive, Staged, Warming, Ready, Draining, Failed, Archived] {
        assert!(
            !is_valid_transition(s, s),
            "self-transition should not be allowed for {s:?}",
        );
    }
}

/// Drain-completion path: `ready → draining → inactive → archived` is the
/// public operator workflow for retiring a live revision. Without
/// `inactive → archived`, a revision that reaches `Draining` (operator
/// action) and then `Inactive` (runtime drain-complete) would be stranded
/// behind the spec matrix.
#[test]
fn drain_completion_walk_reaches_archived() {
    use RevisionLifecycle::*;
    assert!(is_valid_transition(Ready, Draining));
    assert!(is_valid_transition(Draining, Inactive));
    assert!(is_valid_transition(Inactive, Archived));
}