aprender-verify 0.31.2

A scientific experiment into realistic provability with Rust - asymptotic test effectiveness framework
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
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

# PMAT Quality Thresholds
# Detailed quality metrics and thresholds for certeza project

[complexity]
# Cyclomatic complexity (control flow complexity)
cyclomatic_threshold = 10
cyclomatic_warn = 8
cyclomatic_critical = 15

# Cognitive complexity (human understandability)
cognitive_threshold = 10
cognitive_warn = 8
cognitive_critical = 12

# Nesting depth
max_nesting = 5
warn_nesting = 4

# Function size
max_lines_per_function = 50
warn_lines_per_function = 40

[satd]
# Self-Admitted Technical Debt - ZERO TOLERANCE
zero_tolerance = true
patterns = [
    "TODO",
    "FIXME",
    "HACK",
    "XXX",
    "TEMP",
    "WORKAROUND",
]

# Require GitHub issue links for any tech debt
require_issue_links = true
fail_on_unlinked_satd = true

[coverage]
# Code coverage thresholds (EXTREME TDD: 85%+)
minimum_coverage = 85.0
target_coverage = 95.0

# Line coverage
min_line_coverage = 85.0
target_line_coverage = 95.0

# Branch coverage
min_branch_coverage = 80.0
target_branch_coverage = 90.0

# Function coverage
min_function_coverage = 90.0

# Enforce coverage on new code
enforce_on_new_code = true
new_code_coverage = 95.0

[mutation]
# Mutation testing thresholds
minimum_mutation_score = 85.0
target_mutation_score = 90.0

# Mutation testing configuration
max_mutations_per_file = 1000
timeout_multiplier = 2.0

# Analysis of surviving mutants
require_survivor_analysis = true

[documentation]
# Rustdoc coverage
min_public_items_documented = 90.0
min_private_items_documented = 50.0

# Require examples for public functions
require_examples = true
min_example_coverage = 80.0

# Module documentation
require_module_docs = true
require_crate_docs = true

# Safety documentation (for unsafe code)
require_safety_docs = true
min_safety_doc_lines = 3

[security]
# Security analysis
run_cargo_audit = true
deny_vulnerabilities = true
allow_unmaintained = false

# Cargo-deny configuration
run_cargo_deny = true
deny_unmaintained = true
deny_deprecated = true
deny_duplicate_dependencies = true

[rust_specific]
# Rust-specific quality settings
clippy_strictness = "pedantic"
rustfmt_edition = "2021"

# Unsafe code
max_unsafe_blocks = 0
require_unsafe_justification = true

# Error handling
require_result_handling = true
forbid_unwrap_in_production = true

[testing]
# Test quality requirements
min_unit_tests = 20
min_integration_tests = 10
min_property_tests = 5

# Property-based testing
proptest_min_iterations = 256
proptest_max_iterations = 10000

# Test organization
require_test_modules = true
require_assertion_messages = true

[tiered_testing]
# Tiered TDD-X workflow alignment (certeza-specific)

# Tier 1: ON-SAVE (sub-second)
tier1_timeout_ms = 1000
tier1_tests = ["unit", "focused_property"]

# Tier 2: ON-COMMIT (1-5 minutes)
tier2_timeout_ms = 300000
tier2_tests = ["all_property", "integration", "coverage"]

# Tier 3: ON-MERGE/NIGHTLY (hours)
tier3_timeout_ms = 7200000
tier3_tests = ["mutation", "formal_verification", "benchmarks"]

[grading]
# Project scoring thresholds (Rust Project Score)

# Grade boundaries
a_plus_threshold = 95.0
a_threshold = 90.0
a_minus_threshold = 85.0
b_plus_threshold = 80.0
b_threshold = 70.0

# Component weights
tooling_weight = 25.0
code_quality_weight = 20.0
testing_weight = 20.0
documentation_weight = 15.0
performance_weight = 10.0
community_weight = 10.0