Skip to content

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.