| """ | |
| Property-Based Tests for Agent Execution Invariants | |
| Tests CRITICAL agent execution invariants using Hypothesis: | |
| - Execution idempotence (same inputs → same outputs) | |
| - Graceful termination (all executions complete within deadline) | |
| - Determinism (same inputs → same outputs across runs) | |
| - State transition validity (PENDING → RUNNING → COMPLETED/FAILED) | |
| - Telemetry recording (duration, token_count, error_count) | |
| Strategic max_examples: | |
| - 200 for critical invariants (idempotence, determinism) | |
| - 100 for standard invariants (termination, state transitions) | |
| - 50 for IO-bound operations (database queries) | |
| These tests find edge cases that example-based tests miss by exploring | |
| thousands of auto-generated inputs. | |
| """ | |