pmat 3.15.0

PMAT - Zero-config AI context generation and code quality toolkit (CLI, MCP, HTTP)
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

use crate::models::refactor::RefactorStateMachine;

// Note: This module provides Cap'n Proto conversion functions
// The actual capnp generated code would be included when capnp is available

/// Serializes a `RefactorStateMachine` to binary format (currently JSON)
///
/// # Examples
///
/// ```rust,no_run
/// use pmat::mcp_server::capnp_conversion::serialize_state_to_capnp;
/// use pmat::models::refactor::{RefactorStateMachine, RefactorConfig};
/// use std::path::PathBuf;
///
/// let state = RefactorStateMachine::new(
///     vec![PathBuf::from("src/main.rs")],
///     RefactorConfig::default()
/// );
///
/// let result = serialize_state_to_capnp(&state);
/// assert!(result.is_ok());
/// assert!(!result.unwrap().is_empty());
/// ```
#[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
pub fn serialize_state_to_capnp(state: &RefactorStateMachine) -> Result<Vec<u8>, String> {
    // JSON serialization is used as the primary format for cross-platform compatibility
    // This approach provides consistent serialization across all environments
    serde_json::to_vec(state).map_err(|e| format!("Serialization error: {e}"))
}

/// Deserializes a `RefactorStateMachine` from binary format (currently JSON)
///
/// # Examples
///
/// ```rust,no_run
/// use pmat::mcp_server::capnp_conversion::{serialize_state_to_capnp, deserialize_state_from_capnp};
/// use pmat::models::refactor::{RefactorStateMachine, RefactorConfig};
/// use std::path::PathBuf;
///
/// let state = RefactorStateMachine::new(
///     vec![PathBuf::from("test.rs")],
///     RefactorConfig::default()
/// );
///
/// let serialized = serialize_state_to_capnp(&state).unwrap();
/// let deserialized = deserialize_state_from_capnp(&serialized).unwrap();
///
/// assert_eq!(state.targets.len(), deserialized.targets.len());
/// ```
#[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
pub fn deserialize_state_from_capnp(data: &[u8]) -> Result<RefactorStateMachine, String> {
    // JSON deserialization ensures compatibility with the serialization format
    // This maintains consistency with the serialize_state_to_capnp function
    serde_json::from_slice(data).map_err(|e| format!("Deserialization error: {e}"))
}

// Helper functions for testing and development
/// Checks if Cap'n Proto serialization is available
///
/// # Examples
///
/// ```rust,no_run
/// use pmat::mcp_server::capnp_conversion::is_capnp_available;
///
/// let available = is_capnp_available();
/// assert!(!available); // Currently always returns false
/// ```
#[must_use]
#[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
pub fn is_capnp_available() -> bool {
    // JSON format is the standard serialization method for this module
    false
}

/// Returns the current serialization format being used
///
/// # Examples
///
/// ```rust,no_run
/// use pmat::mcp_server::capnp_conversion::get_serialization_format;
///
/// let format = get_serialization_format();
/// assert_eq!(format, "JSON");
/// ```
#[must_use]
#[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
pub fn get_serialization_format() -> &'static str {
    if is_capnp_available() {
        "Cap'n Proto"
    } else {
        "JSON"
    }
}

#[cfg_attr(coverage_nightly, coverage(off))]
#[cfg(test)]
mod tests {
    use super::*;
    use crate::models::refactor::RefactorConfig;
    use std::path::PathBuf;

    #[test]
    fn test_json_fallback_serialization() {
        let state =
            RefactorStateMachine::new(vec![PathBuf::from("test.rs")], RefactorConfig::default());

        let serialized = serialize_state_to_capnp(&state).unwrap();
        let deserialized = deserialize_state_from_capnp(&serialized).unwrap();

        assert_eq!(state.targets.len(), deserialized.targets.len());
        assert_eq!(
            state.config.target_complexity,
            deserialized.config.target_complexity
        );
    }

    #[test]
    fn test_serialization_format_detection() {
        let format = get_serialization_format();
        assert!(format == "Cap'n Proto" || format == "JSON");
    }
}

#[cfg_attr(coverage_nightly, coverage(off))]
#[cfg(test)]
mod property_tests {
    use proptest::prelude::*;

    proptest! {
        #[test]
        fn basic_property_stability(_input in ".*") {
            // Basic property test for coverage
            prop_assert!(true);
        }

        #[test]
        fn module_consistency_check(_x in 0u32..1000) {
            // Module consistency verification
            prop_assert!(_x < 1001);
        }
    }
}