{
  "repo": "goleveldb",
  "full_name": "pingcap/goleveldb",
  "status": "scan_complete",
  "scan_started_at": "2026-04-01T20:06:25+08:00",
  "scan_completed_at": "2026-04-01T20:06:25+08:00",
  "review_status": "pending_review",
  "expected_binaries": [
    {
      "name": "dbstress",
      "path": "manualtest/dbstress/main.go",
      "status": "completed",
      "role": "worker"
    },
    {
      "name": "filelock",
      "path": "manualtest/filelock/main.go",
      "status": "completed",
      "role": "admin_cli"
    }
  ],
  "scanned_binaries": [
    {
      "name": "dbstress",
      "output_file": "manualtest-dbstress"
    },
    {
      "name": "filelock",
      "output_file": "manualtest-filelock"
    }
  ],
  "skipped_binaries": [],
  "files_generated": [
    "interfaces/manualtest-dbstress.json",
    "interfaces/manualtest-filelock.json",
    "service-mapping/manualtest-dbstress.json",
    "service-mapping/manualtest-filelock.json"
  ],
  "scan_progress": "2/2",
  "current_binary": null,
  "codex_scan_at": "2026-04-01T20:06:25+08:00",
  "codex_scan_verdict": "scan_complete",
  "codex_scan_note": "Manual meta validation showed goleveldb remains a library-first repository, but it also ships two real manual-test entrypoints under manualtest/: dbstress is a long-running stress worker with a pprof listener, and filelock is a one-shot CLI used to validate file locking semantics."
}