dpc-tau-ext-shell 0.2.0

A minimal Unix-first coding agent.
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

use tau_proto::{CborValue, PromptOriginator, ToolStarted};

use super::{ToolStartedIdentity, ownership_probe};

/// Executes the former clone-first ownership shape as a differential
/// oracle.
fn legacy_clone_first(
    started: ToolStarted,
    local_name: tau_proto::ToolName,
) -> (ToolStarted, usize) {
    let _wire = started.clone();
    let mut local = started;
    local.tool_name = local_name;
    let _lock_wait = local.clone();
    (local, 2)
}

/// The executable former scheduler shape performs its wire and lock-wait
/// clones, while split/reassembly preserves the same local invocation.
#[test]
fn split_reassembly_matches_executable_clone_first_scheduler_shape() {
    let call_id = "ownership-differential";
    let started = ToolStarted {
        call_id: tau_proto::ToolCallId::new(call_id),
        tool_name: tau_proto::ToolName::new("prefixed_shell"),
        arguments: CborValue::Map(vec![(
            CborValue::Text("command".to_owned()),
            CborValue::Text("x".repeat(1024 * 1024)),
        )]),
        agent_id: tau_proto::AgentId::parse("ownership-agent").expect("agent id"),
        originator: PromptOriginator::User,
        invocation_policy: Default::default(),
    };
    let (legacy, legacy_argument_clones) =
        legacy_clone_first(started.clone(), tau_proto::ToolName::new("shell"));
    ownership_probe::start(call_id);
    let (identity, arguments) =
        ToolStartedIdentity::split(started, tau_proto::ToolName::new("shell"));
    let current = identity.clone().into_local_started(arguments);
    let work = ownership_probe::finish(call_id);

    assert_eq!(current, legacy);
    assert_eq!(legacy_argument_clones, 2);
    assert_eq!(work.argument_clones, 0);
    assert_eq!(work.identity_clones, 1);
    assert_eq!(work.ingress_text_ptr, work.execution_text_ptr);
}

/// Error and deferred-workdir ownership retain terminal correlation without
/// retaining the discarded argument tree.
#[test]
fn identity_retains_wire_terminal_fields_without_arguments() {
    let payload = "z".repeat(8 * 1024 * 1024);
    let started = ToolStarted {
        call_id: tau_proto::ToolCallId::new("identity-terminal"),
        tool_name: tau_proto::ToolName::new("replace"),
        arguments: CborValue::Text(payload),
        agent_id: tau_proto::AgentId::parse("identity-agent").expect("agent id"),
        originator: PromptOriginator::User,
        invocation_policy: Default::default(),
    };
    let (identity, arguments) =
        ToolStartedIdentity::split(started, tau_proto::ToolName::new("edit"));
    drop(arguments);

    assert_eq!(identity.call_id.as_str(), "identity-terminal");
    assert_eq!(identity.wire_tool_name.as_str(), "replace");
    assert_eq!(identity.local_tool_name.as_str(), "edit");
}