vms-ca9: LIBRARIAN.EXE + real .OLB object libraries (LINK.EXE consumes) — self-host spine #3

[baron-3dl]

Summary (vms-ca9, self-host spine #3, epic vms-59a)

Adds the object-library half of the OVMX-native toolchain: a native
LIBRARIAN.EXE that produces .OLB object libraries, LINK.EXE that
resolves undefined symbols by selectively pulling the needed .OLB members, and
promotes the DCL LIBRARY/OBJECT path from defined-only to real object-library
semantics.

Design settled in docs/design-self-host-mmk-spine.md §3 (not relitigated here).

.OLB format (Rule 8)

VSI does not publish the byte-level LBR .OLB layout, so OVMX defines its own
and labels it a design choice: a standard ar archive of .OBJ (ELF)
members. Reader/writer live in the header-only src/vmslink/include/ovmx_olb.h
(shared by LIBRARIAN.EXE and the DCL path so both agree on the bytes); GNU
long-name (//) table supported so a stock ar t FOO.OLB can inspect one — used
as an independent test oracle.

What's here

• LIBRARIAN.EXE (src/vmslink/librarian.c): /CREATE /INSERT /DELETE /LIST /EXTRACT over .OLB, VMS status codes, installed to SYS$SYSTEM: alongside
  LINK.EXE/OVMXDUMP (a host toolchain tool, same category).
• dcl_library.c: LIBRARY/OBJECT (.OLB) now writes/reads the real ar
  container LINK consumes; TEXT (.TLB)/HELP (.HLB) keep the LBRO format
  unchanged. No new cross-image symbols (format code is header-only), so the
  native DCL.EXE graph is unaffected beyond one added include path.
• LINK.EXE (link.c): searches a .OLB like a real object library —
  pulls only members that resolve outstanding strong undefined references,
  to a fixpoint; .a keeps whole-archive ingestion. Isolated in its own
  commit ("LINK.EXE: consume .OLB — toolchain core", operator-approved
  2026-08-13) for standalone review.

Isolation of the toolchain-core edit

The link.c change is a single dedicated commit that touches only link.c
(215 insertions), distinct from the LIBRARIAN.EXE and dcl_library.c commits.

Tests (veracity Q1/Q2)

• ctest toolchain-olb-roundtrip (host): LIBRARIAN builds an .OLB from 2
  real .OBJ; ar confirms it; LINK resolves an undefined symbol by pulling
  the one member that defines it (link succeeds with no --allow-undefined,
  so success proves the pull); negative control — a library lacking the
  member makes the same link FAIL; OVMXDUMP confirms image validity. Ran
  synchronously: exit 0.
• run_olb_native.sh + CI librarian-olb-native-x86_64: the full activates
  and runs proof — LIBRARIAN /CREATE, LINK --executable selective pull
  (1 of 2), IMGACT activates the produced image and it RUNS (mul3(14)==42,
  exit 0), VMS-native (no ld/ld.so). Verified locally in the alpine musl
  container.
• Native-link graph (OVMX_LINK_NATIVE, x86_64 musl container) rebuilds clean
  (9 artifacts incl. DCL.EXE) — dcl_library.c compiles natively with the new
  include and LINK.EXE links the whole graph.

Notes

• The pre-existing docs/design-self-host-mmk-spine.md §3.4 called selective
  extraction a non-blocking follow-up; the operator approved the link.c edit,
  so it is implemented and isolated here.
• No deferred gaps.

🤖 Generated with Claude Code