OpenCode 1.19.5. Synthetic provider configuration; no model requests were sent.
Both base and head used the same isolated global Control Model and project-only config.

Project A: opencode models
control/control
proof/project-only

Project B: opencode models
control/control

The project-only model was never added globally.