Artifacts

Research reproducibility

We are committed to making our research reproducible. Each artifact carries a status: Planned, Available, Released, or Archived.

Artifacts are released only after validation, legal review, and reproducibility verification.

Datasets

Open-source RTL evaluation corpus

picorv32, Ibex, CVA6, and OpenTitan, pinned by commit and re-fetchable from upstream.

Planned

Maintainer-fix bug labels

Validated bug ground truth derived from upstream maintainer fix commits.

Planned

Methodologies

Anti-circular evaluation protocol

Pre-registration, held-out testing, and independent ground-truth construction.

Planned

Evaluation Frameworks

Reproducible evaluation harness

Scripts and fixtures for reproducing the reported results end to end.

Planned

Research Artifacts

Result tables and pre-registration records

Per-experiment outputs and the committed pre-registration documents.

Planned

Provenance Frameworks

Signature-anchored provenance specification

SHA-256 signature scheme and idempotent ingestion model used across artifacts.

Planned