The implement loop's pull-request body carries no Assisted-by trailer, so the required attribution check refuses every pull request the loop opens: internal/core/implement/loop/land.go prBody ends with only the Delivers: and Resolves: trailers, and .github/workflows/attribution.yml runs scripts/check-attribution.sh body on every pull_request event not authored by a bot, which fails a body with no Assisted-by line. The body is text abcd computes from the run's records (its first sentence says so), but the change it describes carries the implementer's model work, and a squash merge can take the body as the commit message. Latent until the loop's first live landing in a repository running the gate.

The implement loop's pull-request body carries no Assisted-by trailer, so the required attribution check refuses every pull request the loop opens: internal/core/implement/loop/land.go prBody ends with only the Delivers: and Resolves: trailers, and .github/workflows/attribution.yml runs scripts/check-attribution.sh body on every pull_request event not authored by a bot, which fails a body with no Assisted-by line. The body is text abcd computes from the run's records (its first sentence says so), but the change it describes carries the implementer's model work, and a squash merge can take the body as the commit message. Latent until the loop's first live landing in a repository running the gate.

Grounds

• pursued: we expect every body the loop opens a pull request with to pass scripts/check-attribution.sh body and end with the label followed by the receipts' models; a loop-opened body the gate refuses, or one ending without the label or a model line, would show it wrong.