chore(release): v0.39.0 — DWARF .debug_line + name-section fidelity

[avrabe]

Cut v0.39.0 (0.38.0 → 0.39.0) — the first slice of the v0.39.x line.

Scope

Two independent debug-info fidelity fixes (both already merged to main):

• fuse --dwarf remap emits out-of-section .debug_line rows for multi-DWARF inputs (verify-clean, silent); documented drop+adapter path not taken #331 — .debug_line row addresses rebased through the offset map (SR-46, mitigates LS-D-1). correct_line_programs relocates every line-program row via AddressRemap::translate, drops untranslatable rows, and keeps the file/directory table aligned with the DIE decl_file (incl. the DWARF v5 file(0)/directory(0) header seeding). Repro: max .debug_line row 0xF8 → 0xEC (inside code), --verify clean.
• fuse --preserve-names emits duplicate + index-stale 'name' sections: llvm-dwarfdump rejects whole module and names point at wrong functions (same class as #222, for 'name') #328 — name section coalesced + index-remapped under --preserve-names (SR-47). Name::Function entries remapped via function_index_map, unmapped dropped, emitted as one deterministic (BTreeMap) coalesced section.

Remaining MCU-lowering items (#326 dynamic-address rebasing, #299, #298, #334) are deferred to a following release.

Gate

• rivet release status v0.39.0 → Cuttable (2 artifacts, both verified)
• rivet validate → PASS
• CHANGELOG [0.39.0] with falsification statements

Falsification

If the .debug_line relocation regressed, dwarf_331_line_rows_within_code_section_multi_source (every row <= fused code-section end, non-empty) would fail. If the name section were copied verbatim, accumulate_remapped_function_names_remaps_and_drops_unmapped would fail.

Refs #331, #328, SR-46, SR-47, LS-D-1, SYS-7.

🤖 Generated with Claude Code

[github-actions]

LS-N verification gate

✅ 59/59 approved LS entries verified

	count
Passed (≥1 test, all green)	59
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.}