Finite Distinguishability Closure: Axiomatic Determination of a Unique Structure and Its Readouts (FDC v8) | Synapse