Aequs Verified Binary Reconstruction