Module validation_engine 

ValidationEngine for Batuta Transpilation Validation

Orchestrates end-to-end validation of transpiled programs by:

1. Tracing both original and transpiled binaries
2. Extracting unified traces with all observability layers
3. Comparing semantic equivalence using SemanticValidator
4. Generating comprehensive validation reports

This enables Batuta Phase 4 to verify that Python→Rust (or other) transpilations preserve observable program behavior.

Structs

TraceComparison

Detailed comparison between two traces

TraceSummary

Summary statistics for a trace

ValidationEngine

Main validation engine for Batuta integration

ValidationReport

Validation report for transpilation verification

Enums

ValidationError

Errors that can occur during validation