Update public interface sanity spec