dotPilot/DotPilot.Core/Features/ControlPlaneDomain/ParticipantContracts.cs at 52745b09a4313fc060a6fbc1cbca574754ce77aa · managedcode/dotPilot · GitHub

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
namespace DotPilot.Core.Features.ControlPlaneDomain;

[GenerateSerializer]
public sealed record WorkspaceDescriptor
{
    [Id(0)]
    public WorkspaceId Id { get; init; }

    [Id(1)]
    public string Name { get; init; } = string.Empty;

    [Id(2)]
    public string RootPath { get; init; } = string.Empty;

    [Id(3)]
    public string BranchName { get; init; } = string.Empty;
}

[GenerateSerializer]
public sealed record AgentProfileDescriptor
{
    [Id(0)]
    public AgentProfileId Id { get; init; }

    [Id(1)]
    public string Name { get; init; } = string.Empty;

    [Id(2)]
    public AgentRoleKind Role { get; init; }

    [Id(3)]
    public ProviderId? ProviderId { get; init; }

    [Id(4)]
    public ModelRuntimeId? ModelRuntimeId { get; init; }

    [Id(5)]
    public ToolCapabilityId[] ToolCapabilityIds { get; init; } = [];

    [Id(6)]
    public string[] Tags { get; init; } = [];
}

[GenerateSerializer]
public sealed record FleetDescriptor
{
    [Id(0)]
    public FleetId Id { get; init; }

    [Id(1)]
    public string Name { get; init; } = string.Empty;

    [Id(2)]
    public FleetExecutionMode ExecutionMode { get; init; } = FleetExecutionMode.SingleAgent;

    [Id(3)]
    public AgentProfileId[] AgentProfileIds { get; init; } = [];
}