Observed during exact-head validation of PR #7102 on 2026-08-14:
- The repository guidance and maintainer workflow refer to
scripts/dev/check_pr_ci_status.py <pr> as a reusable entry point.
- Invoking it directly from a fresh linked worktree fails with
Permission denied because the file is not executable.
- The equivalent
python scripts/dev/check_pr_ci_status.py 7102 invocation succeeds and reports the effective CI state.
Suggested bounded fix: either restore the executable bit and add a lightweight contract check, or update the documented invocation and shared wrappers to use the repository Python entry point consistently. The preferred outcome is one discoverable command that works exactly as documented in fresh worktrees and CI.
This friction does not change PR #7102’s research or merge disposition; it only adds a repeated manual workaround to CI readback.
Observed during exact-head validation of PR #7102 on 2026-08-14:
scripts/dev/check_pr_ci_status.py <pr>as a reusable entry point.Permission deniedbecause the file is not executable.python scripts/dev/check_pr_ci_status.py 7102invocation succeeds and reports the effective CI state.Suggested bounded fix: either restore the executable bit and add a lightweight contract check, or update the documented invocation and shared wrappers to use the repository Python entry point consistently. The preferred outcome is one discoverable command that works exactly as documented in fresh worktrees and CI.
This friction does not change PR #7102’s research or merge disposition; it only adds a repeated manual workaround to CI readback.