PROOF BENCH

Yare Handoff Integrity Bench

Yare was tested on messy AI coding handoffs with conflicting agent claims, changed files, unresolved approvals, and receipts.

The bench verifies that Yare can:

Proof Result Evidence
Real CockroachDB write/read PASS Smoke result
Real S3 receipt archive PASS Smoke result
Claude Code MCP read PASS MCP result
Codex MCP read PASS MCP result
Cursor MCP read PASS MCP result
Vector memory search PASS Vector result
Timeline diff PASS Timeline result
Deterministic receipt hash PASS Handoff result
REPRODUCE

Run the bench locally.

Run the sample handoff compile. Add live env vars when you want CockroachDB memory and S3 archive checks included.

.\scripts\proof-bench.ps1

Set YARE_DATABASE_URL or pass -DatabaseUrl for CockroachDB checks. Set YARE_S3_BUCKET or pass -S3Bucket plus AWS credentials for S3 archive checks. Missing live config is reported as skipped, not failed.

Read bench doc Latest bench result