Codify semantic fidelity and executive-residency as project rules 10 …

0cb84e2

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)

CI on: pull_request 34

Build & Test

Docker Build & Smoke Test

Persistent Boot Smoke Test

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

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

Static Analysis

IMGACT.EXE Activation Proof (musl)

OVMX_IMGACT Build Mode (musl)

OVMX_IMGACT Build + Activate (musl, x86_64)

LINK.EXE VMS-native Linker (MVP)

DECC$SHR VMS-native C-RTL Shareable

IMGACT.EXE Symbol-Vector Activation

libvmssys VMS-native Link + Activate

DECC$SHR C-RTL Activation (musl init)

Lib-Shareable Transitive Import Activation

TLS Producer / C-RTL Coexistence Activation

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

Executable-Own TLS Link + Activate

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

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)

Conformance Tests

Corpus Conformance

VMS User Acceptance Test

Code scanning results

CodeQL

Analyze (c-cpp)

succeeded Jul 30, 2026 in 1m 51s

Loading

Re-running jobs...