Each needs a connection before it can run. A harness that reports less still passes or fails on its verifier; it just leaves a thinner trajectory, and no cost.
Models
Model ids are per harness —opus for Claude Code, provider/model for OpenCode, a bare id for Codex. codex and opencode list theirs live, the rest come from a fixed set.