HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications (ArXiv cs.LO Recent Papers, 2026)