Contents

Daemon

One process per machine, one Unix socket, and a write-ahead log that survives a crash.

Singleton and socket

The daemon acquires its singleton before touching the Unix socket path. It removes only stale sockets, and refuses regular files, symlinks, and directories at that path.

Durability

WALRun state is persisted in a fsync-backed local write-ahead log. A restart resumes every run where it was.
spoolGate submissions land in an idempotent fsync-backed spool keyed by gate, ref, and input SHA. The same triple is the same run.
supersedeA newer SHA on the same ref marks the earlier run superseded.

Contract

made capabilities --json    # public protocol and command schema
made doctor --json          # fixed health schema

The protocol is versioned. Clients such as consigliere check capabilities once and then rely on the fixed command schema.

Health

{ "daemon": "up", "socket": "/run/made.sock", "wal": "ok", "spool": { "pending": 0 } }

Field names above are illustrative; the real schema comes from made doctor --json.