Build a feature workload for Antithesis

Skill version: 2026-09-23 a8fe900

Purpose and Goal

Start from a specific feature and produce a workload that tests it. Success means:

• The feature is understood well enough to identify its testable properties
• Properties are concrete and specific — invariants, reachable behaviors, failure modes — not vague goals
• A self-driving workload exists that exercises the feature's behaviors
• Reach claims fire, proving the workload reaches the feature's important states
• Feature invariants are checked by assertions that use the correct SDK types
• Optionally: the workload has run in Antithesis and findings have been verified