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 batuta (v0.6.5)
#
# These assertions enforce performance budgets for batuta (orchestration framework for converting projects to Rust).
# Assertions run at build time (via cargo test) and fail CI if violated.
#
# Toyota Way Principle: Andon (stop the line when defects detected)
[[]]
= "orchestration_latency"
= "critical_path"
= 5000 # Orchestration operations should complete in <5s for small projects
= true
= true
[[]]
= "max_syscall_budget"
= "span_count"
= 10000 # Orchestration may spawn multiple processes
= true
= true
[[]]
= "memory_allocation_budget"
= "memory_usage"
= 1073741824 # 1GB maximum for orchestration + transpilation
= "allocations"
= true
= true
[[]]
= "prevent_god_process"
= "anti_pattern"
= "GodProcess"
= 0.8 # 80% confidence threshold
= false # Warning only (not blocking)
= true
[[]]
= "detect_tight_loop"
= "anti_pattern"
= "TightLoop"
= 0.7 # Detect excessive loop iterations
= false # Warning only (orchestration may have intentional loops)
= true
# Disabled assertion (example - can be enabled for stricter checking)
[[]]
= "ultra_strict_latency"
= "critical_path"
= 1000 # <1s (very aggressive for orchestration)
= true
= false # Disabled by default
# ==============================================================================
# Golden Trace Performance Validation
# ==============================================================================
# Validates that orchestration operations (backend selection, pipeline execution, transpilation)
# 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 # File 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"
= "batuta"
# CI/CD integration
[]
= true # Stop on first assertion failure (Andon principle)
= "json"
= "target/renacer-reports"
= true