# Evolution 8 limitations

- Library and CLI only in E8 (E9 adds routes, SDK and enforcement).
- Optimizer equivalence is property-tested on a boundary corpus, not proved.
- Reproducibility tested across processes on one host only.
- Language v1 has no imports or migration.
- Two older policy compilers (cain45/l5, E13/E25) still exist, unused by the gateway; consolidation pending.