canic-core 0.110.35

Canic — a canister orchestration and management toolkit for the Internet Computer
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

//! Module: replay_policy::tests::endpoint
//!
//! Responsibility: verify direct endpoint replay classifications.
//! Does not own: role-command variant policy or workflow replay behavior.
//! Boundary: focused assertions over the maintained endpoint manifest.

use super::*;
use crate::protocol::{
    CANIC_COMMAND, CANIC_CONTROL_STATUS, CANIC_COORDINATOR_COMMAND, CANIC_OBSERVABILITY,
    CANIC_ROOT_COMMAND, CANIC_ROOT_STATUS, CANIC_WASM_STORE_COMMAND, CANIC_WASM_STORE_STATUS,
};

#[test]
fn common_role_command_dispatch_is_variant_manifest_owned() {
    let command = ENDPOINT_REPLAY_POLICY_MANIFEST
        .iter()
        .find(|entry| entry.endpoint == CANIC_COMMAND)
        .expect("common role command entry");
    assert_eq!(command.endpoint_kind, EndpointKind::Update);
    assert_eq!(
        command.replay_policy,
        ReplayPolicy::CommandDispatch {
            command_kind: replay_command_kind("role.command.v1"),
            command_manifest: replay_command_manifest("role.command.variant_manifest.v1"),
        }
    );
    assert_eq!(command.cost_class, CostClass::None);
    assert_eq!(command.quota_policy, None);
    assert_eq!(command.cycle_reserve_policy, None);

    for endpoint in [CANIC_COORDINATOR_COMMAND, CANIC_ROOT_COMMAND] {
        let role_command = ENDPOINT_REPLAY_POLICY_MANIFEST
            .iter()
            .find(|entry| entry.endpoint == endpoint)
            .expect("role-specific command entry");
        assert_eq!(role_command.endpoint_kind, EndpointKind::Update);
        assert!(matches!(
            role_command.replay_policy,
            ReplayPolicy::CommandDispatch { .. }
        ));
    }

    let status = ENDPOINT_REPLAY_POLICY_MANIFEST
        .iter()
        .find(|entry| entry.endpoint == CANIC_CONTROL_STATUS)
        .expect("common role status entry");
    assert_eq!(status.endpoint_kind, EndpointKind::Query);
    assert_eq!(status.replay_policy, ReplayPolicy::QueryOrReadOnly);

    for endpoint in [CANIC_OBSERVABILITY, CANIC_ROOT_STATUS] {
        let status = ENDPOINT_REPLAY_POLICY_MANIFEST
            .iter()
            .find(|entry| entry.endpoint == endpoint)
            .expect("infrastructure role status entry");
        assert_eq!(status.endpoint_kind, EndpointKind::Query);
        assert_eq!(status.replay_policy, ReplayPolicy::QueryOrReadOnly);
    }

    let store_command = STORE_ENDPOINT_REPLAY_POLICY_MANIFEST
        .iter()
        .find(|entry| entry.endpoint == CANIC_WASM_STORE_COMMAND)
        .expect("Store command entry");
    assert_eq!(store_command.endpoint_kind, EndpointKind::Update);
    assert!(matches!(
        store_command.replay_policy,
        ReplayPolicy::CommandDispatch { .. }
    ));
    let store_status = STORE_ENDPOINT_REPLAY_POLICY_MANIFEST
        .iter()
        .find(|entry| entry.endpoint == CANIC_WASM_STORE_STATUS)
        .expect("Store status entry");
    assert_eq!(store_status.endpoint_kind, EndpointKind::Query);
    assert_eq!(store_status.replay_policy, ReplayPolicy::QueryOrReadOnly);
}

#[test]
fn store_byte_lanes_keep_their_direct_replay_contracts() {
    let chunk = STORE_ENDPOINT_REPLAY_POLICY_MANIFEST
        .iter()
        .find(|entry| entry.endpoint == "canic_wasm_store_chunk")
        .expect("Store chunk lane");
    assert_eq!(chunk.endpoint_kind, EndpointKind::Update);
    assert_eq!(chunk.replay_policy, ReplayPolicy::QueryOrReadOnly);

    let publish = STORE_ENDPOINT_REPLAY_POLICY_MANIFEST
        .iter()
        .find(|entry| entry.endpoint == "canic_wasm_store_publish_chunk")
        .expect("Store publish-chunk lane");
    assert_eq!(publish.endpoint_kind, EndpointKind::Update);
    assert!(matches!(
        publish.replay_policy,
        ReplayPolicy::MonotonicTransition { command_kind }
            if command_kind.as_str() == "wasm_store.publish_chunk.v1"
    ));
}