malvin 0.2.9

Non-interactive research and coding agent
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

use std::num::NonZeroU32;

use crate::acp::AttemptCeiling;

use super::BudgetScopeLayer;

#[test]
fn budget_scope_layer_all_has_two_variants() {
    assert_eq!(BudgetScopeLayer::all().len(), 2);
}

#[test]
fn budget_scope_layer_single_attempt_contracts() {
    assert!(!BudgetScopeLayer::OuterRouterLoop.respects_single_attempt());
    assert!(BudgetScopeLayer::AcpAttempt.respects_single_attempt());
}

#[test]
fn budget_scope_layer_variants_exist() {
    let _ = (
        BudgetScopeLayer::OuterRouterLoop,
        BudgetScopeLayer::AcpAttempt,
    );
}

#[test]
fn effective_attempt_ceiling_single_attempt_forces_one_at_acp_layer() {
    let five = NonZeroU32::new(5).expect("five");
    assert_eq!(
        BudgetScopeLayer::AcpAttempt.effective_attempt_ceiling(Some(five), true),
        AttemptCeiling::one()
    );
    assert_eq!(
        BudgetScopeLayer::AcpAttempt.effective_attempt_ceiling(Some(five), false),
        AttemptCeiling::AtMost(five)
    );
    assert_eq!(
        BudgetScopeLayer::AcpAttempt.effective_attempt_ceiling(None, false),
        AttemptCeiling::unlimited()
    );
    let thirty_two = NonZeroU32::new(32).expect("thirty two");
    assert_eq!(
        BudgetScopeLayer::OuterRouterLoop.effective_attempt_ceiling(Some(thirty_two), true),
        AttemptCeiling::AtMost(thirty_two)
    );
}

#[test]
fn effective_outer_loop_iterations_is_at_least_one() {
    assert_eq!(BudgetScopeLayer::effective_outer_loop_iterations(0), 1);
    assert_eq!(BudgetScopeLayer::effective_outer_loop_iterations(3), 3);
}

#[test]
fn budget_scope_layer_single_attempt_flags() {
    for layer in BudgetScopeLayer::all() {
        let single = layer.respects_single_attempt();
        match layer {
            BudgetScopeLayer::AcpAttempt => {
                assert!(single);
            }
            BudgetScopeLayer::OuterRouterLoop => {
                assert!(!single);
            }
        }
    }
}

#[test]
fn unlimited_ceiling_allows_every_attempt_count() {
    let ceiling = AttemptCeiling::unlimited();
    assert!(ceiling.allows_attempt(1));
    assert!(ceiling.allows_attempt(u32::MAX));
}