ci: Redline caller pinned to askalf/askalf@116935d (#64, tool names the gateway forwards verbatim)

[askalf]

What

.github/workflows/redline.yml calls askalf/askalf/.github/workflows/redline-review.yml at a fixed commit. This moves the pin from 35a0ee3 to 116935d, which carries askalf/askalf#64: the four review tools are now redline_list, redline_read, redline_search and redline_submit.

Why

With the old names, dario's tool map recognised grep as its own Grep and dropped the other three on the Claude path for some seats, so the model answered "the only tool available is Grep" and could never submit. Two of the four runs at 35a0ee3 on 2026-09-25 20:1xZ died exactly that way (#65, amnesia#92) while the pool was healthy. Names the gateway cannot map make it treat the client as non-CC and forward the tools verbatim.

Nothing else changes

Same runner label, same guard, same permissions. The workflow is a pin bump only.

[sprayberry-redline]

Automated review from the Sprayberry Labs fleet code reviewer.

Reviewed by the gating lane (gating review).

Verdict: approve. Pin-only bump of the reusable Redline workflow from 35a0ee3 to a full-SHA 116935d, with the trailing comment updated to match. Checked the whole workflow: trigger remains pull_request (not pull_request_target), permissions remain read-only, the same-repo/non-draft job guard is unchanged, no new inputs or secrets are passed. PR text, commit message and comment are plain and contain no AI attribution, secrets or internal paths. The target commit itself could not be inspected from this checkout, but a full-SHA pin is the correct form for a reviewed bump.