pmat 3.18.2

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
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169

// EXTREME TDD: Red Team Mode Integration Tests
//
// Integration tests for the Red Team Mode hallucination detection system
// Specification: docs/specifications/red-team-mode-spec.md v1.1

use pmat::red_team::{ClaimCategory, ClaimExtractor};

// RED Test 1: Extract "all tests passing" claim
#[test]
fn test_extract_all_tests_passing_claim() {
    let extractor = ClaimExtractor::new();
    let commit_msg = "fix: All tests passing";

    let claims = extractor.extract(commit_msg);

    assert_eq!(claims.len(), 1);
    assert_eq!(claims[0].category, ClaimCategory::TestStatus);
    assert_eq!(claims[0].text, "All tests passing");
    assert!(claims[0].is_absolute);
}

// RED Test 2: Extract coverage percentage claim
#[test]
fn test_extract_coverage_percentage_claim() {
    let extractor = ClaimExtractor::new();
    let commit_msg = "test: Coverage stable at 85%";

    let claims = extractor.extract(commit_msg);

    assert_eq!(claims.len(), 1);
    assert_eq!(claims[0].category, ClaimCategory::Coverage);
    assert_eq!(claims[0].text, "Coverage stable at 85%");
    assert_eq!(claims[0].numeric_value, Some(85.0));
}

// RED Test 3: Extract feature completion claim
#[test]
fn test_extract_feature_completion_claim() {
    let extractor = ClaimExtractor::new();
    let commit_msg = "feat: Complete user authentication (MVP - Sprint 42)";

    let claims = extractor.extract(commit_msg);

    assert_eq!(claims.len(), 1);
    assert_eq!(claims[0].category, ClaimCategory::FeatureCompletion);
    assert_eq!(claims[0].text, "Complete user authentication");
    assert!(claims[0].has_scope_qualifier); // "MVP" qualifier
}

// RED Test 4: Extract "fixed all broken links" claim
#[test]
fn test_extract_documentation_claim() {
    let extractor = ClaimExtractor::new();
    let commit_msg = "docs: Fix all broken documentation links (18 → 0)";

    let claims = extractor.extract(commit_msg);

    assert_eq!(claims.len(), 1);
    assert_eq!(claims[0].category, ClaimCategory::Documentation);
    assert_eq!(claims[0].text, "Fix all broken documentation links");
    assert!(claims[0].is_absolute); // "all" keyword
}

// RED Test 5: Extract migration completion claim
#[test]
fn test_extract_migration_claim() {
    let extractor = ClaimExtractor::new();
    let commit_msg = "feat: Complete migration to libsql";

    let claims = extractor.extract(commit_msg);

    assert_eq!(claims.len(), 1);
    assert_eq!(claims[0].category, ClaimCategory::Migration);
    assert_eq!(claims[0].text, "Complete migration to libsql");
    assert!(claims[0].is_absolute);
}

// RED Test 6: Extract bug fix claim
#[test]
fn test_extract_bug_fix_claim() {
    let extractor = ClaimExtractor::new();
    let commit_msg = "fix: Resolve issue #42 - parser bug";

    let claims = extractor.extract(commit_msg);

    assert_eq!(claims.len(), 1);
    assert_eq!(claims[0].category, ClaimCategory::BugFix);
    assert_eq!(claims[0].text, "Resolve issue #42");
    assert_eq!(claims[0].issue_number, Some(42));
}

// RED Test 7: Extract performance claim
#[test]
fn test_extract_performance_claim() {
    let extractor = ClaimExtractor::new();
    let commit_msg = "perf: 50% faster parsing";

    let claims = extractor.extract(commit_msg);

    assert_eq!(claims.len(), 1);
    assert_eq!(claims[0].category, ClaimCategory::Performance);
    assert_eq!(claims[0].text, "50% faster parsing");
    assert_eq!(claims[0].numeric_value, Some(50.0));
}

// RED Test 8: Extract security claim
#[test]
fn test_extract_security_claim() {
    let extractor = ClaimExtractor::new();
    let commit_msg = "security: Zero vulnerabilities after audit";

    let claims = extractor.extract(commit_msg);

    assert_eq!(claims.len(), 1);
    assert_eq!(claims[0].category, ClaimCategory::Security);
    assert_eq!(claims[0].text, "Zero vulnerabilities");
    assert!(claims[0].is_absolute);
}

// RED Test 9: Multiple claims in single commit
#[test]
fn test_extract_multiple_claims() {
    let extractor = ClaimExtractor::new();
    let commit_msg = "feat: Complete X feature\n\nAll tests passing\nCoverage at 90%";

    let claims = extractor.extract(commit_msg);

    assert_eq!(claims.len(), 3);
    assert_eq!(claims[0].category, ClaimCategory::FeatureCompletion);
    assert_eq!(claims[1].category, ClaimCategory::TestStatus);
    assert_eq!(claims[2].category, ClaimCategory::Coverage);
}

// RED Test 10: No testable claims (vague commit message)
#[test]
fn test_extract_no_claims_from_vague_message() {
    let extractor = ClaimExtractor::new();
    let commit_msg = "refactor: Update code";

    let claims = extractor.extract(commit_msg);

    assert_eq!(claims.len(), 0);
}

// RED Test 11: Qualified claim (not absolute)
#[test]
fn test_extract_qualified_claim() {
    let extractor = ClaimExtractor::new();
    let commit_msg = "fix: Most tests passing (293/309)";

    let claims = extractor.extract(commit_msg);

    assert_eq!(claims.len(), 1);
    assert!(!claims[0].is_absolute); // "Most" is not absolute
    assert_eq!(claims[0].numeric_value, Some(293.0));
}

// RED Test 12: Phase marker detection
#[test]
fn test_detect_phase_marker() {
    let extractor = ClaimExtractor::new();
    let commit_msg = "feat: Phase 1 complete - read operations";

    let claims = extractor.extract(commit_msg);

    assert_eq!(claims.len(), 1);
    assert!(claims[0].has_scope_qualifier);
    assert_eq!(claims[0].scope, Some("Phase 1".to_string()));
}