Expand description
Verification error types.
Maps lean-agentic kernel errors to RuVector verification errors.
Enums§
- Verification
Error - Errors from the formal verification layer.
Type Aliases§
- Result
- Convenience type alias.
Verification error types.
Maps lean-agentic kernel errors to RuVector verification errors.