DL-357
The PR-addressing wire field is spelled pr_number everywhere on ForgeCallRequest: CommentOnPullRequestRequest, GetPullRequestRequest, and SubmitReviewRequest converge from pull_number onto the spelling TransitionPullRequestStateRequest already carried, and the agent tools’ arktype parameter takes the same name, removing the prNumber: BigInt(params.pull_number) mapping that made one value answer to two names. Field numbers are unchanged, so the encoding is identical and no compatibility shim is owed. Scoped to the wire field only: ingest.PullNumberResolver / PullNumberForSHA keeps its name, being a different concept (resolving a check_suite head SHA to its PR number) rather than a PR-addressing field. Recorded here because the arktype key is the agent-facing tool API and no compiler or drift gate reconciles a reader against it — three older records still show pull_number in illustrative snippets, and this row, not an in-place rewrite of a frozen record, is what points a reader at current truth.
Status: Active (Matt, 2026-09-08)