disyn-core 0.1.0

Domain types, port traits, and errors for the disyn agent pipeline
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

use async_trait::async_trait;

use crate::Result;
use crate::types::{
    ApprovedPlan, DeceptionReport, ExecutionReport, Facts, FormalSpec, GroundedExtraction,
    MemoryContext, Observation, PlanDraft, ProofVerdict, RetrievalStrategy, SymbolicAnchor,
    VerificationReport, WeightedPassage,
};

#[async_trait]
pub trait FactExtractor: Send + Sync {
    async fn extract(&self, observation: &Observation) -> Result<Facts>;
}

#[async_trait]
pub trait ProposalEngine: Send + Sync {
    async fn propose(&self, facts: &Facts, memory: &MemoryContext) -> Result<PlanDraft>;
}

pub trait Verifier: Send + Sync {
    fn verify(&self, draft: &PlanDraft) -> VerificationReport;
}

/// Implementations must preserve `PlannedStep::idempotency_key` for steps
/// with identical actions. New steps introduced by repair get fresh UUIDs.
pub trait RepairEngine: Send + Sync {
    fn repair(&self, draft: &PlanDraft, report: &VerificationReport) -> Option<PlanDraft>;
}

#[async_trait]
pub trait MemoryStore: Send + Sync {
    async fn retrieve(&self, facts: &Facts) -> Result<MemoryContext>;
    async fn persist(&self, report: &ExecutionReport) -> Result<()>;
}

#[async_trait]
pub trait ActionExecutor: Send + Sync {
    async fn execute(&self, plan: &ApprovedPlan) -> Result<ExecutionReport>;
}

#[async_trait]
pub trait GraphStore: Send + Sync {
    async fn index(&self, facts: &Facts) -> Result<()>;
    async fn traverse(
        &self,
        facts: &Facts,
        strategy: &RetrievalStrategy,
    ) -> Result<Vec<WeightedPassage>>;
    fn resolve_anchors(&self, facts: &Facts) -> Vec<SymbolicAnchor>;
}

pub trait TelemetrySink: Send + Sync {
    fn emit(&self, event: &SpanEvent);
}

pub trait FormalVerifier: Send + Sync {
    fn synthesize(&self, extraction: &GroundedExtraction) -> FormalSpec;
    fn verify_spec(&self, spec: &FormalSpec, extraction: &GroundedExtraction) -> ProofVerdict;
    fn scan_deception(&self, _extraction: &GroundedExtraction) -> DeceptionReport {
        DeceptionReport {
            detected: false,
            level: None,
            evidence_fact_ids: vec![],
        }
    }
}

#[derive(Debug, Clone)]
pub enum SpanKind {
    ProposalGenerate,
    VerifierCheck,
    RepairApply,
    ExecutorDispatch,
}

#[derive(Debug, Clone)]
pub enum SpanStatus {
    Ok,
    Error(String),
}

#[derive(Debug, Clone)]
pub struct SpanEvent {
    pub kind: SpanKind,
    pub trace_id: uuid::Uuid,
    pub parent_id: Option<uuid::Uuid>,
    pub duration_ms: u64,
    pub status: SpanStatus,
    pub metadata: serde_json::Value,
}