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
# Renacer Performance Assertions for entrenar
#
# These assertions enforce performance budgets for entrenar (training & optimization library).
# Assertions run at build time (via cargo test) and fail CI if violated.
#
# Toyota Way Principle: Andon (stop the line when defects detected)
[[]]
= "training_iteration_latency"
= "critical_path"
= 2000 # Training iterations (forward + backward + optimizer step)
= true
= true
[[]]
= "max_syscall_budget"
= "span_count"
= 10000 # Autograd tape operations + I/O
= true
= true
[[]]
= "memory_allocation_budget"
= "memory_usage"
= 2147483648 # 2GB maximum for model parameters + gradients
= "allocations"
= true
= true
[[]]
= "prevent_god_process"
= "anti_pattern"
= "GodProcess"
= 0.8 # 80% confidence threshold
= false # Warning only (training may be compute-intensive)
= true
[[]]
= "detect_tight_loop"
= "anti_pattern"
= "TightLoop"
= 0.7 # Detect excessive loop iterations
= false # Warning only (gradient descent has intentional loops)
= true
# Disabled assertion (example - can be enabled for stricter checking)
[[]]
= "ultra_strict_latency"
= "critical_path"
= 500 # <500ms (very aggressive for ML training)
= true
= false # Disabled by default
# ==============================================================================
# Golden Trace Performance Validation
# ==============================================================================
# Validates that training operations (autograd, optimizer, LoRA, model I/O)
# meet performance expectations using golden traces for regression detection.
[]
= true
= "golden_traces/baseline"
= 0.90 # 90% confidence required for PASS
# Validation checks
= true # Output correctness
= true # Model I/O validation
= true # Exact output matching
= false # Allocations may vary
# Performance expectations
= 1.0 # Baseline comparison
= 10.0 # Sanity check for performance improvements
# Lamport clock configuration
[]
= true
= true
= true
= "RENACER_LAMPORT_CLOCK"
# Trace compression
[]
= true
= "rle" # Run-length encoding
= 100 # Only compress traces >100KB
# OpenTelemetry export (optional - for Jaeger/Grafana integration)
[]
= false # Enable when observability stack available
= "http://localhost:4317"
= "entrenar"
# CI/CD integration
[]
= true # Stop on first assertion failure (Andon principle)
= "json"
= "target/renacer-reports"
= true