kcode-k1-daemon-lib-testkit 0.5.8

Source contract verifier for the K1 daemon composition root
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

#![doc = include_str!("../Documentation.md")]
#![forbid(unsafe_code)]

pub fn verify_manifest(manifest: &str) {
    for required in [
        "kcode-k1-daemon-http-composition = \"0.1.2\"",
        "kcode-k1-daemon-provider-config = \"0.2.1\"",
        "kcode-k1-text-inference = \"0.1.0\"",
        "kcode-k1-daemon-lib-testkit = \"0.5.8\"",
    ] {
        assert!(manifest.contains(required), "daemon manifest selection");
    }
    for stale in [
        "kcode-k1-daemon-http-composition = \"0.1.1\"",
        "kcode-k1-daemon-provider-config = \"0.2.0\"",
        "kcode-k1-daemon-lib-testkit = \"0.5.7\"",
    ] {
        assert!(!manifest.contains(stale), "stale daemon manifest selection");
    }
}

pub fn verify_source(source: &str) {
    for required in [
        "text_inference_config(",
        "CodexTextInference::new(",
        "text_inference: text_inference as Arc<dyn TextInference>",
        "kcode_k1_daemon_http_composition::prepare(",
    ] {
        assert!(
            source.contains(required),
            "daemon text-inference composition"
        );
    }
}

#[cfg(test)]
mod tests {
    use super::*;

    #[test]
    fn accepts_current_contract() {
        verify_manifest(
            "kcode-k1-daemon-http-composition = \"0.1.2\"\n\
             kcode-k1-daemon-provider-config = \"0.2.1\"\n\
             kcode-k1-text-inference = \"0.1.0\"\n\
             kcode-k1-daemon-lib-testkit = \"0.5.8\"",
        );
        verify_source(
            "text_inference_config( CodexTextInference::new( \
             text_inference: text_inference as Arc<dyn TextInference> \
             kcode_k1_daemon_http_composition::prepare(",
        );
    }
}