Skip to content

chore(mythos): register dwarf.rs as Tier-5#207

Merged
avrabe merged 1 commit into
mainfrom
chore/tier5-register-dwarf
May 29, 2026
Merged

chore(mythos): register dwarf.rs as Tier-5#207
avrabe merged 1 commit into
mainfrom
chore/tier5-register-dwarf

Conversation

@avrabe
Copy link
Copy Markdown
Contributor

@avrabe avrabe commented May 29, 2026

Adds meld-core/src/dwarf.rs to the Mythos auto-scan Tier-5 file list.

dwarf.rs holds the DWARF AddressRemap engine and the
DwarfHandling::Remap .debug_* rewrite (#143). A wrong remapped code
address silently de-grounds downstream coverage/breakpoints (LS-D-1), so
the file warrants the clean-room AI delta pass on every future diff.

Standalone workflow-only change: the claude-code-action identity check
requires the workflow file to be byte-identical to main, so this is
kept separate from the inc 3b code PR (#206) — same split as #197 for
provenance.rs.

🤖 Generated with Claude Code

`meld-core/src/dwarf.rs` (the DWARF AddressRemap engine + the
`DwarfHandling::Remap` rewrite, #143) is correctness-critical: a wrong
remapped code address silently de-grounds downstream coverage and
breakpoints (LS-D-1). Add it to the Mythos auto-scan Tier-5 file list so
future diffs get the clean-room AI delta pass.

Standalone workflow-only change: the claude-code-action identity check
requires the workflow file be byte-identical to main, so this cannot be
bundled with the inc 3b code PR (#206).

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@github-actions
Copy link
Copy Markdown

LS-N verification gate

⚠️ 35/37 verified — 2 missing regression tests

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

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
  • LS-R-13
  • LS-M-6

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

@avrabe avrabe merged commit e35e602 into main May 29, 2026
14 checks passed
@avrabe avrabe deleted the chore/tier5-register-dwarf branch May 29, 2026 18:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant