chore: merge main into develop (post-release sync)

[MarTrepodi]

Heals gitflow ancestry so develop contains main's tip. No file changes (checkout v7 already present on develop via #103/#105).

[MarTrepodi]

Reviewer note — verification detail

This mergeback was produced against a task spec whose containment assertion was written in the wrong direction. Recording the correction here so the numbers below aren't misread as a failure:

• The spec asserted git rev-list --count origin/main..HEAD should be 0. That direction counts commits reachable from HEAD but not main — and develop legitimately has 15 such commits (it's ahead of main), so this correctly returns 15, not 0.
• The meaningful "main fully contained" test is the reverse — git rev-list --count HEAD..origin/main — which returns 0.

Confirmed on this branch:

Check	Result
git diff --stat origin/develop..HEAD (file changes vs develop)	empty — 0 files
git rev-list --count HEAD..origin/main (main not contained)	0
Merge commit parents	45dce8a (develop tip) + ddf3dc7 (#106, main tip)

Net: conflict-free, zero file changes (checkout v7 already on develop via #103/#105), main fully absorbed.