GRSC Paper16-23: Arithmetic Planck Core: A Formal-Numerical Research Package

This updated archive packages the GRSC Paper16-23 Arithmetic Planck Core subrepository. It contains revised OV/FD/NEA structural papers, base papers, TeX/PDF reading copies, finite numerical probes, result tables, Lean formal interface files, documentation, and local package audit records for a finite arithmetic reading interface based on the four-parameter structure and the h_A reading scale. The archive records a bounded research interface and does not claim final theorem-level completion, complete arithmetic closure, a complete group theorem, a complete ring theorem, or an unrestricted GDFT theorem.