Module server 

Structs

ServerCtx

Statics

NEXT_CONN_ID 🔒

Functions

bind_first_pipe_instance

dispatch_synthetic_goodbye 🔒

Phase E.1b — synthetic Goodbye dispatch for ungraceful disconnects (EOF / read error before the client sent an explicit Goodbye). Without this, the reducer’s process record stays Running and a reconnect from the same live PID hits AlreadyRegistered. Goodbye transitions the record to Exited so re-Register is accepted. (codex P1 #610.)

enforce_register_first 🔒

Same Register-first invariant the launcher enforces.

handle_connection 🔒

patch_srv_identity 🔒

Patch the sentinel launcher_pid: 0 / empty launcher_version the reducer emits in Event::Registered with srv’s actual identity. Idempotent — applying twice is a no-op (after the first patch, fields are non-sentinel).

run_srv_ipc_server

send_event 🔒