processLeasePidTokenKey top-level constant

String const processLeasePidTokenKey

Reserved ProcessLease.identity key carrying the platform process start-time token — the identity-over-pid anchor (ADR-0018 §1).

Spawn steps record it from ProcessLiveness.identityToken when the lease is written; the kill gate (verifyKillIdentity) compares it with the live token before any signal is sent, so a recycled pid is never mistaken for the leased process. The value is platform-defined plain text (ps -o lstart= on macOS, /proc/<pid>/stat starttime on Linux).

Implementation

const processLeasePidTokenKey = 'oka:pid_token';