[PROOF-ONLY, do not merge] vms-f59 + vms-3320 combined — crtl_rms3 crash-gone gate - #1105

Closed

baron-3dl wants to merge 4 commits into

mainfrom

work/vms-f59-3320-railproof

Commits on Sep 10, 2026

vms-f59: LINK.EXE strong-over-weak redirect at SYMBOL granularity (retire the section-base heuristic + the vms-b14 exception)

baron-3dl
and
claude
committed
0cac098
railproof(throwaway): vms-f59 LINK.EXE fix + vms-3320 veneer — for the rail crtl_rms3 boot proof (do not reap; delete after)
baron-3dl
committed
079c6ea
Merge remote-tracking branch 'origin/main' into work/vms-f59-3320-railproof
baron-3dl
committed
d83776b
railproof: update to town-extent link.c fix (corrected combined tree for the 3-heap-gate rail proof)
baron-3dl
committed
f9d3ed9