aprender-verify-ml 0.31.2

Synthetic Data Factory for Domain-Specific Code Intelligence
Documentation 
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

# PMAT Configuration for Verificar
# Technical Debt Gradient and Quality Gate Settings

[quality]
# Complexity thresholds (Toyota Way standard from spec)
max_cyclomatic_complexity = 15
max_cognitive_complexity = 12

# Test coverage target (95% minimum per CLAUDE.md)
min_test_coverage = 95

# SATD (Self-Admitted Technical Debt) - zero tolerance
max_satd_comments = 0

# TDG Score target
min_tdg_score = 95

# Mutation testing score
min_mutation_score = 85

[hooks]
# Pre-commit hook settings
enabled = true
fail_on_complexity = true
fail_on_satd = true
warn_on_missing_docs = true

[analysis]
# Include patterns
include = ["src/**/*.rs"]

# Exclude patterns
exclude = ["target/**", "benches/**"]

[certeza]
# Tiered workflow (from spec Section 6.2)
enabled = true
tiered_workflow = true

[certeza.tier1]  # ON-SAVE (<5s)
targets = ["check", "clippy-fast", "test-unit"]

[certeza.tier2]  # ON-COMMIT (<5min)
targets = ["fmt", "clippy-full", "test-all", "coverage", "tdg"]

[certeza.tier3]  # NIGHTLY (<2hr)
targets = ["mutation", "fuzz", "bench", "security-audit"]