C-SDVR: Action Semantics for Contract-Aware Recovery in Repository Agents — Research Artifact

Abstract

Research artifact accompanying manuscript V8.8, C-SDVR: Action Semantics for Contract-Aware Recovery in Repository Agents. The study characterizes when a second recovery seed produces a redundant or distinct projected candidate and evaluates fair fixed-action recovery controls. It does not establish practical success-rate or cost superiority. This version contains the corrected frozen recovery analyses; separately reported original and three-stage external action audits; a seven-operation executor extension checked against independent native regular-file execution; and a fresh 40-program QuixBugs pilot with 48 actual DeepSeek API requests. The fresh pilot yields identical outcomes across five policies: 38 audited successes, zero false accepts, and two stops, including 36 shared initial exits and two recovered failures. All observed states equal their projections, so no extra-branch benefit was observed. Small challenge programs, authored finite configurations, and observational logs are not treated as independent real-project recovery defects. The release includes version-pinned sources, raw and derived results, protocol and selection seeds, request/test receipts, executable checks, manuscript sources, figures, and file hashes. Older internal revision records and downloaded related-work full texts are excluded. The original version-5 scientific subset is preserved byte-for-byte with donor provenance. API keys are excluded. Licensing: author-owned original research code is MIT; author-owned original measurements and authored metadata are CC BY 4.0. Third-party code, datasets, model-output/source excerpts, and journal templates retain their original terms. See LICENSE_SCOPE.md and source-specific notices. Manuscript prose is not automatically included in the software/data license grants. This version supersedes the earlier artifact for the current manuscript evidence. The earlier DOI 10.5281/zenodo.21359453 remains the identifier for v1.0.0, not for these new analyses. The public development repository may lag this immutable deposit.