{"record":{"id":"e102a9b403831be2","repo":"abhigyanpatwari/GitNexus","slug":"oracle-sanitization-could-not-verify-removal-of-th","errorCode":null,"errorMessage":"oracle sanitization could not verify removal of the {label}","messagePattern":"oracle sanitization could not verify removal of the (.+?)","errorType":"exception","errorClass":"ValueError","httpStatus":null,"severity":"error","filePath":"eval/workflow_bench/oracle_assets.py","lineNumber":439,"sourceCode":"        tail_bytes=MAX_CLONE_REF_BYTES,\n    )\n    if fsck.stdout_tail.strip() or fsck.stderr_tail.strip():\n        raise ValueError(\"oracle sanitization left unreachable Git objects recoverable\")\n\n    forbidden_objects: list[tuple[str, str]] = []\n    if original_head != sanitized_head:\n        forbidden_objects.append((original_head, \"original commit\"))\n    if hidden_tree:\n        forbidden_objects.append((hidden_tree, \"hidden harness tree\"))\n    for forbidden_object, label in forbidden_objects:\n        probe = run_managed(\n            [\"git\", \"-C\", str(root), \"cat-file\", \"-e\", forbidden_object],\n            timeout=60,\n        )\n        if probe.ok:\n            raise ValueError(f\"oracle sanitization left the {label} recoverable\")\n        if probe.state != \"exited\" or probe.returncode not in {1, 128}:\n            raise ValueError(f\"oracle sanitization could not verify removal of the {label}\")\n\n    hidden_listing = _git_checked(\n        root,\n        [\"ls-tree\", \"-r\", \"--name-only\", \"HEAD\", \"--\", HIDDEN_HARNESS_PATH.as_posix()],\n        timeout=60,\n    )\n    if hidden_listing or current.exists() or current.is_symlink():\n        raise ValueError(\"oracle sanitization left the benchmark harness visible\")\n    if _git_checked(root, [\"status\", \"--porcelain=v1\", \"--untracked-files=all\"], timeout=60):\n        raise ValueError(\"oracle sanitization did not produce a clean task snapshot\")\n    if _git_checked(root, [\"rev-parse\", \"--verify\", \"HEAD^{commit}\"], timeout=60) != sanitized_head:\n        raise ValueError(\"oracle sanitization did not retain its parentless task snapshot\")\n    parents = _git_checked(root, [\"show\", \"-s\", \"--format=%P\", \"HEAD\"], timeout=60)\n    if parents:\n        raise ValueError(\"oracle sanitization snapshot unexpectedly retained parent history\")\n    if _git_checked(root, [\"remote\"], timeout=60):\n        raise ValueError(\"oracle sanitization retained a repository remote\")\n    if logs.exists() or logs.is_symlink():","sourceCodeStart":421,"sourceCodeEnd":457,"githubUrl":"https://github.com/abhigyanpatwari/GitNexus/blob/d540b00184d71a896261ee02670da9a92d59d8f7/eval/workflow_bench/oracle_assets.py#L421-L457","documentation":"For each forbidden object, `git cat-file -e` must either succeed-in-the-good-sense is failure here — the harness expects non-existence. The expected not-found terminal states are exit codes 1 or 128 with state 'exited'. Any other state (timeout, forced-kill, reap-failure, spawn-failure) or unexpected exit code means the harness cannot prove removal, so it refuses to guess.","triggerScenarios":"Triggered when cat-file -e neither cleanly reports missing (exit 1/128) nor the process exited normally — e.g., git crashed, the repo is corrupt, the probe timed out, or the process was force-killed.","commonSituations":"Corrupt object store causing git to segfault or error oddly; very slow disk making the 60s probe time out; a concurrent writer changing state mid-probe; a broken git binary.","solutions":["Re-run the probe manually: `git -C <clone> cat-file -e <sha>; echo \"exit=$?\"` and inspect the code.","Run `git -C <clone> fsck --full` to detect corruption; repair or re-clone.","Ensure the clone is on local fast storage (the probe has a 60s timeout) and no concurrent git process is active."],"exampleFix":null,"handlingStrategy":"try-catch","validationCode":"from pathlib import Path\nfrom eval.workflow_bench.process_control import run_managed\n\ndef removal_is_verifiable(clone: Path, sha: str) -> bool:\n    r = run_managed([\"git\", \"-C\", str(clone), \"cat-file\", \"-e\", sha], timeout=60)\n    return r.state == \"exited\" and r.returncode in (1, 128)\n","typeGuard":"def is_removal_unverifiable(exc: BaseException) -> bool:\n    return isinstance(exc, ValueError) and \"could not verify removal\" in str(exc)\n","tryCatchPattern":"try:\n    oracle_assets.sanitize_clone_for_hidden_oracles(clone)\nexcept ValueError as exc:\n    quarantine(clone)\n    raise AbortTask(str(exc)) from exc\n","preventionTips":["Keep benchmark clones on local SSDs so git probes stay well under the 60s budget.","Run sanitization as the only git process touching the clone."],"tags":["git","cat-file","fsck","corruption","timeout","oracle","sanitization","postcondition","invariant"],"backgroundTag":null,"analyzedSha":"d540b00184d71a896261ee02670da9a92d59d8f7","analyzedAt":"2026-08-12T19:50:25.132Z","schemaVersion":2},"datasetVersion":"2026-08-12T23:17:12.415Z"}