Skip to main content

Module deployed_binary

Module deployed_binary 

Source
Expand description

The identity a worker-deployment record captures for the binary it names. The identity a worker-deployment record captures for the binary it names.

A builtin deployment names THIS server’s executable, and the record has to say which executable that was when the record was written — the content, not the path, because a path is a label recording where a file used to be. The supervisor captures the identity again at every spawn, and the two disagreeing is how a restart across an upgrade becomes a visible fact instead of a silent swap.

This lives in the worker domain rather than on a transport because both transports and auto-provision mint records, and three copies of one capture is three chances for them to disagree about what a deployment’s binary is.

Enums§

BinaryIdentityCaptureError
Typed deploy-time executable identity capture failures.

Functions§

capture_binary_identity
Capture the running server executable’s identity for a deployment record.
lowercase_hex
Lowercase hexadecimal rendering of a digest.