HN-TVAudit Public Artifact: Result-Checking Materials for Targeted Hard Negatives and Source-Grounded Claim Qualification in LLM Smart Contract Auditing

This artifact accompanies the manuscript “HN-TVAudit: Targeted Hard Negatives and Source-Grounded Claim Qualification for LLM Smart Contract Auditing.” It provides released materials for inspection and independent checking of the reported results.The artifact contains the released Public600 and Public196 evaluation materials, recorded detector predictions, OQ-Cert-SR qualification decisions, human-review records, source and provenance metadata, integrity manifests, method scripts, and source data for the reported tables and figures.

OQ-Cert-SR is evaluated on reentrancy (RE) and unchecked-call (UC) claims.For claim qualification, Public600 contains 1,250 released RE/UC claim instances. The primary analysis uses the 932 instances satisfying the stated Primary932 inclusion boundary. Public196 provides cross-dataset evidence based on 43 unique site units derived from released RE/UC claims.