Release v7.116.0

Changed

• The CI-gate skill now requires the done gate to run its tier's CI shards unfiltered. A dependency or analyzer bump is gated on the exact CI Release build. A change to a command, read model or query shape runs the proxy and API regeneration checks, and a package bump regenerates version-pinning snapshots in the same commit. (part of #857)
• The release-notes skill covers no-release pull request bodies, which close no issue on their own. It also says to write the body file in a separate step before gh pr create. Before re-running a cancelled publish, it checks whether a release already contains the change, and confirms that the release's publishing jobs completed before reporting the change as shipped. (part of #857)
• The GitHub Actions rule forbids merging a workflow change while a release has not yet created its tag. It requires release-verify jobs to assert that the v<version> release exists, and it forbids skip tokens in pull request titles because the merge commit inherits them. (part of #857)
• The C# specification rule says that a change to a widely substituted interface runs the whole affected spec project, and the CI sharding guidance says to confirm a new shard split on one CI run before merging. (part of #857)