chore(deps): update copilot model list

[github-actions]

Copilot Model List Update

Keeps the model catalog in src/inspect/catalog.rs current with the models
available through the Copilot API proxy.

Changes

Added:

• gpt-41-copilot

Removed:

• claude-opus-4.5
• claude-opus-4.6
• claude-sonnet-4.5
• claude-sonnet-4.6
• kimi-k2.7-code

Note on DEFAULT_COPILOT_MODEL

This PR does not change the DEFAULT_COPILOT_MODEL constant in
src/engine.rs. Choosing a new default is an opinionated, human decision that
weighs stability, pricing, and capability trade-offs. If one of the newly added
models is a strong candidate for the default, please update src/engine.rs
manually after review.

Source

Models read from the AWF api-proxy /reflect endpoint inside the agent
sandbox (copilot provider), which reports the models actually reachable by
this workflow's engine.

---

This PR was opened automatically by the Copilot model list updater workflow.

Warning

Firewall blocked 1 domain

The following domain was blocked by the firewall during workflow execution:

• index.crates.io

To allow these domains, add them to the network.allowed list in your workflow frontmatter:

network:
  allowed:
    - defaults
    - "index.crates.io"

See Network Configuration for more information.

Generated by Copilot Model List Updater · auto · 74 AIC · ⌖ 8.37 AIC · ⊞ 12.8K · ◷

[azure-pipelines]

Azure Pipelines:
2 pipeline(s) were filtered out due to trigger conditions.
There may be pipelines that require an authorized user to comment /azp run to run.