harn-vm 0.10.163

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
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119

use super::*;
use crate::agent_events::session_health::VerificationTelemetry;

#[test]
fn missing_measurements_do_not_become_zero() {
    let mut health = SessionHealth::default();
    health.start_turn(0);
    let fact = health.fact("empty");
    assert_eq!(fact.turn, HealthMeasurements::default());
    assert_eq!(fact.rolling, HealthMeasurements::default());

    health.observe_tool("unknown-command", false, false, None);
    let fact = health.fact("empty");
    assert_eq!(fact.turn.tool_call_success_rate.unwrap().value, 0.0);
    assert!(fact.turn.nonzero_command_exit_rate.is_none());
    assert!(fact.turn.prose_to_tool_balance.is_none());
    assert!(fact.turn.edits_since_verification.is_none());
}

#[test]
fn duplicate_completions_do_not_change_populations_or_edits() {
    let mut health = SessionHealth::default();
    health.start_turn(1);
    let command = ToolOutcomeTelemetry {
        command_id: None,
        command_exit_code: Some(0),
        verification: None,
    };
    health.observe_tool("write", true, true, Some(&command));
    health.observe_tool("write", true, true, Some(&command));
    health.finish_turn(Some(20), Some(0));
    health.finish_turn(Some(20), Some(0));
    let measured = health.fact("s").rolling;
    assert_eq!(measured.tool_call_success_rate.unwrap().denominator, 1);
    let commands = measured.nonzero_command_exit_rate.unwrap();
    assert_eq!((commands.numerator, commands.denominator), (0, 1));
    assert_eq!(measured.edits_since_verification, Some(1));
    assert_eq!(measured.turn_wall_time.unwrap().sample_count, 1);
    assert_eq!(measured.prose_to_tool_balance.unwrap().prose_characters, 0);
}

fn verify(health: &mut SessionHealth, id: &str, fingerprint: &str, count: u64) {
    health.observe_tool(
        id,
        count == 0,
        false,
        Some(&ToolOutcomeTelemetry {
            command_id: None,
            command_exit_code: Some(i32::from(count > 0)),
            verification: Some(VerificationTelemetry {
                diagnostics: Some(DiagnosticMeasurement {
                    set_fingerprint: fingerprint.to_owned(),
                    count,
                }),
            }),
        }),
    );
}

#[test]
fn repeated_background_command_receipts_do_not_repeat_verification() {
    let mut health = SessionHealth::default();
    let receipt = ToolOutcomeTelemetry {
        command_id: Some("background-check".to_owned()),
        command_exit_code: Some(0),
        verification: Some(VerificationTelemetry { diagnostics: None }),
    };
    health.start_turn(1);
    health.observe_tool("first-wait", true, false, Some(&receipt));
    health.start_turn(2);
    health.observe_tool("edit", true, true, None);
    health.observe_tool("second-wait", true, false, Some(&receipt));
    let fact = health.fact("s");
    assert!(fact.turn.nonzero_command_exit_rate.is_none());
    assert_eq!(
        fact.rolling.nonzero_command_exit_rate.unwrap().denominator,
        1
    );
    assert_eq!(fact.turn.edits_since_verification, Some(1));
}

#[test]
fn observations_distinguish_progress_stall_and_oscillation() {
    let mut health = SessionHealth::default();
    health.start_turn(1);
    verify(&mut health, "v1", "a", 3);
    assert_eq!(health.fact("s").turn.diagnostic_trend, None);
    verify(&mut health, "v2", "b", 1);
    assert_eq!(
        health.fact("s").turn.diagnostic_trend,
        Some(DiagnosticTrend::Improving)
    );
    verify(&mut health, "v3", "b", 1);
    assert_eq!(
        health.fact("s").turn.diagnostic_trend,
        Some(DiagnosticTrend::Flat)
    );
    verify(&mut health, "v4", "a", 3);
    verify(&mut health, "v5", "b", 1);
    assert_eq!(
        health.fact("s").turn.diagnostic_trend,
        Some(DiagnosticTrend::Oscillating)
    );
    health.observe_tool("edit-after-verify", true, true, None);
    assert_eq!(health.fact("s").turn.edits_since_verification, Some(1));
    health.finish_turn(Some(40), Some(8));

    health.start_turn(2);
    health.finish_turn(Some(80), Some(12));
    health.stop(AgentTerminalKind::Natural);
    let fact = health.fact("s");
    assert!(fact.turn.tool_call_success_rate.is_none());
    assert_eq!(fact.rolling.tool_call_success_rate.unwrap().denominator, 6);
    let time = fact.turn.turn_wall_time.unwrap();
    assert_eq!(time.actual_to_expected, Some(2.0));
    assert_eq!(time.expected.unwrap().sample_count, 1);
    assert_eq!(fact.rolling.turn_wall_time.unwrap().milliseconds, 60);
    assert_eq!(fact.turn.last_stop_class, Some(AgentTerminalKind::Natural));
}