Files
orca/docs/reference/orcad-operations.md
T
Jinjing c4b39295c1 style: format codebase (#16935)
* style: format codebase

* style: format codebase

* refactor: extract skill install dialog footer and content

Extract footer and content sections from SkillInstallDialog and
SkillInstallManagementDialog into separate components for improved
maintainability and clarity of component responsibilities.
2026-08-28 00:59:21 -07:00

11 KiB

Running orcad

orcad is the Orca runtime served from plain Node. This is the contract between it and whatever supervises it: what it binds, what it owns on disk, who restarts what, and what its readiness payload actually proves.

Design background: docs/design/shipping-orcad.html §00c and §04.

Two long-lived processes, not one

A deployment is orcad plus the terminal daemon.

orcad terminal daemon
Started by the supervisor orcad, detached
Owns RPC, git, worktrees, persistence every local PTY
Lifetime one supervised run outlives orcad
Endpoint ws://<bind>:<port> <data-root>/daemon/daemon-v<N>.sock

The daemon outliving orcad is the property the whole peer model is recommended for (docs/reference/ssh-execution-boundary.md): daemon-backed PTYs stay live across a runtime restart, so a restart, an update or a rollback does not destroy running work. Everything below exists to keep that true.

Consequence for supervision: orcad's shutdown path calls disconnectDaemon(), never shutdownDaemon(). A supervisor that reaps orcad's whole process group — systemd's KillMode=control-group — kills the daemon too and turns every restart back into data loss. Use KillMode=mixed (the default) or process, and never --send-sigkill on the group.

Bind policy

--bind <literal-ip>, default 127.0.0.1.

Only literal IPs are accepted; hostnames are refused because DNS would decide which interface got bound. localhost maps to 127.0.0.1. 0.0.0.0 / :: are the explicit opt-ins to network reach, and the startup log says so on every launch.

The bind is pinned, not defaulted. Two things widen the desktop's listener on their own — orca serve's wide default, and a startup where some device has connected before — and an unattended host's exposure must be exactly what the operator asked for on every launch. A mobile pairing offer, which normally rebinds to all interfaces, is refused while the bind is pinned to loopback and reports network_exposure_failed rather than advertising an endpoint nothing can reach.

Under the shipping design a client reaches a remote orcad over an SSH local port-forward, so loopback is the correct default and the pairing credential travels over SSH.

Data root and the instance lock

The data root is $ORCA_USER_DATA, else $XDG_DATA_HOME/Orca, else ~/.orca.

Before the profile index or the store is touched, orcad takes <data-root>/orcad.lock. It refuses to start when:

Code Meaning
orcad_data_root_wrong_owner the root is owned by another uid (POSIX)
orcad_data_root_shared the root is group/world accessible and could not be tightened
orcad_instance_lock_held another live orcad owns this root
orcad_instance_lock_foreign_identity the lock belongs to a different identity
orcad_data_root_unusable the root cannot be created, stat'd or written

A root that is merely too permissive and that we own is tightened to 0700 rather than refused — orcad stores credentials there unsealed (no OS keyring on this host), so the goal is a private root, and refusing when we could just fix it helps nobody. We refuse when the permissions are not ours to fix. Windows is exempt from the owner and mode checks: ACLs are not expressible as a POSIX mode, and statSync().mode there reports a synthesized one.

A dead holder's record is reclaimed (PID plus process start time, so a recycled PID does not read as alive). A record belonging to a different identity is never reclaimed.

The lock scopes one role — who is the runtime. It deliberately says nothing about the daemon, which lives under <data-root>/daemon and fences its own endpoint with its own PID record. A lock that asked "is any process using this root" would refuse exactly the restarts a live daemon makes worthwhile.

Supervision

Who supervises orcad

An external supervisor (systemd, launchd, a process manager). orcad conforms to it:

  • Readiness. One JSON line on stdout (--json), type: "orca_server_ready", published after the listener is bound and the daemon verdict is in. There is no separate readiness socket; the line is the signal. Set the supervisor's start timeout generously — the daemon launch has its own retries and can take tens of seconds on a cold host.

  • Shutdown. SIGTERM or SIGINT starts a graceful stop. A second signal exits immediately with code 1 rather than being swallowed — a supervisor's second signal means its first deadline elapsed, and waiting silently is what turns a stop into a SIGKILL, the one teardown that skips the daemon handoff. orcad also imposes its own 15s deadline and exits 1, so the failure stays attributable instead of arriving as an unlogged kill.

  • Exit codes.

    Code Meaning Supervisor should
    0 clean shutdown restart per policy
    1 startup or shutdown failure restart with backoff
    78 configuration fault (bind address, data root, instance lock) not restart

    78 is EX_CONFIG. Put it in systemd's RestartPreventExitStatus: restarting on a data root owned by someone else is a restart-spin, not a recovery.

  • Logs. orcad writes human-readable diagnostics to stderr and its readiness contract to stdout; the supervisor owns capture and rotation. The daemon, being detached, writes its own NDJSON lifecycle log to <data-root>/logs/daemon.log (suppressed by ORCA_DIAGNOSTICS_DISABLED=1). Rotation of that file is not implemented — see What is not covered.

orcad supervising the daemon

  • Launch. Forked detached from daemon-entry.js beside orcad.js, with its own PID record, token and socket under <data-root>/daemon.
  • Adoption before spawn. A daemon already answering the endpoint is adopted, not replaced, unless it is unhealthy, foreign, or built from a superseded bundle and owns no live sessions. Replacing a healthy daemon kills its PTYs, so code freshness always defers to live work.
  • Restart. The adapter respawns the daemon on death, transparently to callers.
  • Crash-loop containment. At most 5 launches per 60s rolling window per orcad run; past that, launches are refused with daemon_crash_loop and terminals fail with that message instead of the process forking forever. The window slides, so a repaired host recovers without restarting orcad. An operator-initiated daemon restart clears it — that is the deliberate "try again".
  • No macOS login-session watch. That watch retires the daemon when the spawning GUI login session dies. An orcad daemon must survive its SSH session ending.
  • Shutdown. orcad never stops the daemon. A daemon that was never adopted retires itself after its adoption window; an adopted one stays resident (see Decommissioning).

Decommissioning

The daemon outliving orcad is deliberate, so stopping orcad does not leave the host with zero Orca processes. A daemon that has been adopted stays resident after its runtime disconnects — that is what makes the next start a reattach rather than a cold restore. To retire a host completely, stop orcad and then stop the daemon named by health.terminalDaemon.pid, or delete the data root and let the endpoint go stale.

Health

The readiness payload carries a health object:

buildHash    sha256 (16 hex) of the running orcad bundle — build identity that a version
             string cannot give, so a rollback that did not replace the file is visible
buildVersion ORCA_VERSION
nodeVersion  / nodeAbi   process.versions.node / .modules — the ABI native addons must match
platform / arch / pid
terminalDaemon:
  state              live | degraded | absent
  ownsFreshSessions  whether NEW terminals are daemon-owned, i.e. survive an orcad restart
  pid                the live daemon's pid, from its own PID record
  buildVersion       the build the LIVE daemon was forked from (may legitimately predate
                     this orcad after an update — reporting orcad's version for both would
                     hide exactly that)
  entryPath / protocolVersion
  selfTest { ok, coverage, verdict, durationMs }

What the self-test proves

selfTest runs checkDaemonHealth against the daemon's socket. It is green only when the daemon opened its socket, completed the protocol handshake, and ran ptySpawnHealth — a real short-lived PTY spawned inside the daemon's own process. It therefore spans both processes: orcad drives it, the daemon performs it, the verdict crosses the socket.

  • coverage: 'pty-spawn' — the full round trip above.
  • coverage: 'handshake'win32 only, where checkPtySpawnHealth returns without spawning anything. A green verdict there covers the handshake and nothing more. It is reported separately rather than folded into ok so nobody reads it as a PTY round trip.

state is live only when the self-test passed and ownsFreshSessions is true. A daemon that answers but has fallen back to local spawning for new terminals is degraded, because those terminals die with orcad. A daemon that answered and then failed its spawn probe is also degraded, not absent: it still holds live sessions, and calling those exited would be the verdict ssh-execution-boundary.md forbids guessing.

What is not covered

Named here so nothing reads as implemented that is not:

  • A continuous health endpoint. health is published once, in the readiness payload. A supervisor's periodic liveness/readiness probe needs an HTTP or RPC surface over the same collectOrcadHealth(); that surface does not exist yet.
  • libc slot. §04 asks for it in the health payload. It belongs to the native strategy (plan item 5), which owns libc detection; there is no honest value to publish until then.
  • degradations[]. Plan item 2's contract, not this one.
  • Credential administration (list / revoke / rotate devices, expiring pending offers, structured security logging) — §04, not delivered here.
  • Pinned-port fail-closed. A pinned --port still falls back to an OS-assigned port on conflict.
  • Reconciling webClientUrl with reachability under the loopback default.
  • State-schema rollback rules.
  • Daemon log rotation. <data-root>/logs/daemon.log grows unbounded.