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