How does a sealed AI audit ledger survive a reboot without phoning home? | Synapse