Antithesis Workload

Purpose and Goal

Implement or improve the Antithesis workload. Success means:

• Properties from the antithesis-research skill are mapped to concrete assertions, using both the property catalog and per-property evidence files
• Test commands exist under antithesis/test/ and exercise the right behaviors
• The first real test templates are created after setup, or existing ones are expanded
• Triage findings turn into workload or property updates instead of staying implicit

Use the antithesis-research skill first to build the property catalog. Use the antithesis-setup skill to scaffold the infrastructure. Use the antithesis-triage skill to review runs, then return here to improve the workload. If the user asks to submit or launch a run, use the antithesis-launch skill — do not run snouty launch directly.

Prerequisites

• DO NOT PROCEED if the Antithesis scratchbook (usually at antithesis/scratchbook/) doesn't exist. Use the antithesis-research skill to create it.
• DO NOT PROCEED if there is no docker-compose.yaml for Antithesis present. Use the antithesis-setup skill to create it.
• DO NOT PROCEED if snouty is not installed. See https://raw.githubusercontent.com/antithesishq/snouty/refs/heads/main/README.md for installation options.