Skip to content

docs: connection model documents the machine-global default socket - #103

Merged
arcaven merged 1 commit into
mainfrom
docs/socket-connection-model
Aug 2, 2026
Merged

docs: connection model documents the machine-global default socket#103
arcaven merged 1 commit into
mainfrom
docs/socket-connection-model

Conversation

@arcaven

@arcaven arcaven commented Aug 2, 2026

Copy link
Copy Markdown
Member

Two agents debugging on one host just lost forty minutes to this: marvel's local socket default is the literal /tmp/marvel.sock on both the daemon and every client, a starting daemon unlinks the path without checking for a live owner, and the displaced daemon keeps running with no reachable path. The connection-model section now states the resolution (hardcoded constant; no environment variable moves it, HOME does not either), the last-binder-wins mechanism, and the operational guidance: one --socket per concurrent daemon, same value on every client command. Every clause is code-verified (config.DefaultSocket, the unlink at daemon startup, the shutdown unlink; paths.RuntimeSocket reads XDG_RUNTIME_DIR but nothing calls it). The behavior itself is tracked as aae-orc-t6da; this documents what ships today. Also rewraps the event-ring paragraph left ragged by #100.

Refs: aae-orc-t6da

The local socket default is the hardcoded config.DefaultSocket (/tmp/marvel.sock) on both the daemon and every client; no environment variable moves it and neither does HOME (paths.RuntimeSocket reads XDG_RUNTIME_DIR but has no callers). A starting daemon unlinks the path without a liveness probe, so a second daemon silently takes new connections while the first keeps running unreachable. Documented with the --socket guidance for concurrent daemons; behavior itself tracked as aae-orc-t6da. Also rewraps the event-ring paragraph left ragged by #100.

Refs: aae-orc-t6da
@arcaven
arcaven merged commit a673887 into main Aug 2, 2026
4 checks passed
@arcaven
arcaven deleted the docs/socket-connection-model branch August 2, 2026 00:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant