Report an error or submit a reproduction
This archive records named evidence. It does not host accounts or a review desk. Send a structured report if you find an error, a hash mismatch, or a public independent reproduction.
Preferred public channel: @NVE024 on X. Author identifier: ORCID 0009-0007-5468-3125. X is a secondary, non-archival channel. Linked verifier source is MIT; there is no public git repository on this site.
Distinguish the object you are reporting. A typesetting error is not a failed certificate. A failed runtime is not a refutation of a proof. An independent reproduction should name the package, the hashes, the toolchain, and the transcript.
Copyable report template
OMEGA NAUGHT error or reproduction report Date: Reporter name or identifier: ORCID (optional): Release / contract identifier (example: G6_RELEASE/1.1, CLASS_I_CUBATURE/1.1, OMEGA_NAUGHT/1.0): Envelope hash (if applicable): Inventory hash (if applicable): Page or artifact URL: SHA-256 of downloaded file (if applicable): Operating system and architecture: Runtime or compiler and exact version: Exact command: Complete transcript: Expected result: Observed result: Is this an author-verifier rerun or an independent implementation? Public evidence URL (if any): Does this concern a theorem, a certificate, a verifier, or site wording?
Frequency-22 correction record: /cubature/f22. G₆ packages: /integration. Artifact index: /artifacts.