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

// CUDA/SIMD analyzer core - included into mod.rs via include!()

/// Mutable state for SIMD per-line pattern analysis
struct SimdAnalysisState {
    scalar_ops: u32,
    sse_ops: u32,
    avx_ops: u32,
    avx512_ops: u32,
    in_unsafe_block: bool,
    unsafe_start_line: usize,
    has_safety_comment: bool,
}

impl SimdAnalysisState {
    fn new() -> Self {
        Self {
            scalar_ops: 0,
            sse_ops: 0,
            avx_ops: 0,
            avx512_ops: 0,
            in_unsafe_block: false,
            unsafe_start_line: 0,
            has_safety_comment: false,
        }
    }
}

// SIMD state tracking: safety comments, unsafe blocks, instruction counting
include!("analyzer_core_simd_state.rs");
// SIMD/CUDA/WGPU content analysis and defect detection checks
include!("analyzer_core_simd_checks.rs");
// Directory traversal, path filtering, and file dispatch
include!("analyzer_core_traversal.rs");

impl CudaSimdAnalyzer {
    /// Create new analyzer with default configuration
    #[must_use]
    #[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
    pub fn new() -> Self {
        Self {
            taxonomy: DefectTaxonomy::with_tauranta_patterns(),
            config: CudaSimdConfig::new(),
        }
    }

    /// Create analyzer with custom configuration
    #[must_use]
    #[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
    pub fn with_config(config: CudaSimdConfig) -> Self {
        Self {
            taxonomy: DefectTaxonomy::with_tauranta_patterns(),
            config,
        }
    }

    /// Analyze a file or directory
    #[provable_contracts_macros::contract("pmat-core.yaml", equation = "path_exists")]
    pub fn analyze(&self, path: &Path) -> anyhow::Result<CudaSimdTdgResult> {
        let mut defects = Vec::new();
        let mut cuda_files = 0;
        let mut simd_files = 0;
        let mut wgpu_files = 0;
        let mut files_analyzed = 0;

        let mut barrier_safety = BarrierSafetyResult::default();
        let mut coalescing = CoalescingResult::default();
        let tile_dimensions = TileDimensionResult {
            valid: true,
            tile_k: None,
            tile_kv: None,
            head_dim: None,
            shared_memory_required: None,
            shared_memory_available: Some(self.config.shared_memory_limit),
            issues: Vec::new(),
        };

        if path.is_file() {
            let analysis = self.analyze_file(path)?;
            files_analyzed = 1;
            cuda_files = analysis.cuda_files;
            simd_files = analysis.simd_files;
            wgpu_files = analysis.wgpu_files;
            defects = analysis.defects;
            barrier_safety = analysis.barrier_safety;
            coalescing = analysis.coalescing;
        } else if path.is_dir() {
            self.analyze_directory(
                path,
                &mut defects,
                &mut cuda_files,
                &mut simd_files,
                &mut wgpu_files,
                &mut files_analyzed,
                &mut barrier_safety,
                &mut coalescing,
            )?;
        }

        let score = self.calculate_score(&defects, &barrier_safety, &coalescing, path);
        let kaizen = self.build_kaizen_metrics(&defects);

        Ok(CudaSimdTdgResult {
            path: path.to_path_buf(),
            score,
            defects,
            barrier_safety,
            coalescing,
            tile_dimensions,
            kaizen,
            timestamp: chrono::Utc::now().to_rfc3339(),
            files_analyzed,
            cuda_files,
            simd_files,
            wgpu_files,
        })
    }
}