a3s 0.10.1

a3s — A3S coding agent CLI; `a3s code` launches the interactive TUI
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

//! Host-accepted evidence relationships used by inquiry replay.

use serde::{Deserialize, Serialize};

/// A semantic role carried by one source on a specific research-obligation
/// path. The Host never infers these roles from a URL, title, language, or
/// other lexical metadata.
#[derive(Clone, Copy, Debug, Deserialize, Eq, Hash, Ord, PartialEq, PartialOrd, Serialize)]
#[serde(rename_all = "snake_case")]
pub enum SourceEvidenceRole {
    Supporting,
    Primary,
    Independent,
}

/// A closed, host-validated source-to-obligation edge produced while the
/// source text is still present in the semantic selection packet.
#[derive(Clone, Debug, Deserialize, Eq, PartialEq, Serialize)]
#[serde(deny_unknown_fields)]
pub struct SourceCoverageBinding {
    pub source_id: String,
    pub obligation_id: String,
    pub completion_criterion_indexes: Vec<usize>,
    pub roles: Vec<SourceEvidenceRole>,
}

impl SourceCoverageBinding {
    pub fn new(
        source_id: impl Into<String>,
        obligation_id: impl Into<String>,
        completion_criterion_indexes: Vec<usize>,
        roles: Vec<SourceEvidenceRole>,
    ) -> Self {
        Self {
            source_id: source_id.into(),
            obligation_id: obligation_id.into(),
            completion_criterion_indexes,
            roles,
        }
    }
}

#[derive(Clone, Copy, Debug, Deserialize, Eq, PartialEq, Serialize)]
#[serde(rename_all = "snake_case")]
pub enum EvidenceDiagnosticKind {
    Contradiction,
    Gap,
}

#[derive(Clone, Debug, Deserialize, Eq, PartialEq, Serialize)]
#[serde(deny_unknown_fields)]
pub struct EvidenceDiagnostic {
    pub id: String,
    pub kind: EvidenceDiagnosticKind,
    pub detail: String,
}

impl EvidenceDiagnostic {
    pub fn new(
        id: impl Into<String>,
        kind: EvidenceDiagnosticKind,
        detail: impl Into<String>,
    ) -> Self {
        Self {
            id: id.into(),
            kind,
            detail: detail.into(),
        }
    }
}

/// One accepted evidence item and the claim/source IDs it makes addressable.
#[derive(Clone, Debug, Deserialize, Eq, PartialEq, Serialize)]
#[serde(deny_unknown_fields)]
pub struct EvidenceRef {
    pub evidence_id: String,
    pub claim_ids: Vec<String>,
    pub source_ids: Vec<String>,
    #[serde(default, skip_serializing_if = "Vec::is_empty")]
    pub source_coverage: Vec<SourceCoverageBinding>,
    #[serde(default)]
    pub diagnostics: Vec<EvidenceDiagnostic>,
}

impl EvidenceRef {
    pub fn new(
        evidence_id: impl Into<String>,
        claim_ids: Vec<String>,
        source_ids: Vec<String>,
    ) -> Self {
        Self {
            evidence_id: evidence_id.into(),
            claim_ids,
            source_ids,
            source_coverage: Vec::new(),
            diagnostics: Vec::new(),
        }
    }

    pub fn with_source_coverage(mut self, source_coverage: Vec<SourceCoverageBinding>) -> Self {
        self.source_coverage = source_coverage;
        self
    }

    pub fn with_diagnostics(mut self, diagnostics: Vec<EvidenceDiagnostic>) -> Self {
        self.diagnostics = diagnostics;
        self
    }
}