[AlexNegrescu26]

Summary

This PR prepares main for a ruleset that requires the gate, smoke and statechart checks before a merge.

upstream-sync currently calls gate.yml as a reusable workflow. A reusable call reports its checks as gate / gate, gate / smoke and gate / statechart. Those names never satisfy a required gate check. A personal repository also cannot exempt the GitHub Actions bot from a ruleset. Together, that would block every bot sync merge once the ruleset is on.

The sync's gate job now dispatches gate.yml on the sync branch and watches that run with --exit-status. The dispatched run reports the plain check names on the sync commit. The merge job still needs gate, so a red gate leaves the PR open for a human. gate.yml drops workflow_call and its ref input, and gains workflow_dispatch. PORTING.md describes the new flow and the ruleset.

Verification

• actionlint 1.7.12 on both workflows: no findings.
• PR CI on this branch: see the checks below.
• [INFERENCE] The full bot path waits for the next real upstream commit. GitHub documents workflow_dispatch as one of the events github.token may trigger. After this merges, a manual gh workflow run gate.yml --ref main shows whether the dispatched check names match.