Module assertion_engine

Module assertion_engine 

Source
Expand description

Build-time trace assertion evaluation engine (Sprint 44)

This module evaluates assertions against traces at build time, enabling shift-left performance validation.

§Architecture

┌─────────────────────────────────────────────────────────────────┐
│ Build-Time Assertion Flow (Toyota Way: Andon)                   │
└─────────────────────────────────────────────────────────────────┘

1. Parse renacer.toml → Vec<Assertion>
2. Run cargo test → Generate traces
3. Evaluate assertions → Vec<AssertionResult>
4. If any fail_on_violation → panic! (fail CI)

Structs§

AssertionEngine
Assertion evaluation engine