reasoninglayer 1.0.3

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

//! Control-flow SDK-only DTOs.
//!
//! Most control-flow types are auto-generated from the OpenAPI spec — see
//! [`crate::api_spec`]. This file holds the negation-as-failure request,
//! whose `goal` payload is a freeform JSON map not faithfully captured in
//! the OpenAPI schema today.

use std::collections::BTreeMap;

use serde::{Deserialize, Serialize};

/// A freeform goal payload, unstructured at the SDK boundary.
pub type GoalPayload = BTreeMap<String, serde_json::Value>;

/// Negation-as-failure request: succeed iff `goal` cannot be proven.
#[derive(Debug, Clone, Serialize, Deserialize)]
pub struct ControlNafRequest {
    pub session_id: String,
    pub goal: GoalPayload,
}