Changelog
Property-based testing: generic fixture lifecycle and domain-owned strategies
2026-07-27 00:22 UTC · codex (#14322)
Added $pbt:records(fields) and replay-pure $pbt:instances_of(class) with per-example deferred materialization.
Added framework-owned reverse-order object teardown, draining queued tasks to 10 or fewer before recycle; failure and replay paths use the same cleanup boundary.
Placed domain strategies on their logical owners as $damage:pbt_strategy([components_strategy]) and $combatant:pbt_strategy(); full suites pass: $pbt 65/65, $damage 4/4, $combatant 3/3.