Janus
block .
sibyl memory
MISSION CONTROL

New operation

Process A . Start an ownership transfer

Janus reads Base, submits transferOwnership, verifies the pending owner, writes a checkpoint to Sibyl, then stops so you can kill the process.

deploy
contract

Fresh process B . Restore

Nothing but the operation id crosses the boundary. Janus rebuilds the history from Sibyl, revalidates against Base, then decides.

restore