nx_addr2line_lib.nx

nx_addr2line_lib.nx -- the sovereign DWARF v5 .debug_line DECODER, as a SHARED library. WHY THIS FILE EXISTS (2026-08-07). `nx_a2l_run` was proven and useful but lived inside nx_addr2line.nx, which owns `main()` -- so no gate and no other organ could ever call it. A PROVEN PREDICATE TRAPPED INSIDE AN ORGAN THAT OWNS main() IS NOT A SHARED CAPABILITY, IT IS A COPY WAITING TO BE MADE, AND EVERY COPY IS FREE TO DISAGREE WITH THE ONE THAT WAS PROVEN. Lifted VERBATIM (no semantic edit) so the extraction is mechanically checkable; nx_addr2line.nx now imports this and keeps only its CLI main. The decoder is deliberately INDEPENDENT of nx_dwarf_line.nx (the encoder): it repeats the DWARF opcode constants rather than sharing them. That independence is the whole point -- it is what makes encoder-vs-decoder a genuine TWO-SYSTEM check instead of one system agreeing with itself. Do not "clean this up" by unifying the constants. Needs only sys_mmap. Importing nx_elf_read here would be wrong: locating the section in an ELF is the CALLER's job, and nx_elf_read owns a main() of its own. license_tier: ORIGINAL expect_exit: 0