Outcome
Define and verify one atomic Engine lifecycle operation for confirmed redelegation, with Chainlink responsible for proving that the previous delegation ended.
Scope
Engine 0.6.0 (82c0048) already permits Transient -> Delegated only when to_slot > from_slot; this is not a missing newer-slot transition. See the lifecycle table.
Specify the caller evidence and runtime contract needed for confirmed redelegation, including whether an equal-slot transition can be represented safely. Keep chain confirmation and delegation-generation classification outside Engine. Do not bypass the restriction with two Transient -> ReadOnly -> Delegated updates or permit ambiguous equal-slot activation.
Outcome
Define and verify one atomic Engine lifecycle operation for confirmed redelegation, with Chainlink responsible for proving that the previous delegation ended.
Scope
Engine 0.6.0 (
82c0048) already permitsTransient -> Delegatedonly whento_slot > from_slot; this is not a missing newer-slot transition. See the lifecycle table.Specify the caller evidence and runtime contract needed for confirmed redelegation, including whether an equal-slot transition can be represented safely. Keep chain confirmation and delegation-generation classification outside Engine. Do not bypass the restriction with two
Transient -> ReadOnly -> Delegatedupdates or permit ambiguous equal-slot activation.