harn-vm 0.10.53

Async bytecode virtual machine for the Harn programming language
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

use super::*;

fn queue(document: &str) -> MockQueue {
    MockQueue::from_fixture(crate::llm::jsonl::parse_llm_mocks_jsonl(document).unwrap())
}

fn fixture(lines: &[&str]) -> MockQueue {
    let document = lines.join("\n");
    queue(&document)
}

#[test]
fn scopes_are_isolated_and_default_remains_the_legacy_fallback() {
    let mut queue = queue(
        r#"{"schemaVersion":1,"strictScopes":false}
{"id":"main","scope":"agent.main","consume":"once","text":"MAIN"}
{"id":"default","scope":"default","consume":"once","text":"DEFAULT"}"#,
    );

    let fallback = queue
        .match_request("completion.judge", "verify")
        .expect("auxiliary scope falls through to default");
    assert_eq!(fallback.mock.text, "DEFAULT");
    assert_eq!(fallback.receipt.requested_scope, "completion.judge");
    assert_eq!(fallback.receipt.resolved_scope, "default");
    assert!(fallback.receipt.fell_through);

    let main = queue
        .match_request("agent.main", "turn")
        .expect("main scope remains available");
    assert_eq!(main.mock.text, "MAIN");
    assert!(!main.receipt.fell_through);

    assert!(queue.match_request("completion.judge", "again").is_none());
}

#[test]
fn shared_absorber_works_with_strict_scopes_without_consuming_default() {
    let mut queue = fixture(&[
        r#"{"schemaVersion":1,"strictScopes":true}"#,
        r#"{"id":"main","scope":"agent.main","consume":"once","text":"MAIN"}"#,
        r#"{"id":"shared","scope":"shared","consume":"sticky","match":"*","text":"SHARED"}"#,
        r#"{"id":"default","scope":"default","consume":"once","text":"DEFAULT"}"#,
    ]);

    let judge = queue
        .match_request("completion.judge", "verify")
        .expect("strict fixture deliberately falls through to shared");
    assert_eq!(judge.mock.text, "SHARED");
    assert_eq!(judge.receipt.resolved_scope, "shared");
    assert!(judge.receipt.fell_through);

    let classifier = queue
        .match_request("app.classifier", "classify")
        .expect("one shared entry absorbs another auxiliary purpose");
    assert_eq!(classifier.mock.text, "SHARED");

    let main = queue.match_request("agent.main", "turn").expect("main");
    assert_eq!(main.mock.text, "MAIN");
    let default = queue.match_request("default", "legacy").expect("default");
    assert_eq!(default.mock.text, "DEFAULT");
}

#[test]
fn strict_scopes_make_missing_scope_a_hard_miss() {
    let mut queue = queue(
        r#"{"schemaVersion":1,"strictScopes":true}
{"id":"default","scope":"default","consume":"once","text":"DEFAULT"}"#,
    );
    assert!(queue.match_request("completion.judge", "verify").is_none());
    assert_eq!(queue.miss_receipt("completion.judge").remaining, 0);
    assert_eq!(
        queue.match_request("default", "verify").unwrap().mock.text,
        "DEFAULT"
    );
}

#[test]
fn sticky_entries_do_not_change_remaining_counts() {
    let mut queue = fixture(&[
        r#"{"schemaVersion":1,"strictScopes":false}"#,
        r#"{"id":"judge","scope":"completion.judge","consume":"sticky","match":"*","text":"JUDGE"}"#,
        r#"{"id":"once","scope":"completion.judge","consume":"once","text":"ONCE"}"#,
    ]);

    let first = queue
        .match_request("completion.judge", "question")
        .expect("sticky entry");
    assert_eq!(first.mock.text, "ONCE");
    assert_eq!(first.receipt.remaining, 1);

    let second = queue
        .match_request("completion.judge", "question")
        .expect("sticky entry");
    assert_eq!(second.mock.text, "JUDGE");
    assert_eq!(second.receipt.consume, "sticky");
    assert_eq!(second.receipt.remaining, 1);

    let third = queue
        .match_request("completion.judge", "question")
        .expect("sticky entry repeats");
    assert_eq!(third.mock.entry_id, "judge");
}