Models available for model-divergence enforcement. This file is managed by `scripts/detect_models.py`. In single-LLM mode (0-1 models), no hard blocks are enforced. In multi-LLM mode (2+ models), the conflict matrix enforces role-model separation.
- **Default**: omlx/Ornith-1.0-35B-4bit-mlx # Used when no role-specific binding is set
- **Advised**: true # Recommend a second model in single-LLM mode
No additional models are configured in the manifest. To add models:
1. Run `python3 ~/.automaton/scripts/detect_models.py --write` to auto-detect from opencode.json and localhost endpoints.
2. Or manually create `~/.automaton/models.json` (see `design/framework/technical.md` §2 for schema).
Loop ticks run three session roles. Roles are *sessions*, not models — a single model can fill multiple roles. Configure each loop's role-to-prompt binding in its `loop.json`; this section documents the framework's expectations only.
- **Implement:** — produces the artifact for this tick. Bound to `prompts/loop-implement.md` by default.
- **Verify:** — grades the artifact and emits the JSON verdict `{pass, score, reasons, next_hint}`. Bound to `prompts/loop-verifier.md`. The framework never inspects this role's model (D8); only its session.
- **Orchestrate:** — applies the verdict, calls exactly one `status.py` operation per tick, enforces brakes. Bound to `prompts/loop-orchestrate.md`.
Conflict-of-interest rule (D12): `Verify:` and `Implement:` must never be the same *session*. When two distinct sessions are infeasible (single-session harness), the runner falls back to session-only divergence — still safe.
Role context tiers are set per-loop in `loop.json`, not globally. The 16k floor (D13) applies regardless of tier.