Stores are shared with the manager; the caller supplies policy and positive teardown evidence.
The legacy method is supported only for an already persisted, snapshotted run.
Resumes the same allocation after every interruption; an ineligible run releases only its own branch.
Checks the stored branch and allocation, including every dispatch/recovery and heartbeat.
Revalidates without increasing the original duration or changing its funding source.
Chooses one durable funding branch for every lifecycle operation, with no cross-funding fallback.