Hardened zones impl with assertions.