Finite Distinguishability Closure (FDC): Axiomatic Structure and Non-Fitted Numerical Readouts (v5.1) | Synapse