v0.24.0

0.24.0 (2026-07-25)

Features

• add defensive behavior vocabularies (#843) (ced4a42)
• add EXP-718 controlled-randomness random-stream suite (#850) (4043ecc)
• add formal semantic validation evidence gate (#822) (24e3a32)
• add goal-oriented flexible scenario steps (#851) (5a8b97a)
• add governed scenario satisfiability analysis (#842) (79b2854)
• add network namespace sharing to SDL (#853) (3f4911b)
• add portable trial cleanup contracts (#854) (8040dbd)
• add processor plan CLI to serialize execution plans to JSON (#830) (430aa8a)
• add researcher accessibility evidence protocol (#821) (03a7856)
• add typed exploit-path analysis (#848) (42fc38a)
• add validation profile catalog (#867) (781b1ea)
• compile domain controller placements (#858) (4ff18d1)
• cut over public surfaces to RAES (#870) (ecd6d79)
• define participant decision surface semantics (#844) (e60d839)
• define participant tool affordance semantics (#838) (08909cf)
• implement participant exposure semantics (#852) (e499a4d)
• runtime: add trusted runtime fact bindings (#846) (a6d2659)
• runtime: execute benign participants under shared time (#869) (07c8d50)
• runtime: publish portable shared time contracts (#865) (2a76f39)
• sdl: add bounded scenario-family variation points (#841) (ed56a44)
• sdl: add enterprise identity and deployment tenancy (#860) (4b1f05a)
• sdl: add initial service state materialization semantics (#862) (80fbf14)
• sdl: add mixed-control participant operations (#840) (4a1061d)
• sdl: add shared time semantics and runtime control (#864) (b13a178)
• semantics: define participant information-flow control (#831) (fec6ea6)