design: faithful sessions & network subsystems (LOGINOUT consolidatio…

e7541f1

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)

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)

CI on: pull_request 15

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 ${{ matrix.shard }}/${{ strategy.job-total }}

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)

alpha-toolchain-image (vms-e7c5)

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

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 multi-.o STRICT-link activation gate — boots, activates a real multi-object program ...

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)

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)

/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 ...

Code scanning results

CodeQL

Analyze (actions)

succeeded Sep 8, 2026 in 47s

Loading

Re-running jobs...