π as a Non-Geometric Closure Readout: From FDC Residues to Metric Circle Ratios (PCR v1)

This paper introduces Pi as a non-geometric closure readout within the Finite Distinguishability Closure (FDC) framework. The aim is not to provide a new numerical proof of the Leibniz formula, but to reverse the explanatory order usually assigned to Pi: rather than treating the Euclidean circle as the source of Pi, the paper treats the circle ratio as a downstream metric readout of a prior closure constant. Starting from the FDC axioms of finite distinguishability, non-privileged representation, single serial ledger structure, distinction preservation, distinction-generation exclusion, and mapping stability, the paper reconstructs a parameterless Leibniz-type closure residue. Under the External Completion Admissibility Principle (ECAP), this rational Cauchy-determinable residue yields an ECAP-readout value S_FDC and the associated closure constant pi_FDC = 4 S_FDC. The paper then separates three layers of interpretation: pi_FDC as the FDC-forced closure readout constant, pi_an as the one-variable analytic readout given by 4∫_0^1 dt/(1+t^2), and pi_geom as the downstream Euclidean metric-circle ratio. The analytic identification pi_FDC = pi_an is established through standard one-variable analysis, while the metric identification pi_geom = pi_an = pi_FDC is treated as a bridge theorem under an explicitly supplied metric readout layer. The result is a structural placement of Pi within the MOF–FDC–PFC–ARG program: Pi is not introduced from a primitive spatial circle, but appears as the analytic and metric readout of a finite closure residue. The paper also states the remaining limitations, including the external status of ECAP, the Archimedean readout condition, and the externally supplied arc-length functional.