chore(develop): sync master

[celox-bot]

Bring stable-trunk changes into the Veryl HEAD compatibility lane.

This PR is managed automatically through a dedicated synchronization branch so the develop merge queue never holds master itself as a pull request head. A conflict is actionable and must be resolved without replacing the Veryl HEAD dependency on develop.

[codspeed]

Merging this PR will not alter performance

✅ 4 untouched benchmarks

---

_{Comparing integration/master-to-develop (4a294ac) with master (01d2b31)¹}

Footnotes

1. No successful run was found on develop (69ca323) during the generation of this report, so master (01d2b31) was used instead as the comparison base. There might be some changes unrelated to this pull request in this report. ↩