chore(release): sync versions to 0.9.413 [skip release]

[github-actions]

Automated write-back from auto-tag.yml: v0.9.413 was just released, and this PR records that version everywhere the sources carry one —

• [workspace.package].version in Cargo.toml (inherited by every crate)
• the workspace-member entries in Cargo.lock
• packaging/homebrew/stella.rb (build-from-source formula)
• CHANGELOG.md — whatever was under [Unreleased] now sits under [0.9.413]

The workflow approves this PR's parked workflow runs, waits for the required checks, and merges once they are green (#5589). No action is needed unless a check fails.

Summary by Sourcery

Chores:

• Synchronize project, lockfile, and Homebrew formula version references to 0.9.413 and move the unreleased changelog entries into the 0.9.413 release section.

[sourcery-ai]

Reviewer's guide (collapsed on small PRs)

Reviewer's Guide

This automated release write-back records v0.9.412 consistently across Rust workspace metadata, lockfile entries, the Homebrew formula, and the changelog; no functional code changes are included.

File-Level Changes

Change	Details	Files
Synchronize the workspace and published package metadata to version 0.9.412.	Update the inherited workspace package version. Refresh workspace-member versions in the lockfile. Update the Homebrew source URL tag and formula version.	Cargo.toml Cargo.lock packaging/homebrew/stella.rb
Finalize the changelog entry for the new release.	Move content previously grouped under Unreleased into the 0.9.412 release section.	CHANGELOG.md

Possibly linked issues

• ci(auto-tag): approve the version-sync PR's parked runs and merge under protection #5672: This version-sync PR is the verification target described by the issue, though evidence details remain to be recorded.

---

Tips and commands

Interacting with Sourcery

• Trigger a new review: Comment @sourcery-ai review on the pull request.
• Continue discussions: Reply directly to Sourcery's review comments.
• Generate a GitHub issue from a review comment: Ask Sourcery to create an
  issue from a review comment by replying to it. You can also reply to a
  review comment with @sourcery-ai issue to create an issue from it.
• Generate a pull request title: Write @sourcery-ai anywhere in the pull
  request title to generate a title at any time. You can also comment
  @sourcery-ai title on the pull request to (re-)generate the title at any time.
• Generate a pull request summary: Write @sourcery-ai summary anywhere in
  the pull request body to generate a PR summary at any time exactly where you
  want it. You can also comment @sourcery-ai summary on the pull request to
  (re-)generate the summary at any time.
• Generate reviewer's guide: Comment @sourcery-ai guide on the pull
  request to (re-)generate the reviewer's guide at any time.
• Resolve all Sourcery comments: Comment @sourcery-ai resolve on the
  pull request to resolve all Sourcery comments. Useful if you've already
  addressed all the comments and don't want to see them anymore.
• Dismiss all Sourcery reviews: Comment @sourcery-ai dismiss on the pull
  request to dismiss all existing Sourcery reviews. Especially useful if you
  want to start fresh with a new review - don't forget to comment
  @sourcery-ai review to trigger a new review!

Customizing Your Experience

Access your dashboard to:

• Enable or disable review features such as the Sourcery-generated pull request
  summary, the reviewer's guide, and others.
• Change the review language.
• Add, remove or edit custom review instructions.
• Adjust other review settings.

Getting Help

• Contact our support team for questions or feedback.
• Visit our documentation for detailed guides and information.
• Keep in touch with the Sourcery team by following us on X/Twitter, LinkedIn or GitHub.

[sourcery-ai]

Hey - I've reviewed your changes and they look great!

Sourcery assessment

Approved.

---

Sourcery is free for open source - if you like our reviews please consider sharing them ✨

• X
• Mastodon
• LinkedIn
• Facebook

Sourcery withdrew this approval because the latest commits introduced blocking findings.