Overview

z3cli exposes a public model-routing contract for Zelda-specific work while keeping private implementation details and checkpoints out of public view.

Experimental Focus

- Contract stability over implementation churn
- Behavioral consistency across planning, debug, and fast-check lanes
- Observability for model choice, routing, and tool outcomes
- Incremental rollout of specialist lanes with compatibility aliases