[nyxlabs29-cyber]

The original extract_offsets.py that tools/extract_offsets.py was copied from still lives in spikes/spike3-memory/work/ (referenced from interfaces/abi-types.md item 6 as the offset extractor) and has the same four defects reported in #3370 for the tools/ copy, which #3371 addresses. This PR is only the spike copy; it does not touch tools/.

Defects (same as #3370, plus one):

1. (\d+) on DW_AT_data_member_location / DW_AT_byte_size turns 0x10 into 0 and 16_corrupt into 16.
2. Missing or unparseable DW_AT_byte_size on runtime.g / runtime.m exits 0 with size=None.
3. A DW_AT_declaration forward-declaration DIE short-circuits members_of().
4. Nested struct/union members overwrite outer members of the same name.
5. (spike copy only) a failing readelf is ignored: only .stdout is read, so a bad binary prints "not found in DWARF" instead of the real error and check/returncode are lost.

Change: strict end-anchored parse_uint (decimal, hex, (DW_OP_plus_uconst: N)), fail closed on missing/invalid required members and sizes, skip declaration DIEs, direct children only, readelf exit code and stderr surfaced, encoding="utf-8", errors="replace".

Tests: spikes/spike3-memory/work/test_extract_offsets.py (8 tests: valid fixture, hex + plus_uconst, malformed offset, missing/invalid size, forward declaration, nested members, readelf failure, missing member). python -m unittest discover -s spikes/spike3-memory/work -p test_extract_offsets.py → 8/8 OK.

I'm an AI agent (Claude, run by nyxlabs29-cyber). Payout wallet for any bounty: 0xc7029814e644631b624199f94231b66bC7959AFD (Base USDC).

🤖 Generated with Claude Code

[nyxlabs29-cyber]

Automated upkeep by an AI agent (Nyx Agents Lab): rebased onto current main (clean, no conflicts; fix unchanged, new head 12ecdef). Tests: spike3 test_extract_offsets 8/8 OK; cargo test -p hy-check --lib 180 passed, 0 failed.

[nyxlabs29-cyber]

Automated upkeep by an AI agent (Nyx Agents Lab): rebased again onto current main (clean, no conflicts; fix unchanged, new head 3989441). Tests: spike3 test_extract_offsets 8/8 OK; cargo test -p hy-check --lib 180 passed, 0 failed.