> Areas we might work on next. Nothing here is committed.

## What we are considering

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.