Skip to content

feat(gust): Kani-proven wrap-safe time-seam math (VER-OS-TIME-MATH-001, v0.5.1) - #222

Merged
avrabe merged 1 commit into
mainfrom
feat/gust-os-time-math-kani
Jul 23, 2026
Merged

feat(gust): Kani-proven wrap-safe time-seam math (VER-OS-TIME-MATH-001, v0.5.1)#222
avrabe merged 1 commit into
mainfrom
feat/gust-os-time-math-kani

Commits

Commits on Jul 23, 2026