chore: release v0.9.0

[avrabe]

Summary

Cuts v0.9.0 — the P3 cross-component stream-pair detection foundation plus a now-fully-operational Mythos delta-pass auto-runner. 12 commits since v0.8.1.

Area	PRs
Cross-component stream<T> pairing detection (#141, ADR-3)	#173
Mythos delta-pass auto-runner — 5 plumbing fixes to working state	#162, #164, #170, #173, #175
LS-N verification gate — 19/19 approved loss-scenarios verified	#161, #165
DWARF / witness-mapping discovery (Phase 1 of #130)	#131
Regression coverage LS-A-8/9/19, LS-CP-4	#163, #165, #166, #169
CI footprint reduction (path filters)	#171
fuzz.yml musl-target drop (closes #168)	#170

Milestone-consistent: #141 was milestoned v0.9.0.

Not in this release (tracked for v0.10+)

• P3 async — cross-component stream adapter (#94 sub-A) #141 stream-adapter emitter — ring-buffer / copy-chain codegen, runtime-verified follow-up (ADR-3 Path N)
• P3 async — static stream validation at build time (#94 sub-B) #142 static stream validation — checks (i) type-compat + (iii) circular-deps targeted for v0.10.0; (ii) bounded-channel + (iv) resource-lifetime need a bounded-channel feature first
• DWARF Phase 2: address remap (#130) #143/DWARF Phase 3: synthetic DIEs for adapter / inlined code (#130) #144 DWARF Phase 2/3 — milestoned v0.10.0/v0.11.0

Test plan

• CI green
• After merge: tag v0.9.0, push tag, watch release.yml build the 4 platform binaries

🤖 Generated with Claude Code

[github-actions]

LS-N verification gate

✅ 19/19 approved LS entries verified

	count
Passed (≥1 test, all green)	19
Failed (≥1 test failure)	0
Missing (no ls_*_NN_* test found)	0

_{Approved loss-scenarios.yaml entries are expected to have a
regression test named ls_<letter>_<num>_* (e.g. LS-A-11 →
ls_a_11_*). The gate runs each prefix via cargo test --lib --no-fail-fast and aggregates pass/fail/missing.}

Failed LS entries

(none)

Missing regression tests

(none)

_{Updated automatically by tools/post_verification_comment.py.
Source of truth: safety/stpa/loss-scenarios.yaml.}