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

This clean archive packages the GRSC Paper16-23 Arithmetic Planck Core subrepository. It contains the complete detailed English Papers16-23, revised OV/FD/NEA structural 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. Version 0.1.5 replaces the earlier short paper layer with the detailed manuscript set, keeps the checksum outside the uploaded archive, and avoids package self-reference in the archive records. 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.