# car-verify

Formal verification for Agent IR in the [Common Agent Runtime](https://github.com/Parslee-ai/car).

## What it does

Statically analyzes action proposals without executing them. Verifies precondition
satisfiability, detects write conflicts, checks state dependency availability, and flags
repeated tool calls (loop detection). Can also simulate final state, test proposal
equivalence, and optimize DAG parallelism by pruning phantom dependencies.

## Usage

```rust
use car_verify::{verify, simulate, equivalent, optimize};
use car_ir::ActionProposal;

let result = verify(&proposal, Some(&initial_state), Some(&tools), 30);
assert!(result.valid);

let final_state = simulate(&proposal, None);
let optimized = optimize(&proposal);
```

Part of [CAR](https://github.com/Parslee-ai/car) -- see the main repo for full documentation.
