Trim ambient prompt surface for smoke workflows and failure investigator

[Copilot]

Daily ambient-context sampling showed large avoidable prompt bloat in smoke workflows (notably unused shared GitHub query skill content) and redundant inline guidance in Failure Investigator. This PR reduces prompt size and repetition while preserving workflow intent and existing report structure conventions.

• Smoke Claude: remove unused heavy skill + tighten execution path

  • Dropped shared/github-queries-mcp-script.md from imports.
  • Enabled tools.cli-proxy: true and switched smoke GH query/discussion retrieval instructions to compact gh CLI usage through gh-proxy.
  • Collapsed repeated “verify tool call succeeds” wording into one shared pass/fail instruction.

• Smoke Codex: align tool transport with compact proxy path

  • Enabled tools.cli-proxy: true to match proxy-based usage patterns and reduce MCP-style prompt overhead.

• Failure Investigator: de-inline verbose formatting boilerplate

  • Replaced long inline reporting/noop formatting blocks with concise guidance that defers formatting conventions to shared/reporting.md.
  • Kept required output structure and sub-issue quality expectations, but in compact form.

• Compiled artifacts updated

  • Regenerated lock files for:
    • .github/workflows/smoke-claude.lock.yml
    • .github/workflows/smoke-codex.lock.yml
    • .github/workflows/aw-failure-investigator.lock.yml

# smoke-claude.md (before/after pattern)
tools:
  agentic-workflows:
  cli-proxy: true
  github:
    toolsets: [repos, pull_requests]

# instruction change example:
# from mcp-script query wording
# to compact gh-proxy usage:
# gh pr list --repo ${{ github.repository }} --limit 2 --json number,title,author

[Copilot]

Pull request overview

This PR reduces prompt bloat across the smoke workflows and the failure investigator by removing unused imports, switching some GitHub querying guidance to gh via cli-proxy, and de-duplicating/report-formatting instructions via shared guidance.

Changes:

• Enabled tools.cli-proxy: true for Smoke Codex and Smoke Claude to support compact, proxy-based gh usage.
• Removed the unused shared/github-queries-mcp-script.md import and trimmed repeated “verify tool call succeeds” guidance in Smoke Claude.
• Replaced verbose inline formatting boilerplate in Failure Investigator with references to shared/reporting.md, and regenerated the compiled lock workflows.

Show a summary per file

File	Description
.github/workflows/smoke-codex.md	Enables cli-proxy for the Codex smoke workflow.
.github/workflows/smoke-codex.lock.yml	Regenerated compiled artifact reflecting cli-proxy and CLI-mounted server list changes.
.github/workflows/smoke-claude.md	Moves to top-level max-turns, enables cli-proxy, removes unused heavy import, and updates GH query/discussion guidance.
.github/workflows/smoke-claude.lock.yml	Regenerated compiled artifact reflecting the Smoke Claude prompt/tooling changes and removed mcp-script GitHub query tools.
.github/workflows/aw-failure-investigator.md	De-inlines verbose report formatting boilerplate in favor of shared/reporting.md.
.github/workflows/aw-failure-investigator.lock.yml	Regenerated compiled artifact for Failure Investigator content changes.

Copilot's findings

Tip

Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

• Files reviewed: 6/6 changed files
• Comments generated: 1