Control.child_spec/1

Description#

Prepares bounded detached inputs and one lifetime shared by all factory invocations. Each invocation starts its own configured startup budget. A restarted nonfresh lifetime returns an inert handle and never attaches automatically. Proven retirement permits explicit reconnect/2 ; unknown cleanup refuses it. Old handles never follow a replacement Root or Manager.

Supervisor.start_child/2 and Supervisor.restart_child/2 return the new handle as their third info element. After an automatic restart, use Supervisor.terminate_child/2 followed by Supervisor.restart_child/2 for fresh info. This does not clear unknown cleanup or authorize replay.

See the worked example.