ainl-contracts 0.1.3

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

//! Shared learner payloads (trajectory steps, failure taxonomy, proposal envelopes).
//!
//! Consumed by `ainl-trajectory` / `ainl-failure-learning` crates; hosts embed these in graph nodes.

use serde::{Deserialize, Serialize};

use crate::vitals::CognitiveVitals;
use crate::{ContextFreshness, ImpactDecision};

/// One step in an execution trajectory (tool / adapter granularity).
#[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
pub struct TrajectoryStep {
    pub step_id: String,
    /// Unix epoch milliseconds.
    pub timestamp_ms: i64,
    pub adapter: String,
    pub operation: String,
    #[serde(default)]
    pub inputs_preview: Option<String>,
    #[serde(default)]
    pub outputs_preview: Option<String>,
    pub duration_ms: u64,
    pub success: bool,
    #[serde(default)]
    pub error: Option<String>,
    #[serde(default)]
    pub vitals: Option<CognitiveVitals>,
    #[serde(default)]
    pub freshness_at_step: Option<ContextFreshness>,
    /// Optional per-step state snapshot (host-defined JSON, e.g. turn counters, budget).
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub frame_vars: Option<serde_json::Value>,
    /// Optional structured tool telemetry (latency breakdown, I/O, HTTP, etc.).
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub tool_telemetry: Option<serde_json::Value>,
}

/// Overall outcome of a recorded trajectory.
#[derive(Debug, Clone, Copy, PartialEq, Eq, Serialize, Deserialize)]
#[serde(rename_all = "snake_case")]
pub enum TrajectoryOutcome {
    Success,
    PartialSuccess,
    Failure,
    Aborted,
}

/// Normalised failure kinds for learning + FTS indexing.
#[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
#[serde(rename_all = "snake_case", tag = "kind", content = "details")]
pub enum FailureKind {
    AdapterTypo {
        offered: String,
        #[serde(default)]
        suggestion: Option<String>,
    },
    ValidatorReject {
        rule: String,
    },
    AdapterTimeout {
        adapter: String,
        ms: u64,
    },
    ToolError {
        tool: String,
        message: String,
    },
    LoopGuardFire {
        tool: String,
        repeat_count: u32,
    },
    Other {
        message: String,
    },
}

/// Closed-loop improvement proposal envelope (validate → adopt).
#[derive(Debug, Clone, PartialEq, Serialize, Deserialize)]
pub struct ProposalEnvelope {
    pub schema_version: u32,
    pub original_hash: String,
    pub proposed_hash: String,
    pub kind: String,
    pub rationale: String,
    pub freshness_at_proposal: ContextFreshness,
    pub impact_decision: ImpactDecision,
}