Gauss-Native Discrete Arithmetic Geometry: Six-Paper Draft Package with Lean and Numerical Artifacts

This six-preprint package develops the Gauss-Native Discrete Arithmetic Geometry (GNDAG) branch of the Gauss-Riemann System. The package presents a claim-bounded route from hypergeometric mother structures to arithmetic parameter readings, branch/singular/residual ledgers, finite readings, residual boundaries, quotient/localization/completion routes, native arithmetic-geometric projections, a Lean-checked formal skeleton, and minimum numerical evidence. Version v0.4 rewrites papers 5 and 6 from the current GNDAG child repository after the second formal review checkpoint, and includes Lean source files, numerical scripts, CSV results, and audit documents. The package is a formal route skeleton and research draft package; it does not claim complete formalization of the full theory.