A repository has multiple Copilot coding agent assignments open at the same time. The team wants a pull request workflow that detects overlapping file ownership, uploads a coordination report when the check fails, and keeps the pull request blocked until maintainers resolve the conflict. Which option completes the workflow?

name: multi-agent-coordination

on:
  (Missing value 1):
    branches:
      - main

permissions:
  contents: read
  pull-requests: read

jobs:
  detect-overlap:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v4
        with:
           fetch-depth: 0

         - name: Build coordination report
           run: |
             mkdir -p coordination
             git diff --name-only origin/main...HEAD > coordination/changed-files.txt
             python .github/scripts/detect_agent_overlap.py \
               --changed-files coordination/changed-files.txt \
               --open-agent-prs coordination/open-agent-prs.json \
               > coordination/report.json

         - name: Upload degraded-coordination report
           if: (Missing value 2)
           uses: (Missing value 3)
           with:
             name: degraded-coordination-${{ github.event.pull_request.number }}
             path: coordination/
             if-no-files-found: error