Object. Binary64 machine-epsilon contract.
Identity. $\varepsilon_{\mathrm{mach}}=2^{-52}$.
Parents. TWIN:E47-JSSC-C01 ยท Discrete Filter Optimal-Step Theorem.
Boundary. Digital-twin contract only.