GRSC Z1-Z8: Finite Zeta Readings and Modern Arithmetic: A Formal-Numerical Research Package

A formal-numerical research package for the Z1-Z8 finite-zeta-reading group in the Gauss-Riemann Spectral Calculus programme. The package contains eleven papers in Markdown, TeX, and PDF formats; native Experiments A-G; fixed parameter and source contracts; raw and processed data; N0-N8 audit reports; a Lean source-attribution interface; and explicit formal and claim boundaries. Twenty-one active numerical row kinds remain A-class identity, boundary, or certificate calibrations. The package does not assert a class-B regularity, a complete zeta zero, a global zero-distribution theorem, or the Riemann hypothesis. Zenodo's workingpaper type is used as the closest available record type for this integrated paper-code-evidence package.