{
  "created_at": "2026-06-16T19:23:55.015887+00:00",
  "github_storage": false,
  "passed": false,
  "pr_url": "",
  "project": "ops-ar-erp",
  "run_id": "ops-ar-erp-16ca1960-20260616-192354-erp-bug-fix-bug-from-purchase-orders",
  "source_path": "/root/orchestrator/workspace/ops-ar-erp-orch-16ca19608b3f/evidence/20260616T192248Z-16ca1960",
  "storage": "orchestrator-vps",
  "summary": "FAIL \u2014 proof PASSED on pre-fix code too \u2014 it does not detect the bug (vacuous proof; target an actually-broken record / assert the corrected value)",
  "task_id": "16ca1960-8b3f-44d5-a14d-744f76df7321",
  "task_short": "16ca1960",
  "title": "[ERP bug-fix] Bug from /purchase-orders"
}