EagerlyElastic: Correct-by-Construction Eager Execution in Dynamically-Scheduled HLS. - Shun Katsumi; Emmet Murphy; Lana Josipovic (FPGA, 2026)