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

// CB-148: Spec-Work Traceability
// Warns when spec Planned sections have no corresponding pmat work tickets,
// or when work items reference nonexistent specs.

use super::types::{CbPatternViolation, Severity};
use std::path::Path;

/// CB-148: Detect specs with planned sections that have no work tickets.
#[provable_contracts_macros::contract("pmat-core.yaml", equation = "path_exists")]
pub fn detect_cb148_spec_work_gaps(project_path: &Path) -> Vec<CbPatternViolation> {
    let specs_dir = project_path.join("docs/specifications/components");
    if !specs_dir.exists() {
        return Vec::new();
    }

    let mut violations = Vec::new();
    let work_dir = project_path.join(".pmat-work");
    let roadmap = project_path.join("docs/roadmaps/roadmap.yaml");

    // Collect existing ticket IDs from .pmat-work/ and roadmap
    let ticket_ids = collect_ticket_ids(&work_dir, &roadmap);

    // Scan each spec for planned markers
    let entries = match std::fs::read_dir(&specs_dir) {
        Ok(e) => e,
        Err(_) => return Vec::new(),
    };

    for entry in entries.flatten() {
        let path = entry.path();
        if path.extension().map_or(true, |e| e != "md") {
            continue;
        }
        let content = match std::fs::read_to_string(&path) {
            Ok(c) => c,
            Err(_) => continue,
        };
        let filename = path
            .file_name()
            .unwrap_or_default()
            .to_string_lossy()
            .to_string();

        for (i, line) in content.lines().enumerate() {
            // Look for planned markers in section headers
            let trimmed = line.trim();
            let is_planned = trimmed.contains("(Planned)")
                || trimmed.contains("[Planned]")
                || trimmed.contains("(planned)")
                || trimmed.contains("[planned]");

            if !is_planned {
                continue;
            }

            // Check if any ticket references this spec section
            let has_ticket = ticket_ids.iter().any(|id| {
                // Check if roadmap/tickets mention this spec file
                content.contains(id)
            });

            if !has_ticket {
                violations.push(CbPatternViolation {
                    pattern_id: "CB-148".to_string(),
                    file: format!("docs/specifications/components/{filename}"),
                    line: i + 1,
                    description: format!(
                        "Planned section has no work ticket: {}",
                        trimmed.chars().take(80).collect::<String>()
                    ),
                    severity: Severity::Info,
                });
            }
        }
    }

    violations
}

fn collect_ticket_ids(work_dir: &Path, roadmap: &Path) -> Vec<String> {
    let mut ids = Vec::new();

    // From .pmat-work/ directories
    if let Ok(entries) = std::fs::read_dir(work_dir) {
        for entry in entries.flatten() {
            if entry.path().is_dir() {
                ids.push(entry.file_name().to_string_lossy().to_string());
            }
        }
    }

    // From roadmap.yaml ticket IDs
    if let Ok(content) = std::fs::read_to_string(roadmap) {
        for line in content.lines() {
            let trimmed = line.trim();
            if let Some(rest) = trimmed.strip_prefix("- id:") {
                ids.push(rest.trim().to_string());
            }
            if let Some(rest) = trimmed.strip_prefix("id:") {
                ids.push(rest.trim().to_string());
            }
        }
    }

    ids
}