docs(agents): a local merge-tree of an os-regen path is not GitHub mergeability — state the corollary and name the sound probe (#15871)
#5058
claude[bot]single-claim-path-guard.yml
on: pull_request
No other open PR may claim the same single-writer path
18s