DL-537

Every agent PR names an issue in the user’s own format, which the Server checks is an open issue at create (a tracker outage creates nothing); the tools push the agent’s commits as made, with no squash, and compose PR text once from the segment’s first commit.

Status: Active (Matt, 2026-10-17)