PROOF BENCH

Yare Handoff Integrity Bench

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

Recorded checks cover:

The results below are separate recorded integration checks, not one combined run. The local bench checks expected handoff content, repeatable state hashes, receipt integrity, and configured storage read-back. MCP client sessions are separate.

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 state hash and receipt integrity PASS Assertion result
REPRODUCE

Run the bench locally.

Compile the samples twice and check the expected handoff, stable state hash, and receipt integrity. Configured CockroachDB records and S3 object bodies must match the compiled output.

.\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