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

//! Validation assertions tied to mission milestones.

use serde::{Deserialize, Serialize};

use crate::feature::VerificationStep;

/// Stable assertion identifier.
#[derive(Debug, Clone, PartialEq, Eq, Hash, Serialize, Deserialize)]
#[serde(transparent)]
pub struct AssertionId(pub String);

impl AssertionId {
    pub fn as_str(&self) -> &str {
        &self.0
    }
}

impl From<String> for AssertionId {
    fn from(s: String) -> Self {
        Self(s)
    }
}

impl From<&str> for AssertionId {
    fn from(s: &str) -> Self {
        Self(s.to_string())
    }
}

/// Result state for an assertion check.
#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize, Deserialize, Default)]
#[serde(rename_all = "snake_case")]
pub enum AssertionState {
    #[default]
    Pending,
    Passed,
    Failed,
    Blocked,
}

/// A verifiable claim about mission output quality.
#[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
pub struct Assertion {
    pub assertion_id: AssertionId,
    pub description: String,
    #[serde(default)]
    pub verification_steps: Vec<VerificationStep>,
    pub state: AssertionState,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub milestone: Option<String>,
    #[serde(default)]
    pub failed_count: u32,
}