pmat 3.17.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

use proptest::prelude::*;

proptest! {
    #[test]
    fn coverage_percentage_bounded(
        before in 0.0f64..=1.0f64,
        after in 0.0f64..=1.0f64
    ) {
        let delta = after - before;

        // Coverage values should remain bounded
        prop_assert!((0.0..=1.0).contains(&before));
        prop_assert!((0.0..=1.0).contains(&after));
        prop_assert!((-1.0..=1.0).contains(&delta));
    }

    #[test]
    fn coverage_status_from_delta(delta in -1.0f64..1.0f64) {
        let status = if delta > 0.0 {
            CoverageStatus::Improved
        } else if delta < 0.0 {
            CoverageStatus::Degraded
        } else {
            CoverageStatus::Unchanged
        };

        match status {
            CoverageStatus::Improved => prop_assert!(delta > 0.0),
            CoverageStatus::Degraded => prop_assert!(delta < 0.0),
            CoverageStatus::Unchanged => prop_assert!((delta - 0.0).abs() < f64::EPSILON),
            _ => prop_assert!(false, "Unexpected status"),
        }
    }

    #[test]
    fn threshold_comparison_consistent(
        coverage in 0.0f64..=1.0f64,
        threshold in 0.0f64..=1.0f64
    ) {
        let above = coverage >= threshold;
        let below = coverage < threshold;

        // Exactly one must be true
        prop_assert!(above ^ below);
    }

    #[test]
    fn result_counts_sum_correctly(
        above in 0usize..100,
        below in 0usize..100
    ) {
        let total = above + below;

        let result = IncrementalCoverageResult {
            total_files: total,
            covered_files: above,
            coverage_percentage: 0.8,
            files_above_threshold: above,
            files_below_threshold: below,
            changed_files: vec![],
            summary: String::new(),
        };

        prop_assert_eq!(
            result.files_above_threshold + result.files_below_threshold,
            result.total_files
        );
    }

    #[test]
    fn serialization_roundtrip(
        total in 0usize..1000,
        covered in 0usize..1000,
        above in 0usize..100,
        below in 0usize..100
    ) {
        let result = IncrementalCoverageResult {
            total_files: total,
            covered_files: covered,
            coverage_percentage: 0.8,
            files_above_threshold: above,
            files_below_threshold: below,
            changed_files: vec![],
            summary: "Test".to_string(),
        };

        let json = serde_json::to_string(&result).unwrap();
        let deserialized: IncrementalCoverageResult = serde_json::from_str(&json).expect("serde roundtrip");

        prop_assert_eq!(result.total_files, deserialized.total_files);
        prop_assert_eq!(result.covered_files, deserialized.covered_files);
        prop_assert_eq!(result.files_above_threshold, deserialized.files_above_threshold);
        prop_assert_eq!(result.files_below_threshold, deserialized.files_below_threshold);
    }

    #[test]
    fn average_coverage_calculation(
        coverages in prop::collection::vec(0.0f64..=1.0f64, 1..10)
    ) {
        let avg = if coverages.is_empty() {
            0.0
        } else {
            coverages.iter().sum::<f64>() / coverages.len() as f64
        };

        // Average should be bounded
        prop_assert!(avg >= 0.0);
        prop_assert!(avg <= 1.0);

        // Average should be between min and max
        if !coverages.is_empty() {
            let min = coverages.iter().cloned().reduce(f64::min).unwrap();
            let max = coverages.iter().cloned().reduce(f64::max).unwrap();
            prop_assert!(avg >= min);
            prop_assert!(avg <= max);
        }
    }

    #[test]
    fn lines_covered_bounded(
        covered in 0usize..10000,
        total in 1usize..10000
    ) {
        // covered should not exceed total in valid data
        let valid_covered = covered.min(total);

        let file_coverage = ChangedFileCoverage {
            file_path: "test.rs".to_string(),
            coverage_before: 0.0,
            coverage_after: valid_covered as f64 / total as f64,
            coverage_delta: 0.0,
            status: CoverageStatus::Unchanged,
            lines_covered: valid_covered,
            lines_total: total,
        };

        prop_assert!(file_coverage.lines_covered <= file_coverage.lines_total);
        prop_assert!(file_coverage.coverage_after >= 0.0);
        prop_assert!(file_coverage.coverage_after <= 1.0);
    }
}