railproof: update to town-extent link.c fix (corrected combined tree …

f9d3ed9

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

Sign in for the full log view

CodeQL on: dynamic

Analyze (actions)

Analyze (c-cpp)

Analyze (python)

Analyze (swift)

CI on: pull_request 107

Decide affected subsystems (path filter)

Cluster core stays substrate-free (FC-P0.1)

vmslink shell-portability lint (bash -n + sh -n) (vms-200)

Cross-Arch Image Parity Gate (vms-e1d)

Kernel Executive — Negative Control (proves the gate can fail)

Kernel Executive — Per-Facility Negative Controls (shard ${{ matrix.shard }}/${{ strategy.job-total }})

Compat Surface Drift Gate (INV-LEDGER)

vax Harness Self-Test (rd vms-cf5)

aarch64 System-Emulation Boot Proof (QEMU)

Build & Test

Persistent Boot Smoke Test

cut-release is byte-reproducible + boots (vms-d73)

install -> UPGRADE -> boot e2e (vms-f05)

install /DESTINATION -> boot the installed target -> login (vms-96ec)

R1 release e2e — media→menu install→separate container→login→PRODUCT SHOW (vms-37f)

Release-acceptance gate — boot the CUT artifact, verify shipped version (vms-a86f)

DCL/SHOW acceptance gate — boot, run the commands a user types, assert VMS-faithful output

Console boot — no echoed-RETURN newline spam before Username: (vms-dec)

Alternate-disk boot — 2nd-disk device discovery reaches login (vms-9f5)

VAX co-release gate — artifacts build + a failed VAX build reds the cut (vms-ca5)

Alpha co-release gate — artifacts build + a failed Alpha build reds the cut (vms-233b)

PARTS 0.2 Demo E2E (real boot, RMS load, DIRECTORY corroboration)

SCSNODE -> real hostname across reboot (vms-b6a7)

SYSBOOT> authors cluster params (vms-46c gap

Kernel Executive (vms.ko via /dev/vms, QEMU) — shard 0/6

Kernel Executive (vms.ko via /dev/vms, QEMU) — shard 1/6

Kernel Executive (vms.ko via /dev/vms, QEMU) — shard 2/6

Kernel Executive (vms.ko via /dev/vms, QEMU) — shard 3/6

Kernel Executive (vms.ko via /dev/vms, QEMU) — shard 4/6

Kernel Executive (vms.ko via /dev/vms, QEMU) — shard 5/6

Kernel Executive — test_kmod_devtab_terminal (own VM, QEMU)

NetBSD/amd64 vms module cross-compiles

NetBSD/amd64 Prime Install Cache (QEMU)

Conformance Tests

Corpus Conformance

Static Analysis

VMS User Acceptance Test

IMGACT.EXE Activation Proof (musl)

OVMX_IMGACT Build Mode (musl)

OVMX_IMGACT Build + Activate (musl, x86_64)

LINK.EXE VMS-native Linker (MVP)

LINK.EXE VMS-native Linker — x86_64 relocs (vms-8f5/cd1/2e4)

DECC$SHR VMS-native C-RTL Shareable

VMS-native LINK.EXE Graph via CMake (OVMX_LINK_NATIVE)

VMS-native LINK.EXE Graph via CMake, x86_64 (OVMX_LINK_NATIVE)

IMGACT.EXE Symbol-Vector Activation

IMGACT VMS-standard Activation (Alpha)

IMGACT elf32-vax symbol-vector backend build (vms-404 P2)

alpha-toolchain-image (vms-e7c5)

musl alpha-dec-vms port — RUNG 1 build (vms-960)

GCC-port include surface — unpatched port source builds unchanged (vms-714c)

genuine alpha DECC$SHR — real port crt0 links zero-deferred (vms-864)

alpha RMS substrate — LIBVMSRMS$SHR + producer graph STRICT-link (vms-a7a)

libvmssys VMS-native Link + Activate

DECC$SHR C-RTL Activation (musl init)

Lib-Shareable Transitive Import Activation

TLS Producer / C-RTL Coexistence Activation

Weak-by-name Import (.vms$wimp) — LOGINOUT reaches RMS across the layer cycle

vmsprocess VMS-native Migration (LIBVMSPROCESS$SHR)

vmslnm VMS-native Migration (LIBVMSLNM$SHR)

vmsfs VMS-native Migration (LIBVMSFS$SHR)

libvms VMS-native Migration (LIBVMS$SHR)

vmsrms VMS-native Migration (LIBVMSRMS$SHR)

Multi-Object main() Executable Link + Activate

Multi-Object main() Executable Link + Activate — x86_64 (vms-206)

Read-only-section relocations (switch jump tables) — x86_64 (vms-a66)

Executable-Own TLS Link + Activate

DCL.EXE VMS-native Link + Activate (self-hosting S1)

DCL.EXE VMS-native Link + Activate, x86_64 (vms-bdf done-condition)

LOGINOUT.EXE VMS-native Link + Activate (login chain)

Static libcrypto (musl) — hello-crypto probe

Static ssh (musl) — OpenSSH client on the OVMX veneer

tcc Object LINK.EXE Compatibility (S2 crux, musl)

TCC.EXE VMS-native Link + Activate (self-hosting S2 endpoint)

TCC.EXE RMS File I/O (sys$open/$get read, sys$create/$put write)

TCC.EXE Self-Host Fixpoint (tcc compiles tcc inside OVMX, S2 summit)

LINK.EXE VMS-native Self-Link + Activate (self-hosting S3.1, arm64)

LINK.EXE VMS-native Self-Link + Activate (self-hosting S3.1, x86_64)

LIBRARIAN.EXE .OLB + LINK.EXE Selective Pull + Activate (self-host spine

LINK.EXE --shareable seeds selective .OLB pull from --symbol-vector + Activate (VMS-native sharea...

MMK LINK.EXE self-host fixpoint — real LINK.EXE builds LINK.EXE, gen2==gen3 (self-hosting S4)

NetBSD/vax boots under SIMH (vms-0041)

vax-toolchain-image (vms-e7c5 twin)

OVMX/Alpha boots to an authenticated DCL $ over the ODS-2 ACP (vms-341)

OVMX/Alpha per-PR activation gate — boots, mounts DKA0:, activates the N=3 image, asserts $STAT...

OVMX/Alpha crtl_rms -> N=7 activation gate — boots, activates the crtl_rms heap+RMS+stdio image...

OVMX/Alpha CRTL->RMS veneer gate — boots the veneer-wired crtl_rms image on the real /dev/vms e...

OVMX/Alpha CRTL->RMS file-op veneer gate — boots the veneer-wired crtl_rms3 image on the real /...

OVMX/Alpha multi-.o STRICT-link activation gate — boots, activates a real multi-object program ...

OVMX/Alpha ships + activates real VMS shareable images — SYSLIB-staged genuine DECC$SHR/LIBOTS$...

OVMX/Alpha N=3 activation gate — assert_activation() can-fail proof (vms-c54, Rule 7)

OVMX/Alpha DCL/SHOW acceptance — boot, run the commands a user types, assert VMS-faithful (vms-...

OVMX/Alpha single-proc N=3 image activates on the real executive (vms-8208, gates the per-image-G...

OVMX/Alpha FP div-by-zero raises SS$_HPARITH over the CHF (vms-db3)

OVMX/Alpha public sys$ API tier RUNS LP64 on qemu-system-alpha, no-new-vs-baseline (vms-341)

NetBSD/vax vms module cross-compiles

Facility guest tools (eflag/access/proctab/mbx) cross-compile for netbsd-vax via CMake (vms-74b)

LINK.EXE VMS-native Linker — elf32-vax .vms$sv shareables (vms-19b / vms-404 P3a)

LINK.EXE VMS-native Linker — elf32-vax --executable consumer (vms-099 / vms-404 P3b)

VAX ships the VMS-format shareable graph (vms-c7f7 / vms-404 P3b)

vax toolchain builds the ovmx-images aggregate; 10/10 parity-drift images close (vms-64a, vms-838)

VAX ILP32 leg -- the whole ACP-read path cross-compiles width-clean for elf32-vax (vms-8e8f)

Kernel Executive (vms.ko via /dev/vms, QEMU)

NetBSD/amd64 Executive Harness (QEMU)

NetBSD/amd64 vms Pseudo-Device (QEMU)

NetBSD/amd64 Event-Flag Facility (QEMU)

NetBSD/amd64 Executive Cross-Process Proof (vms-f8a, QEMU)

NetBSD/vax OVMX substrate prime (modular kernel + STARTUP/vms.kmod)

/dev/vms live on NetBSD/vax under SIMH — PING (vms-f78bb)

Event flags proven cross-process on NetBSD/vax under SIMH — INV-6 (vms-4e7)

Access-mode enforcement + cross-process AST delivery proven on NetBSD/vax under SIMH — INV-6 (v...

Process table proven cross-process on NetBSD/vax under SIMH — INV-6 (vms-2e0)

Mailboxes proven cross-process on NetBSD/vax under SIMH — INV-6 (vms-fe8)

OVMX boots as PID 1 on NetBSD/vax under SIMH (vms-7b1)

OVMX boots past the installed-system gate to PROVISION.EXE on NetBSD/vax (vms-d9c)

OVMX/NetBSD-vax DCL/SHOW acceptance — boot, run the commands a user types, assert VMS-faithful ...

Ledger drift gates on: pull_request 1

Ledger drift gate (compat + roadmap block + no-new-hand-copies)

Roadmap/compat regen from live rd (rd-gated; self-skips without rd)

Code scanning results

CodeQL

Analyze (swift)

succeeded Sep 10, 2026 in 14m 11s

Loading

Re-running jobs...