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

#![cfg_attr(coverage_nightly, coverage(off))]
use anyhow::Result;
use serde::{Deserialize, Serialize};
use std::collections::HashMap;
use std::path::Path;

#[derive(Debug, Clone, Serialize, Deserialize, Default)]
/// Configuration for tdg.
pub struct TdgConfig {
    pub weights: WeightConfig,
    pub thresholds: ThresholdConfig,
    pub penalties: PenaltyConfig,
    pub language_overrides: HashMap<String, LanguageOverride>,
}

#[derive(Debug, Clone, Serialize, Deserialize)]
/// Configuration for weight.
pub struct WeightConfig {
    pub structural_complexity: f32,
    pub semantic_complexity: f32,
    pub duplication: f32,
    pub coupling: f32,
    pub documentation: f32,
    pub consistency: f32,
}

impl Default for WeightConfig {
    fn default() -> Self {
        Self {
            structural_complexity: 25.0,
            semantic_complexity: 20.0,
            duplication: 20.0,
            coupling: 15.0,
            documentation: 10.0,
            consistency: 10.0,
        }
    }
}

#[derive(Debug, Clone, Serialize, Deserialize)]
/// Configuration for threshold.
pub struct ThresholdConfig {
    pub max_cyclomatic_complexity: u32,
    pub max_cognitive_complexity: u32,
    pub max_nesting_depth: u32,
    pub min_token_sequence: usize,
    pub similarity_threshold: f32,
    pub max_coupling: u32,
    pub min_doc_coverage: f32,
}

impl Default for ThresholdConfig {
    fn default() -> Self {
        Self {
            max_cyclomatic_complexity: 30, // Enterprise standard (was 10 - too strict)
            max_cognitive_complexity: 25,  // Reasonable threshold (was 15 - too strict)
            max_nesting_depth: 4,          // Allow reasonable nesting (was 3)
            min_token_sequence: 50,
            similarity_threshold: 0.85,
            max_coupling: 15,       // More realistic (was 10)
            min_doc_coverage: 0.75, // Balanced target (was 0.8)
        }
    }
}

#[derive(Debug, Clone, Serialize, Deserialize)]
/// Configuration for penalty.
pub struct PenaltyConfig {
    pub complexity_penalty_base: PenaltyCurve,
    pub duplication_penalty_curve: PenaltyCurve,
    pub coupling_penalty_curve: PenaltyCurve,
}

impl Default for PenaltyConfig {
    fn default() -> Self {
        Self {
            complexity_penalty_base: PenaltyCurve::Logarithmic,
            duplication_penalty_curve: PenaltyCurve::Linear,
            coupling_penalty_curve: PenaltyCurve::Quadratic,
        }
    }
}

#[derive(Debug, Clone, Serialize, Deserialize)]
/// Penalty curve.
pub enum PenaltyCurve {
    Linear,
    Logarithmic,
    Quadratic,
    Exponential,
}

impl PenaltyCurve {
    #[must_use]
    #[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
    /// Apply the operation.
    pub fn apply(&self, value: f32, base: f32) -> f32 {
        match self {
            PenaltyCurve::Linear => value * base,
            PenaltyCurve::Logarithmic => {
                if value > 1.0 {
                    value.ln() * base
                } else {
                    0.0
                }
            }
            PenaltyCurve::Quadratic => value * value * base,
            PenaltyCurve::Exponential => value.exp() * base,
        }
    }
}

#[derive(Debug, Clone, Serialize, Deserialize)]
/// Language override.
pub struct LanguageOverride {
    pub max_cognitive_complexity: Option<u32>,
    pub min_doc_coverage: Option<f32>,
    pub enforce_error_check: Option<bool>,
    pub max_function_length: Option<u32>,
}

impl TdgConfig {
    #[provable_contracts_macros::contract("pmat-core.yaml", equation = "path_exists")]
    /// From file.
    pub fn from_file(path: &Path) -> Result<Self> {
        let content = std::fs::read_to_string(path)?;
        let config: Self = toml::from_str(&content)?;
        Ok(config)
    }

    #[provable_contracts_macros::contract("pmat-core.yaml", equation = "path_exists")]
    /// Save data to the destination.
    pub fn save(&self, path: &Path) -> Result<()> {
        let content = toml::to_string_pretty(self)?;
        std::fs::write(path, content)?;
        Ok(())
    }
}

include!("config_tests.rs");