reasoninglayer 0.1.2

Rust client SDK for the Reasoning Layer API
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
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146

//! Analysis / FCA DTOs.

use serde::{Deserialize, Serialize};

// ─── Sort discovery ──────────────────────────────────────────────────────────

#[derive(Debug, Clone, Default, Serialize, Deserialize)]
pub struct SortDiscoveryRequest {
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub max_concepts: Option<u32>,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub min_extent_size: Option<u32>,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub min_intent_size: Option<u32>,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub max_terms: Option<u32>,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub min_confidence: Option<f64>,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub auto_create_sorts: Option<bool>,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub auto_create_threshold: Option<f64>,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub fuzzy_thresholds: Option<Vec<f64>>,
}

#[derive(Debug, Clone, Serialize, Deserialize)]
pub struct SortRecommendation {
    pub sort_name: String,
    #[serde(default)]
    pub features: Vec<String>,
    pub term_count: u64,
    pub confidence: f64,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub parent_sort: Option<String>,
    pub explanation: String,
}

#[derive(Debug, Clone, Serialize, Deserialize)]
pub struct FuzzyConceptLevel {
    pub alpha: f64,
    pub concept_count: u64,
    pub novel_at_this_level: u64,
}

#[derive(Debug, Clone, Default, Serialize, Deserialize)]
pub struct SortDiscoveryResponse {
    pub success: bool,
    #[serde(default)]
    pub terms_analyzed: u64,
    #[serde(default)]
    pub total_concepts: u64,
    #[serde(default)]
    pub concepts_matching_existing: u64,
    #[serde(default)]
    pub novel_concepts_discovered: u64,
    #[serde(default)]
    pub sorts_created: Vec<String>,
    #[serde(default)]
    pub recommendations: Vec<SortRecommendation>,
    #[serde(default)]
    pub processing_time_ms: u64,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub fuzzy_levels: Option<Vec<serde_json::Value>>,
}

// ─── Attribute exploration ───────────────────────────────────────────────────

#[derive(Debug, Clone, Default, Serialize, Deserialize)]
pub struct StartExplorationRequest {
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub max_concepts: Option<u32>,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub min_extent_size: Option<u32>,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub min_intent_size: Option<u32>,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub max_terms: Option<u32>,
}

#[derive(Debug, Clone, Serialize, Deserialize)]
pub struct ExplorationQuestion {
    pub premise: Vec<String>,
    pub conclusion: Vec<String>,
    pub question_text: String,
}

#[derive(Debug, Clone, Default, Serialize, Deserialize)]
pub struct StartExplorationResponse {
    pub session_id: String,
    pub attribute_count: u64,
    pub object_count: u64,
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub question: Option<ExplorationQuestion>,
}

#[derive(Debug, Clone, Default, Serialize, Deserialize)]
pub struct ExplorationProgress {
    pub implications_confirmed: u64,
    pub implications_refuted: u64,
    pub counterexamples_added: u64,
    pub is_complete: bool,
}

#[derive(Debug, Clone, Default, Serialize, Deserialize)]
pub struct ConfirmResponse {
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub next_question: Option<ExplorationQuestion>,
    pub progress: ExplorationProgress,
}

#[derive(Debug, Clone, Serialize, Deserialize)]
pub struct RefuteRequest {
    pub label: String,
    pub features: Vec<String>,
}

#[derive(Debug, Clone, Default, Serialize, Deserialize)]
pub struct RefuteResponse {
    #[serde(default, skip_serializing_if = "Option::is_none")]
    pub next_question: Option<ExplorationQuestion>,
    pub progress: ExplorationProgress,
}

#[derive(Debug, Clone, Serialize, Deserialize)]
pub struct Implication {
    pub premise: Vec<String>,
    pub conclusion: Vec<String>,
}

#[derive(Debug, Clone, Default, Serialize, Deserialize)]
pub struct ExplorationStatusResponse {
    pub session_id: String,
    pub progress: ExplorationProgress,
    #[serde(default)]
    pub confirmed_implications: Vec<Implication>,
}

#[derive(Debug, Clone, Default, Serialize, Deserialize)]
pub struct ExplorationCompleteResponse {
    pub total_implications: u64,
    #[serde(default)]
    pub implications: Vec<Implication>,
    pub counterexamples_added: u64,
    pub rules_created: u64,
}