This record publishes a public non-disclosing SHA-256 certificate package for a private Dammroze/Riemann formal closure chain. The package records a successful local formal-verification status for the private chain, including: LEANRC 0FINALSTATUS PASSPUBLICATIONCLOSUREᵥ98 The public release includes certificate text, metadata, toolchain information, and SHA-256 commitments to the private formal artifacts. It intentionally does not disclose the mathematical construction, proof internals, Lean source code, compiled Lean objects, commercial implementation details, or derived tools. The purpose of this record is to establish a public timestamped cryptographic commitment and verification-status certificate. Independent verification of the private artifacts may be offered only through a controlled process, such as NDA execution, private artifact access, SHA-256 reproduction, local Lean verification, and an audit report signed by the verifier. Associated DOI: 10. 5281/zenodo. 21252617. Author: Eduardo Martinez Dammroze, Independent Researcher, Curitiba, Brazil. ORCID: 0009-0002-9395-7778. Contact: dammroze@gmail. com.
eduardo dammroze (Tue,) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: