ainl-contracts 0.1.4

Shared policy contracts for repo intelligence, context freshness, and impact-first tooling (no OpenFang deps)
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
110
111
112
113
114
115

//! Structured worker handoff contract.

use serde::{Deserialize, Serialize};

use crate::feature::FeatureId;

/// Command run during verification with observed outcome.
#[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
pub struct VerificationCommand {
    pub command: String,
    pub exit_code: i32,
    #[serde(default)]
    pub observation: String,
}

/// Interactive/manual check performed by the worker.
#[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
pub struct InteractiveCheck {
    pub action: String,
    #[serde(default)]
    pub observed: String,
}

/// One test case added by the worker.
#[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
pub struct TestCase {
    pub name: String,
    #[serde(default)]
    pub verifies: String,
}

/// Test file added during feature work.
#[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
pub struct TestAdded {
    pub file: String,
    #[serde(default)]
    pub cases: Vec<TestCase>,
}

/// Aggregated test changes from a handoff.
#[derive(Debug, Clone, Default, PartialEq, Serialize, Deserialize)]
pub struct HandoffTests {
    #[serde(default)]
    pub added: Vec<TestAdded>,
    #[serde(default)]
    pub updated: Vec<String>,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub coverage: Option<String>,
}

/// Severity for discovered issues.
#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize, Deserialize)]
#[serde(rename_all = "snake_case")]
pub enum IssueSeverity {
    Blocking,
    NonBlocking,
    Suggestion,
}

/// Issue discovered during feature implementation.
#[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
pub struct DiscoveredIssue {
    pub severity: IssueSeverity,
    pub description: String,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub suggested_fix: Option<String>,
}

/// Deviation from expected procedure.
#[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
pub struct Deviation {
    pub step: String,
    pub reason: String,
}

/// Feedback on skill/procedure quality from the worker.
#[derive(Debug, Clone, Default, PartialEq, Serialize, Deserialize)]
pub struct SkillFeedback {
    #[serde(default)]
    pub followed_procedure: bool,
    #[serde(default)]
    pub deviations: Vec<Deviation>,
    #[serde(default)]
    pub suggested_changes: Vec<String>,
}

/// Verification evidence bundled in a handoff.
#[derive(Debug, Clone, Default, PartialEq, Serialize, Deserialize)]
pub struct HandoffVerification {
    #[serde(default)]
    pub commands: Vec<VerificationCommand>,
    #[serde(default)]
    pub interactive: Vec<InteractiveCheck>,
}

/// Structured completion record from a feature worker.
#[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
pub struct Handoff {
    pub feature_id: FeatureId,
    pub agent_id: String,
    #[serde(default)]
    pub salient_summary: String,
    #[serde(default)]
    pub what_was_implemented_md: String,
    #[serde(default)]
    pub what_was_left_undone_md: String,
    #[serde(default)]
    pub verification: HandoffVerification,
    #[serde(default)]
    pub tests: HandoffTests,
    #[serde(default)]
    pub discovered_issues: Vec<DiscoveredIssue>,
    #[serde(default)]
    pub skill_feedback: SkillFeedback,
}