mirror of
https://github.com/esengine/DeepSeek-Reasonix.git
synced 2026-11-07 10:45:59 -10:00
yhh
a534ead0ab
The task tool, read-only tasks, fleets, parallel tasks, the sub-agent store and records, profiles and the child's capability grant move from internal/runtime/agent to internal/runtime/delegation. They are clients of the agent: they build child agents and run them. The executor loop now names none of them. What the loop itself does for a child stays in agent. child_run.go holds running an agent as a child and composing its answer and host receipts. child_registry.go holds shaping the child's tool surface. Delegation uses a small exported surface for these: AppendHostReceipts, AttachReviewReport, CompleteSubtaskContract, ExpandToolPatterns, MaxToolOutputBytes, NormalizeToolSchemas, SubagentImageNote, VisionRefFor, WithCallContext and the host-receipt labels. Tests followed the code. The ones that check the agent's own judgements against the real delegation tools (batch skipping, the plan-mode barrier, contract hints, delegation profiles across the proxy) run as agent_test in the agent directory through export_test.go. The user-turn retention test is split so each package pins its half. Test helpers used on both sides are copied, since neither test binary may import the other. One test more than before, from that split; none dropped. Baseline: the moved files carry their debt unchanged under the new path, and task.go gains the one import line the move costs (-allow-widen).
81 lines
3.3 KiB
Go
81 lines
3.3 KiB
Go
package agent
|
|
|
|
import (
|
|
"reasonix/internal/runtime/writeclaim"
|
|
"strings"
|
|
"testing"
|
|
|
|
"reasonix/internal/contract/tool"
|
|
"reasonix/internal/safety/evidence"
|
|
)
|
|
|
|
func TestDecorateExecutionReceiptCarriesHostObservedOutcome(t *testing.T) {
|
|
rec := evidence.Receipt{ToolName: "bash", Success: true}
|
|
decorateExecutionReceipt(&rec, " out ", &tool.ShellExecution{
|
|
ExitCode: new(3),
|
|
Verification: tool.ShellVerificationFailed,
|
|
})
|
|
if rec.ExitCode == nil || *rec.ExitCode != 3 {
|
|
t.Fatalf("ExitCode = %v, want 3", rec.ExitCode)
|
|
}
|
|
if rec.Verification != evidence.VerificationFailed {
|
|
t.Fatalf("Verification = %q, want %q", rec.Verification, evidence.VerificationFailed)
|
|
}
|
|
if rec.OutputBytes != len("out") {
|
|
t.Fatalf("OutputBytes = %d, want %d", rec.OutputBytes, len("out"))
|
|
}
|
|
// A tool that ran no process must not gain a fabricated exit status.
|
|
plain := evidence.Receipt{ToolName: "read_file", Success: true}
|
|
decorateExecutionReceipt(&plain, "body", nil)
|
|
if plain.ExitCode != nil {
|
|
t.Fatalf("non-shell receipt gained ExitCode %v", plain.ExitCode)
|
|
}
|
|
}
|
|
|
|
func TestHostReceiptsAttestChangesAndVerifications(t *testing.T) {
|
|
summary := evidence.ChildEvidenceSummary{Receipts: []evidence.Receipt{
|
|
{ToolName: "write_file", Success: true, Mutation: true, Paths: []string{"parser.go"}},
|
|
{ToolName: "write_file", Success: true, Mutation: true, Paths: []string{"parser_test.go"}},
|
|
{ToolName: "bash", Success: true, Command: "go test ./parser", ExitCode: new(0), Verification: evidence.VerificationPassed},
|
|
{ToolName: "bash", Success: true, Command: "ls -la", ExitCode: new(0), Verification: evidence.VerificationNotVerification},
|
|
}}
|
|
|
|
got := formatHostReceipts(summary, writeclaim.WritePathSet{})
|
|
for _, want := range []string{"changed: parser.go, parser_test.go", "go test ./parser (verification passed, exit 0)"} {
|
|
if !strings.Contains(got, want) {
|
|
t.Fatalf("receipts block %q missing %q", got, want)
|
|
}
|
|
}
|
|
// A plain read command is not a claim the parent must adjudicate, so it
|
|
// never spends parent context.
|
|
if strings.Contains(got, "ls -la") {
|
|
t.Fatalf("receipts block must not list non-verification commands: %q", got)
|
|
}
|
|
}
|
|
|
|
func TestHostReceiptsRecordFailedCommands(t *testing.T) {
|
|
summary := evidence.ChildEvidenceSummary{Receipts: []evidence.Receipt{
|
|
{ToolName: "bash", Success: true, Command: "go build ./...", ExitCode: new(2)},
|
|
{ToolName: "bash", Success: true, Command: "go test ./parser", ExitCode: new(1), Verification: evidence.VerificationFailed},
|
|
}}
|
|
got := formatHostReceipts(summary, writeclaim.WritePathSet{})
|
|
for _, want := range []string{"go build ./... (exit 2)", "go test ./parser (verification failed, exit 1)"} {
|
|
if !strings.Contains(got, want) {
|
|
t.Fatalf("receipts block %q missing %q", got, want)
|
|
}
|
|
}
|
|
}
|
|
|
|
func TestHostReceiptsStaySilentForReadOnlyChildren(t *testing.T) {
|
|
summary := evidence.ChildEvidenceSummary{Receipts: []evidence.Receipt{
|
|
{ToolName: "read_file", Success: true, Read: true, Paths: []string{"parser.go"}},
|
|
{ToolName: "grep", Success: true, Read: true},
|
|
}}
|
|
if got := formatHostReceipts(summary, writeclaim.WritePathSet{}); got != "" {
|
|
t.Fatalf("read-only child produced a receipts block: %q", got)
|
|
}
|
|
if got := AppendHostReceipts("just prose", summary, writeclaim.WritePathSet{}); got != "just prose" {
|
|
t.Fatalf("answer = %q, want it unchanged", got)
|
|
}
|
|
}
|