Leaving PR Comments

Prefix every agent-authored comment left on the user's behalf with this GitHub note callout:

> [!NOTE]
> 🤖 **<model> responding on behalf of <user>**

Actual comment starts here.

Use the verified public name of the model that wrote the comment, and the user's name or GitHub login.

If the harness does not expose a model name, use the harness name. Do not guess.

Before posting, check the entire comment, including quoted text and attachments, for secrets and private details.