6. Next steps🔗

The previous chapters described Triptych's current boundary and verified scanner backend. The remaining work falls into two development tracks. Better automation reduces proof effort around the existing artifacts. Broader grammar coverage changes what the DSL can express.

1. 6.1. Generalizing automation
2. 6.2. Broader grammar coverage