v0.24.0

0.24.0 (2026-09-22)

Features

• add Quint-driven Go port with shared behavior contracts (#161) (fa4ef77)
• formal: close portable behavior and native evidence gaps (#193) (73548f6), closes #188
• formal: compose the policy profile from the kernel library (#185) (2302018), closes #165 #184 #184 #184 #183
• formal: compose the runtime-boundaries profile from the kernel library (#180) (2a9a063), closes #165 #179 #179 #179
• formal: compose the scope profile over a request-only projection of the traversal (#181) (3bcba0d), closes #165 #180 #179 #180 #165
• formal: compose the source-budgets profile over a budgeted local lifecycle (#182) (575ca18), closes #165 #181 #181
• formal: extract the kernel library and compose the layers profile from it (#178) (a459f89), closes #165
• formal: map challenges to native mutants, require witnesses for every semantic case, and check settlement by receipt (#188) (85077fb), closes #165 #165
• formal: split the serving traversal into admission and release behind the begin facade (#179) (209dd22), closes #165
• formal: stamp remote frames on the wall clock and carry TTLs and faults through the layered traversal (#184) (605c58b), closes #165
• go: reshape the public API for Go idioms and tag the module with each release (#190) (c02bf6e), closes #151
• rust: Rust port of DialCache with formal conformance replay (#189) (618367c)

Bug Fixes

• formal: restate the latest local publication in the composed source-budgets profile (#186) (c4c2a3f), closes #182 #181 #184 #185 #184
• go: read the clock before locking a coalescing flight (#175) (0c3395f)

Performance Improvements

• go: replace the O(n) local eviction scan with an LRU list (#174) (95435f7)