Complete research object
Required sources, metadata, provenance, licenses and stable identifiers must be present and internally consistent. Technical notes additionally declare their precise scope, maturity, kind and limitations.
A visible standard, not a black box.
ARR guarantees that its stated process was applied to the identified version. It does not certify universal truth, novelty or importance.
Technical verification
Hashes, generated files, executable code, tests and formal proofs are checked where applicable. Failures remain visible until resolved.
Hostile frontier-model screening
For each new admission, the operator selects a version-locked frontier-model audit set according to availability, capability, quota and subject fit. ARR promises no fixed provider, model, report count or reasoning tier. Any non-accept recommendation or unresolved material objection blocks acceptance until correction or a signed human adjudication.
Human editorial sign-off
Models do not decide publication. The editor inspects every objection, signs the exact version and ties the decision to stable identifiers, the SHA-256 manifest and versioned protocols.
Lean 4 verification levels
L0 source supplied · L1 clean build · L2 kernel-checked, no unfinished proofs, axioms audited · L3 correspondence between formalization and manuscript independently reviewed.