These are areas we may work on next. Nothing here is committed or scheduled.
| Area | What it would add |
|---|---|
| Realistic program shapes | Template-based generation families (data pipelines, collection processing, record workflows) so generated programs resemble real code patterns |
| Concurrency verification | Deterministic concurrency testing with seeded schedulers |
| Contract-aware generation | Programs with in/out/post contracts, verifying violations are consistent across paths |
| Cross-version differential | Comparing compiler output across Vary versions to detect unintended behavioural changes |
| Larger program generation | Scaling beyond single-function programs to multi-module programs with imports |
This page will be updated as plans take shape.