[aw] Daily Formal Spec Verifier exceeded tool denial limit
Workflow Failure Workflow: Daily Formal Spec Verifier Branch: main Run: https://github.com/github/gh-aw/actions/runs/32866784520 [!WARNING] Excessive Tool Denials: The Copilot SDK hit the max tool denial guardrail and stopped the session early (3/3). <details> <summary><strong>Last denied request</strong></summary> </details> <details> <summary><strong>Last 5 tool calls</strong></summary> bash(jq -Rs --arg title "[formal-spec] forecast-compliance-fixtures/README.md — Formal model & test suite — 2026-08-25" '{...) bash(mkdir -p /tmp/gh-aw/cache-memory/formal-spec-verifier cat > /tmp/gh-aw/cache-memory/formal-spec-verifier/rotation.jso...) bash(mkdir -p /tmp/gh-aw/repo-memory/default/formal...