vms-209: DLM harness H3 — cross-node $ENQ reaches node B's real executive (2296 not 2680)

[baron-3dl]

vms-209 — DLM harness H3 (THE MILESTONE)

Extends the H2 joined two-node real-/dev/vms QEMU cluster harness so that, after both nodes reach SCSD-I-VAXCLMEMBER, node A issues ONE cross-node $ENQ (OVMX_DLM_ENQ=RESONE) for a resource mastered on node B. Node B receives it over SCS and dispatches it to its REAL /dev/vms executive (vms_lock_dlm_xnode_dispatch), returning the status back to A on the live VC.

The milestone assertion

Node B's dispatch returns 2296 / 0x000008F8 (SS$_UNSUPPORTED) — the $ENQ REACHED the real executive and was honestly declined at rung 1 — and specifically NOT 2680 / 0x00000A78 (SS$_NOSUCHDEV), which is what a missing executive returns (the old Docker harness). That status flip is the machine-checkable proof the cross-node $ENQ genuinely reaches the mastering node's real executive. This unblocks vms-e8f1 (rung-2 GRANT).

Scope boundary (respected)

Pure harness work — no executive change. The stub correctly still returns SS$_UNSUPPORTED for the ENQ case; the actual GRANT (→ SS$_NORMAL) is H4/rung-2 (vms-e8f1). The full A→B→A round-trip machinery already existed in src/vmsscs/scsd.c (H0 REGISTER fix + rung-1b send/recv/reply). This PR only arms node A's requester leg and lifts the DLM markers into the host verdict.

Local run (KVM, this PR's image) — verbatim

[15:40:16.007] SCSD-I-DLMENQ, sent cross-node $ENQ resnam='RESONE' mode=EX to peer DLM server 0xCB78000F ... over LIVE VC
[15:40:15.865] SCSD-I-DLMRX, cross-node ENQ from CSID=1601 resnam='RESONE' -> executive status=0x000008F8
[15:40:15.865] SCSD-I-DLMGRANT, sent GRANT status=0x000008F8 back to CSID=1601 ... -- honest response, no grant
[15:40:16.011] SCSD-I-DLMDONE, cross-node $ENQ round-trip COMPLETE: peer (master CSID=1602) answered GRANT status=0x000008F8 resnam='RESONE' -- LIVE A->B->A transport proven; lock NOT granted (honest)

verdict inputs:
  A_VAXCLMEMBER=1  B_VAXCLMEMBER=1   (H2 join precondition)
  A_SENT_ENQ=1     B_RECEIVED_ENQ=1
  B_DISPATCH_STATUS=0x000008F8   (want 0x000008F8=2296, NOT 0x00000A78=2680)

  DLM HARNESS H3 PASSED: B dispatched cross-node $ENQ to real executive rc=2296 (not 2680)

Files

• tests/qemu/init_dlm_h3.sh — PID-1 init; arms node A's $ENQ, lifts DLM markers to ttyS1
• tests/qemu/run_dlm_harness_h3.sh — host runner + milestone verdict (reads B's status from B's own log; 2680 is NOT a pass)
• tests/qemu/Dockerfile.dlm-harness-h3
• .github/workflows/ci.yml — dlm-harness-h3 job (KVM passthrough + TCG fallback + artifact upload) under the existing dlm_harness path filter

INV-6 / Rule 9: the verdict reads B's status from B's own SCSD log and never fabricates it; SS$_NOSUCHDEV (2680) is explicitly rejected. No fake grant, no executive weakening.

🤖 Generated with Claude Code