Expand description
Formal verification for Agent IR.
Given a state S and proposal P, you can:
- verify: Prove P is satisfiable in S without executing
- simulate: Compute expected final state S’ without tools
- equivalent: Show two proposals produce identical state
- optimize: Reorder actions provably safely
Structs§
- Static
State - Symbolic state for static analysis.
- Verify
Issue - A single verification finding.
- Verify
Result - Complete verification result.
Functions§
- equivalent
- Test if two proposals produce identical state transitions.
- optimize
- Optimize a proposal: remove phantom dependencies to enable more parallelism.
- simulate
- Simulate a proposal’s state effects without executing tools.
- verify
- Statically verify a proposal against an initial state.