Merge branch 'main' (PR #441's merge, e7e10a4) into fix/audit-p1

- What changed: nothing in the tree; this records main's merge commit of PR #441 (e7e10a4) in the
  #442 branch, which already held #441's head 5f44730.
- Why: #442, retargeted to main after #441 merged, was behind main by that merge commit alone.
- What you verified: verified - `git merge-tree --write-tree HEAD origin/main` gave HEAD's own
  tree (7ff7d4d), and e7e10a4's tree is 5f44730's (81b18d8), so no file changes; the full suite
  ran on this tree in the hook for 705e3a6.
- What you got wrong: nothing to report.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

Author: StepenkoAnatoli