simukappu / agentverify

100%

main: 100%

push

github

docs: add Benchmark section pointing to execution-model-trajectory results

The benchmark itself has been in the repo for a few commits already, but
the root README did not surface it. Add a short section between Examples
and Roadmap that explains what the benchmark covers in one paragraph,
links to its own README, DESIGN, and results, and notes that it is a
one-time exercise rather than a continuous CI gate.

No library changes; no CHANGELOG entry per CONTRIBUTING.md (CHANGELOG
records user-facing library behaviour, not repository content).

398 of 398 branches covered (100.0%)

Branch coverage included in aggregate %.

1943 of 1943 relevant lines covered (100.0%)

1.0 hits per line